#### Filter Results:

#### Publication Year

2011

2016

#### Publication Type

#### Co-author

#### Key Phrase

#### Publication Venue

Learn More

It is well-known that the class of lattices generated by Chip Firing games (CFGs) is strictly included in the class of upper locally distributive lattices (ULD). However a necessary and sufficient criterion for this class is still an open question. In this paper we settle this problem by giving such a criterion. This criterion provides a polynomial-time… (More)

We systematically study the computational complexity of a broad class of computational problems in phylogenetic reconstruction. The class contains for example the rooted triple consistency problem, forbidden subtree problems, the quartet consistency problem, and many other problems studied in the bioinformatics literature. The studied problems can be… (More)

This paper presents a generalization of the sandpile model, called the parallel symmetric sandpile model, which inherits the rule of the symmetric sandpile model and implements them in parallel. We prove that although the parallel model produces really less number of fixed points than that by the sequential model, the forms of fixed points of the two models… (More)

HAL is a multidisciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L'archive ouverte pluridisciplinaire HAL, est destinée au dépôt età la diffusion… (More)

In this paper we determine the complexity of a broad class of problems that extends the temporal constraint satisfaction problems in [BK10]. To be more precise we study problems where the input consists of quantifier-free ≤-formulas from a given set Φ; the question is whether these formulas are satisfied by any finite partial order or not. We show that… (More)

The Chip-firing game is a discrete dynamical system played on a graph, in which chips move along edges according to a simple local rule. Properties of the underlying graph are of course useful to the understanding of the game, but since a conjecture of Biggs that was proved by Merino López, we also know that the study of the Chip-firing game can give… (More)

- Libor Barto, Michael Kompatscher, Miroslav Olsák, Michael Pinsker, Van Trung Pham
- ArXiv
- 2016

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first and stronger one, obtained via the model-complete core of an ω-categorical structure, states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism… (More)

- ‹
- 1
- ›