[논문 리뷰] A characterization of Linearizable instances of the Quadratic Traveling Salesman Problem

Abraham P. Punnen, Walter, Matthias외 1명|arXiv (Cornell University)|2017. 08. 23.

Vehicle Routing Optimization Methods참고 문헌 28인용 수 8

한 줄 요약

이 논문은 완전 방향 그래프에서 이차 여행순찰문제(QTSP)의 선형가능한 인스턴스를 완전히 특성화하며, 이차 비용 행렬 $ Q $ 가 선형 비용 행렬 $ C $ 와 동치가 되기 위한 필수 및 필요조건을 확립한다. 주요 기여는 선형가능성을 검증하고 선형화가 존재할 경우 이를 구성하는 데 $ \mathcal{O}(n^5) $ 시간이 소요되는 알고리즘을 제공하는 것으로, 이 결과는 무방향 그래프로도 확장된다.

ABSTRACT

We consider the linearization problem associated with the quadratic traveling salesman problem (QTSP). Necessary and sufficient conditions are given for a cost matrix $Q$ of QTSP to be linearizable. It is shown that these conditions can be verified in $O(n^5)$ time. Some simpler sufficient conditions for linearization are also given along with related open problems.

연구 동기 및 목표

• 이차 TSP(QTSP)의 맥락에서 이차 비용 행렬 $ Q $ 가 선형가능하기 위한 필수 및 필요조건을 규명하는 것.
• 선형가능성 검증 및 존재할 경우 선형화 $ C $ 를 구성하는 효율적인 알고리즘을 개발하는 것.
• 완전 무방향 그래프로의 특성화를 확장하고, 선형가능성에 대한 더 단순한 충분조건을 규명하는 것.
• QTSP에서 선형가능성에 대한 다항시간 증명서가 부족한 문제를 다루며, 이 문제의 결정 및 최적화 문제 모두가 NP-난해임을 고려하는 것.
• 선형가능한 행렬의 구조적 성질과 이들의 0-1 정수계획문제의 강력한 재구성에의 응용을 탐색하는 것.

제안 방법

• 선형화 문제를 정의하여, 모든 해밀턴 순환 $ \tau $ 에 대해 $ Q[\tau] = C(\tau) $ 를 만족하는 선형 비용 행렬 $ C $ 가 존재하는지 여부를 판단하는 것으로 설정한다.
• 모든 순환에 대해 간선 $ (i,j) $ 를 포함하는 경우 동일한 비용을 갖는 행렬의 $ (i,j) $-CVP(일정값성질) 개념을 도입하고, $ Q $ 가 선형가능할 때이고 오직 그 때에만 모든 $ (i,j) $ 에 대해 $ R^{ij} $ 가 $ (i,j) $-CVP 를 만족함을 증명한다.
• CVP 특성에서 유도된 공식 $ c_{ij} = q_{ij} + \sum_{k \in N_i} a_k + \sum_{k \in N_j} b_k $ 을 사용하여 각 간선 $ (i,j) $ 의 CVP 값을 계산함으로써 선형화 $ C $ 를 구성한다.
• 분해 $ q_{ijkl} $ 를 네 항의 합 $ a_{ijk} + b_{ijl} + d_{ikl} + h_{jkl} $ 으로 표현하여 선형가능성에 대한 충분조건를 도출하고, 인덱스에 대한 합산을 통해 선형화를 유도한다.
• 행렬 및 인덱스 조작을 활용하여 모든 $ (i,j) $ 쌍에 대해 CVP 조건을 검증하는 데 $ \mathcal{O}(n^5) $ 시간이 소요되는 알고리즘을 설계한다.
• 무방향 그래프로의 확장을 위해 CVP 및 분해 조건을 대칭 간선 쌍에 맞게 적응시킨다.

실험 결과

연구 질문

• RQ1 이차 비용 행렬 $ Q $ 가 QTSP에서 선형가능하기 위한 필수 및 필요조건은 무엇인가?
• RQ2 선형가능성은 다항시간 내에 검증 가능할 수 있는가? 만약 가능하다면, 그러한 검증의 시간 복잡도는 얼마인가?
• RQ3 실제 응용에서 쉽게 검증할 수 있는 더 단순한 충분조건이 존재하는가?
• RQ4 QTSP에서 선형가능한 행렬의 구조적 성질은 QAP나 이차 스패닝 트리와 같은 다른 이차 조합 최적화 문제와 비교해 볼 때 어떻게 다른가?
• RQ5 특수 그래프 클래스인 휠 또는 할린 그래프와 같은 그래프로의 특성화는 가능할 수 있으며, 선형가능성을 가능하게 하거나 방해하는 구조적 특징은 무엇인가?

주요 결과

• 이차 비용 행렬 $ Q $ 는 모든 간선 $ (i,j) $ 에 대해 $ Q $ 로부터 유도된 행렬 $ R^{ij} $ 가 $ (i,j) $-일정값성질(CVP)을 만족할 때이고 오직 그 때에만 선형가능하다.
• 선형가능성은 $ \mathcal{O}(n^5) $ 시간 내에 검증 가능하며, 이는 일반 QTSP 인스턴스의 입력 크기 $ \mathcal{O}(n^4) $ 에 비해 거의 선형이다.
• 각 간선의 CVP 값 사용으로 동일한 $ \mathcal{O}(n^5) $ 시간 내에 $ Q $ 의 선형화 $ C $ 를 명시적으로 구성할 수 있다.
• 선형가능성에 대한 충분조건로는 $ Q $ 가 약한합행렬(weak-sum matrix)임을 들 수 있으며, 즉 $ q_{ijkl} = a_{ijk} + b_{ijl} + d_{ikl} + h_{jkl} $ 를 만족할 경우, 인덱스에 대한 합산을 통해 항상 선형가능성이 보장된다.
• CVP 및 분해 조건를 대칭 간선 쌍에 맞게 적응함으로써 특성화는 완전 무방향 그래프로 직접 확장된다.
• 휠과 같은 특수 그래프의 경우, 선형화를 위한 연립방정식 시스템이 항상 일致하므로 모든 이차 비용 행렬 $ Q $ 는 선형가능하다.