[論文レビュー] Lower Bound for the Communication Complexity of the Russian Cards Problem

Aiswarya Cyriac, K. Murali Krishnan|ArXiv.org|May 14, 2008

Logic, Reasoning, and Knowledge参考文献 21被引用数 8

ひとこと要約

この論文は、動的知識論理（DEL）を用いて、1つの公開発表ではロシア・カード問題（RCP）を解くことはできないことを証明し、通信複雑性の根本的な下界を確立する。さらに、k ≥ 2 および l ≥ 2k²/ln k である一般化された RCP(k;l) において、2回の発表でも十分でないことが示され、暗号化なしに安全な情報交換を実現するには、これらの条件下で少なくとも2ラウンドの通信が必要であることが明らかになる。

ABSTRACT

In this paper it is shown that no public announcement scheme that can be modeled in Dynamic Epistemic Logic (DEL) can solve the Russian Cards Problem (RCP) in one announcement. Since DEL is a general model for any public announcement scheme we conclude that there exist no single announcement solution to the RCP. The proof demonstrates the utility of DEL in proving lower bounds for communication protocols. It is also shown that a general version of RCP has no two announcement solution when the adversary has sufficiently large number of cards.

研究の動機と目的

• 動的知識論理（DEL）の枠組み内で、1つの公開発表ではロシア・カード問題（RCP）を解くことはできないことを形式的に確立すること。
• DELフレームワークが知識プロトコルの通信複雑性に関する下界を導出するのに十分であることを示すこと。
• 2人のプレイヤーがk枚のカードを保有し、敵対者（アドバーサリー）がl枚のカードを保有する一般化されたRCP(k;l)にRCPを一般化し、必要な発表回数の最小値を分析すること。
• l ≥ 2k²/ln k および k ≥ 2 の条件下で、公開かつ真実の発表という制約のもとで、2回の発表ではRCP(k;l)を解くのに不十分であることを証明すること。
• 暗号化なしに分散システムにおける安全な情報交換を理解するために、通信ラウンドの情報理論的限界を確立することで貢献すること。

提案手法

• プレイヤーの知識をエピステム的可及関係を備えたKripkeモデルとして表現することで、RCPおよびその一般化RCP(k;l)を動的知識論理（DEL）でモデル化する。
• 行動モデルを用いて公開発表を表現し、製品更新を通じてKripkeモデルを更新することで、エージェントの知識の変化を反映する。
• l ≥ 2k²/ln k のとき、プレイヤーbが推論できる異なる手札の数が、全可能な手札の数を上回ることを示すために、技術的組合せ補題（補題3）を用いる。
• 背理法を用いる：1回または2回の発表による解決策が存在すると仮定し、プレイヤーbにとって区別不能な状態が発表後も残存することを示し、知識獲得の要件を満たさないことを証明する。
• l ≥ 2k²/ln k および k ≥ 2 のとき、⌈(2k+l)/k⌉ × C(k+l,k) > C(2k+l,k) という不等式を適用し、1回または2回の発表後に一意な識別が不可能であることを確立する。
• 発表シーケンスにおける区別不能関係を分析し、2つの初期状態がプレイヤーbにとって区別不能であれば、同じ内容の公開発表を任意の回数行った後も、依然として区別不能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 動的知識論理の枠組み内で、ロシア・カード問題は1回の公開発表で解けるか？
• RQ2 敵対者がl枚のカードを保有する一般化されたロシア・カード問題RCP(k;l)を解くために、最小で何回の公開発表が必要か？
• RQ3 kとlのどのような条件下で、2回の発表による解決策は、情報を持つプレイヤーの完全な知識獲得を達成できないか？
• RQ4 動的知識論理は、知識プロトコルにおける通信複雑性の下界を形式的に導出するために用いることができるか？
• RQ5 敵対者のカード枚数（l）に、2回の発表が不十分となる組合せ的閾値が存在するか？

主な発見

• 動的知識論理でモデル化されたいかなる公開発表方式でも、元々のロシア・カード問題を1回の発表で解くことはできない。これは、1発表による解決策が不可能であることを証明する。
• 一般化されたRCP(k;l)において、l ≥ 2k²/ln k および k ≥ 2 のとき、2回の発表では不十分であり、通信複雑性の下界が確立される。
• 証明は組合せ的不等式に依存している：⌈(2k+l)/k⌉ × C(k+l,k) > C(2k+l,k) は、l ≥ 2k²/ln k および k ≥ 2 のとき成立し、プレイヤーbがすべての可能な手札を一意に区別できないことを示している。
• プレイヤーbにとっての区別不能な状態は発表を経ても持続するため、1回または2回の発表後でも、プレイヤーbは異なるカード配分を区別できず、完全な知識獲得の要件を満たさない。
• この結果は、敵対者が十分に多くのカードを保有する場合、暗号化なしに分散システムにおける安全な情報交換を1ラウンド以下で達成できないことを示唆する。
• 動的知識論理のフレームワークが、知識プロトコルにおける通信複雑性の非自明な下界を導出するのに十分な力を持っていることが示され、モデル化を超えて、不可能性の形式的証明への応用が可能であることが明らかになった。