[论文解读] On the Complexity Landscape of Connected f-Factor Problems

Gregory Gutin, Magnus Wahlström+1 more|arXiv (Cornell University)|Aug 12, 2013

Advanced Graph Theory Research参考文献 22被引用 3

一句话总结

本文提出了一种随机化算法，以 O*(2^k) 时间解决有向乡村邮差问题（DRPP）及其无向变体（URPP），其中 k 是所需弧集 R 中弱连通分量的数量。通过基于矩阵永久值和有限域上多项式恒等测试的代数技术，作者在预算 ℓ 以顶点数的多项式为界时，证明了 DRPP 在参数 k 下的固定参数可满足性，从而解决了参数复杂性领域长期悬而未决的问题。

ABSTRACT

Given an n-vertex graph G and a function f:V(G) -> {0, ..., n-1}, an f-factor is a subgraph H of G such that deg_H(v)=f(v) for every vertex v in V(G); we say that H is a connected f-factor if, in addition, the subgraph H is connected. A classical result of Tutte (1954) is the polynomial time algorithm to check whether a given graph has a specified f-factor. However, checking for the presence of a connected f-factor is easily seen to generalize Hamiltonian Cycle and hence is NP-complete. In fact, the Connected f-Factor problem remains NP-complete even when f(v) is at least n^epsilon for each vertex v and epsilon<1; on the other side of the spectrum, the problem was known to be polynomial-time solvable when f(v) is at least n/3 for every vertex v. In this paper, we extend this line of work and obtain new complexity results based on restricting the function f. In particular, we show that when f(v) is required to be at least n/(log n)^c, the problem can be solved in quasi-polynomial time in general and in randomized polynomial time if c <= 1. We also show that when c>1, the problem is NP-intermediate.

研究动机与目标

• 解决有向乡村邮差问题（DRPP）在参数 k（即所需弧集 R 中的弱连通分量数）下是否为固定参数可满足性（FPT）的长期悬而未决问题。
• 将此结果扩展至无向乡村邮差问题（URPP），证明相同的参数化复杂度界同样适用。
• 建立 DRPP 与连接二分图匹配（CBM）问题之间的联系，证明当参数 |F|（所需连接数）时，CBM 也是随机化 FPT。
• 提供一个基于有限域上多项式永久值和矩阵行列式的代数框架，以高效求解欧拉扩展问题，该问题与 DRPP 等价。
• 证明在预算 ℓ 以顶点数的多项式为界的现实假设下，该算法能高效运行。

提出的方法

• 作者将 DRPP 归约至欧拉扩展（EE）问题，该问题与 DRPP 等价，并利用代数技术求解。
• 他们在特征为 2 的域上定义了一个关于 ¯x 和 z 的多项式 Q(¯x, z)，用于枚举构造图中的完美匹配，使得扩展后的图保持弱连通。
• 该算法使用莫比乌斯变换和动态规划，在 O*(2^k) 时间内通过计算路径长度并利用矩阵运算组合结果来评估多项式 Q(¯x, z)。
• 对于连接二分图匹配（CBM）问题，他们使用一种改进的图灵型矩阵行列式，引入辅助变量 yf 和 z 以编码匹配约束和总权重。
• 他们应用基于引理 18 的多项式恒等测试技术，以分离出所有所需连接 f ∈ F 均被满足且总权重（z 的次数）不超过 ℓ 的单项式。
• 该方法依赖于在适当选择的 GF(2^r) 上进行随机计算，最终决策基于行列式中是否存在包含所有 yf 变量的低次单项式。

实验结果

研究问题

• RQ1 当参数为 k（即所需弧集 R 中的弱连通分量数）时，有向乡村邮差问题（DRPP）是否为固定参数可满足性？
• RQ2 该随机化 FPT 算法能否扩展至无向乡村邮差问题（URPP）？
• RQ3 在相同的预算约束下，当参数为 |F|（所需连接数）时，连接二分图匹配（CBM）问题是否为 FPT？
• RQ4 能否利用多项式永久值和基于行列式的代数技术高效求解参数化设置下的欧拉扩展问题？
• RQ5 该随机化算法能否被去随机化，还是随机性对这一方法而言是本质性的？

主要发现

• 本文提出了一种针对 DRPP 的随机化算法，当 ℓ 以顶点数的多项式为界时，运行时间为 O*(2^k)，从而解决了长达 30 年的开放问题。
• 相同的 O*(2^k) 算法也适用于无向乡村邮差问题（URPP），表明在相同参数化下，有向与无向版本均为随机化 FPT。
• 在相同预算约束下，连接二分图匹配（CBM）问题可在随机化 O*(2^|F|) 时间内求解，其中 |F| 为所需连接数。
• 通过利用 DRPP 与欧拉扩展之间的等价性，成功应用了包括多项式永久值和有限域上矩阵行列式在内的代数技术。
• 该方法创新性地应用了基于引理 18 的多项式恒等测试，以分离出满足所有所需连接和总权重约束的有效匹配。
• 该算法在多项式空间内运行，并在 ℓ 以输入规模的多项式为界的现实假设下表现出高效性。