[논문 리뷰] The Geometric Maximum Traveling Salesman Problem

Alexander Barvinok, Sándor P. Fekete외 4명|ArXiv.org|2002. 04. 10.

Computational Geometry and Mesh Generation참고 문헌 20인용 수 4

한 줄 요약

이 논문은 고정된 차원의 유클리드 공간에서 다면체 노름에 대한 기하학적 최대 여행사원 문제(MaxTSP)에 대해 다항시간 알고리즘을 제시한다. 임의의 $ f $개의 면을 가진 다면체 노름에 대해 MaxTSP는 $ O(n^{f-2}\text{log}n) $ 시간에 해결 가능하며, 2차원의 경우인 직각좌표 및 최대노름에 대해서는 최적의 $ O(n) $ 알고리즘이 존재한다. 반면, $ d \geq 3 $일 때 $ \mathbb{R}^d $에서 유클리드 거리에 대한 MaxTSP는 NP-난이도임을 증명한다.

ABSTRACT

We consider the traveling salesman problem when the cities are points in R^d for some fixed d and distances are computed according to geometric distances, determined by some norm. We show that for any polyhedral norm, the problem of finding a tour of maximum length can be solved in polynomial time. If arithmetic operations are assumed to take unit time, our algorithms run in time O(n^{f-2} log n), where f is the number of facets of the polyhedron determining the polyhedral norm. Thus for example we have O(n^2 log n) algorithms for the cases of points in the plane under the Rectilinear and Sup norms. This is in contrast to the fact that finding a minimum length tour in each case is NP-hard. Our approach can be extended to the more general case of quasi-norms with not necessarily symmetric unit ball, where we get a complexity of O(n^{2f-2} log n). For the special case of two-dimensional metrics with f=4 (which includes the Rectilinear and Sup norms), we present a simple algorithm with O(n) running time. The algorithm does not use any indirect addressing, so its running time remains valid even in comparison based models in which sorting requires Omega(n \log n) time. The basic mechanism of the algorithm provides some intuition on why polyhedral norms allow fast algorithms. Complementing the results on simplicity for polyhedral norms, we prove that for the case of Euclidean distances in R^d for d>2, the Maximum TSP is NP-hard. This sheds new light on the well-studied difficulties of Euclidean distances.

연구 동기 및 목표

• 고정된 차원 공간에서 기하 거리 함수에 대한 최대 TSP의 계산 복잡도를 다루다.
• 동일한 노름에서 최소 TSP가 알려진 바와 같이 NP-난이도임에 비해, 어떤 기하 노름이 다항시간 해법을 허용하는지 규명하다.
• 다면체 노름의 조합적이고 기하학적 구조를 활용하여 효율적인 알고리즘을 개발하다.
• 높은 차원에서 다면체 노름의 다항시간 가능성과 유클리드 노름의 비가역성 사이의 명확한 이분법을 설정하다.
• 일반적인 TSP의 NP-난이도에도 불구하고, 특정 거리 함수가 효율적 알고리즘을 가능하게 하는 이유에 대한 이론적 기초를 제공하다.

제안 방법

• 중심 대칭 다면체를 단위 구로 사용하여 다면체 노름을 모델링하고, $ f $개의 면을 가진다. 거리는 면 법선 벡터와의 절댓값 내적의 최댓값으로 표현한다.
• 노름의 쌍대 표현 구조를 활용하여 MaxTSP를 '터널링 TSP'라고 불리는 변형 문제로 환원한다.
• 기하학적 정렬 및 볼록껍데기 기법을 사용하여, 노름 하에 총 순회 길이를 최대화하는 간선 집합을 식별한다.
• 4개의 면을 가진 2차원 다면체 노름(예: 직각좌표 및 최대노름)에 대해 $ O(n) $ 시간 알고리즘을 설계하여 비교 기반 모델에서 간접 인덱싱을 피한다.
• $ \mathbb{R}^d $에서 $ d \geq 3 $일 때 유클리드 MaxTSP의 NP-난이도를 증명하기 위해, 적절히 구성된 점 집합과 $ L_p $-유사 거리 구조를 사용하여 해밀턴 순환 문제로의 환원을 수행한다.
• 비대칭 단위 구를 가진 준노름(quasi-norms)으로 결과를 확장하여 $ O(n^{2f-2}\text{log}n) $ 시간 복잡도를 확보하고, 해의 공간 내 구조적 차이를 분석한다.

실험 결과

연구 질문

• RQ1 고정된 차원 공간에서 다면체 노름에 대한 기하적 인스턴스에 대해 최대 TSP는 다항시간에 해결 가능한가?
• RQ2 $ \mathbb{R}^d $에서 $ d \geq 3 $일 때 유클리드 거리에 대한 MaxTSP의 계산 복잡도는 무엇인가?
• RQ3 단위 구의 면 수가 다면체 노름 하에서 MaxTSP를 해결하는 데 있어 시간 복잡도에 어떤 영향을 미치는가?
• RQ4 직각좌표 및 최대노름과 같은 4개의 면을 가진 2차원 노름 하에서 MaxTSP에 대해 선형시간 알고리즘이 존재하는가?
• RQ5 다면체 노름의 구조적 성질을 활용하여 비교 기반 정렬의 $ \Omega(n\text{log}n) $ 하한선을 피하는 알고리즘을 설계할 수 있는가?

주요 결과

• 임의의 고정된 $ d $에 대해, $ f $개의 면을 가진 다면체 노름 하에서 최대 TSP는 $ O(n^{f-2}\text{log}n) $ 시간에 해결 가능하며, 다항시간 해법의 존재를 입증한다.
• 2차원에서 4개의 면을 가진 다면체 노름(예: 직각좌표 및 최대노름) 하에서 최대 TSP에 대해 최적의 $ O(n) $-시간 알고리즘이 존재하며, 비교 기반 모델에서도 성립한다.
• $ d \geq 3 $일 때 $ \mathbb{R}^d $에서 유클리드 거리에 대한 MaxTSP는 NP-난이도이며, 다항시간 해법이 가능한 다면체 노름 사례와의 뚜렷한 대비를 보인다.
• 면 수가 $ f $개인 준노름은 $ O(n^{2f-2}\text{log}n) $-시간 알고리즘을 제공하며, 비대칭 거리 함수로의 접근을 확장한다.
• $ d $가 입력에 포함될 때 $ L_{\infty} $-노름 하에서 최대 TSP는 Max-SNP-난이도이며, 이는 P = NP가 아닐 경우 다항시간 근사 스킴이 존재하지 않음을 의미한다.
• 2차원에서의 직각좌표 노름의 경우가 단순하더라도, 평면 상의 유클리드 노름의 경우는 여전히 열려 있으나, 기하학적 구조상의 유사성으로 인해 NP-난이도일 것으로 추측된다.