论文标题

参数化路径分区

Parameterizing Path Partitions

论文作者

Fernau, Henning, Foucaud, Florent, Mann, Kevin, Padariya, Utkarsh, N, Rajath Rao K.

论文摘要

我们研究将给定(DI)图的顶点集分为少数路径的算法复杂性。已对路径分区问题(PP)进行了广泛的研究,因为它包括哈密顿路径作为一种特殊情况。需要路径为\ emph {诱导}(诱导路径分区,ipp)或\ emph {最短}(最短路径分区,spp)的自然变体,受到了较少的关注。已知这两个问题在无向图上都是NP完整的。我们通过表明它们仍然保持在平面两分性的无环形图(DAG)上来加强这一点,并且该spp在未指向的两分数图上仍然保持了NP-HARD。当通过自然参数``路径数''参数化时,spp和ipp均显示为w [1] - hard在dags上。我们还表明,对于相同参数的DAG和无向图,以及其他有向图的其他特殊子类(即使在两个路径上,即使是无向图),SPP均为DAG和无向图。从积极的一面来看,我们表明,对于无方向的图,这两个问题都在fpt中,由邻里多样性参数化。我们还为PP的顶点覆盖参数化提供了一种明确的算法。当考虑双参数化(图阶量值减去路径的数量)时,所有三个变体IPP,SPP和PP均显示在FPT中,对于无方向的图。我们还将上述邻居多样性和双重参数化结果提高到了定向图。在这里,我们需要定义一个适当的定向邻里多样性的新颖概念。正如我们也表明的那样,我们的大多数结果转移到了边缘 - 偶聚路径覆盖的情况下,纯粹是覆盖。

We study the algorithmic complexity of partitioning the vertex set of a given (di)graph into a small number of paths. The Path Partition problem (PP) has been studied extensively, as it includes Hamiltonian Path as a special case. The natural variants where the paths are required to be either \emph{induced} (Induced Path Partition, IPP) or \emph{shortest} (Shortest Path Partition, SPP), have received much less attention. Both problems are known to be NP-complete on undirected graphs; we strengthen this by showing that they remain so even on planar bipartite directed acyclic graphs (DAGs), and that SPP remains NP-hard on undirected bipartite graphs. When parameterized by the natural parameter ``number of paths'', both SPP and IPP are shown to be W[1]-hard on DAGs. We also show that SPP is in XP both for DAGs and undirected graphs for the same parameter, as well as for other special subclasses of directed graphs (IPP is known to be NP-hard on undirected graphs, even for two paths). On the positive side, we show that for undirected graphs, both problems are in FPT, parameterized by neighborhood diversity. We also give an explicit algorithm for the vertex cover parameterization of PP. When considering the dual parameterization (graph order minus number of paths), all three variants, IPP, SPP and PP, are shown to be in FPT for undirected graphs. We also lift the mentioned neighborhood diversity and dual parameterization results to directed graphs; here, we need to define a proper novel notion of directed neighborhood diversity. As we also show, most of our results transfer to the case of covering by edge-disjoint paths, and purely covering.

扫码加入交流群

加入微信交流群

微信交流群二维码

扫码加入学术交流群,获取更多资源