다각형 독립 집합과 희소 부분집합을 위한 근사 스킴

초록

본 논문은 평면에 주어진 가중치 다각형 집합에서 최대 가중치 독립 집합을 (1+ε) 정확도로 근사하는 알고리즘을 제시한다. 알고리즘은 n^{O(poly(log n, 1/ε))}의 준다항식 시간에 동작한다. 또한, 최적 해의 가중치를 크게 손실하지 않는 균형 절단을 이용한 재귀적 분할 기법을 개발하여, 교차 그래프가 평면이거나 K_{2,2}를 포함하지 않는 등 다양한 희소성 조건을 만족하는 부분집합에도 동일한 근사 비율을 제공한다. 마지막으로, 한 변이 전체 경계의 일정 비율 이상인 큰 축평행 직사각형에 대해서는 다항식 시간 PTAS를 설계한다.

상세 분석

이 연구의 핵심은 “저비용 균형 절단(cheap balanced cut)”이라는 새로운 기하학적 분할 도구에 있다. 저비용 절단은 최적 해에 속하는 다각형들의 총 가중치 중 ε/ log m 이하만을 교차하도록 설계되며, 절단 자체는 O(poly(log m, 1/ε)) 비트의 복잡도로 기술될 수 있다. 이러한 절단이 존재함을 보이기 위해 저자들은 무게가 부여된 1/r‑컷팅(weak 1/r‑cutting)을 구축하고, 이를 평면 그래프의 분리정리와 결합한다. 절단을 이용해 입력 영역을 두 부분으로 나누면, 각 부분에 포함된 최적 다각형 수가 절반 이하가 되므로 재귀 깊이가 O(log m)으로 제한된다. 절단 후보가 준다항식 개수이므로 모든 후보를 탐색해 최적에 가까운 절단을 찾을 수 있다. 이 과정에서 절단에 의해 “잃어버린” 다각형들은 전체 가중치의 ε · OPT 이하에 불과하므로 최종 근사 비율에 큰 영향을 주지 않는다.

또한, 저자들은 이 기법을 독립 집합 문제뿐 아니라 교차 그래프가 일정한 희소성을 만족하는 경우에도 확장한다. 구체적으로, 입력 다각형 쌍이 상수 횟수만 교차한다는 전제를 두고, 교차 그래프의 에지 수가 O(m) 이하인 경우(예: 평면 그래프, K_{s,t}를 포함하지 않는 그래프)에도 동일한 QPTAS를 적용한다. 여기서도 저비용 절단이 핵심 역할을 하며, 절단에 의해 발생하는 가중치 손실을 제어한다.

마지막으로, 한 변이 전체 경계의 δ > 0 비율 이상인 큰 축평행 직사각형에 대해서는 두 단계의 새로운 분할 방식을 제시한다. 첫 단계에서는 입력을 상수 개수의 “큰 직사각형”과 “좁은 복도(corridor)”로 나누고, 두 번째 단계에서는 각 복도를 동적 프로그래밍에 적합한 형태로 재귀적으로 분할한다. 이 구조는 다각형의 복잡도를 일정하게 유지하면서도 다항식 시간 내에 (1+ε) 근사를 달성한다. 전체적으로, 저비용 절단과 복도 기반 분할이라는 두 혁신적 아이디어가 기존의 로그‑팩터 근사와는 차원이 다른 근사 스킴을 가능하게 만든다.