소규모 쌍 분해와 최소 WSPD 문제의 새로운 접근

초록

본 논문은 점 집합에 대한 최소 크기의 Well‑Separated Pair Decomposition(minWSPD) 문제를 연구한다. 저차원 유클리드 공간과 doubling metric에서 상수 근사 알고리즘을 제시하고, ℝ²에서 문제의 NP‑Hard와 근사 난이도를 증명한다. 또한, 쌍의 직경 제한을 완화한 Approximate Biclique Cover(ABC) 개념을 도입하여 일반 메트릭에서 O(n·ε⁻¹·log n), ℝᵈ에서는 O(d·n·ε⁻¹·log (1/ε)) 크기의 분해를 구성한다.

상세 분석

논문은 먼저 기존의 Well‑Separated Pair Decomposition(WSPD)이 거리 근사와 스패너, MST 등 다양한 알고리즘에서 핵심 도구로 활용돼 왔지만, 그 크기가 최악의 경우 Θ(n²)까지 커질 수 있음을 지적한다. 이를 해결하기 위해 두 가지 연구축을 설정한다. 첫 번째는 minWSPD 문제, 즉 주어진 ε에 대해 가장 작은 수의 1/ε‑WSPD를 찾는 문제를 정의하고, ℝ²에서 이 문제가 NP‑Hard임을 증명한다. 특히 ε가 1/(4n) 수준으로 작을 때, 최소 WSPD의 존재 여부를 결정하는 것이 NP‑Complete임을 보이며, 일반 메트릭에서도 근사 하드니스(ln n‑근사 불가능)를 확보한다. 두 번째는 WSPD의 엄격한 직경 제약을 완화한 새로운 분해 모델을 제시한다. 여기서는 쌍 {X,Y}가 ε‑stable, 즉 모든 x∈X, y∈Y에 대해 d(x,y)가 d_min(X,Y)와 (1+ε)·d_min(X,Y) 사이에 존재하면 충분하다고 정의한다. 이러한 Approximate Biclique Cover(ABC)는 기존 WSPD와 달리 쌍의 직경을 제한하지 않으므로, 일반 메트릭에서도 O(n·ε⁻¹·log n) 크기의 커버를 구성할 수 있다. 특히 ℝᵈ에서는 차원 d에 선형적으로 의존하는 O(d·n·ε⁻¹·log (1/ε)) 크기의 ABC를 얻으며, 이 구조는 동시에 1/ε‑SSPD(반분리 쌍)도 만족한다.

알고리즘적 기여는 크게 세 부분으로 나뉜다. (1) Doubling metric에서 기존 net‑tree 기반 WSPD 알고리즘이 최적에 가깝다는 것을 보이며, 출력‑감도(output‑sensitive) 시간 O(opt + n log n)으로 최소 WSPD에 상수 배 근사함을 증명한다. (2) 일반 메트릭에서 ABC를 구성하기 위해 점들을 임의의 순서로 정렬하고, 각 점을 중심으로 ε‑ball을 확장해가며 커버를 형성하는 greedy‑like 절차를 설계한다. 이 과정에서 각 단계마다 아직 커버되지 않은 쌍을 최대한 많이 포함하는 쌍을 선택함으로써 로그 팩터를 억제한다. (3) 1차원 경우에는 SetCover와 PTAS를 활용해 (1+δ)‑근사와 O(n log n) 시간에 3‑근사를 각각 달성하고, 분할형 WSPD(PartitionWSPD)에도 상수 근사 알고리즘을 제공한다.

실험 섹션에서는 1차원 데이터에 대해 여섯 가지 WSPD 알고리즘(그리디 SetCover, Callahan‑Kosaraju, 3‑approx, 3‑approx+정리, IP 기반, IP+분할) 을 구현하고, 출력 크기와 실행 시간을 비교한다. 결과는 제안된 ABC 기반 방법이 기존 알고리즘에 비해 현저히 작은 커버를 제공함을 보여준다. 전체적으로 논문은 WSPD의 크기 최소화 문제에 대한 복합적인 난이도 분석과, 직경 제약을 완화한 새로운 커버 모델을 통해 실용적인 알고리즘을 제시함으로써 거리 근사와 그래프 스패너 설계 등 다양한 응용 분야에 중요한 영향을 미칠 것으로 기대된다.