Satisfying ternary permutation constraints by multiple linear orders or phylogenetic trees

Leo Van Iersel, Steven Kelk, Nela Lekic, Simone Linz

Research output: Contribution to journalArticleAcademicpeer-review

Abstract

A ternary permutation constraint satisfaction problem (CSP) is specified by a subset Pi of the symmetric group S-3. An instance of such a problem consists of a set of variables V and a set of constraints C, where each constraint is an ordered triple of distinct elements from V. The goal is to construct a linear ordering alpha on V such that, for each constraint (a, b, c) is an element of C, the ordering of a, b, c induced by alpha is in Pi. Excluding symmetries and trivial cases there are eleven such problems, and their complexity is well known. Here we consider the variant of the problem, denoted 2-n, where we are allowed to construct two linear orders alpha and beta and each constraint needs to be satisfied by at least one of the two. We give a full complexity classification of all eleven 2-Pi problems, observing that in the switch from one to two linear orders the complexity landscape changes quite abruptly and that hardness proofs become rather intricate. To establish the proofs, we use several computer-aided searches. Each such search returns a small instance with a unique solution for a given problem. We then focus on one of the eleven problems in particular, which is closely related to the 2-CATERPILLAR COMPATIBILITY problem in the phylogenetics literature. We show that this particular CSP remains hard on three linear orders, and also in the biologically relevant case when we swap three linear orders for three phylogenetic trees, yielding the 3-TREE COMPATIBILITY problem. Lastly, we give extTemal results concerning the minimum number of trees required, in the worst case, to satisfy a set of rooted triplet constraints on n leaf labels. (C) 2015 Published by Elsevier B.V.

Original languageEnglish
Pages (from-to)1-21
Number of pages21
JournalTheoretical Computer Science
Volume609
DOIs
Publication statusPublished - 4 Jan 2016

Keywords

  • COMPLEXITY
  • DIGRAPH
  • Linear orders
  • NUMBER
  • Permutation constraint satisfaction problem
  • Phylogenetic trees

Cite this