인터랙티브 행동의 계산 복잡도

초록

본 논문은 전통적인 함수 중심 복잡도 이론을 넘어, 질문‑응답 형태에 국한되지 않는 일반적인 인터랙티브 행동의 복잡성을 정의한다. 라벨드 전이 시스템과 비동기 확장을 이용해 행동을 형식화하고, CCS‑유사 프로세스를 다중프로세서 기계에서 실행함으로써 구현 모델을 제시한다. 기능적 행동에 제한하면 기존 복잡도 클래스와 일치함을 보인다.

상세 분석

이 연구는 계산 복잡도 이론의 근본적인 한계를 지적한다. 기존 이론은 입력‑출력 함수에만 초점을 맞추어, 지속적인 상호작용이나 비결정적 흐름을 포착하지 못한다는 점에서 출발한다. 저자들은 라벨드 전이 시스템(LTS)을 기본적인 행동 모델로 채택하고, 비동기 전이 시스템(ATS)으로 확장하여 사건 간 인과 관계를 명시한다. 이러한 구조는 동시성 이론에서 널리 사용되는 도구이며, 행동의 시간적·공간적 의존성을 정밀하게 기술한다. 구현 측면에서는 다중프로세서 기계(MPM)를 정의하고, 각 프로세서는 CCS‑형식의 통신 원시 연산자를 사용한다. 프로세스 간 통신은 라벨을 통해 동기화되며, 비동기 전이 시스템은 메시지 전달 지연을 모델링한다. 복잡도 측정은 두 단계로 나뉜다. 첫째, 행동을 수행하는 동안 발생하는 기본 연산(예: 라벨 전이)의 수를 세어 시간 복잡도를 정의한다. 둘째, 사용된 프로세서와 메모리 셀의 양을 계량화하여 공간 복잡도를 정의한다. 중요한 정리는 기능적 행동(질문‑응답 패턴)으로 제한했을 때, 이 정의가 전통적인 시간·공간 복잡도 클래스(TIME, SPACE, NEXP 등)와 동등함을 증명한다. 또한, 비기능적 인터랙티브 행동에 대해서는 새로운 복잡도 계층이 형성되며, 이는 기존 클래스와 교차하거나 완전히 새로운 영역을 만든다. 저자들은 복잡도 경계선에 대한 예시로, 무한 스트림 처리, 프로토콜 협상, 그리고 실시간 제어 루프 등을 제시하고, 각각에 대한 상한·하한을 분석한다. 특히, 비동기 전이 시스템을 이용해 인과 관계를 명시함으로써, 동일한 연산 수라도 서로 다른 동시성 구조가 복잡도에 미치는 영향을 정량화한다. 이론적 결과는 복잡도 이론과 동시성 이론을 연결하는 다리 역할을 하며, 향후 인터랙티브 시스템 설계와 최적화에 중요한 통찰을 제공한다.