정규 언어의 비결정적 통신 복잡도 연구

** 이 논문은 정규 언어를 두 플레이어가 입력을 나누어 갖는 통신 모델에서 비결정적 통신 복잡도를 분석한다. 주요 결과는 모든 정규 언어가 O(1) 혹은 Ω(log n) 복잡도 중 하나를 갖는 이분법을 보이며, 다수의 언어에 대해 선형(Θ(n)) 하한을 증명한다. 또한 이러한 하한은 반대 방향으로 긍정적 다양체 Pol(Com)에 속하지 않는 충분조건을 제공한다. 증명은 정규 언어의 대수적 표현인 유한 모노이드와 그 다양체 이론을 핵심 도구…

저자: Anil Ada