俄罗斯卡片问题通信复杂度的下界
计算机科学中的逻辑
2008-12-24 v2
摘要
本文证明，任何可在动态认知逻辑 (DEL) 中建模的公开宣告方案都无法在一次宣告内解决俄罗斯卡片问题 (RCP)。由于 DEL 是任何公开宣告方案的通用模型，我们得出结论：RCP 不存在单次宣告解。该证明展示了 DEL 在证明通信协议下界方面的效用。此外还表明，当对手持有足够多数量的卡片时，RCP 的通用版本不存在两次宣告解。
引用
@article{arxiv.0805.1974,
title = {Lower Bound for the Communication Complexity of the Russian Cards Problem},
author = {Aiswarya Cyriac and K. Murali Krishnan},
journal= {arXiv preprint arXiv:0805.1974},
year = {2008}
}
备注
5 pages