[논문 리뷰] On the Cost of Deciding Consensus

Vincent D. Blondel, Alex Olshevsky|arXiv (Cornell University)|2012. 02. 14.

Distributed systems and fault tolerance인용 수 4

한 줄 요약

이 논문은 확률적 행렬 집합에서 공감에 대한 必要하고 충분한 조합 조건으로서 '피하는 집합 조건'을 도입하여, 공감의 알고리즘적 결정 가능성을 가능하게 한다. 이는 P = NP 가 아닌 한 다항식 시간 내에 공감을 결정할 수 없다는 것을 증명함으로써, 검증 가능한 조건이 존재하더라도 문제의 계산적 난이도가 높음을 규명한다.

ABSTRACT

A set of stochastic matrices ${\cal P}$ is a consensus set if for every sequence of matrices $P(1), P(2), \ldots$ whose elements belong to ${\cal P}$ and every initial state $x(0)$, the sequence of states defined by $x(t) = P(t) P(t-1) \cdots P(1) x(0)$ converges to a vector whose entries are all identical. In this paper, we introduce an set for compact sets of matrices and prove in our main theorem that this explicit combinatorial condition is both necessary and sufficient for consensus. We show that several of the conditions for consensus proposed in the literature can be directly derived from the avoiding set condition. The avoiding set condition is easy to check with an elementary algorithm, and so our result also establishes that consensus is algorithmically decidable. Direct verification of the avoiding set condition may require more than a polynomial time number of operations. This is however likely to be the case for any consensus checking algorithm since we also prove in this paper that unless $P=NP$, consensus cannot be decided in polynomial time.

연구 동기 및 목표

• 확률적 행렬 집합에서 공감을 달성하는지 여부를 결정할 수 있는 계산 가능한 조합 조건을 규명하는 것.
• 이 조건이 모든 초기 상태와 행렬 수열에 대해 공감에 대해 必요하고 충분한가를 증명하는 것.
• 기존 문헌에서 제안된 공감 조건들이 모두 피하는 집합 조건으로 유도될 수 있음을 보여주는 것.
• 공감 결정의 계산 복잡도를 분석하여 다항식 시간 내에 해결 가능하지 않음을 보여주는 것.

제안 방법

• 저자들은 밀도 있는 확률적 행렬 집합에 대한 조합적 성질로서 피하는 집합 조건을 정의한다.
• 모든 행렬 수열이 집합에서 추출될 때, 수렴이 공감으로 일어나는 것은 피하는 집합 조건이 만족될 때에만 가능하다는 것을 증명한다.
• 이 방법은 확률적 행렬의 성질과 전이 구조를 이용하여 행렬 곱의 장기적 행동을 분석하는 데 초점을 맞춘다.
• 피하는 집합 조건를 검증하기 위한 간단한 알고리즘을 구성하여 알고리즘적 결정 가능성을 확보한다.
• 계산 난이도 결과를 활용하여 복잡도 분석을 수행하여, 공감 결정이 NP-난이도임을 증명한다.

실험 결과

연구 질문

• RQ1 확률적 행렬 집합에서 공감을 특징짓는 유한하고 검증 가능한 조합 조건이 존재하는가?
• RQ2 피하는 집합 조건이 기존의 공감에 대한 충분조건들을 포함하거나 통합할 수 있는가?
• RQ3 공감은 알고리즘적으로 결정 가능할 수 있으며, 그 계산 복잡도는 무엇인가?
• RQ4 공감은 다항식 시간 내에 결정 가능할 수 있는가, 아니면 NP-난이도인가?

주요 결과

• 피하는 집합 조건는 임의의 밀도 있는 확률적 행렬 집합에서 공감에 대해 必요하고 충분하다.
• 조건는 유한하고 간단한 알고리즘을 통해 검증 가능하므로, 공감은 알고리즘적으로 결정 가능하다.
• 이전에 제안된 문헌의 모든 공감 조건들은 피하는 집합 조건의 특수한 경우로 유도될 수 있다.
• P = NP 가 아닌 한 공감은 다항식 시간 내에 결정할 수 없으며, 이는 문제의 NP-난이도를 규명한다.