디스크와 단위 구에서 최대 클리크를 위한 효율적 근사 스킴

초록

본 논문은 3차원 공간의 점 집합에서 지름이 1 이하인 최대 부분집합을 찾는 문제와, 이를 등가로 보는 단위 구 그래프와 일반 디스크 그래프의 최대 클리크 문제에 대해, 무작위 EPTAS와 결정적 PTAS를 제시한다. 핵심은 두 개의 홀수 사이클이 서로 독립적인 유도 부분그래프를 이루지 못한다는 구조적 금지조건과, 제한된 VC 차원 및 큰 독립집합 비율을 이용한 샘플링‑오드 사이클 전이 기법이다. 또한 3차원 일반 디스크(볼)와 4차원 단위 디스크에서는 NP‑hardness와 ETH 하에서 근사 스킴 불가능성을 보인다.

상세 분석

이 논문은 먼저 그래프 G가 세 가지 제한을 동시에 만족하면 최대 독립집합을 (1‑ε) 정확도로 다항시간에 구할 수 있음을 보인다. 첫 번째 제한은 인접 이웃 하이퍼그래프의 VC‑dimension이 일정 d 이하라는 것이며, 이는 Haussler‑Welzl의 ε‑net 이론을 적용해 작은 샘플 집합 S를 선택하면 남은 정점들의 차수가 O(d/ε) 로 감소함을 의미한다. 두 번째 제한은 α(G) ≥ β·|V| 로, 전체 정점의 일정 비율 이상이 독립집합에 포함될 수 있음을 보장한다. 세 번째 제한은 induced odd‑cycle packing number, 즉 두 개의 홀수 사이클이 서로 독립적인 유도 부분그래프를 이루지 못한다는 것이다(iocp(G) ≤ 1). 이 조건은 기존 연구에서 디스크 그래프와 단위 구 그래프가 만족한다는 것이 증명되었다.

알고리즘은 먼저 무작위로 O(d·log(1/ε)/ε) 크기의 샘플 S를 뽑아 현재 최적 해 I에 포함될 가능성이 높은 정점을 확보한다. S와 인접한 모든 정점을 제거함으로써 남은 그래프 G’의 최대 차수를 제한한다. 그 다음 G’에서 가장 짧은 홀수 사이클 C를 찾는다. C가 짧으면 C와 그 이웃을 제거하고, 남은 그래프는 가정에 의해 이분 그래프가 되므로 최대 독립집합을 정확히 구할 수 있다. C가 충분히 길면, C의 연속적인 이웃 구조를 이용해 작은 odd‑cycle transversal T를 구성한다. T를 제거하면 그래프는 다시 이분 그래프가 되며, 최적 해는 원래 최적 해와 (1‑ε) 비율로 차이가 난다. 전체 과정은 샘플링, 짧은 사이클 탐색, 전이 집합 구성이라는 세 단계로 이루어지며, 각 단계는 2^{O(1/ε^3)}·n^{O(1)} 시간 안에 수행된다. 무작위성은 샘플링 단계에서만 필요하고, 결정적 PTAS는 ε‑net을 전부 탐색하는 방식으로 얻어진다.

이 구조적 결과를 디스크 그래프와 단위 구 그래프에 적용한다. Bonnet et al. (SoCG ’18) 가 증명한 바와 같이, 디스크 그래프의 보완 그래프는 두 개의 홀수 사이클이 독립적으로 존재할 수 없으며, 논문은 이를 새로운 기하학적 증명(두 개의 “Kakeya motion”을 이용한 구면 위의 교차 논증)으로 확장해 단위 구 그래프에도 동일한 금지조건이 성립함을 보인다. 따라서 X(d,β,1) 클래스에 속하는 모든 그래프에 대해 위의 EPTAS가 적용되고, 이는 곧 디스크 그래프와 단위 구 그래프의 최대 클리크 문제에 대한 무작위 EPTAS와 결정적 PTAS를 즉시 제공한다.

마지막으로, 저자들은 3차원 일반 디스크(볼)와 4차원 단위 디스크 그래프에 대해 반대 결과를 보여준다. 이들 그래프는 두 개의 홀수 사이클을 포함하는 보완 그래프를 가질 수 있으며, 이를 이용해 최대 클리크 문제를 기존의 NP‑hard 문제(예: 3‑SAT)로 환원한다. 더 나아가 ETH 가정 하에 서브지수 시간 근사 스킴조차 존재하지 않음을 증명한다. 이는 차원과 반지름의 자유도가 증가하면 문제의 복잡도가 급격히 상승한다는 중요한 통찰을 제공한다.