콘텐츠 무관 링에서 효율적인 카운팅과 메시지 시뮬레이션

본 논문은 비동기 콘텐츠‑무관(CO) 모델에서 원형 네트워크(링) 상의 기본적인 **카운팅** 문제와 **메시지 시뮬레이션** 문제를 다루며, 기존 연구가 제시한 계산 가능성 결과를 실용적인 메시지 복잡도 관점에서 크게 개선한다. **1. 배경 및 문제 정의** CO 모델은 프로세스가 **펄스**라는 크기 0의 신호만 교환할 수 있는 통신 제약을 갖는다. 펄스는 전송자 정보를 포함하지 않으며, 수신자는 포트별 펄스 수만을 관찰한다. Censor‑Hillel 등은 리더가 존재하고 네트워크가 2‑edge‑connected이면 CO 모델이 전통적인 비동기 메시지 전달과 계산적으로 동등함을 보였지만, 시뮬레이터가 \(O(n^{3}b+n^{3}\log n)\) 펄스를 필요로 하여 실용성이 떨어졌다. **2. 카운팅 알고리즘** - **익명 링 + 리더**: 리더가 시계방향으로 펄스를 전파하고, 각 노드가 수신한 펄스 수를 통해 자신의 거리(노드 번호)를 추정한다. 거리 정보를 누적해 전체 노드 수를 계산한다. 이 과정은 **파이프라인** 방식으로 진행되어 \(O(n^{1.5})\) 펄스 내에 종료한다. - **ID가 부여된 링**: 각 노드가 고유 ID(≤ \(O(\log n)\) 비트)를 가지고 있다면, 기존 LOCAL 모델의 **MIS** 알고리즘을 CO 환경에 시뮬레이션한다. MIS를 통해 **계층적 클러스터**를 형성하고, 클러스터 내·외부에서 집계 값을 전파한다. 결과적으로 \(O(n\log^{2}n)\) 펄스로 정확한 카운트를 얻는다. 두 알고리즘 모두 **쿼이언트 종료**를 보장한다. **3. 하한 증명** 링에서 ID가 주어지고 리더가 존재하는 경우, 카운팅을 위해서는 최소 \(Ω(n\log n)\) 펄스가 필요함을 정보 이론적 논증으로 증명한다. 이는 ID 기반 알고리즘이 로그 팩터 정도만 차이 나는 최적임을 의미한다. **4. 콘텐츠‑무관 시뮬레이터** - **링 전용 시뮬레이터**: 한 라운드에 각 프로세스가 이웃에게 \(b\) 비트 메시지를 보내야 할 때, 비트를 펄스 시퀀스로 인코딩한다. 수신자는 펄스 수를 세어 비트를 복원한다. 이때 각 프로세스당 \(O(b)\) 펄스만 사용되므로, **CONGEST