[論文レビュー] 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$-パッキングの数え上げに拡張し、組合せ的数え上げの根本的問題に対処すること。
• 実用的適用性を保証するため、指数時間空間と多項式空間の両方のバージョンを提供すること。
• 特にパrameterizedパスおよびパッキングの数え上げにおいて、先行手法よりタイトな時間境界を確立すること。
• 包含除算法を用いた2つの集合族からの構造の組み合わせを一般化するプリミティブとしての「非交差和問題」を形式化し、解法を提示すること。

提案手法

• 非交差和問題の形式化：2つの集合族から得られる非交差ペアの数を、各集合上の構造数の重み付きで数えること。
• 部分集合の和集合に関する包含除算法を用いて、非交差ペアの重み積の和を効率的に計算すること。
• 包含除算法の公式を適用：$\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)$ で数え上げ可能である。
• 多項式空間バージョンでは、$k$-エッジパスの数え上げが時間 $O^*\bigl(3^{k/2}{n \choose k/2}\bigr)$ で実行され、以前の境界を $(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)$ が得られる。
• 本手法は非交差和問題に一般化可能である：2つの集合族から非交差ペアを数え上げ、包含除算法を用いて、$\ell$ を両方の族およびその部分集合の総サイズとしたとき、$O(n\ell)$ の基本操作で実行可能である。
• 本手法は、特に多項式空間領域において、パスおよびパッキングの数え上げのための従来のアルゴリズムを改善し、このような問題を統一的な枠組みで扱えるようにしている。