볼록 다각형 두 중심 문제 근사 알고리즘

초록

본 논문은 볼록 다각형을 두 개의 동일한 원으로 최소 반지름으로 덮는 두 중심 문제에 대해, 스트리밍 환경에서는 O(1) 메모리로 2배 근사, 비스트리밍 환경에서는 O(n) 시간과 O(1) 추가 공간으로 1.84배 근사를 달성하는 알고리즘을 제안한다.

상세 분석

이 연구는 두 가지 모델, 즉 입력이 순차적으로 제공되는 스트리밍 모델과 전체 데이터를 메모리에 저장할 수 있는 비스트리밍 모델을 모두 고려한다. 스트리밍 모델에서는 다각형의 꼭짓점이 시계방향으로 하나씩 들어올 때, 최소·최대 x·y 좌표를 갖는 네 점(a, b, c, d)만을 유지함으로써 전체 다각형을 둘러싸는 축에 평행한 최소 직사각형 R을 즉시 구성한다. R을 세로 중간선으로 두 부분 R₁, R₂로 나눈 뒤, 각각을 최소 반지름의 원으로 외접시켜 두 원 C₁, C₂를 만든다. 이때 구한 반지름 r는 r = √(L²+4W²)/4 로 계산되며, 여기서 L은 R의 가로 길이, W는 세로 길이이다. 논문은 L ≥ W 를 가정하고, 최적 해의 반지름 r_opt에 대한 하한 ρ를 두 가지 방식(L/4 혹은 ℓ/2, ℓ은 내부 삼각형의 최소 변 길이)으로 제시한다. 이를 통해 α = r / ρ ≤ 2 를 증명한다.

비스트리밍 모델에서는 동일한 직사각형 R을 구한 뒤, R 내부에 존재할 수 있는 가장 불리한 형태의 부분다각형을 분석한다. 저자들은 모든 가능한 볼록 다각형을 고려하기보다, R을 정확히 덮는 최소 볼록 부분다각형인 사각형 ♦abcd 혹은 그 퇴화 형태(삼각형 또는 대각선)만을 검토한다. 이때 L과 W에 대한 다양한 비율 구간을 나누어 경우별로 최악의 근사 비율을 계산한다. 특히 W/L ≤ √3/2 구간에서는 대각선 길이가 L 이상이므로 ρ ≥ L/4 로 α ≤ 2 를 얻고, √3/2 < W/L ≤ 1 구간에서는 삼각형 내부의 최소 변 ℓ을 이용해 ℓ/2 를 하한으로 삼아 α ≤ 1.84 로 개선한다. 논문은 이러한 경우 분석을 도형별로 상세히 전개하고, 최악의 경우를 도식화한 흐름도를 제공한다.

알고리즘의 시간 복잡도는 입력을 한 번 스캔하는 O(n)이며, 사용 메모리는 꼭짓점 네 개와 몇 개의 스칼라 변수만 필요하므로 O(1)이다. 비스트리밍 버전에서도 추가 공간은 O(1)이며, 입력을 저장하는 메모리 외에 별도 구조를 요구하지 않는다. 따라서 대규모 데이터 스트림이나 메모리 제한이 있는 환경에서도 실용적으로 적용 가능하다.

이 논문의 주요 기여는 (1) 스트리밍 환경에서 처음으로 2-근사 알고리즘을 제시한 점, (2) 비스트리밍 환경에서 선형 시간 내에 1.84-근사를 달성한 점, (3) 볼록 다각형을 덮는 두 원 문제를 직사각형 기반의 기하학적 하한 분석을 통해 체계적으로 정리한 점이다. 또한, 기존 연구가 점 집합에 대한 k-센터 문제에 집중했으나, 다각형 형태에 특화된 접근법을 제시함으로써 이 분야의 연구 범위를 확장하였다.