[论文解读] 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）证明，单次公开声明无法解决俄罗斯纸牌问题（RCP），从而确立了通信复杂度的基本下限。此外，研究进一步表明，对于广义的RCP(k;l)（其中k ≥ 2且l ≥ 2k²/ln k），两次声明亦不足以解决问题，表明在这些条件下，无需加密的安全信息交换至少需要两轮通信。

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）框架内，正式证明单次公开声明无法解决俄罗斯纸牌问题（RCP）。
• 证明DEL框架足以推导出知识协议通信复杂度的下限。
• 将RCP推广至RCP(k;l)，其中两名玩家各持k张牌，对手持l张牌，并分析所需最少声明次数。
• 证明当l ≥ 2k²/ln k且k ≥ 2时，两次声明不足以解决RCP(k;l)，在公开且真实的声明约束下成立。
• 通过建立信息论上通信轮次的极限，为无加密的分布式系统中安全信息交换提供理解。

提出的方法

• 使用动态知识逻辑（DEL）建模RCP及其广义形式RCP(k;l)，通过带有知识可达关系的Kripke模型表示玩家的知识。
• 使用动作模型表示公开声明，通过乘积更新操作更新Kripke模型，以反映代理知识的变化。
• 应用一个技术性组合引理（引理3），表明当l ≥ 2k²/ln k时，玩家b可能推断出的不同手牌数量超过所有可能手牌总数。
• 采用反证法：假设存在单次或两次声明的解法，然后证明玩家b在声明后仍存在无法区分的状态，违反知识获取的要求。
• 利用不等式⌈(2k+l)/k⌉ × C(k+l,k) > C(2k+l,k)（当l ≥ 2k²/ln k且k ≥ 2时成立），证明在一次或两次声明后无法实现唯一识别。
• 分析声明序列中不可区分关系的传播，表明若两个初始状态对玩家b不可区分，则在任何轮次的公开声明（内容相同）后仍保持不可区分。

实验结果

研究问题

• RQ1 在动态知识逻辑框架下，俄罗斯纸牌问题能否通过单次公开声明解决？
• RQ2 当对手持有l张牌时，广义俄罗斯纸牌问题RCP(k;l)所需的最少公开声明次数是多少？
• RQ3 在何种k与l的条件下，两次声明解法无法实现知情玩家的完全知识获取？
• RQ4 动态知识逻辑能否用于正式推导知识协议中通信复杂度的下限？
• RQ5 是否存在一个组合阈值，使得对手持有的牌数（l）达到该值时，两次声明不足以实现安全信息交换？

主要发现

• 在动态知识逻辑建模的任何公开声明方案中，均无法通过单次声明解决原始俄罗斯纸牌问题，证明单次声明解法不可能存在。
• 对于广义RCP(k;l)，当l ≥ 2k²/ln k且k ≥ 2时，两次声明亦不足以解决问题，确立了通信复杂度的下限。
• 证明依赖于一个组合不等式：⌈(2k+l)/k⌉ × C(k+l,k) > C(2k+l,k)，该不等式在l ≥ 2k²/ln k且k ≥ 2时成立，表明玩家b无法唯一区分所有可能的手牌。
• 玩家b的不可区分状态在声明过程中持续存在，意味着即使在一次或两次声明后，玩家b仍无法区分不同的牌局分布，违反了完全知识获取的要求。
• 该结果意味着，在对手持有足够多张牌时，通过公开声明在分布式系统中实现安全信息交换无法少于两轮通信。
• 结果表明，动态知识逻辑框架足够强大，可推导出知识协议中通信复杂度的非平凡下限，拓展了其在形式化不可能性结果证明中的应用，而不仅限于建模。