[論文レビュー] The cover time, the blanket time, and the Matthews bound

J. Kahn, J. H. Kim+2 more|ArXiv.org|May 12, 2000

Advanced Graph Theory Research参考文献 1被引用数 17

ひとこと要約

本稿では、通行時間と対数スケーリングに基づく新しいパラメータ $ M $ を導入し、グラフ上のランダムウォークのカバー時間 $ C $ とブランケット時間 $ B $ を厳密に束縛する。$ \frac{1}{2}M \leq C \leq B \leq O(M(\ln\ln n)^2) $ を証明し、カバー時間の $ O(\ln n) $ 近似境界を改善する、2倍要因内での決定的多項式時間アルゴリズムを提示する。

ABSTRACT

The cover time C of a graph G is the expected time for a random walk starting from the worst vertex to cover all vertices in G. Similarly, the blanket time B is the expected time to visit all vertices within a constant factor of number of times suggested by the stationary distribution. (Our definition will be slightly stronger than this.) Obviously, all vertices are covered when the graph is blanketed, and hence C <= B. The blanket time is introduced by Winkler and Zuckerman motivated by applications in Markov estimation and distributed computing. They conjectured B =O(C) and proved B=O(C ln n ). In this paper, we introduce another parameter M motivated by Matthews' theorem and prove M/2 <= C <= B = O(( M ln ln n)^2). In particular, B = O(C (ln ln n)^2). The lower bound is still valid for the cover time C(π) starting from the stationary distribution. We also show that there is a polynomial time algorithm to approximate M within a factor of 2 and so does for C within a factor of O((ln ln n)^2), improving previous bound of O(ln n) of Matthews'.

研究の動機と目的

• ランダムウォークのカバー時間の近似要因のギャップを埋めること、特にマシューイズの定理から長年にわたり残っていた $ O(\ln n) $ の境界を改善すること。
• 部分集合上の最小通行時間に基づく定義された新しいパラメータ $ M $ を導入・分析し、カバー時間の厳密な特徴付けを行うこと。
• カバー時間の近似を向上させるために、$ M $ を2倍要因内に決定的多項式時間で近似するアルゴリズムを開発すること。
• ブランケット時間 $ B $ に対しても境界を拡張し、$ B = O(C(\ln\ln n)^2) $ を示し、$ B = O(C) $ であるという予想を支持すること。

提案手法

• 部分集合 $ S \subseteq V $ に対して $ \kappa_S $ を $ S $ 内のペアの最小通行時間とするとき、$ M = \max_{S \subseteq V} \kappa_S \ln|S| $ を定義することで、カバー時間の束縛に適した対称的かつ頑健なパラメータを構築する。
• $ M $ が拡張されたマシューイズ境界 $ M_0 $ と定数倍の関係にあることを証明し、$ \frac{1}{8}M \leq M_0 \leq M $ を確立する。
• 木構造上のランダムウォークの挙動を分析するために、ボールと壺の確率的モデルを用いる。エッジの通過を、隣接頂点に対応する壺へのボールの投げ込みとしてモデル化する。
• 集中不等式とFKG不等式を適用し、大きな壺すべてに多くのボールが到達する確率を束縛することで、高確率で一部の壺が疎であることを保証する。
• 静止分布からの期待カバー時間を分析することで、下界 $ C(\pi) \geq \frac{1}{2}M $ を確立する。
• 通行時間の構造と部分集合最適化を活用して、決定的アルゴリズムを設計し、$ M $ を2倍要因内で近似する。

実験結果

リサーチクエスチョン

• RQ1 決定的アルゴリズムを用いて、カバー時間の近似要因を $ \ln n $ ではなく $ \ln\ln n $ の多項式的要因にまで改善できるか。
• RQ2 通行時間と部分集合サイズに基づくパラメータ $ M $ は、カバー時間およびブランケット時間のタイトな代理変数であるか。
• RQ3 ブランケット時間 $ B $ は、カバー時間 $ C $ に対して $ O(\ln n) $ よりも良い要因、たとえば $ O((\ln\ln n)^2) $ で束縛できるか。
• RQ4 新しいパラメータ $ M $ は、定数倍の要因内で決定的多項式時間近似アルゴリズムを備えているか。

主な発見

• カバー時間 $ C $ は、$ \frac{1}{2}M \leq C \leq O(M(\ln\ln n)^2) $ を満たし、$ M $ は部分集合 $ S $ における $ \kappa_S \ln|S| $ の最大値として定義される。ここで $ \kappa_S $ は $ S $ 内の最小通行時間である。
• ブランケット時間 $ B $ は、$ B \leq O(M(\ln\ln n)^2) $ を満たし、$ B = O(C(\ln\ln n)^2) $ を示す。これは、従来の $ O(C\ln n) $ の境界を改善する。
• パラメータ $ M $ は、カバー時間の近似において $ O((\ln\ln n)^2) $ 要因で近似可能であり、マシューイズの定理による従来の $ O(\ln n) $ 要因よりも顕著に改善される。
• 決定的多項式時間アルゴリズムにより、$ M $ が2倍要因内で近似可能であり、これによりカバー時間の $ O((\ln\ln n)^2) $-近似が可能になる。
• 静止分布からのカバー時間に対して $ C(\pi) \geq \frac{1}{2}M $ の下界が成り立つ。これは $ M $ が強い下界であることを示している。
• 極値グラフ構成において、上界と下界の両方が定数倍の意味で鋭いことが示されており、境界は定数倍の意味でタイトである。