[論文レビュー] Graph Guessing Games and non-Shannon Information Inequalities

Rahil Baber, Demetres Christofides+3 more|arXiv (Cornell University)|Oct 30, 2014

Cooperative Communication and Network Coding参考文献 5被引用数 4

ひとこと要約

本稿は、グラフの推測ゲームにおける長年の予想に挑戦し、ChristofidesとMarkströmが示した『分数的クライQUE被覆戦略が無向グラフにおいて最適である』という主張を反証する。情報理論的不等式としてのシャノンの不等式では推測数を計算するのに不十分であり、よりタイトな境界を得るために非シャノンの不等式を導入する。また、辺の逆転に伴う推測数の非対称的挙動の証拠を提示する。

ABSTRACT

Guessing games for directed graphs were introduced by Riis for studying multiple unicast network coding problems. In a guessing game, the players toss generalised dice and can see some of the other outcomes depending on the structure of an underlying digraph. They later guess simultaneously the outcome of their own die. Their objective is to find a strategy which maximises the probability that they all guess correctly. The performance of the optimal strategy for a graph is measured by the guessing number of the digraph. Christofides and Markström studied guessing numbers of undirected graphs and defined a strategy which they conjectured to be optimal. One of the main results of this paper is a disproof of this conjecture. The main tool so far for computing guessing numbers of graphs is information theoretic inequalities. In the paper we show that Shannon's information inequalities, which work particularly well for a wide range of graph classes, are not sufficient for computing the guessing number. Finally we pose a few more interesting questions some of which we can answer and some which we leave as open problems.

研究の動機と目的

• 無向グラフにおける推測ゲームにおいて、分数的クライQUE被覆戦略が最適であるという予想を反証すること。
• シャノン情報不等式がグラフの推測数を計算する際に有する限界を調査すること。
• 推測数が辺の逆転によって変化する「不可逆的推測ゲーム」が存在する可能性を検討すること。
• 非シャノン情報不等式を用いた計算手法を開発し、推測数の境界をよりタイトにすること。
• 特定のグラフ例において、非線形戦略が線形戦略を上回る可能性があるかどうかを特定すること。

提案手法

• エントロピーと条件付き独立性制約を用いて、有向および無向グラフ上の推測ゲームを形式化する。
• シャノンの不等式を用いたエントロピー的議論と線形計画法により、推測数の上界を計算する。
• 非シャノン不等式（例：Zhang-Yeung、Dougherty-Freiling-Zeger）を反復的に追加する再帰的アルゴリズムを導入し、境界をタイトにする。
• グラフの自己同型を持つ場合に限界を減らすために、線形計画法における対称性削減を用いる。
• 特定のグラフ（R⁻およびRᴸを含む）の境界を評価するために、枝刈り技術を用いたコンピュータ探索を実施する。
• 補題7.3による部分グラフ還元を活用し、グラフとその誘導部分グラフとの関係を通じて推測数を境界づける。

実験結果

リサーチクエスチョン

• RQ1 推測ゲームにおいて、すべての無向グラフに対して分数的クライQUE被覆戦略が最適であるか？
• RQ2 シャノン情報不等式のみで、無向グラフの推測数を正確に決定できるか？
• RQ3 グラフに有向辺を追加することは、常にその推測数を増加または維持するか？
• RQ4 特定のグラフにおいて、非線形推測戦略が分数的クライQUE被覆戦略を上回る可能性があるか？
• RQ5 有向グラフの辺をすべて逆転させることは、常にその推測数を保存するか？

主な発見

• 本稿は、分数的クライQUE被覆戦略が無向グラフにおいて最適であるという予想を反証し、特定のグラフでは失敗することを示した。
• シャノンの情報不等式だけでは推測数を計算するのに不十分であり、よりタイトな境界を得るには非シャノン不等式が必要であることを証明した。
• グラフR⁻の漸近的推測数は未解決のままだが、20/3を超える任意の下界が得られれば、非線形戦略が分数的クライQUE被覆戦略を上回ることを示唆する。
• グラフRᴸの推測数は6.75より厳密に大きいことが示され、これは不可逆的推測ゲームの候補である可能性を示唆している。
• Zhang-Yeungおよびその他の非シャノン不等式は、線形計画法における反復的制約追加により、計算的に実装可能である。
• 対称性削減の活用により、自己同型を持つグラフに対して非シャノン不等式をチェックする際の計算効率が顕著に向上した。