[论文解读] On the Parameterized Complexity of Eulerian Strong Component Arc Deletion

Václav Blažej, Satyabrata Jana+2 more|arXiv (Cornell University)|Jan 1, 2024

Tribology and Lubrication Engineering被引用 1

一句话总结

该论文通过证明当以解大小 k 为参数时，欧拉强连通分量弧删除（ESCAD）问题是 W[1]-难的，从而解决了该问题的参数化复杂性，排除了在标准假设下存在固定参数可满足（FPT）算法的可能性。此外，当以树宽结合解大小或最大度数为参数时，论文建立了 FPT 算法，并为仅以树宽为参数提供了 XP 算法，且在指数时间假设（ETH）下，该算法对树宽的依赖关系近乎最优。

ABSTRACT

In this paper, we study the Eulerian Strong Component Arc Deletion problem, where the input is a directed multigraph and the goal is to delete the minimum number of arcs to ensure every strongly connected component of the resulting digraph is Eulerian. This problem is a natural extension of the Directed Feedback Arc Set problem and is also known to be motivated by certain scenarios arising in the study of housing markets. The complexity of the problem, when parameterized by solution size (i.e., size of the deletion set), has remained unresolved and has been highlighted in several papers. In this work, we answer this question by ruling out (subject to the usual complexity assumptions) a fixed-parameter tractable (FPT) algorithm for this parameter and conduct a broad analysis of the problem with respect to other natural parameterizations. We prove both positive and negative results. Among these, we demonstrate that the problem is also hard (W[1]-hard or even para-NP-hard) when parameterized by either treewidth or maximum degree alone. Complementing our lower bounds, we establish that the problem is in XP when parameterized by treewidth and FPT when parameterized either by both treewidth and maximum degree or by both treewidth and solution size. We show that these algorithms have near-optimal asymptotic dependence on the treewidth assuming the Exponential Time Hypothesis.

研究动机与目标

• 解决关于 ESCAD 在以解大小 k 为参数时是否为固定参数可满足的开放问题。
• 分析 ESCAD 在其他结构参数（如树宽、最大度数、顶点覆盖数和顶点完整性）下的参数化复杂性。
• 识别出能产生 FPT 算法的参数组合，尽管该问题本身具有内在困难性。
• 利用 ETH 和 W[1]-难性建立紧致下界，特别是针对解大小和顶点覆盖数。
• 区分 ESCAD 在简单有向图与多重图中的行为差异，尤其是在硬度与可解性方面。

提出的方法

• 通过从一个已知的 W[1]-难问题归约，证明了解大小 k 下的 W[1]-难性，从而表明除非 W[1] = FPT，否则不存在 FPT 算法。
• 展示了基于 ETH 的下界，表明平凡的 n^O(k) 算法在渐近意义上近乎最优。
• 在树宽为 tw 的树分解上设计了动态规划方法，采用基于类型的状态编码来追踪连通分量的不平衡性与弧的转移。
• 将 ILP 可行性实例建模为包含 f(k) 个变量的问题，以表示连通分量的转移与平衡约束，利用 Kannan 定理可在 FPT 时间内求解。
• 为简单有向图引入了一种新颖的顶点完整性参数化，其在顶点覆盖数失效时仍能产生 FPT 算法。
• 阐明了多重弧在硬度证明中的作用，表明它们在顶点覆盖参数下是 W[1]-难性的必要条件，但在简单图情况下并非必需。

实验结果

研究问题

• RQ1 当以解大小 k 为参数时，欧拉强连通分量弧删除问题是否为固定参数可满足？
• RQ2 当以树宽、最大度数或顶点覆盖数为参数时，ESCAD 的参数化复杂性如何？
• RQ3 该问题在简单有向图上能否被高效求解，其与多重图有何不同？
• RQ4 是否存在组合参数化（如树宽 + 解大小）使得尽管在 k 下为 W[1]-难，仍能获得 FPT 算法？
• RQ5 ETH 基于的下界是否能被依赖于树宽的算法所匹配，且具有近乎最优的依赖关系？

主要发现

• 当以解大小 k 为参数时，ESCAD 是 W[1]-难的，这在标准复杂性假设下排除了 FPT 算法的存在。
• 除非指数时间假设（ETH）不成立，否则不存在在 f(k) · n^{o(k / log k)} 时间内求解 ESCAD 的算法，其中 f 为任意函数。
• 当以顶点覆盖数为参数时，ESCAD 是 W[1]-难的，且相同的 ETH 基于下界也适用。
• 该问题在仅含 (1,6) 和 (6,1) 度对的有向图中仍是 NP-难的，表明其在常数最大度数下依然困难。
• 当仅以树宽为参数时，ESCAD 属于 XP 类，而当以树宽加解大小或树宽加最大度数为参数时，属于 FPT 类。
• 在简单有向图上，算法的时间复杂度为 2^{O(tw²)} · α^{O(tw)} · n^{O(1)}，其中 α = min(k, ∆)，在 ETH 下对树宽的依赖关系近乎最优。