References & Citations
Computer Science > Computational Geometry
Title: Recognizing DAGs with Page-Number 2 is NP-complete
(Submitted on 29 Aug 2022 (v1), last revised 11 Nov 2022 (this version, v3))
Abstract: The page-number of a directed acyclic graph (a DAG, for short) is the minimum $k$ for which the DAG has a topological order and a $k$-coloring of its edges such that no two edges of the same color cross, i.e., have alternating endpoints along the topological order. In 1999, Heath and Pemmaraju conjectured that the recognition of DAGs with page-number $2$ is NP-complete and proved that recognizing DAGs with page-number $6$ is NP-complete [SIAM J. Computing, 1999]. Binucci et al. recently strengthened this result by proving that recognizing DAGs with page-number $k$ is NP-complete, for every $k\geq 3$ [SoCG 2019]. In this paper, we finally resolve Heath and Pemmaraju's conjecture in the affirmative. In particular, our NP-completeness result holds even for $st$-planar graphs and planar posets.
Submission history
From: Fabrizio Frati [view email][v1] Mon, 29 Aug 2022 14:06:06 GMT (909kb,D)
[v2] Tue, 30 Aug 2022 10:16:56 GMT (920kb,D)
[v3] Fri, 11 Nov 2022 19:16:44 GMT (960kb,D)
Link back to: arXiv, form interface, contact.