[论文解读] Finding paths of length k in O*(2^k) time

Ryan Williams|arXiv (Cornell University)|Jul 18, 2008

Algorithms and Data Compression参考文献 11被引用 16

一句话总结

本文提出了一种随机化算法，可在 $O^*(2^k)$ 时间内找到长度为 $k$ 的简单路径，优于此前针对 $k$-path 问题的指数时间界。通过利用 $GF(2^ au)[\mathbb{Z}_2^k]$ 上的群代数结构，并结合 Schwartz-Zippel 引理进行多项式恒等式检测，该方法可检测 $k$-walk 多项式中的多重线性项，当存在 $k$-path 时，成功概率至少为 $1/5$。

ABSTRACT

We give a randomized algorithm that determines if a given graph has a simple path of length at least k in O(2^k poly(n,k)) time.

研究动机与目标

• 开发一种更快的 $k$-path 问题算法，当 $k$ 作为输入的一部分时，该问题是 NP-完全的。
• 将先前界如 $O^*(c^k)$ 中对 $k$ 的指数依赖性降低至 $O^*(2^k)$，与哈密顿路径的运行时间相匹配。
• 提供一种随机化算法，具有常数成功概率（$\geq 1/5$），用于检测 $k$-path 的存在性。
• 将该方法扩展至在存在 $k$-path 时构造出实际的路径，通过递归路径恢复实现。
• 探索该算法的去随机化可能性，并将其推广至加权变体，如 Short Cheap Tour 问题。

提出的方法

• 将 $k$-walk 多项式 $P_k(x_1,\dots,x_n) = \vec{\mathbf{1}} \cdot B^{k-1} \cdot \vec{x}$ 表示出来，其中 $B[i,j] = A[i,j]x_i$，以编码长度为 $k$ 的路径。
• 使用随机向量 $v_i \in \mathbb{Z}_2^k$ 将变量映射到群代数 $GF(2^\ell)[\mathbb{Z}_2^k]$ 中的元素，对每个变量在 $W_0 + v_i$ 处求值 $P'$。
• 利用如下性质：若 $v_j$ 在 $GF(2)$ 上线性无关，则 $\prod_{j=1}^k (W_0 + v_j) = \sum_{v \in \mathbb{Z}_2^k} v$，从而实现对多重线性项的检测。
• 应用 Schwartz-Zippel 引理，界定在随机赋值下系数和为零的概率，确保当存在 $k$-path 时，非零求值的概率至少为 $1/5$。
• 通过递归移除顶点并重复进行 $k$-path 检测来构造实际路径，以高概率保持 $O^*(2^k)$ 的运行时间。
• 利用 $k$-paths 对应于 $P_k$ 中的多重线性单项式这一事实，并借助代数结构高效地将其分离。

实验结果

研究问题

• RQ1 能否使用代数技术与随机多项式恒等式检测，在 $O^*(2^k)$ 时间内求解 $k$-path 问题？
• RQ2 在保持 $O^*(2^k)$ 运行时间的前提下，是否可能实现至少 $1/5$ 的 $k$-path 检测成功概率？
• RQ3 能否将该随机化算法扩展为不仅检测 $k$-path 的存在性，还能构造出实际的 $k$-path？
• RQ4 基于 $GF(2^\ell)[\mathbb{Z}_2^k]$ 上的群代数的代数方法，是否能实现比先前方法更紧的运行时间界？
• RQ5 该算法能否被去随机化，或适配至加权图问题（如 Short Cheap Tour 问题）？

主要发现

• 本文实现了检测图中 $k$-path 存在性的 $O^*(2^k)$ 时间算法，优于先前的界如 $O^*(2.83^k)$ 和 $O^*(5.44^k)$。
• 当存在 $k$-path 时，该算法的成功概率至少为 $1/5$，且在不存在 $k$-path 时始终返回 'no'，通过在群代数中进行随机求值实现。
• 该方法依赖于将路径编码为多项式，并通过在随机群代数元素处求值来检测多重线性项，利用 $\mathbb{Z}_2^k$ 中的线性无关性。
• 成功概率来源于 $k$ 个随机向量在 $GF(2)^k$ 中线性无关的概率（$\geq 1/4$）与系数和不为零的概率（$\geq 1 - 1/8$）的乘积，总体概率大于 $1/5$。
• 通过递归移除顶点并重复检测 $k$-path，可实现 $O^*(2^k)$ 时间复杂度的 $k$-path 构造算法，总运行时间被 $O^*(2^k)$ 所限制。
• 该结果表明，进一步的改进将需要在 NP-难问题算法上取得突破，因为即使哈密顿路径检测也是 $O^*(2^n)$，而 $k=n$ 是其特例。