[論文レビュー] Deterministic approximation for the cover time of trees

Uriel Feige, Ofer Zeitouni|ArXiv.org|Sep 10, 2009

Markov Chains and Monte Carlo Methods参考文献 11被引用数 6

ひとこと要約

本稿では、木における単純なランダムウォークのカバー時間およびリターン時間を、乗法的誤差 $1\pm\epsilon$ の範囲で近似する決定的多項式時間アルゴリズムを提示する。電気回路理論と二進表現で表された木における到達確率の再帰的計算を活用することで、$n/\epsilon$ に対して多項式時間の実行時間で高精度な推定が可能となり、特に木に対する未解決の問題を解決する。

ABSTRACT

We present a deterministic algorithm that given a tree T with n vertices, a starting vertex v and a slackness parameter epsilon > 0, estimates within an additive error of epsilon the cover and return time, namely, the expected time it takes a simple random walk that starts at v to visit all vertices of T and return to v. The running time of our algorithm is polynomial in n/epsilon, and hence remains polynomial in n also for epsilon = 1/n^{O(1)}. We also show how the algorithm can be extended to estimate the expected cover (without return) time on trees.

研究の動機と目的

• 木におけるランダムウォークのカバー時間およびリターン時間の決定的多項式時間近似アルゴリズムの開発。
• 一般のグラフにおけるカバータイムの効率的近似にランダムネスが本質的かどうかという未解決問題に、特に木に対して対処する。
• カバー時間（リターンを除く）を、カバーおよびリターン時間と最後に訪問する確率を組み合わせることで推定する方法の拡張。
• 逆多項式 $\epsilon$、例えば $\epsilon = 1/n^{O(1)}$ に対しても、アルゴリズムの実行時間が多項式のままであることを保証する。

提案手法

• 動的計画法を効率的に行うために、再帰的分解により木を二分木に表現する。
• 電気回路の類似性を用いる：カバー時間およびリターン時間は有効抵抗と根ノードへの期待訪問回数に比例する。
• 辺の通過回数の再帰的合計を用いて、根ノードへの期待訪問回数を計算し、親の辺を $t$ 回通過する前に部分木に到達する確率 $P_i(t)$ を用いる。
• 部分木内で最後に訪問される頂点である確率を表す補助的確率 $A_i(t)$ を定義し、$R_i(t_l,t_r;t)$（同時通過確率）を含む再帰的関係を用いて計算する。
• 木の構造と確率の減衰に基づく境界を用いて、通過回数の無限和を切り詰める。
• 最後に訪問する確率 $P_{\text{last}}[u]$ を十分な精度で推定し、$C_v(T) = C_v^+(T) - \sum_u P_{\text{last}}[u] H[u,v]$ を用いて正確なカバータイム推定を可能にする。

実験結果

リサーチクエスチョン

• RQ1 決定的多項式時間アルゴリズムは、木におけるランダムウォークのカバー時間およびリターン時間を乗法的誤差 $1\pm\epsilon$ の範囲で近似可能か？
• RQ2 一般のグラフにおいてカバータイムを近似する際に、ランダムネスが顕著な利点を提供するのか。もしそうなら、その利点は木に対しても必要不可欠なのか？
• RQ3 カバー時間（リターンを除く）は、カバーおよびリターン時間と最後に訪問する確率を組み合わせることで、決定的に近似可能か？
• RQ4 逆多項式 $\epsilon$（例：$\epsilon = 1/n^{O(1)}$）に対しても、$n/\epsilon$ に対して多項式実行時間で実現可能か？

主な発見

• アルゴリズムは、$n/\epsilon$ に対して多項式時間で、カバーおよびリターン時間 $C_v^+(T)$ を乗法的要因 $1\pm\epsilon$ の範囲で近似する。
• 実行時間は $\epsilon = 1/n^{O(1)}$ の場合でも多項式のままであり、高精度近似においても効率的である。
• カバー時間 $C_v(T)$ は、最後に訪問された頂点からの期待到達時間を組み合わせることで推定され、最後に訪問される確率が非ゼロとなるのは葉ノードに限られる。
• 確率 $A_i(t)$ および $P_i(t)$ の再帰的計算に依存しており、これらは二進表現で表された木構造上の動的計画法により計算される。
• 有効抵抗と根ノードへの期待訪問回数を用いて、カバーおよびリターン時間と木の構造との関係を定式化し、決定的計算を可能にする。
• アルゴリズムは、$C_v^+(T';T) = 2(n-1)E_{T'}(1)$ を用いて、指定された部分木 $T'$ におけるカバータイムを推定するように拡張可能であり、ここで $E_{T'}(1)$ は $T'$ における根ノードへの期待訪問回数である。