[논문 리뷰] Simple epistemic planning: generalised gossiping

Martin Cooper, Andreas Herzig외 3명|arXiv (Cornell University)|2016. 06. 10.

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

한 줄 요약

이 논문은 고전적인 가십 문제를 지식 계획으로 일반화하여, 모든 참가자가 다른 모든 참가자가 모든 비밀을 안다는 것과 같은 임의의 지식 깊이로 통신 목표를 확장한다. 이는 다양한 그래프 제약 조건 하에서 이방향, 단방향, 병렬 통신에 대해 최적의 프로토콜을 제안하며, 특정 참가자가 특정 비밀을 알지 못하도록 하는 부정적 목표를 추가하면 존재 문제의 복잡도가 NP-완전해지며, 순수하게 정적 목표는 다항시간 내에 해결 가능하다는 것을 증명한다.

ABSTRACT

The gossip problem, in which information (known as secrets) must be shared among a certain number of agents using the minimum number of calls, is of interest in the conception of communication networks and protocols. We extend the gossip problem to arbitrary epistemic depths. For example, we may require not only that all agents know all secrets but also that all agents know that all agents know all secrets. We give optimal protocols for various versions of the generalised gossip problem, depending on the graph of communication links, in the case of two-way communications, one-way communications and parallel communication. We also study different variants which allow us to impose negative goals such as that certain agents must not know certain secrets. We show that in the presence of negative goals testing the existence of a successful protocol is NP-complete whereas this is always polynomial-time in the case of purely positive goals.

연구 동기 및 목표

• 고전적인 가십 문제를 모든 참가자가 비밀을 안다는 상호 지식의 지식 깊이까지 확장하여, 비밀에 대한 상호 지식의 지식을 포함하는 지식 목표를 포함한다.
• 다양한 네트워크 구조에서 이방향, 단방향, 병렬 통신 모델에 대한 최적의 통신 프로토콜을 설계한다.
• 기밀 정보가 포함된 상황에서, 양성 및 부정성 지식 목표의 혼합에 대한 계획의 복잡도를 분석한다.
• 비밀을 변경하는 행동이 지식 계획의 해법 가능성과 계산 복잡도에 미치는 영향을 조사한다.

제안 방법

• 에이전트 간 지식 체인을 나타내는 형식 $K_{i_1} \ldots K_{i_r}s_j$의 명제 변수로 지식 불변량을 모델링한다.
• 행동가가 통신(통화)으로서 정의되며, 지식 불변량에 대한 전제 조건과 영향을 갖는 계획 프레임워크를 정의한다.
• 완전 그래프 및 $K_{2,n-2}$와 같은 부분그래프에 대해 최적의 프로토콜을 구성하여, 이방향 통신의 경우 하한선 $(d+1)(n-2)$회의 통화를 달성한다.
• 단방향 통신의 경우, $(d+1)(n-1)$회의 통화가 필요하며, 이는 고전 결과를 깊이 $d$로 일반화한 것이다.
• 병렬 통신의 경우, 재귀적 브로드캐스트 전략을 사용하여 $O(d \log n)$단계로 충분함을 보였다.
• 부정적 목표가 있는 존재 문제를 결정 문제로 환원하고, 기존의 알려진 NP-완전 문제로부터의 환원을 통해 NP-완전성을 입증한다.

실험 결과

연구 질문

• RQ1 주어진 통신 그래프에서 지식 깊이 $d$에 도달하기 위해 필요한 최소 통화 수는 얼마인가?
• RQ2 특정 참가자가 특정 비밀을 알지 못하도록 하는 부정적 목표가 도입되면 지식 계획의 복잡도는 어떻게 변화하는가?
• RQ3 고전적 가십 프로토콜을 더 높은 지식 깊이로 일반화한 단방향 및 병렬 통신 모델에 대해 최적의 프로토콜을 구성할 수 있는가?
• RQ4 에이전트가 통신 중 비밀을 변경할 수 있는 경우, 성공적인 프로토콜의 존재 여부는 여전히 다항시간 내에 결정 가능한가?
• RQ5 예를 들어 $K_{2,n-2}$의 존재 여부와 같은 통신 그래프의 구조적 특성이 지식 가십 문제의 최적 해를 가능하게 하는가?

주요 결과

• 완전 그래프에서 이방향 통신의 경우, 지식 깊이 $d$에 도달하기 위해 필요한 최소 통화 수는 $(d+1)(n-2)$이며, 이 하한선은 날카로운 것이다.
• 모든 그래프에서 $K_{2,n-2}$가 부분그래프로 포함되어 있는 경우, 이 하한선을 달성하는 프로토콜이 존재하며, 이 조건 하에서는 최적이 된다.
• 단방향 통신의 경우, 최적의 프로토콜은 $(d+1)(n-1)$회의 통화가 필요하며, 이는 고전 결과를 깊이 $d$로 일반화한 것이다.
• 병렬 통신 모델에서는 지식 깊이 $d$에 도달하기 위해 단지 $O(d \log n)$단계가 필요하며, 이는 고전적 병렬 가십 프로토콜을 일반화한 것이다.
• 양성 및 부정성 지식 목표의 혼합 조건을 만족하는 계획의 존재 문제는, 비록 비밀이 하나뿐이더라도 NP-완전하다.
• 비밀 변경을 允가하는 것은 복잡도를 감소시키지 않으며, 행동이 비밀 변경에 국한되어 있어도 문제의 복잡도는 여전히 NP-완전하다.