연결된 정점 커버와 클리크 분할을 위한 자가 안정화 알고리즘

초록

본 논문은 무선 네트워크에서 가상 백본 역할을 하는 연결된 정점 커버(Connected Vertex Cover)를 구하기 위해, 연결 최소 클리크 분할(Connected Minimal Clique Partition)을 기반으로 한 분산형 자가 안정화 알고리즘을 제안한다. 제안 알고리즘은 중앙 집중형 2‑근사 알고리즘과 동일한 근사 비율을 유지하면서, 불공정 분산 데몬 하에서도 유한 시간 내에 정상 상태에 수렴한다.

상세 분석

이 연구는 두 가지 핵심 문제, 즉 연결 최소 클리크 분할(CMCP)과 연결 정점 커버(CVC)를 동시에 해결하려는 시도이다. 먼저, 그래프 G=(V,E)를 입력으로 받아 모든 비자명(clique size ≥2) 클리크가 서로 연결된 형태로 분할하는 CMCP를 정의한다. 최소성(minimality)은 두 클리크를 합쳐도 여전히 클리크가 되지 않는 것을 의미한다. 이러한 분할은 이후 CVC를 구성하는 기반이 된다. 논문은 자가 안정화(self‑stabilizing) 모델을 채택한다. 각 프로세서는 자신의 변수와 이웃 변수만을 읽고 쓸 수 있으며, 행동(action)은 우선순위에 따라 순차적으로 실행된다. 데몬은 불공정(unfair)하지만 분산(distributed)이며, 한 단계에 최소 하나의 활성 프로세스를 선택한다. 이러한 약한 가정 하에서도 알고리즘은 유한 라운드 내에 정상 상태(terminal configuration)로 수렴한다.

CMCP 알고리즘은 각 노드가 자신의 ID와 이웃 리스트를 기반으로 “클리크 리더”를 선정하고, 리더가 자신의 클리크 멤버십을 선언한다. 리더는 자신보다 작은 ID를 가진 이웃이 없을 경우에만 리더가 되며, 이를 통해 클리크 간 충돌을 방지한다. 클리크가 형성되면, 리더는 클리크 내부의 모든 노드에게 자신이 속한 클리크의 식별자를 전파하고, 이웃 클리크와의 연결성을 확인한다. 연결성을 유지하기 위해, 리더는 자신이 속한 클리크와 인접한 다른 클리크와의 교차 엣지를 기록하고, 교차 엣지가 존재하면 해당 클리크들을 하나의 연결된 컴포넌트로 합친다. 이 과정은 모든 노드가 자신의 상태를 업데이트하면서 반복되며, 최종적으로 모든 비자명 클리크가 연결된 최소 클리크 파티션을 형성한다.

CVC 알고리즘은 위에서 얻은 CMCP 결과를 이용한다. 각 클리크 내부에서는 모든 정점을 커버에 포함시키고, 클리크 간 연결성을 보장하기 위해 각 클리크의 리더(또는 대표 노드)만을 추가로 선택한다. 이렇게 하면 각 엣지는 적어도 하나의 엔드포인트가 커버에 포함되며, 선택된 리더들 사이의 연결성으로 인해 전체 커버가 연결된 그래프가 된다. 이때 선택된 정점 집합의 크기는 최적 CVC 해의 두 배를 초과하지 않으며, 따라서 2‑근사 비율을 달성한다.

복잡도 측면에서, CMCP 알고리즘은 각 라운드마다 노드당 O(Δ) 의 로컬 연산만을 요구하고, 전체 수렴 라운드는 O(Diam) 이하로 증명된다. CVC 단계는 CMCP 결과를 단순히 변환하는 과정이므로 추가적인 라운드가 필요하지 않다. 따라서 전체 알고리즘은 O(Diam) 라운드, O(m) 단계(여기서 m은 엣지 수) 내에 수렴한다.

관련 연구와 비교했을 때, 기존의 CDS(Connected Dominating Set) 기반 백본 구축은 정점 커버의 독립성 보장을 제공하지 못했으며, 기존의 정점 커버 근사 알고리즘은 연결성을 보장하지 못했다. 또한, 이전에 제시된 클리크 분할 자가 안정화 알고리즘은 클리크 크기 최소화에만 초점을 맞추었고, 연결성을 고려하지 않았다. 본 논문은 이러한 격차를 메우며, 최초로 연결 최소 클리크 파티션과 연결 정점 커버를 동시에 제공하는 분산 자가 안정화 알고리즘을 제시한다.

한계점으로는 무방향 단순 그래프를 전제로 하며, 노드 ID가 고유하고 비교 가능해야 한다는 가정이 있다. 또한, 클리크 크기가 2 이하인 경우(즉, 트리 구조)에는 별도의 처리 로직이 필요할 수 있다. 향후 연구에서는 비동기 메시징 모델, 동적 토폴로지 변화, 그리고 무작위 ID 환경에서의 확장성을 탐구할 계획이다.