선분 배열에서 셀 연결·분리와 최소 차단 문제의 복잡도와 효율적 알고리즘

초록

본 논문은 평면에 배치된 선분 집합과 두 점 a, b가 서로 다른 셀에 있을 때, (i) a와 b를 연결하기 위해 제거해야 하는 최소 선분 수, (ii) 남은 선분으로 전체 영역을 하나의 셀로 만들기 위한 최소 제거 수, (iii) a와 b를 연결하는 모든 경로가 반드시 통과하도록 보존해야 하는 최소 선분 수를 연구한다. (i)와 (ii)는 일반 위치에서 NP‑hard임을 증명하고, (i)의 특수 경우인 다각형 내부에서의 제한된 문제에 대해 구멍 수가 상수이면 선형 시간 알고리즘을 제시한다. (iii)에 대해서는 O(n³) 시간의 정확 알고리즘을 제공한다.

상세 분석

논문은 먼저 2‑Cells‑Connection 문제(문제 i)와 All‑Cells‑Connection 문제(문제 ii)의 난이도를 분석한다. 선분이 일반 위치에 있을 때, 2‑Cells‑Connection을 Max‑2‑SAT으로부터의 정밀한 감소(reduction)로 보여 APX‑hard임을 증명한다. 이는 선분을 제거함으로써 a와 b 사이에 경로가 존재하도록 만드는 최소 비용 차단 집합을 찾는 것이 근사적으로도 어려움을 의미한다. All‑Cells‑Connection은 선분 교차 그래프의 피드백 정점 집합 문제와 동형이며, 교차가 전혀 없더라도 NP‑hard임을 보인다. 또한, 세 선분이 공통 끝점만을 공유하는 경우에 한해, 실제 교차 수를 매개변수로 하는 고정‑파라미터 트래터블(FPT) 알고리즘을 제시한다.

다음으로 2‑Cells‑Separation 문제(문제 iii)의 다항 시간 해법을 제시한다. 선분 집합 S의 교차 그래프 G를 구성하고, 각 간선에 두 선분의 가중치 합을 부여한다. 모든 근본 사이클(스패닝 트리와 비트리 간선으로 만든 사이클)을 조사하면, “3‑path condition”이라 불리는 위상수학적 성질을 만족한다. 이 조건에 따라, a와 b를 분리하는 최소 가중치 사이클은 반드시 어떤 근본 사이클에 포함된다. 따라서 각 정점 r에 대해 최단 경로 트리 T_r를 구하고, 비트리 간선 e에 대해 사이클 τ(T_r, e)의 가중치를 계산하면 전체 최소 사이클을 O(nk + n² log n) 시간 안에 찾을 수 있다. 가중치가 0/1인 경우는 O(nk + n²) 시간으로 개선된다.

특수 경우로, 선분이 모두 다각형 P(구멍 수가 상수) 내부에 놓이고 끝점이 P의 경계에 있을 때, 2‑Cells‑Connection 문제를 다루는 선형 시간 알고리즘을 설계한다. 이 알고리즘은 호모토피(동형) 개념을 이용해 선분을 클러스터로 묶고, 각 클러스터가 최적 해에 완전히 포함되거나 전혀 포함되지 않음을 보인다. 클러스터 수가 구멍 수에만 의존하므로, 구멍이 고정된 경우 전체 복잡도는 O(n)이다.

마지막으로 문제 iii, 즉 a와 b 사이의 모든 경로가 최소 하나의 보존된 선분을 만나게 하는 최소 보존 집합을 찾는 알고리즘을 제시한다. 이는 교차 그래프의 최소 절단을 찾는 문제와 동등하며, 전통적인 플로우/컷 기법을 이용해 O(n³) 시간에 정확히 해결한다. 논문은 또한 관련 연구와 차이점을 논의하고, 단위 원판·단위 선분 등 다른 기하학적 객체에 대한 확장 가능성을 제시한다.