[논문 리뷰] The Approximation Ratio of the $k$-Opt Heuristic for the Euclidean Traveling Salesman Problem

Ulrich A. Brodowsky, Stefan Hougardy외 1명|arXiv (Cornell University)|2021. 08. 31.

Vehicle Routing Optimization Methods참고 문헌 15인용 수 4

한 줄 요약

이 논문은 유클리드 TSP에 대한 $k$-Opt 휴리스틱의 근사 비율을 상수 $k \geq 2$에 대해 $\Theta(\log n / \log\log n)$로 규명하여 오랫동안 남아있던 열린 문제를 해결한다. 이는 $k \geq 3$에 대해 처음으로 비자명한 하한을 제공하고, $k=2$에 대한 상한을 향상시킨다. 결과는 $1 \leq p < \infty$인 모든 $p$-노름에 대해 성립하며, 평면성 분석과 2-optimal 투어의 기하학적 분석을 통해 도출된다.

ABSTRACT

The $k$-Opt heuristic is a simple improvement heuristic for the Traveling Salesman Problem. It starts with an arbitrary tour and then repeatedly replaces $k$ edges of the tour by $k$ other edges, as long as this yields a shorter tour. We will prove that for 2-dimensional Euclidean Traveling Salesman Problems with $n$ cities the approximation ratio of the $k$-Opt heuristic is $Θ(\log n / \log \log n)$. This improves the upper bound of $O(\log n)$ given by Chandra, Karloff, and Tovey in 1999 and provides for the first time a non-trivial lower bound for the case $k\ge 3$. Our results not only hold for the Euclidean norm but extend to arbitrary $p$-norms with $1 \le p &lt; \infty$.

연구 동기 및 목표

• 유클리드 TSP에 대한 $k$-Opt 휴리스틱의 근사 비율에 대한 이해 격차를 해소하기 위해, 특히 이전까지 비자명한 하한이 알려지지 않은 $k \geq 3$의 경우를 다루는 것.
• 2-Opt 휴리스틱의 상한을 $O(\log n)$에서 $O(\log n / \log\log n)$로 향상시켜 기존에 알려진 하한과 일치시키는 것.
• 유클리드 노름 외에도 $1 \leq p < \infty$인 모든 $p$-노름으로의 근사 비율 결과 확장을 위한 것.
• $k \geq 2$인 $k$-Opt 휴리스틱이 항상 2-optimal 해를 반환함을 증명하여, $k$-Opt 분석에 2-Opt 경계를 적용할 수 있도록 하는 것.

제안 방법

• 평면성과 기하적 성질을 활용하여, 교차가 없는 2-optimal 투어의 경우로 2-Opt 근사 비율을 축소하는 것.
• 3차원 격자 구조를 평면에 매립하여, 최적 투어가 어떤 2-optimal 투어보다도 현저히 짧은 $n$개의 점을 가진 유클리드 TSP 인스턴스의 가족을 구성하는 것.
• 2-optimal 투어에서 교차하는 간선의 수를 제한하기 위해 평면 그래프 이론과 간선-소속 경로 분해를 사용하는 것.
• 축에 평행한 직사각형과 간선 방향성을 기반으로 한 기하학적 추론을 적용하여 $L^1$-노름 케이스를 다루는 것. 이 경우 최적 투어에서도 교차가 발생할 수 있다.
• $L^1$-노름에서 2-optimal 투어가 축에 수직이 아닌 방향의 교차 간선을 포함할 수 없음을 증명하여, 세 개의 교차가 없는 간선 집합으로 분해할 수 있음을 보이는 것.
• 평면성과 기하 부등식의 보존을 통해, $p > 1$인 임의의 $p$-노름으로 하한 구축을 확장하는 것.

실험 결과

연구 질문

• RQ1 이전까지 비자명한 하한이 알려지지 않은 $k \geq 3$에 대해, 유클리드 TSP에 대한 $k$-Opt 휴리스틱의 정확한 근사 비율은 무엇인가?
• RQ2 2-Opt 휴리스틱의 상한 $O(\log n)$는 향상시킬 수 있으며, 만약 가능하면 어떤 날카로운 점근적 값으로 향상되는가?
• RQ3 유클리드 노름 대신 $p$-노름을 사용할 경우, $k$-Opt 휴리스틱의 근사 비율은 여전히 $\Theta(\log n / \log\log n)$로 유지되는가?
• RQ4 $L^1$-노름에서 2-optimal 투어의 교차는 근사 비율에 어떤 영향을 미치며, 점근적 경계를 유지하면서 이를 처리할 수 있는가?

주요 결과

• 상수 $k \geq 2$에 대해 유클리드 TSP에 대한 $k$-Opt 휴리스틱의 근사 비율은 $n$개의 도시에서 $\Theta(\log n / \log\log n)$이며, 오랫동안 남아있던 열린 문제를 해결한다.
• 2-Opt 휴리스틱의 상한이 $O(\log n)$에서 $O(\log n / \log\log n)$로 향상되어, 이전에 알려진 하한과 일치한다.
• $k \geq 3$에 대해 비자명한 하한 $\Omega(\log n / \log\log n)$이 확립되었으며, 이는 이전까지 알려지지 않은 바이다.
• 결과는 $1 \leq p < \infty$인 모든 $p$-노름으로 확장되며, $L^1$-노름의 경우 특별한 추론을 통해 교차를 다루는 데 사용된다.
• $L^1$-노름에서 2-optimal 투어가 축에 수직이 아닌 방향의 교차 간선을 포함할 수 없음을 보여주어, 총 길이가 유한한 세 개의 교차가 없는 간선 집합으로 분해할 수 있음을 보인다.
• 모든 $p$-노름($1 \leq p < \infty$)에서 $k$-Opt의 최종 근사 비율은 $\Theta(\log n / \log\log n)$이며, $L^1$의 경우 손실 요소가 최대 3이 된다.