단위 원 그래프 최소 클리크 분할을 위한 약한 강건 PTAS

본 논문은 단위 원 그래프(UDG) 상에서 정점들을 최소 개수의 클리크로 분할하는 최소 클리크 파티션 문제(MCP)의 근사 알고리즘을 다각도로 연구한다. 서론에서는 UDG가 무선 네트워크 모델링에 널리 쓰이며, MCP가 클러스터링, 지배 집합 구성, 스패너 구축 등 다양한 응용에 핵심 역할을 함을 소개한다. 기존 연구에서는 MCP가 일반 그래프에서 최소 색칠 문제와 동치이며, 일반 그래프에서는 n^{1‑ε} 이하 근사가 불가능하지만, UDG에서는 상수 배율(현재 3) 근사 알고리즘이 존재한다는 점을 언급한다. 본 연구의 첫 번째 주요 기여는 “약한 강건(weakly‑robust) PTAS”이다. 입력이 실제 UDG인지 여부를 판단하면서, UDG라면 (1 + ε) 근사 해를, 아니라면 “UDG가 아니다”라는 인증서를 반환한다. 이를 위해 두 가지 상황을 고려한다. (1) 입력에 정점 좌표가 주어지는 경우: 무작위로 이동한 k × k 격자를 이용해 평면을 분할한다. 격자 셀 안에서 최적 클리크 파티션을 구하면, 전체 해는 기대값으로 (1 + ε)·opt 이하가 된다. 셀 내부 최적 해를 구하는 핵심은 Capoyleas 등(2004)의 정리로, 최적 파티션의 각 클리크 볼록 껍질이 서로 겹치지 않으며, 이를 구분하는 직선들을 추정해 모든 가능한 직선 조합을 시험함으로써 다항 시간에 최적 해를 찾는다. 이 과정은 O(n·k²) 시간 복잡도를 갖는다. (2) 입력에 좌표가 없고 오직 간선 길이만 제공되는 경우: 격자 이동 대신 “볼 성장(ball‑growing)” 기법을 사용한다. 임의의 정점 v를 중심으로 반경 r의 볼 B_r(v)를 BFS로 구성하고, OPT‑CP 서브루틴을 호출해 B_r(v)가 UDG이면 최적 파티션을, 아니면 비 UDG임을 증명한다. r을 점진적으로 늘리며 |C_{r+2}| > (1 + ε)·|C_r|인 경우를 탐지해 적절한 r을 선택한다. 전체 그래프가 소진될 때까지 이 과정을 반복하면, 모든 볼이 UDG라면 전체 파티션은 (1 + ε)·opt 이하가 보장된다. 비 UDG 입력에 대해서는 해의 품질을 보장하지 않지만 언제든지 인증서를 제공한다는 점에서 약한 강건성을 만족한다. 다음으로 가중 버전을 다룬다. 여기서는 각 정점에 가중치가 부여되고, 클리크의 가중치는 해당 클리크 내 가장 무거운 정점의 가중치로 정의한다. 목표는 전체 파티션 가중치의 최소화이다. 기존 PTAS 기법은 거리 정보에 크게 의존하므로 직접 적용할 수 없지만, 논문은 인접 행렬만을 이용해 (2 + ε) 근사 알고리즘을 설계한다. 핵심 아이디어는 무게가 큰 정점을 중심으로 클리크를 형성하고, 남은 정점에 대해 반복적으로 근사 색칠을 수행하는 방식이며, 이를 통해 기존 8‑approximation을 크게 개선한다. 마지막으로, 제시된 PTAS를 분산 환경에 맞게 변형한다. 볼 성장과 격자 이동 과정을 로컬 연산으로 분해하고, 각 라운드에서 인접 노드와의 통신만으로 진행하도록 설계한다. 결과적으로 O(log* n·ε^{‑O(1)}) 라운드 내에 (1 + ε) 근사 해를 얻을 수 있다. 이는 분산 알고리즘에서 흔히 나타나는 Ω(log n) 하한을 회피한 중요한 성과이다. 논문은 결론에서 약한 강건 PTAS가 UDG 인식의 NP‑hard성을 우회하면서도 실용적인 근사 해를 제공함을 강조하고, 향후 연구 방향으로 더 강건한 PTAS(입력이 비 UDG일 때도 품질 보장), 가중 버전의 정확도 향상, 그리고 다른 기하학적 그래프 클래스에 대한 확장을 제시한다.