분산 환경에서 모든 길이의 사이클을 상수 라운드로 탐지하는 새로운 알고리즘

초록

본 논문은 CONGEST 모델에서 임의의 k(≥3) 길이 사이클이 존재하는지를 1‑ sided error 로 O(1/ε) 라운드 안에 판별하는 분산 속성 테스트 알고리즘을 제시한다. 무작위로 최소 순위의 간선을 선택한 뒤, 해당 간선을 중심으로 후보 사이클 집합을 체계적으로 가지치기하는 결정적 절차를 수행함으로써, 모든 k‑cycle 에 대해 상수 라운드 내 검출을 보장한다.

상세 분석

이 연구는 분산 속성 테스트 분야에서 오랫동안 남아 있던 “k‑cycle 탐지” 문제를 완전히 해결한다. 기존 연구(예: Censor‑Hillel et al., Fraigniaud et al.)는 삼각형(C₃)과 사각형(C₄)만을 상수 라운드에 검출할 수 있었으며, k≥5에 대해서는 Behrend 그래프를 이용한 반례가 존재해 동일한 기법이 통하지 않는다. 논문은 두 단계로 구성된 새로운 프레임워크를 도입한다.

첫 번째 단계(Phase 1)에서는 각 간선에 무작위 순위 r(e)∈