볼록 다각형을 가리는 최단 불투명 집합, 근사 알고리즘의 새로운 경계

초록

본 논문은 볼록 다각형에 대한 “불투명 집합”(barrier) 문제를 다루며, 일반, 연결, 단일 호 형태의 세 종류에 대해 각각 1.5867, 1.5716, 1.5834 배 이하의 근사 비율을 보장하는 O(n) 시간 알고리즘을 제시한다. 또한 내부에 제한된 경우 연결형에 대해 FPTAS, 단일 호에 대해 O(n²) 정확 알고리즘을 제공한다.

상세 분석

불투명 집합 문제는 1916년 Mazurkiewicz가 제시한 고전적인 기하학 질문으로, 주어진 볼록 영역 C를 통과하는 모든 직선을 차단하는 최소 길이의 집합 B를 찾는 것이 목표다. 이 논문은 먼저 기존 연구가 제시한 “길이 ≥ 반둘레”라는 하한(Lemma 2)을 활용해 2‑근사 해가 즉시 얻어짐을 확인한다. 그 뒤, 실제 알고리즘 설계는 세 단계로 구분된다.

첫 번째 단계(A1)는 연결형 장벽을 위한 단일 호 근사법이다. 다각형 P의 최소 폭을 갖는 수평 스트립과 최소 폭을 갖는 수직 스트립을 각각 구한 뒤, 스트립의 상·하 경계에 맞춰 P의 상·하 경로를 연장해 두 후보 B₁, B₂를 만든다. 이때 |B₁|+|B₂| = p + 2w (p는 둘레, w는 최소 폭)임을 이용해 min{|B₁|,|B₂|} ≤ p/2 + w 를 얻는다. Blaschke 정리와 Eggleston의 원에 대한 최적 연결 장벽 결과를 결합하면, 최적 연결 장벽의 길이는 최소 (π+2)·w/3 혹은 p/2 중 큰 값보다 크지 않다. 따라서 A1의 근사 비율은 (p/2 + w) / max{p/2,(π+2)w/3} ≤ (π+5)/(π+2) ≈ 1.5834 가 된다.

두 번째 단계(A2)는 A1의 비율을 더 개선한다. 여기서는 P 내부에 최대 내접 원 Ω를 찾고, Ω가 세 개의 경계점 A, B, C와 접하는 경우를 고려한다. 이 세 점을 외접하는 최소 둘레 삼각형 T를 구성하고, T의 세 꼭짓점 A′, B′, C′ 사이의 스테인러 최소 트리를 B₃로 만든다. B₃는 T를 완전히 차단하므로 P에 대한 연결 장벽이 된다. A₁, A₂, A₃ 중 최단을 선택하면, 최악의 경우에도 비율이 1.5716 이하로 제한된다. 이 분석은 w와 p 사이의 관계를 정밀히 다루며, 특히 P가 거의 정삼각형에 가까울 때 B₃가 크게 기여함을 보인다.

세 번째 단계는 일반(연결 여부와 무관한) 장벽을 위한 알고리즘이다. 여기서는 P를 둘러싸는 최소 둘레 사각형 R를 구하고, Cauchy의 표면적 공식에 의해 R의 둘레가 4π·p 이하임을 이용한다. 그런 다음 R을 여러 개의 얇은 스트립으로 분할하고, 각 스트립마다 단일 호 장벽을 배치해 전체 길이를 합산한다. 이 과정에서 발생하는 상수는 (2+√2)/π 로, 최종 근사 비율은 ½ + (2+√2)/π ≈ 1.5867 이다.

마지막으로, 장벽을 입력 다각형 내부에 제한했을 때는 두 가지 특수 알고리즘을 제시한다. 연결형 장벽에 대해서는 최적 해와의 차이를 ε 이하로 만들 수 있는 완전 다항 시간 근사 스킴(FPTAS)을 설계하고, 단일 호 장벽에 대해서는 모든 가능한 시작·끝 점 쌍을 검사해 O(n²) 시간에 정확 최적 해를 찾는다.

전체적으로 이 논문은 “불투명 집합”이라는 오래된 문제에 대해 실용적인 선형 시간 근사 해를 제공함과 동시에, 내부 제한 조건 하에서는 정확 혹은 거의 정확한 해를 구할 수 있는 알고리즘까지 제시함으로써 이론적·실용적 기여를 동시에 달성한다.