[論文レビュー] The optimal strategy for symmetric rendezvous search on K3

Richard Weber|ArXiv.org|Jun 30, 2009

Optimization and Search Problems参考文献 10被引用数 8

ひとこと要約

この論文は、完全グラフ $K_3$ における対称レンデズボース探索において、Anderson-Weber (AW) 策が期待会合時間 $rac{5}{2}$ を最小化する最適戦略であることを証明している。証明は、Kronecker積を用いた行列の再帰的構成と半正定値計画法を用いて、すべての $k$ に対して切り捨てられた期待会合時間 $rac{5}{2}$ を最小化することを示しており、20年前の予想を確認している。

ABSTRACT

In the symmetric rendezvous search game played on Kn (the completely connected graph on n vertices) two players are initially placed at two distinct vertices (called locations). The game is played in discrete steps and at each step each player can either stay where he is or move to a different location. The players share no common labelling of the locations. They wish to minimize the expected number of steps until they first meet. Rendezvous search games of this type were first proposed by Steve Alpern in 1976. They are simple to describe, and have received considerable attention in the popular press as they model problems that are familiar in real life. They are notoriously difficult to analyse. Our solution of the symmetric rendezvous game on K3 makes this the first interesting game of its type to be solved, and establishes a 20 year old conjecture that the Anderson-Weber strategy is optimal.

研究の動機と目的

• 対称レンデズボース探索におけるAnderson-Weber戦略が $K_3$ で最適であるという長年の予想を解消すること。
• レンデズボース値 $w = \frac{5}{2}$ が達成可能な最小の期待会合時間であることを確立すること。
• すべての $k$ に対して、AW 戦略が切り捨てられた期待会合時間 $\mathbb{E}[\min\{T, k+1\}]$ を最小化することを証明すること。
• Kronecker積と置換行列を用いた再帰的行列フレームワークを構築し、プレイヤー戦略と会合確率をモデル化すること。
• プレイヤーが時計回りの共通の認識を持たない場合でも、AW 戦略が最適であることを示すこと。

提案手法

• 著者らは、$3^k \times 3^k$ 行列 $B_k = B_1 \otimes B_{k-1}$ の列挙を定義し、$B_1$ は $K_3$ 上での AW 戦略におけるプレイヤーの位置遷移確率を符号化する。
• 段階 $k$ までの会合確率を表すベクトル $x_k$ を、$k$ に依存する変換行列 $a_k$ を用いて $x_{k-1}$ から再帰的に導出する。
• 重要な要素として、段階 $k$ までに会合していない確率を符号化する行列 $H_k$ があり、これは $w_k = \mathbb{E}[\min\{T, k+1\}]$ の再帰的関係を導出するために用いられる。
• 証明は、すべての $k$ に対して $U_k x_k \geq 0$ が成り立つことを示すことにより、確率の下界の非負性を保証する。ここで $U_k$ は $K_3$ の対称性群から導かれる行列である。
• 半正定値計画法を用いてレンデズボース値の下界を導出し、$K_3$ の回転対称性群の構造を活用して問題の構造を活用する。
• 再帰的構造は長さ 27 まで拡張され、最終的な $w_k$ のパターンが現れ、$k$ の偶奇に応じた $w_k$ の閉形式表現が可能になる。

実験結果

リサーチクエスチョン

• RQ1 Anderson-Weber 戦略は、$K_3$ における対称レンデズボース探索で最適か？
• RQ2 AW 戦略はすべての $k$ に対して切り捨てられた期待会合時間 $\mathbb{E}[\min\{T, k+1\}]$ を最小化するか？
• RQ3 数値近似に依存せずに、レンデズボース値 $w = \frac{5}{2}$ を厳密に証明できるか？
• RQ4 時計回りの共通認識の有無が、$K_3$ における AW 戦略の最適性に影響を与えるか？
• RQ5 再帰的行列法は、$n \geq 4$ の $K_n$ を含む他のグラフへ一般化可能か？

主な発見

• Anderson-Weber 戦略が、$K_3$ における対称レンデズボース探索で最適であることが証明され、最小の期待会合時間 $\mathbb{E}[T] = \frac{5}{2}$ を達成する。
• 切り捨てられた期待会合時間 $w_k = \mathbb{E}[\min\{T, k+1\}]$ は、閉形式で与えられる：$k$ が奇数のとき $w_k = \frac{5}{2} - \frac{5}{2} \cdot 3^{-(k+1)/2}$、$k$ が偶数のとき $w_k = \frac{5}{2} - \frac{3}{2} \cdot 3^{-k/2}$。
• AW 戦略がすべての $i$ に対して $P(T > i)$ を最小化するわけではないことが、反例 $P(T > 4) = \frac{1}{9}$（AW 戦略時）により示され、より良い戦略では $P(T > 4) = \frac{1}{10}$ を達成できる。
• 証明により、$k \to \infty$ のとき $w_k \to \frac{5}{2}$ となることが示され、レンデズボース値が $\frac{5}{2}$ であることが確認された。
• AW 戦略は、時計回りの共通認識がなくても最適であり、この情報を利用していないため。
• Kronecker積と群の対称性を用いた手法により、最適性を正当化する再帰的フレームワークを構築でき、他のグラフへの一般化の可能性を示唆している。