[논문 리뷰] Lower Bound for the Communication Complexity of the Russian Cards Problem

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

Logic, Reasoning, and Knowledge참고 문헌 21인용 수 8

한 줄 요약

이 논문은 동적 지식 논리(Dynamic Epistemic Logic, DEL)를 사용하여 러시안 카드 문제(Russian Cards Problem, RCP)에 대해 단일 공개 발표로는 해결할 수 없음을 증명하며, 통신 복잡도에 대한 기본 하한을 설정한다. 또한 k ≥ 2 및 l ≥ 2k²/ln k 조건 하에서 일반화된 RCP(k;l)에 대해 두 번의 발표로는 충분하지 않음을 보이며, 암호화 없이도 안전한 정보 교환을 위해서는 이러한 조건 하에서 최소 두 라운드의 통신이 필요하다는 것을 입증한다.

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.

연구 동기 및 목표

• 동적 지식 논리(Dynamic Epistemic Logic, DEL) 프레임워크 내에서 러시안 카드 문제(Russian Cards Problem, RCP)에 대해 단일 공개 발표로는 해결할 수 없다는 것을 공식적으로 입증하는 것.
• DEL 프레임워크가 지식 기반 프rotocol의 통신 복잡도 하한을 유도하는 데에 충분하다는 것을 보여주는 것.
• 두 플레이어가 각각 k장의 카드를 가지고 있고, 적대자가 l장의 카드를 가지고 있는 RCP(k;l)로 RCP를 일반화하고, 필요한 최소한의 발표 수를 분석하는 것.
• l ≥ 2k²/ln k 및 k ≥ 2 조건 하에서 공개적이고 진실한 발표 조건 하에 두 발표로는 RCP(k;l)를 해결할 수 없다는 것을 증명하는 것.
• 암호화 없이 분산 시스템에서의 안전한 정보 교환을 이해하기 위해 정보 이론적 한계를 통신 라운드 수에 대해 설정함으로써 기여하는 것.

제안 방법

• 플레이어의 지식을 지식관계 관계를 갖는 Kripke 모델로 표현함으로써 RCP 및 그 일반화인 RCP(k;l)를 동적 지식 논리(Dynamic Epistemic Logic, DEL)로 모델링하는 것.
• 공개 발표를 액션 모델로 표현하고, 제품 갱신을 통해 Kripke 모델을 갱신함으로써 에이전트의 지식 변화를 반영하는 것.
• l ≥ 2k²/ln k 조건 하에서 플레이어 b가 유추할 수 있는 서로 다른 손의 수가 총 가능한 손의 수를 초과함을 보여주는 기술적 조합 렘마(Lemma 3)를 적용하는 것.
• 모순에 의한 증명: 단일 또는 이중 발표 해결책이 존재한다고 가정하고, 발표 이후에도 플레이어 b에 대해 구분 불가능한 상태가 지속됨을 보여주며, 지식 획득 요구 조건을 위반함을 입증하는 것.
• l ≥ 2k²/ln k 및 k ≥ 2 조건 하에서 불등식 ⌈(2k+l)/k⌉ × C(k+l,k) > C(2k+l,k)를 적용하여, 단일 또는 이중 발표 이후에 고유한 식별이 불가능하다는 것을 입증하는 것.
• 발표 시퀀스에 걸친 구분 불가능성 관계를 분석하여, 두 초기 상태가 플레이어 b에 대해 구분 불가능하다면, 동일한 내용의 공개 발표가 어떤 수의 횟수이든 간에 그 상태가 유지됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 러시안 카드 문제는 동적 지식 논리(Dynamic Epistemic Logic) 프레임워크 내에서 단일 공개 발표로 해결될 수 있는가?
• RQ2 적대자가 l장의 카드를 가진 경우 일반화된 러시안 카드 문제 RCP(k;l)를 해결하기 위해 필요한 최소한의 공개 발표 수는 얼마인가?
• RQ3 k와 l에 대해 어떤 조건에서 두 발표 해결책이 정보를 보유한 플레이어의 완전한 지식 획득을 달성하지 못하는가?
• RQ4 동적 지식 논리(Dynamic Epistemic Logic)는 지식 기반 프로토콜의 통신 복잡도 하한을 공식적으로 도출하는 데 사용될 수 있는가?
• RQ5 적대자의 카드 수(l)에 대해 두 발표로는 충분하지 않게 되는 조합적 임계값이 존재하는가?

주요 결과

• 동적 지식 논리(Dynamic Epistemic Logic)로 모델링된 공개 발표 체계는 원래의 러시안 카드 문제(Russian Cards Problem)를 단일 발표로 해결할 수 없으며, 이는 단일 발표 해결책이 불가능함을 증명한다.
• 일반화된 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가 서로 다른 카드 분포를 구분할 수 없음을 의미하며, 완전한 지식 획득 요구 조건을 위반한다.
• 결과적으로, 적대자가 충분히 많은 카드를 가진 경우 분산 시스템에서 공개 발표를 통한 안전한 정보 교환은 두 라운드 이하로는 달성될 수 없다는 것을 시사한다.
• 동적 지식 논리(Dynamic Epistemic Logic) 프레임워크가 지식 기반 프로토콜의 비트리비얼한 통신 복잡도 하한을 도출하는 데에 충분히 강력하며, 모델링을 넘어서 불가능성 결과의 공식적 증명에까지 응용 가능함을 입증한다.