브로드캐스트 합의 프로토콜의 표현력

초록

**
본 논문은 인구 프로토콜에 신뢰성 있는 브로드캐스트 연산을 추가한 브로드캐스트 합의 프로토콜을 제안하고, 이 모델이 입력을 유니코드(단항) 형태로 주었을 때 정확히 복잡도 클래스 NL에 해당하는 모든 술어를 계산할 수 있음을 증명한다. 또한 단일 신호와 단일 브로드캐스터만으로도 동일한 계산 능력을 얻을 수 있음을 보이며, 리더가 없는 경우에도 전력에 차이가 없음을 논한다.

**

상세 분석

**
이 논문은 기존 인구 프로토콜이 프레셰버(Presburger) 산술로 표현 가능한 술어만을 계산한다는 한계를 극복하기 위해 신뢰성 있는 브로드캐스트라는 통신 원시를 도입한다. 브로드캐스트 전이는 (q → r; f) 형태로 정의되며, 한 에이전트가 상태 q에서 상태 r로 전이하면서 동시에 모든 다른 에이전트에게 전이 함수 f를 적용한다. 이 메커니즘은 “전역 정보를 한 번에 전파”하고, 필요 시 전체 시스템을 비동기적으로 재시작할 수 있는 능력을 제공한다.

핵심 기술은 silent semi‑computation 개념이다. 이는 프로토콜이 어느 시점에 도달하면 더 이상 상태 변화를 일으키지 않으며, 그 시점에서 올바른 출력(0 또는 1)을 유지하는 것을 의미한다. 저자들은 모든 NL‑문제에 대해, 브로드캐스트 합의 프로토콜이 이러한 silent semi‑computation을 수행하도록 설계할 수 있음을 보인다. 구체적으로, NL‑머신의 구성(상태, 스택, 입력 포인터)을 에이전트들의 다중집합으로 인코딩하고, 브로드캐스트를 이용해 비결정적 선택과 전역 검증을 구현한다. 잘못된 경로가 탐지되면 특별 상태 ⊥ 로 전이한 뒤, 브로드캐스트 r을 통해 모든 에이전트를 초기 상태로 복귀시켜 다시 시도하게 만든다. 이 “재시작” 메커니즘은 공정성(fairness) 가정 하에 반드시 올바른 경로가 무한히 많이 선택될 것을 보장한다.

또한 논문은 표현력의 하한을 증명한다. 브로드캐스트 합의 프로토콜이 NL보다 강력해질 경우, 그 결과는 NL = co‑NL = L 로 귀결되는데, 이는 현재 알려진 복잡도 구분과 모순된다. 따라서 NL이 정확히 이 모델의 계산 능력임을 확정한다.

특히 흥미로운 점은 최소화된 모델에 대한 논의이다. 저자들은 (1) 단일 에이전트가 단 하나의 신호만을 브로드캐스트해도 NL‑전력을 유지하고, (2) “리셋” 연산(모든 에이전트를 초기 상태로 되돌리는 연산)을 추가해도 계산 능력이 증가하지 않음을 보인다. 이는 실제 구현 관점에서 하드웨어·생물학적 시스템에 매우 유리한 설계 지침을 제공한다.

마지막으로, 리더리스(leaderless) 프로토콜이 동일한 힘을 가진다는 점을 증명한다. 초기 모든 에이전트를 동일 상태에 두고, 첫 브로드캐스트를 통해 정확히 하나의 에이전트를 리더 상태로 전환함으로써, 기존 리더 기반 설계와 동등한 동작을 구현한다. 따라서 리더의 존재 여부는 이론적 계산 능력에 영향을 주지 않는다.

**