평면상의 직선·반직선에 대한 여행세일즈맨 문제와 최적 사각형 경계

초록

본 논문은 유클리드 평면에서 무한 직선과 반무한 광선을 방문해야 하는 여행세일즈맨 문제(TSPN)와 그 경로 변형에 대해 연구한다. 저자들은 각각의 경우에 대해 선형 시간 알고리즘을 제시하고, 기존보다 향상된 근사 비율을 달성한다. 또한 길이 L인 열린 곡선을 포함하는 최소 둘레 사각형의 정확한 상한을 증명하여 알고리즘 분석에 핵심적인 기하학적 도구를 제공한다.

상세 분석

이 논문은 TSPN(Traveling Salesman Problem with Neighborhoods)의 특수한 경우인 ‘선’과 ‘광선’이라는 무한히 확장된 영역을 대상으로 한다는 점에서 기존의 다각형·원·볼록체 등 유한한 형태의 이웃 집합을 다루는 연구와 차별화된다. 무한 직선은 모든 방향으로 무한히 뻗어 있기 때문에 전통적인 “방문” 개념이 “직선을 가로지르는 점을 지나간다”는 형태로 바뀌며, 이는 경로가 직선과 교차하는 최소 횟수를 최소화하는 문제와 동치가 된다. 반면 반무한 광선은 시작점이 존재하고 한 방향으로만 뻗어 있기 때문에, 방문 순서와 시작점 선택이 알고리즘 설계에 큰 영향을 미친다.

저자들은 먼저 두 문제에 대해 ‘가장 짧은 직선 구간’(shortest transversal)과 ‘최소 포괄 사각형’(minimum enclosing rectangle)이라는 두 가지 기본 기하학적 구조를 정의한다. 직선 구간은 모든 주어진 직선을 동시에 교차할 수 있는 최소 길이의 선분이며, 이는 선형 시간에 구할 수 있는 ‘볼록 껍질’과 유사한 절차를 통해 얻어진다. 광선의 경우, 시작점 후보군을 각 광선의 시작점 자체와 교차점들의 집합으로 제한하고, 이 후보군을 순회하면서 최적 경로를 근사한다.

핵심 기여는 두 알고리즘이 각각 1.5‑approximation(직선)과 1.75‑approximation(광선)이라는 기존 최선 비율을 개선하여, 직선 경우에는 1.33‑approximation, 광선 경우에는 1.5‑approximation을 달성한다는 점이다. 이러한 비율 향상은 ‘길이 L인 열린 곡선을 포함하는 최소 둘레 사각형의 둘레는 ≤ 2√2·L’이라는 새로운 기하학적 상한을 활용한다는 데에 있다. 저자들은 이 상한이 최적임을 보이기 위해, L을 따라 직선과 직각으로 꺾인 Z‑형 곡선을 구성하고, 그에 대한 사각형 둘레를 직접 계산한다.

알고리즘 복잡도는 입력 직선·광선의 개수 n에 대해 O(n)이며, 이는 기존 O(n log n) 혹은 O(n²) 알고리즘에 비해 현저히 빠른 속도다. 구현 측면에서는 각 직선·광선의 기울기와 절편을 정렬하지 않고, 단일 스캔과 간단한 부동소수점 연산만으로 충분히 처리할 수 있다. 또한, 사각형 경계 계산 단계에서 사용되는 ‘최소 둘레 사각형’ 문제는 선형 시간에 해결 가능한 ‘최소 면적 사각형’ 알고리즘을 변형한 것으로, 실제 응용에서도 메모리 사용량이 적고 병렬화가 용이하다.

이 논문의 결과는 TSPN의 무한 이웃 집합에 대한 이론적 한계를 확장함과 동시에, 실무에서 대규모 GIS·로봇 경로 계획 등에 적용 가능한 경량 근사 솔루션을 제공한다는 점에서 큰 의미가 있다.