[논문 리뷰] Improved integrality gap upper bounds for TSP with distances one and two

Matthias Mnich, Tobias Mömke|arXiv (Cornell University)|2013. 12. 09.

Advanced Graph Theory Research참고 문헌 17인용 수 3

한 줄 요약

이 논문은 부분순환 제거 심화 해석(SER)의 해의 지지 구조를 분석하여 간선 비용이 1과 2인 순회 판매원 문제(TSP)의 정수화 갭 상한을 향상시킨다. 단일 커팅 평면 부등식을 포함하는 수정된 선형 프ogram인 SER⁺을 도입함으로써 다항 시간 알고리즘을 통해 구성 요소 수가 적은 2-매칭을 찾을 수 있게 되었으며, 이로 인해 엄밀한 정수화 갭 상한을 도출할 수 있었다: 무방향 TSP의 경우 5/4, 반정수 해의 경우 7/6, 부분삼차 지지 그래프의 경우 10/9; 유 방향 TSP의 경우 각각 3/2와 4/3의 상한을 확보하였다.

ABSTRACT

We study the structure of solutions to linear programming formulations for the traveling salesperson problem (TSP). We perform a detailed analysis of the support of the subtour elimination linear programming relaxation, which leads to algorithms that find 2-matchings with few components in polynomial time. The number of components directly leads to integrality gap upper bounds for the TSP with distances one and two, for both undirected and directed graphs. Our main results concern the subtour elimination relaxation with one additional cutting plane inequality: - For undirected instances we obtain an integrality gap upper bound of 5/4 without any further restrictions, of 7/6 if the optimal LP solution is half-integral. - For instances of order n where the fractional LP value has a cost of n, we obtain a tight integrality gap upper bound of 10/9 if there is an optimal solution with subcubic support graph. The latter property that the graph is subcubic is implied if the solution is a basic solution in the fractional 2-matching polytope. - For directed instances we obtain an integrality gap upper bound of 3/2, and of 4/3 if given an optimal 1/2-integral solution. In the case of undirected graphs, we can avoid to add the cutting plane inequality if we accept slightly increased values. For the tight result, the cutting plane is not required. Additionally, we show that relying on the structure of the support is not an artefact of our algorithm, but is necessary under standard complexity-theoretic assumptions: we show that finding improved solutions via local search is W[1]-hard for k-edge change neighborhoods even for the TSP with distances one and two, which strengthens a result of Dániel Marx.

연구 동기 및 목표

• 간선 비용이 1과 2인 대칭 및 비대칭 TSP에 대해 정수화 갭 상한을 향상시키기.
• 부분순환 제거 심화 해석(SER)의 해의 지지 구조를 분석하여 보다 우수한 근사 보증을 가능하게 하기.
• 구성 요소 수가 적은 2-매칭을 찾는 다항 시간 알고리즘을 개발하여 이를 직접적으로 정수화 갭 향상으로 연결하기.
• 반정수성 및 부분삼차 지지 그래프와 같은 구조적 가정 하에 엄밀한 상한을 확립하기.
• k-간선 변화에 대한 국소 탐색이 W[1]-하드임을 증명하여 복잡도 이론적 가정 하에 구조 분석이 필수적임을 보여주기.

제안 방법

• 표준 부분순환 제거 심화 해석(SER)에 단일 커팅 평면 부등식을 추가하여 정수 해를 보장하는 SER⁺를 구성하기.
• 최적의 SER⁺ 해의 지지 그래프를 분석하여 개선된 2-매칭 구성에 기여하는 구조적 성질을 규명하기.
• 2-매칭을 구성 요소 수가 적은 형태로 변환하는 다항 시간 알고리즘을 설계하여 고립된 정점을 피하고 교대 경로를 활용하기.
• 교대 경로와 경로 변환 기법을 적용하여 2-매칭의 구성 요소 수를 최대 n/4로 감소시키기.
• 분수 2-매칭 다면체의 기본 해에서 알려진 구조적 성질—특히 반정수성과 부분삼차 차수—을 활용하여 더 엄밀한 상한을 도출하기.
• t-클리크 문제로부터의 감소를 통해 k-간선 변화 국소 탐색의 W[1]-하드성을 증명하여 구조 분석의 必要성을 입증하기.

실험 결과

연구 질문

• RQ1 지지 그래프에 대한 구조적 통찰을 활용하여 간선 비용이 1과 2인 TSP의 부분순환 제거 심화 해석의 정수화 갭을 향상시킬 수 있는가?
• RQ2 최적의 SER 해가 반정수이거나 부분삼차 지지 그래프를 가질 경우 어떤 정수화 갭 상한을 달성할 수 있는가?
• RQ3 SER⁺에서 단일 커팅 평면 부등식의 사용은 다항 시간 해법을 유지하면서 더 엄밀한 정수화 갭 상한을 달성하는 데에 충분한가?
• RQ4 특정 구조적 제약 조건 하에서 무방향 및 유 방향 TSP 변종에 대해 향상된 근사 보증을 유도할 수 있는가?
• RQ5 (1,2)-TSP에서 k-간선 변화에 대한 국소 탐색은 고정 매개변수 가능성이 있는가, 아니면 표준 복잡도 가정 하에 W[1]-하드인가?

주요 결과

• 무방향 (1,2)-STSP에서 SER⁺의 정수화 갭은 추가 제약 조건 없이 최대 5/4이며, 최적 해가 반정수일 경우 7/6이다.
• 최적 선형 프ogram 값이 n이고 지지 그래프가 부분삼차일 경우, 무방향 (1,2)-STSP의 정수화 갭은 엄밀히 10/9로 유계된다.
• 유 방향 (1,2)-ATSP에서 SER⁺의 정수화 갭은 최대 3/2이며, 최적 해가 반정수일 경우 4/3이다.
• 무방향 TSP에서 5/4 상한을 확보하기 위해 커팅 평면 부등식이 필요하지 않지만, 부분삼차 지지 하에서 엄밀한 10/9 상한을 달성하기 위해서는 필수적이다.
• k-간선 변화 국소 탐색을 통한 개선된 해의 탐색은 (1,2)-TSP에서 W[1]-하드이며, 이는 구조 분석이 수단이 아니라 필수적임을 시사한다.
• 지구적 시간 가정 하에, k-간선 변화 (1,2)-TSP에 대해 f(k)·n^{o(√[3]{k})}-시간 알고리즘이 존재하지 않으며, 이는 n의 지수에 대한 강력한 하한을 의미한다.