[论文解读] Faster Deterministic Algorithms for Packing, Matching and $t$-Dominating Set Problems

Shenshi Chen, Zhixiang Chen|arXiv (Cornell University)|Jun 15, 2013

Complexity and Algorithms in Graphs参考文献 12被引用 5

一句话总结

本论文通过对群代数方法进行去随机化，提出了三种NP难问题——m-集合k-打包、m维k-匹配和t-支配集问题——的更快确定性算法。关键贡献在于分别实现了 $ O^*(5.44^{mk}) $、$ O^*(5.44^{(m-1)k}) $ 和 $ O^*(5.44^t) $ 的时间复杂度界限，显著优于以往的确定性结果，同时与这些问题的随机化性能相匹配或接近。

ABSTRACT

In this paper, we devise three deterministic algorithms for solving the $m$-set $k$-packing, $m$-dimensional $k$-matching, and $t$-dominating set problems in time $O^*(5.44^{mk})$, $O^*(5.44^{(m-1)k})$ and $O^*(5.44^{t})$, respectively. Although recently there has been remarkable progress on randomized solutions to those problems, our bounds make good improvements on the best known bounds for deterministic solutions to those problems.

研究动机与目标

• 弥合参数复杂性中基本NP难问题的随机化与确定性算法之间的差距。
• 改进m-集合k-打包、m维k-匹配和t-支配集问题的最优已知确定性时间复杂度界限。
• 基于完美哈希和群代数技术，开发一种用于多重线性单项式检测的去随机化框架。
• 实现时间复杂度接近最优已知随机化算法的确定性算法，尤其在小参数情况下表现优异。
• 证明 $ O^*(5.44^k) $ 的界限可在多种问题变体中实现，且基于统一的代数方法。

提出的方法

• 通过完美哈希对随机群代数算法进行去随机化，以检测多项式中是否存在多重线性单项式。
• 使用 $ O^*(2.72^k) $ 个完美哈希函数族，以确定性方式模拟随机性，确保所有相关单项式均被保留。
• 将群代数元素表示为 $ \mathbb{F}[\mathbb{Z}_2^k] $ 中的向量，通过沃尔什-哈达玛变换实现高效的算术运算。
• 从原始公式构造电路 $ \mathcal{C}'' $ 以支持代数运算，其大小为 $ O(ns(n)) $，其中 $ s(n) $ 为公式大小。
• 应用确定性测试（引理3）检查结果群代数元素中是否存在非零系数，以判断单项式是否存在。
• 通过组合哈希函数枚举与代数运算的时间复杂度，得到总时间界限为 $ O^*(2.72^k \cdot 2^k \cdot s^4(n)) = O^*(5.44^k s^4(n)) $，对于多项式大小公式，可简化为 $ O^*(5.44^k) $。

实验结果

研究问题

• RQ1 m-集合k-打包问题的确定性算法能否显著快于目前最优的 $ O^*(25.6^{mk}) $ 界限？
• RQ2 m维k-匹配问题的确定性时间复杂度能否超越 $ O^*(13.78^{(m-1)k}) $ 的先前界限？
• RQ3 是否可能对 $ O^*(2^t) $ 的t-支配集随机化算法进行去随机化，同时保持亚指数时间界限？
• RQ4 完美哈希与群代数技术的结合能否为多个NP难问题提供统一且高效的去随机化框架？
• RQ5 使用代数与组合去随机化方法，这些问题是可达到的最紧致确定性时间界限是什么？

主要发现

• 本论文为m-集合k-打包问题实现了 $ O^*(5.44^{mk}) $ 的确定性时间界限，优于先前最优的 $ O^*(13.78^{mk}) $。
• 对于m维k-匹配问题，算法运行时间为 $ O^*(5.44^{(m-1)k}) $，超越了先前确定性界限 $ O^*(13.78^{(m-1)k}) $。
• t-支配集问题在 $ O^*(5.44^t) $ 时间内求解，优于先前确定性界限 $ O^*(16+ϵ)^t $。
• 该算法采用基于完美哈希的去随机化群代数方法，将指数因子从 $ 2^k $ 降低至 $ 5.44^k $。
• 通过结合接近最优的哈希函数族与在一般情况下已被证明最优的代数技术，该方法实现了近乎最优的性能。
• 对于多项式大小的公式，整体时间复杂度简化为 $ O^*(5.44^k) $，使该方法在小参数值下具有实际可行性。