[논문 리뷰] Approximation and Hardness for Token Swapping

Tillmann Miltzow, Lothar Narins외 4명|arXiv (Cornell University)|2016. 01. 01.

Genome Rearrangement Algorithms참고 문헌 7인용 수 21

한 줄 요약

이 논문은 그래프에서 토큰 스위핑 문제에 대해 알고리즘적 한계를 엄밀하게 규명하여, NP-완전성과 APX-난이도를 증명하고, Exponential Time Hypothesis 하에서 2^o(n) 시간 내에 해결될 수 없음을 보였다. 또한 색상이 부여된 버전에 대해 4-근사 알고리즘과 트리에 대해 2-근사 알고리즘을 제안하였으며, 정확한 알고리즘은 2^O(n log n) 시간에 작동하고, 이는 하한과 일치하여 일반 그래프에 대한 근사 가능성과 조건부 난이도에 오랫동안 열려 있던 질문들을 해결하였다.

ABSTRACT

Given a graph G=(V,E) with V={1,...,n}, we place on every vertex a token T_1,...,T_n. A swap is an exchange of tokens on adjacent vertices. We consider the algorithmic question of finding a shortest sequence of swaps such that token T_i is on vertex i. We are able to achieve essentially matching upper and lower bounds, for exact algorithms and approximation algorithms. For exact algorithms, we rule out any 2^{o(n)} algorithm under the ETH. This is matched with a simple 2^{O(n*log(n))} algorithm based on a breadth-first search in an auxiliary graph. We show one general 4-approximation and show APX-hardness. Thus, there is a small constant delta > 1 such that every polynomial time approximation algorithm has approximation factor at least delta. Our results also hold for a generalized version, where tokens and vertices are colored. In this generalized version each token must go to a vertex with the same color.

연구 동기 및 목표

• 일반 그래프에서 토큰 스위핑 문제의 다항시간 복잡도 또는 NP-완전성 여부에 대한 열린 문제를 해결하기 위해.
• 일반 그래프에 대해 상수 요인 다항시간 근사 알고리즘이 존재하는지 확인하기 위해.
• 정확한 알고리즘과 근사 알고리즘에 대한 엄밀한 조건부 하한을 설정하기 위해.
• 토큰과 정점에 색상이 부여되고, 토큰이 동일한 색상의 정점에 도달해야 하는 색상이 부여된 토큰 스위핑 변형으로 결과를 확장하기 위해.

제안 방법

• 입력 및 출력 정점 사이에서 임의의 짝수 치환을 시뮬레이션할 수 있는 새로운 기법인 짝수 치환 네트워크를 설계하여.
• 3SAT 문제에서 분리된 경로를 포함하는 구조화된 그래프 문제로의 선형 감소를 수행한 후, 이를 색상이 부여된 토큰 스위핑 문제로 감소시켜.
• 각 색상 클래스에 짝수 치환 네트워크를 부착하여 색상이 부여된 토큰 스위핑 문제를 비색상 기반 문제로 감소시키며, 선형 크기의 증가를 유지하여.
• 스파르티피케이션 레미마를 사용하여 감소가 부분지수 시간 복잡도를 유지하도록 보장하고, ETH 기반 하한을 도출하기 위해.
• 토큰 이동과 경로 할당에 대한 구조적 통찰을 활용하여 색상이 부여된 토큰 스위핑 문제에 대해 4-근사 알고리즘을 개발하여.
• 트리의 고유한 성질과 토큰 경로 분해를 기반으로 2-근사 알고리즘을 제안하여.

실험 결과

연구 질문

• RQ1 일반 그래프에서 토큰 스위핑 문제는 NP-완전한가?
• RQ2 일반 토큰 스위핑 문제에 대해 상수 요인 다항시간 근사 알고리즘이 존재하는가?
• RQ3 Exponential Time Hypothesis 하에서 문제를 부분지수 시간, 구체적으로 2^o(n) 내에 해결할 수 있는가?
• RQ4 색상이 부여된 토큰 스위핑 문제, 즉 토큰이 동일한 색상의 정점에 도달해야 하는 경우, 여전히 NP-난이도와 APX-난이도를 가진다?
• RQ5 경우의 수 난이도 결과를 유한 차수 그래프로 확장할 수 있는가?

주요 결과

• 토큰 스위핑 문제는 유한 차수 그래프일지라도 NP-완전하다.
• Exponential Time Hypothesis가 성립하지 않는 한 문제는 2^o(n) 시간 내에 해결될 수 없으며, 이는 엄밀한 하한을 의미한다.
• 문제는 APX-난이도를 지니며, 이는 P=NP가 아닐 경우 다항시간 근사 스킴이 존재하지 않으며, 어떤 δ>1보다도 우수한 상수 요인 근사도 존재하지 않음을 의미한다.
• 일반 그래프에서 색상이 부여된 토큰 스위핑 문제에 대해 4-근사 알고리즘을 제안하였다.
• 트리에 대해 2-근사 알고리즘을 제시하였으며, 이는 이전 결과를 향상시킨다.
• 정확한 알고리즘은 2^O(n log n) 시간에 작동하며, ETH 하에서의 2^o(n) 하한과 고려할 경우 거의 최적이다.