제한된 메모리로 구현하는 수동 이동 통신 기계

초록

본 논문은 기존 인구 프로토콜 모델을 확장하여 각 에이전트를 튜링 머신으로 보는 PM(Passively mobile Machines) 모델을 제안한다. 에이전트당 O(f(n)) 메모리 사용을 제한했을 때 안정적으로 계산 가능한 대칭 술어들의 복잡도 클래스를 정의하고, O(log n) 메모리만으로 고유 식별자를 생성하는 프로토콜을 설계한다. f(n) ≥ Ω(log n)인 경우 PMSPACE(f(n))은 NSPACE(n·f(n))에 포함되는 모든 대칭 술어와 일치함을 보이며, f(n)=o(log log n)에서는 계산 능력이 반선형(SEMILINEAR) 수준에 머무른다. log log n을 경계로 하는 단계적 구분을 제시한다.

상세 분석

PM 모델은 기존 인구 프로토콜(Population Protocol)에서 에이전트를 유한 상태 기계가 아니라 제한된 메모리를 가진 튜링 머신으로 확장한다는 점에서 근본적인 차별점을 가진다. 이때 ‘수동 이동’이라는 가정은 에이전트가 스스로 이동하거나 통신을 제어하지 못하고, 임의의 쌍이 선택되어 상호작용한다는 전제 하에 이루어진다. 논문은 먼저 각 에이전트가 사용할 수 있는 메모리 양을 함수 f(n)으로 파라미터화하고, 이를 기반으로 복잡도 클래스 PMSPACE(f(n))을 정의한다. 여기서 n은 시스템 내 에이전트 수이며, f(n)은 에이전트당 할당된 워드 수를 의미한다.

핵심 기여는 두 가지이다. 첫째, O(log n) 메모리만으로 모든 에이전트에 고유 식별자(ID)를 부여하는 프로토콜을 설계했다는 점이다. 이 프로토콜은 초기에는 식별자가 전혀 없으며, 에이전트 간의 무작위 상호작용을 통해 점진적으로 고유 번호를 할당한다. 각 에이전트는 자신의 현재 ID와 상대방의 ID를 비교·교환하면서 로그 크기의 비트열을 유지한다; 따라서 전체 시스템이 O(log n) 메모리 제한 내에서 식별자를 생성한다는 것이 증명된다.

둘째, 메모리 하한에 따른 계산 능력의 계층을 정확히 규정했다는 점이다. f(n) ≥ Ω(log n)인 경우, PM 프로토콜이 안정적으로 계산할 수 있는 모든 대칭 술어는 NSPACE(n·f(n))에 포함되는 언어와 동등함을 보였다. 즉, 전체 시스템이 n·f(n) 워드의 비결정적 공간을 사용할 수 있다는 의미이며, 이는 기존 인구 프로토콜이 O(1) 메모리에서 오직 반선형(semilinear) 술어만 계산할 수 있던 것과 대조된다.

또한, 메모리 제한을 더 낮추어 f(n)=o(log log n)으로 두면 계산 능력이 SEMILINEAR에 정확히 일치함을 증명한다. 여기서 ‘임계값’이라는 개념이 등장한다. f(n)이 Θ(log log n) 수준이면, PM 모델은 반선형을 넘어서는 비반선형 술어도 계산할 수 있게 되며, 이는 메모리 사용량이 로그 로그 수준을 초과할 때부터 새로운 계산 파워가 발현된다는 중요한 통찰을 제공한다.

이러한 결과는 두 가지 실용적 의미를 가진다. 첫째, 실제 무선 센서 네트워크에서 각 노드가 몇 바이트 정도의 RAM만 가지고도 복잡한 전역 연산(예: 합계, 평균, 최대값 등)을 수행할 수 있음을 이론적으로 뒷받침한다. 둘째, 메모리 제한이 극히 낮은 초소형 디바이스에서도 고유 ID 부여와 같은 기본 인프라 서비스를 구현할 수 있음을 보여준다.

전체적으로 논문은 PM 모델을 통해 ‘공간 제한 + 무작위 쌍 상호작용’이라는 두 축을 동시에 고려한 새로운 계산 복잡도 이론을 구축했으며, 특히 로그와 로그 로그 수준의 메모리 구분이 계산 능력에 미치는 영향을 명확히 규정함으로써 향후 분산 알고리즘 설계와 이론적 한계 연구에 중요한 토대를 제공한다.