[論文レビュー] A Tractable Variant of Cover Time

Agelos Georgakopoulos|arXiv (Cornell University)|Jun 28, 2012

Advanced Graph Theory Research参考文献 8被引用数 9

ひとこと要約

本稿では、未カバー頂点の数に依存するステップコストを伴う、グラフ上のランダムウォークにおけるカバー時間の計算可能な変種であるカバーコストを導入する。正確な計算のための $ O(n^4) $ アルゴリズムと明示的な公式を提示し、カバー時間と密接に関連しており、計算の容易さを向上させた有用な代理指標であることを示す。

ABSTRACT

We introduce a variant of the cover time of a graph, called cover cost, in which the cost of a step is proportional to the number of yet uncovered vertices. It turns out that cover cost is more tractable than cover time; we provide an $O(n^4)$ algorithm for its computation, as well as some explicit formulae. The two values are not very far from each other, and so cover cost might be a useful tool in the study of cover time.

研究の動機と目的

• グラフ上のランダムウォークにおける正確なカバー時間の計算の非効率性に対処すること。
• カバレッジターン中に負荷として蓄積される合計期待値をモデル化する新しいグラフパラメータ「カバーコスト」を提案すること。
• 線形代数と到達時間の性質を活用して、カバーコストを正確に計算するための効率的アルゴリズムを開発すること。
• カバーコストと既知のグラフパラメータ（到達時間、ウィーナー指数など）との理論的関係を確立すること。
• カバーコストとカバー時間の関係、特に極値グラフクラスにおける関係を調査すること。

提案手法

• 各ステップのコストを未カバー頂点の割合に比例するものとして定義し、カバーコストをステップコストの期待値の合計として定義する。
• 重要な恒等式：$ CC_r(G) = \sum_{x \in V} H_r(x) $ を導出し、カバーコストを根 $ r $ からの到達時間に直接結びつける。
• 到達時間 $ H_r(x) $ を求めるために線形方程式系を用い、各頂点に対して $ O(n^3) $ 時間で解ける。
• この $ n $ 個のシステムを組み合わせることで、$ CC_r(G) $ を $ O(n^4) $ 時間で正確に計算可能となる。
• 一般式：$ CC_r(G) = \sum_{x,y \in V} \frac{p_r(x<y)}{p_{xy}} $ を証明し、ここで $ p_{xy} $ は $ x $ から $ y $ への脱出確率を表す。
• 木構造に対しては、グラフ理論的量を用いた閉形式の式を導出：$ CC_r(T) = \sum_{x,y} d(x\wedge_r y, y) \cdot d(x) $。

実験結果

リサーチクエスチョン

• RQ1 カバーコストは、グラフ上のランダムウォークにおけるカバー時間の計算可能な代理指標として機能できるか？
• RQ2 カバーコストと到達時間の関係は何か？ これを効率的な計算に活用できるか？
• RQ3 パス、スターグラフ、または木構造などの極値グラフ上でのカバーコストの振る舞いはどのように変わるか？ また、カバー時間と比較するとどうなるか？
• RQ4 カバーコストとカバー時間が同様にスケーリングするグラフ族は存在するか？ その比の上限・下限は何か？
• RQ5 与えられた頂点数に対してカバーコストを最小化または最大化する極値グラフは何か？

主な発見

• カバーコスト $ cc_r(G) $ は、$ \sum_x H_r(x) $ の和を用いて $ O(n^4) $ 時間で計算可能であり、正確なアルゴリズムを提供する。
• スターグラフ $ S_n $ では、カバーコストは約 $ 2n $ であるが、カバー時間は $ \approx 2n \ln n $ であるため、成長率に顕著な差が生じる。
• パス $ P_n $ では、カバーコスト $ cc_r(P_n) $ は端点で最小、中央で最大となり、その差は正確に $ n/4 $ である。
• パスにおけるカバーコストの正確な公式を導出：$ cc_r(P_n) = \frac{(n+1)(2n+1)}{6} + \frac{r(n-r)}{n} $。
• 木構造では、カバーコストはグラフ理論的量を用いた閉形式の式で表せる：$ CC_r(T) = \sum_{x,y} d(x\wedge_r y, y) \cdot d(x) $。
• カバーコストはカバー時間と $ n \times $ カバー時間の間で有界であり、$ cc_r(G) < CT_r(G) < CC_r(G) $ を満たす。また、一部のケースでは比 $ cc_r(G)/CT_r(G) $ がゼロから離れている。