[论文解读] Counting Paths and Packings in Halves

Andreas Björklund, Thore Husfeldt+2 more|ArXiv.org|Apr 20, 2009

Advanced Graph Theory Research参考文献 20被引用 10

一句话总结

本论文提出了一种新颖的折半查找算法，用于在 $n$-元素集合中计数 $k$-边路径和 $m$-集合 $k$-打包问题，利用不相交集合对上的容斥原理。对于路径，其时间复杂度为 $O^*\bigl({n \choose k/2}\bigr)$；对于打包问题，时间复杂度为 $O^*\bigl({n \choose mk/2}\bigr)$，并提供了多项式空间变体，其时间复杂度为 $O^*\bigl(5^{mk/2}{n \choose mk/2}\bigr)$。

ABSTRACT

It is shown that one can count $k$-edge paths in an $n$-vertex graph and $m$-set $k$-packings on an $n$-element universe, respectively, in time ${n \choose k/2}$ and ${n \choose mk/2}$, up to a factor polynomial in $n$, $k$, and $m$; in polynomial space, the bounds hold if multiplied by $3^{k/2}$ or $5^{mk/2}$, respectively. These are implications of a more general result: given two set families on an $n$-element universe, one can count the disjoint pairs of sets in the Cartesian product of the two families with $ O(n \ell)$ basic operations, where $\ell$ is the number of members in the two families and their subsets.

研究动机与目标

• 开发一种高效算法，用于计数 $n$-顶点图中的 $k$-边路径，改进现有指数时间界限。
• 将该方法扩展至计数 $n$-元素集合中 $m$-元素子集的 $k$-打包问题，解决组合计数中的一个基础问题。
• 提供算法的指数空间与多项式空间变体，确保实际适用性。
• 建立比先前方法更紧的时间界限，尤其针对路径与打包问题的参数化计数。
• 形式化并解决不相交和问题，作为通过容斥原理组合两个集合族结构的一般原 primitive。

提出的方法

• 形式化不相交和问题：计数来自两个集合族的不相交集合对，按每个集合上的结构计数加权。
• 利用子集并集上的容斥原理，高效计算不相交对上权重乘积的和。
• 应用容斥公式：$\sum_{Y \subseteq S} (-1)^{|S \setminus Y|} \left( \sum_{F \subseteq Y} [F \in \mathcal{F}] \right)^j$ 以计算打包计数。
• 在容斥中反转求和顺序，以降低空间复杂度，同时保持时间效率。
• 利用相关三元组 $(X, Y, F)$ 的数量的组合界，控制多项式空间的开销。
• 使用恒等式 $\sum_{S \supseteq X} \pi_{k/2}(S) = \sum_Y \left( \sum_{F \subseteq Y} [F \in \mathcal{F}] \right)^{k/2} (-1)^{k/2 - |Y|} \binom{n - |X \cup Y|}{mk/2 - |X \cup Y|}$ 在多项式空间中计算部分和。

实验结果

研究问题

• RQ1 折半查找技术能否被适配用于计数问题，特别是路径与打包问题？
• RQ2 使用分治策略计数 $n$-顶点图中 $k$-边路径的最优时间复杂度是多少？
• RQ3 如何高效应用容斥原理，以在路径与打包计数的背景下计数不相交集合对？
• RQ4 在计数 $k$-打包问题中，时间和空间之间的权衡是什么？多项式空间算法能否实现接近最优的时间界限？
• RQ5 该方法能否推广至处理 $m$-元素集合族与 $k$-打包问题，并实现更优的渐近性能？

主要发现

• 使用指数空间，$n$-顶点图中 $k$-边路径的数量可在时间 $O^*\bigl({n \choose k/2}\bigr)$ 内计数。
• 多项式空间变体在时间 $O^*\bigl(3^{k/2}{n \choose k/2}\bigr)$ 内计数 $k$-边路径，相比先前界限提升了 $(4/3)^{k/2}(k/2)!$ 倍。
• 在 $n$-元素集合中，$m$-集合 $k$-打包的数量可在时间 $O^*\bigl({n \choose mk/2}\bigr)$ 内使用指数空间计数。
• 针对 $m$-集合 $k$-打包问题的多项式空间算法运行时间在 $O^*\bigl(5^{mk/2}{n \choose mk/2}\bigr)$，当 $m=2$ 时，其更紧的界限为 $O^*\bigl(3^{k}{n \choose k}\bigr)$。
• 该方法可推广至不相交和问题：通过容斥原理计数两个集合族中的不相交对，实现 $O(n\ell)$ 次基本运算，其中 $\ell$ 为两族及其子集的总大小。
• 该方法在多项式空间环境下优于先前算法，尤其在路径与打包计数方面，并为此类问题提供了统一的框架。