다중 파티 통신 복잡도에서 NP와 coNP 구분

초록

본 논문은 포리-앞 모델에서 플레이어 수 k가 (1‑ε)·log n 이하일 때, NP와 coNP가 서로 다름을 보인다. 저자들은 co‑비결정적 복잡도 O(log n)인 함수 F를 설계하고, 이 함수의 Merlin‑Arthur 복잡도가 n^{Ω(1)}임을 증명한다. 이를 통해 k>2인 경우의 오랜 열린 문제를 해결한다.

상세 분석

이 연구는 다중 파티 통신 복잡도 이론에서 가장 기본적인 복합도 클래스인 NP와 coNP 사이의 관계를 포리‑앞(number‑on‑forehead, NOF) 모델에 적용해 새로운 구분을 제시한다. 기존에는 두 플레이어(k=2)까지는 NP≠coNP가 알려졌지만, 플레이어 수가 로그 규모로 증가할 때는 아직 증명이 어려웠다. 논문은 임의의 상수 ε>0에 대해 k≤(1‑ε)·log n인 경우, 즉 플레이어 수가 전체 입력 길이의 로그보다 약간 작을 때에도 NP와 coNP가 구별된다는 강력한 결과를 얻는다. 핵심은 복잡도 차이가 크게 나는 특수 함수 F를 구성하는데 있다. 저자들은 F를 두 단계로 설계한다. 첫 번째 단계는 “pointer‑chasing”과 “set‑disjointness”를 결합한 구조로, 각 플레이어가 자신의 앞머리(다른 플레이어가 보는 부분)만을 통해 O(log n) 비결정적 증명을 검증할 수 있게 만든다. 이는 co‑비결정적 통신 복잡도가 O(log n)임을 보장한다. 두 번째 단계에서는 Merlin‑Arthur 프로토콜을 적용했을 때, 증명자(Merlin)가 제공할 수 있는 정보가 제한적이므로 플레이어들이 전체 입력을 검증하려면 적어도 n^{Ω(1)} 비트의 통신이 필요함을 증명한다. 이 하한은 정보 이론적 인코딩 논쟁과 복합적인 하이퍼그래프 색칠 기법을 이용해 도출된다. 특히, 저자들은 “hardness amplification” 기법을 활용해 작은 규모의 하드 인스턴스를 로그 n 규모의 플레이어에게 확장시켰으며, 이를 통해 기존 2‑플레이어 결과를 자연스럽게 일반화했다. 결과적으로, F는 coNP에 속하지만 MA(또는 AM)에는 포함되지 않으며, 이는 coNP⊄MA라는 강력한 구분을 의미한다. 논문은 또한 이 구분이 기존의 통신 복잡도 계층 구조에 미치는 영향을 논의하고, 향후 k≈log n 수준까지 확장 가능한 새로운 증명 기법의 가능성을 제시한다.