Document Open Access Logo

Deciding the Closure of Inconsistent Rooted Triples Is NP-Complete

Author Matthew P. Johnson



PDF
Thumbnail PDF

File

LIPIcs.ISAAC.2018.12.pdf
  • Filesize: 0.49 MB
  • 13 pages

Document Identifiers

Author Details

Matthew P. Johnson
  • Department of Computer Science, Lehman College, Ph.D. Program in Computer Science, The Graduate Center, City University of New York, USA

Cite AsGet BibTex

Matthew P. Johnson. Deciding the Closure of Inconsistent Rooted Triples Is NP-Complete. In 29th International Symposium on Algorithms and Computation (ISAAC 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 123, pp. 12:1-12:13, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.ISAAC.2018.12

Abstract

Interpreting three-leaf binary trees or rooted triples as constraints yields an entailment relation, whereby binary trees satisfying some rooted triples must also thus satisfy others, and thence a closure operator, which is known to be polynomial-time computable. This is extended to inconsistent triple sets by defining that a triple is entailed by such a set if it is entailed by any consistent subset of it. Determining whether the closure of an inconsistent rooted triple set can be computed in polynomial time was posed as an open problem in the Isaac Newton Institute's "Phylogenetics" program in 2007. It appears (as NC4) in a collection of such open problems maintained by Mike Steel, and it is the last of that collection's five problems concerning computational complexity to have remained open. We resolve the complexity of computing this closure, proving that its decision version is NP-Complete. In the process, we also prove that detecting the existence of any acyclic B-hyperpath (from specified source to destination) is NP-Complete, in a significantly narrower special case than the version whose minimization problem was recently proven NP-hard by Ritz et al. This implies it is NP-hard to approximate (our special case of) their minimization problem to within any factor.

Subject Classification

ACM Subject Classification
  • Mathematics of computing → Trees
  • Mathematics of computing → Hypergraphs
  • Theory of computation → Problems, reductions and completeness
  • Applied computing → Molecular evolution
Keywords
  • phylogenetic trees
  • rooted triple entailment
  • NP-Completeness
  • directed hypergraphs
  • acyclic induced subgraphs
  • computational complexity

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. Alfred V. Aho, Yehoshua Sagiv, Thomas G. Szymanski, and Jeffrey D. Ullman. Inferring a tree from lowest common ancestors with an application to the optimization of relational expressions. SIAM Journal on Computing, 10(3):405-421, 1981. Google Scholar
  2. Giorgio Ausiello, Roberto Giaccio, Giuseppe F Italiano, and Umberto Nanni. Optimal traversal of directed hypergraphs. Technical Report TR-92-073, International Computer Science Institute, Berkeley, CA, September 1992. Google Scholar
  3. Jørgen Bang-Jensen, Frédéric Havet, and Nicolas Trotignon. Finding an induced subdivision of a digraph. Theoretical Computer Science, 443:10-24, 2012. Google Scholar
  4. Dan Bienstock. On the complexity of testing for odd holes and induced odd paths. Discrete Mathematics, 90(1):85-92, 1991. Google Scholar
  5. David Bryant. Building Trees, Hunting for Trees, and Comparing Trees: Theory and Methods in Phylogenetic Analysis. PhD thesis, University of Canterbury, 1997. Google Scholar
  6. David Bryant and Mike Steel. Extension operations on sets of leaf-labeled trees. Advances in Applied Mathematics, 16(4):425-453, 1995. Google Scholar
  7. Giorgio Gallo, Giustino Longo, Stefano Pallottino, and Sang Nguyen. Directed hypergraphs and applications. Discrete Applied Mathematics, 42(2-3):177-201, 1993. Google Scholar
  8. Oded Goldreich. On promise problems: A survey. In Theoretical Computer Science: Essays in Memory of Shimon Even, pages 254-290. Springer, 2006. Google Scholar
  9. Daniel Huson, Vincent Moulton, and Mike Steel. Final Report for the `Phylogenetics' Programme. Technical report, Isaac Newton Institute for Mathematical Sciences, February 2008. Google Scholar
  10. Lars Relund Nielsen, Daniele Pretolani, and K Andersen. A remark on the definition of a B-hyperpath. Technical report, Department of Operations Research, University of Aarhus, 2001. Google Scholar
  11. Anna Ritz, Brendan Avent, and T Murali. Pathway analysis with signaling hypergraphs. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 14(5):1042-1055, September 2017. Google Scholar
  12. Charles Semple and Mike Steel. Phylogenetics, volume 24 of Oxford Lecture Series in Mathematics and Its Applications. Oxford University Press, 2003. Google Scholar
  13. Mike Steel. Phylogenetics: Challenges and Conjectures, updated in July 2018. URL: http://www.math.canterbury.ac.nz/~m.steel/Non_UC/files/research/conjectures_updated.pdf.
  14. Mayur Thakur and Rahul Tripathi. Linear connectivity problems in directed hypergraphs. Theoretical Computer Science, 410(27-29):2592-2618, 2009. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail