[논문 리뷰] On Approximating Restricted Cycle Covers

Bodo Manthey|arXiv (Cornell University)|2005. 04. 11.

Complexity and Algorithms in Graphs참고 문헌 37인용 수 10

한 줄 요약

이 논문은 사이클 길이가 집합 L에 의해 제한되는 방향성 및 무방향 그래프에서 최대 무게 L-사이클 커버를 계산하는 복잡도와 근사 가능성에 대해 조사한다. 거의 모든 L에 대해 문제는 APX-난이도임을 증명하지만, 무방향 그래프에 대해서는 2-근사 알고리즘, 방향 그래프에 대해서는 8/3-근사 알고리즘을 제공함으로써, 난이도에도 불구하고 강력한 근사 보장을 확립한다.

ABSTRACT

A cycle cover of a graph is a set of cycles such that every vertex is part of exactly one cycle. An L-cycle cover is a cycle cover in which the length of every cycle is in the set L. The weight of a cycle cover of an edge-weighted graph is the sum of the weights of its edges. We come close to settling the complexity and approximability of computing L-cycle covers. On the one hand, we show that for almost all L, computing L-cycle covers of maximum weight in directed and undirected graphs is APX-hard and NP-hard. Most of our hardness results hold even if the edge weights are restricted to zero and one. On the other hand, we show that the problem of computing L-cycle covers of maximum weight can be approximated within a factor of 2 for undirected graphs and within a factor of 8/3 in the case of directed graphs. This holds for arbitrary sets L.

연구 동기 및 목표

• 방향성 및 무방향 그래프에서 최대 무게 L-사이클 커버를 계산하는 복잡도와 근사 가능성의 특성화.
• 문제가 여전히 다항시간 가능하거나 난이도가 높아지는 집합 L의 조건을 규명.
• L-사이클 커버 문제에 대해 일정 성능 보장을 갖는 다항시간 근사 알고리즘 개발.
• 제한된 사이클 커버 문제의 NP-난이도와 근사 가능성 사이의 격차를 메우기.
• 다항시간 해법이 해결되지 않은 무방향 그래프에서의 열린 케이스 식별.

제안 방법

• 저자들은 제외된 사이클 길이에 따라 집합 L을 분류함으로써 L-사이클 커버의 구조를 분석하며, 특히 2, 3, 4와 같은 작은 사이클에 초점을 맞춘다.
• 동적 프로그래밍을 사용하여 n개의 정점을 커버할 수 있는 L에 속하는 길이의 사이클 수인 D(n,L)를 계산함으로써 최적 해의 크기를 근사한다.
• 근사 알고리즘에서는 초기 사이클 커버를 매칭으로 분해하고, 유효한 L-사이클 커버를 형성할 수 있도록 간선을 재조합함으로써 최적 무게의 일정 비율 이상을 유지한다.
• 2와 3이 L에 포함되는 경우, 짝수 및 홀수 사이클에서 매번 한 개 간선씩 선택하여 {2,3}-사이클 커버를 구성하며, 최소한 절반의 무게를 유지한다.
• 특히 소수의 제외된 집합을 가진 L에 대해, 알려진 매칭 알고리즘과 증강 경로 정리들을 활용하여 구조적 통찰을 확보한다.
• 방향 그래프에 대한 근사 알고리즘은 두 단계 접근법을 사용한다: 먼저 일반적인 사이클 커버를 계산한 후, 간선 선택 및 뒤집기 연산을 통해 L-사이클 커버로 변환함으로써 무게를 유지한다.

실험 결과

연구 질문

• RQ1 무방향 그래프에서 최대 무게 L-사이클 커버를 계산하는 것이 NP-난이도 또는 APX-난이도가 되는 집합 L은 무엇인가?
• RQ2 모든 방향 그래프의 L-사이클 커버 문제에 대해 일정 요인 근사가 달성될 수 있는가?
• RQ3 L이 일부 작은 사이클 길이를 제외할 경우, 무방향 L-사이클 커버의 최선의 가능한 근사 비율은 무엇인가?
• RQ4 L-사이클 커버의 다항시간 해법 가능 케이스를 식별하는 데 도움이 되는 구조적 성질 또는 증강 경로 정리는 무엇인가?
• RQ5 소수의 제외된 집합을 가진 일부 L-사이클 커버 문제들이 알려진 정리에도 불구하고 여전히 열려 있는 이유는 무엇인가?

주요 결과

• 거의 모든 L에 대해, 방향성 및 무방향 그래프에서 최대 무게 L-사이클 커버를 계산하는 것은 APX-난이도이며, 간선 무게가 0과 1로 제한되더라도 마찬가지다.
• 모든 비어 있지 않은 L ⊆ {3,4,5,…}에 대해, 무방향 그래프에서 최대 무게 L-사이클 커버에 대해 2-근사 알고리즘이 존재한다.
• 모든 비어 있지 않은 L ⊆ {2,3,4,…}에 대해, 방향 그래프에서 최대 무게 L-사이클 커버에 대해 8/3-근사 알고리즘이 제공된다.
• 방향 그래프에서 유일한 다항시간 해법 가능 케이스는 L = {2} 또는 L = {2,3,4,…}일 때이며, 이 외의 경우 문제는 NP-난이도이자 APX-난이도이다.
• 무방향 그래프에서는 다섯 가지 케이스가 여전히 열려 있다: L의 여집합이 {4} 또는 {3,4}이거나, 4-사이클 커버 문제이다.
• 논문은 최대 무게 L-사이클 커버 문제의 계산이 PO(다항시간 가능)에 속하는 것은 L이 모든 사이클 길이를 포함하거나, 각각 3 또는 4만 제외하는 경우에 한해 성립함을 규명했다.