#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2003

2017

- This year (2)
- Last 5 years (11)
- Last 10 years (12)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Manuel Bodirsky, Peter Jonsson, Van Trung Pham
- STACS
- 2016

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)

- Kévin Perrot, Thi Ha Duong Phan, Van Trung Pham
- Automata
- 2011

Sand Pile Models are discrete dynamical systems emphasizing the phenomenon of Self-Organized Criticality. From a configuration composed of a finite number of stacked grains, we apply on every possible positions (in parallel) two grain moving transition rules. The transition rules permit one grain to fall to its right or left (symmetric) neighboring column… (More)

- Van Trung Pham, Thi Ha Duong Phan
- Eur. J. Comb.
- 2013

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)

- Enrico Formenti, Van Trung Pham, Thi Ha Duong Phan, Tran Thi Thu Huong
- Theor. Comput. Sci.
- 2014

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)

- Michael Kompatscher, Van Trung Pham
- STACS
- 2017

We determine the complexity of all constraint satisfaction problems over partial orders, in particular we show that every such problem is NP-complete or can be solved in polynomial time. This result generalises the complexity dichotomy for temporal constraint satisfaction problems by Bodirsky and Kára. We apply the so called universal-algebraic approach… (More)

- Manuel Bodirsky, Peter Jonsson, Van Trung Pham
- J. Symb. Log.
- 2016

Let (L;C ) be the (up to isomorphism unique) countable homogeneous structure carrying a binary branching C-relation. We study the reducts of (L;C ), i.e., the structures with domain L that are first-order definable in (L;C ). We show that up to existential interdefinability, there are finitely many such reducts. This implies that there are finitely many… (More)

- Kévin Perrot, Van Trung Pham
- Electr. J. Comb.
- 2016

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)

There exist two conjectures for constraint satisfaction problems (CSPs) of reducts of finitely bounded homogeneous structures: the first one states that tractability of the CSP of such a structure is, when the structure is a model-complete core, equivalent to its polymorphism clone satisfying a certain non-trivial linear identity modulo outer embeddings.… (More)

- Kévin Perrot, Van Trung Pham
- ArXiv
- 2013

- Duc Chinh Nguyen, Van Trung Pham, Hai Bang Pham, Long Chuong Pham, May Tuy Nguyen
- Annales de chirurgie
- 2003