Constrained and Ordered Level Planarity Parameterized by the Number of Levels
arxiv(2024)
摘要
The problem Level Planarity asks for a crossing-free drawing of a graph in
the plane such that vertices are placed at prescribed y-coordinates (called
levels) and such that every edge is realized as a y-monotone curve. In the
variant Constrained Level Planarity (CLP), each level y is equipped with a
partial order ≺_y on its vertices and in the desired drawing the
left-to-right order of vertices on level y has to be a linear extension of
≺_y. Ordered Level Planarity (OLP) corresponds to the special case of CLP
where the given partial orders ≺_y are total orders. Previous results by
Brückner and Rutter [SODA 2017] and Klemz and Rote [ACM Trans. Alg. 2019]
state that both CLP and OLP are NP-hard even in severely restricted cases. In
particular, they remain NP-hard even when restricted to instances whose width
(the maximum number of vertices that may share a common level) is at most two.
In this paper, we focus on the other dimension: we study the parameterized
complexity of CLP and OLP with respect to the height (the number of levels).
We show that OLP parameterized by the height is complete with respect to the
complexity class XNLP, which was first studied by Elberfeld et al.
[Algorithmica 2015] (under a different name) and recently made more prominent
by Bodlaender et al. [FOCS 2021]. It contains all parameterized problems that
can be solved nondeterministically in time f(k) n^O(1) and space f(k) log
n (where f is a computable function, n is the input size, and k is the
parameter). If a problem is XNLP-complete, it lies in XP, but is W[t]-hard
for every t.
In contrast to the fact that OLP parameterized by the height lies in XP, it
turns out that CLP is NP-hard even when restricted to instances of height 4. We
complement this result by showing that CLP can be solved in polynomial time for
instances of height at most 3.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要