[논문 리뷰] Layers and Matroids for the Traveling Salesman's Paths

Frans Schalekamp, András Sebő외 2명|arXiv (Cornell University)|2017. 03. 21.

Advanced Graph Theory Research참고 문헌 6인용 수 6

한 줄 요약

이 논문은 s-t 경로 TSP 서브순환 제거 선형계획 문제의 타당해를 일반화된 Gao-트리—각 컷이 중첩된 집합의 체인에서 정확히 한 간선로 만족하는 스패닝 트리—의 볼록 조합으로 분해하는 새로운 강력 다항식, 조합적 알고리즘을 제시한다. 이 방법은 점차 더 엄격해지는 매트로이드의 层수 볼록 조합을 활용하여 새로운 다면체적 통찰을 제공하고, 극단점 해에 대해 O(|V|)개의 트리로 효율적인 분해를 가능하게 한다.

ABSTRACT

Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.

연구 동기 및 목표

• s-t 경로 TSP 해에 대한 일반화된 Gao-트리의 볼록 조합에 대한 Gottschalk와 Vygen의 결과에 대해 새로운 짧은 증명을 제공하는 것.
• 계층적 볼록 조합을 통한 매트로이드 기반의 s-t 경로 TSP와 매트로이드 이론 간의 연결 고리를 설정하는 것.
• 매트로이드 분할을 이용한 강력 다항식, 조합적 알고리즘을 개발하여 이러한 볼록 조합을 계산하는 것.
• 극단점 해에 대해 O(|V|)개의 스패닝 트리로 구성된 분해를 제공하는 구조적 방법을 제시하는 것.
• 최근 s-t 경로 TSP의 정수화 갭 관련 진전을 지원하는 도구를 제공하고, 다른 TSP 변종으로 확장 가능할 수 있도록 하는 것.

제안 방법

• 중첩된 정점 집합의 체인에 대해 차수 및 컷 제약 조건을 만족하는 s-t 경로 TSP LP의 타당해인 체인-포인트(Chain-points)의 개념을 도입한다.
• 레벨-셋에서의 사이클 매트로이드와 체인 내 컷에서의 Gao-간선에 대한 균일 매트로이드를 기반으로 점차 더 엄격해지는 매트로이드의 수열을 정의한다.
• 단계적으로 하나의 매트로이드 기저를 제거하면서 계층적 볼록 조합을 구성하여 각 단계에서 타당성을 보장한다.
• 매트로이드 분할 정리의 수정된 형태를 적용하여, 임의의 체인-포인트에 대해 이러한 분해가 존재함을 보장한다.
• Edmonds의 매트로이드 분할 알고리즘 또는 [7]의 스패닝 트리 분해 알고리즘의 수정된 버전을 사용하여, 강력 다항 시간 내에 분해를 계산한다.
• 각 단계에서 선택된 스패닝 트리가 현재 체인에 대해 Gao-트리임을 보장하며, 이는 해의 구조적 성질에 의해 보장된다.

실험 결과

연구 질문

• RQ1 s-t 경로 TSP 해에 대한 일반화된 Gao-트리의 볼록 조합은 더 단순한 매트로이드 기반 접근을 통해 증명될 수 있는가?
• RQ2 그러한 볼록 조합을 계산하는 강력 다항식, 조합적 알고리즘이 존재하는가?
• RQ3 체인-포인트의 구조는 계층적 분해에서 매트로이드 기저와 어떻게 관련되는가?
• RQ4 극단점 해에 대해 이러한 분해에서 필요한 스패닝 트리의 최대 개수는 얼마인가?
• RQ5 이 방법은 정수화 갭의 상한을 향상시키거나 다른 TSP 변종으로 확장할 수 있는가?

주요 결과

• s-t 경로 TSP 서브순환 제거 선형계획 문제의 모든 타당해는 일반화된 Gao-트리의 볼록 조합으로 표현될 수 있다.
• 매트로이드 분할 기반의 조합적 알고리즘을 통해 강력 다항 시간 내에 분해를 계산할 수 있다.
• 분해에서 스패닝 트리의 수는 해의 지지집합 크기의 최대 선형 함수로, 극단점 해에 대해 O(|V|)이다.
• 계층적 볼록 조합을 통한 매트로이드 이론과의 연결을 통해 s-t 경로 TSP에 새로운 다면체적 통찰을 제공한다.
• 매트로이드 분할 정리와 랭크 오라클 성질에 기반한 구조적 증명에 의해 이러한 분해의 존재가 보장된다.
• 알고리즘은 분해의 각 트리가 현재 체인에 대해 Gao-트리임을 보장하여 해의 구조적 제약 조건을 유지한다.