평면 그래프의 장애물 수 계산

초록

본 논문은 평면 그래프를 가시성 그래프로 만들기 위해 필요한 최소 다각형 장애물의 개수, 즉 장애물 수를 구하는 문제(ORPG)를 연구한다. 저자는 이 문제의 NP‑hard성을 평면 정점 커버로부터 증명하고, 동시에 최대 차수 3인 평면 정점 커버로의 값 보존 변환을 제시함으로써 ORPG가 고정 매개변수 시간 복잡도(FPT)와 다항식 시간 근사 스킴(PTAS)을 모두 가짐을 보인다.

상세 분석

이 논문은 두 가지 핵심 기여를 통해 장애물 수 문제의 복잡도 지형을 명확히 제시한다. 첫 번째 기여는 ORPG가 NP‑hard임을 증명한 것이다. 이를 위해 저자는 기존의 평면 정점 커버 문제를 이용해 다단계 변환을 수행한다. 원래의 평면 그래프 G를 먼저 최대 차수 3인 그래프 G₃로 변형하는 과정에서 각 정점을 길이 2bᵢ인 사이클 Cᵢ와 하나의 잎 zᵢ로 대체하고, 각 간선을 세 개의 내부 정점을 갖는 경로 Pᵢⱼ로 교체한다. 이때 bᵢ는 원래 정점의 차수에 0,1,2를 더한 값으로 설정되어 사이클의 파란색 정점 수를 조절한다. 이렇게 구성된 G₃는 원래 정점 커버 크기 k와 정확히 대응하는 정점 커버 크기 k′=k+f+m+∑bᵢ를 갖는다(여기서 f는 면의 수, m은 간선 수).

두 번째 단계에서는 G₃를 ORPG 인스턴스 ˜G 로 변환한다. 변환의 핵심은 “빈 삼각형”과 “다이아몬드”라는 두 종류의 기본 면을 이용해 장애물 선택과 정점 커버 선택을 일대일 대응시키는 것이다. 빈 삼각형은 장애물로 선택될 수 있는 최소 단위이며, 두 개의 빈 삼각형이 공유하는 변을 중심으로 형성되는 다이아몬드는 반드시 하나의 삼각형이 장애물에 포함돼야 한다는 제약을 만든다. 이렇게 하면 ˜G의 각 비삼각형 면은 강제적으로 장애물에 포함되며, 이는 G₃의 P₃ 복사본과 정확히 일치한다. 결과적으로 ˜G의 최소 장애물 집합은 G₃의 최소 정점 커버와 동일한 크기를 갖게 된다.

이 변환은 값 보존(value‑preserving) 특성을 지니므로, ORPG를 최대 차수 3인 평면 정점 커버 문제에 다항식 시간 안에 환원할 수 있다. 정점 커버 문제는 이미 FPT 알고리즘과 PTAS가 존재함이 알려져 있으므로, ORPG 역시 동일한 알고리즘적 특성을 물려받는다. 구체적으로, Xiao의 FPT 알고리즘을 적용하면 장애물 수 k에 대해 O(1.1616^k·n) 시간 안에 정확해를 구할 수 있고, Albér et al.의 알고리즘을 이용하면 O(2^{4√3·k}·n) 시간 복잡도로도 해결 가능하다.

논문은 또한 구현상의 세부 사항을 다룬다. 정점 좌표를 정수 격자에 배치하고, 일반 위치(general position)를 보장하기 위해 미세 조정을 수행한다. 이 과정에서 각 정점 주변에 반지름 r=½·min{거리}인 원을 그려 서로 겹치지 않게 하고, 모든 직사각형(간선)에는 동일한 폭을 부여한다. 이후 각 원을 α(≤45°) 각도의 파란색 호와 나머지 빨간색 호로 색칠해 “스트립 패턴”을 만든다. 파란색 호는 다이아몬드의 비연결(비-엣지)를 나타내며, 빨간색 호는 강제 장애물 면을 형성한다. 큰 빨간 호가 존재할 경우 이를 3개 혹은 5개의 구간으로 나누어 추가적인 스포크를 삽입함으로써 모든 다이아몬드 구조를 유지한다.

마지막으로 저자는 모델링 가정에 대한 논의를 제공한다. 실수 연산을 무한 정밀도로 수행하는 RAM 모델이 필요하다는 점을 지적하고, 실제 구현에서는 O(log n) 비트로 좌표를 표현하는 방법을 제시한다. 또한, 기존의 “터칭 폴리곤” 표현을 활용해 동일한 변환을 수행할 수 있음을 언급한다.

전반적으로 이 논문은 평면 그래프의 장애물 수 문제를 정점 커버와 직접 연결함으로써 복잡도와 알고리즘적 가능성을 명확히 규정한다. NP‑hard성을 증명함과 동시에 FPT와 PTAS를 제공한다는 점에서 이 분야의 중요한 전환점이라 할 수 있다.