vix.ing · top · new · best · stats · spec

Lower Bound for the Communication Complexity of the Russian Cards Problem

2008/05/14 by Aiswarya Cyriac, Cyriac, Aiswarya, K. Murali Krishnan +1 · 1 citation
Computer Science · #Advanced Algebra and Logic #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Multi-Agent Systems and Negotiation #cs.LO

paper · pdf · doi:10.48550/arxiv.0805.1974

5 pages

openalex publication_date 2008/05/14 · arxiv created 2008/12/24 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

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.

Cited by

Related