俄罗斯扑克问题的通信复杂性下界
摘要：不能用动态认知逻辑（DEL）建模的公共公告方案不能在一次公告中解决俄罗斯扑克问题（RCP）。由于DEL是任何公共公告方案的通用模型，我们得出结论：RCP没有单次公告解决方案。该证明证明了DEL在证明通信协议的下限方面的实用性。同时还表明，当对手拥有足够多的卡片时，通用版本的RCP无法用两次公告解决。
作者：Aiswarya Cyriac, K. Murali Krishnan
论文ID：0805.1974
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2008-12-24