[논문 리뷰] An ${\cal O}(n^2 \log(n))$ algorithm for the weighted stable set problem in claw-free graphs

Paolo Nobili, Antonio Sassano|arXiv (Cornell University)|2015. 01. 23.

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

한 줄 요약

이 논문은 클로우-free 그래프에서 가중 안정 집합 문제에 대해 ${\cal O}(n^2 \log n)$ 알고리즘을 제시한다. 이는 선 그래프에 대해 알려진 최고의 알고리즘과 동일한 시간 복잡도를 달성한다. $S$-아티큘레이션 클리크를 통한 {claw, net}-free 스트립과 안정 수가 낮은 스트립으로의 직접 분해를 도입하고, 이러한 구성 요소에 대해 더 빠른 서브루틴을 활용함으로써, Padberg(1983)가 제기한 오랜 동안 미해결이었던 추측을 해결한다. 즉, 이 문제는 가중 매칭 문제보다 더 어렵지 않다.

ABSTRACT

A graph $G(V, E)$ is \emph{claw-free} if no vertex has three pairwise non-adjacent neighbours. The Maximum Weight Stable Set (MWSS) Problem in a claw-free graph is a natural generalization of the Matching Problem and has been shown to be polynomially solvable by Minty and Sbihi in 1980. In a remarkable paper, Faenza, Oriolo and Stauffer have shown that, in a two-step procedure, a claw-free graph can be first turned into a quasi-line graph by removing strips containing all the irregular nodes and then decomposed into \emph{\{claw, net\}-free} strips and strips with stability number at most three. Through this decomposition, the MWSS Problem can be solved in ${\cal O}(|V|(|V| \log |V| + |E|))$ time. In this paper, we describe a direct decomposition of a claw-free graph into \emph{\{claw, net\}-free} strips and strips with stability number at most three which can be performed in ${\cal O}(|V|^2)$ time. In two companion papers we showed that the MWSS Problem can be solved in ${\cal O}(|E| \log |V|)$ time in claw-free graphs with $α(G) \le 3$ and in ${\cal O}(|V| \sqrt{|E|})$ time in \{claw, net\}-free graphs with $α(G) \ge 4$. These results prove that the MWSS Problem in a claw-free graph can be solved in ${\cal O}(|V|^2 \log |V|)$ time, the same complexity of the best and long standing algorithm for the MWSS Problem in \emph{line graphs}.

연구 동기 및 목표

• 1983년 Padberg가 제기한, 클로우-free 그래프에서의 가중 안정 집합 문제와 선 그래프에서의 문제 간의 복잡도 격차를 해소하기 위해.
• 이전 연구에서 사용된 간접적인 두 단계 과정을 피하고, 클로우-free 그래프를 직접적으로 {claw, net}-free 스트립과 안정 수가 3 이하인 스트립으로 분해하기 위해.
• 선 그래프에 대해 알려진 최고의 알고리즘과 동일한 전체 시간 복잡도 ${\cal O}(n^2 \log n)$를 달성하기 위해.
• Faenza, Oriolo, 및 Stauffer가 이전에 확립한 ${\cal O}(|V|(|V|\log|V| + |E|))$의 복잡도를 향상시키기 위해.

제안 방법

• 특수한 최대 안정 집합 $S$를 도입하여 $S$-아티큘레이션 클리크를 식별하는 데 지도를 제공한다. 이는 이전 연구에서 사용된 아티큘레이션 클리크를 일반화한 것이다.
• 클로우-free 그래프 $G$ 위에서 직접적으로 $S$-아티큘레이션 클리크에 대한 언글루잉 연산을 수행함으로써, {claw, net}-free 스트립과 $\alpha(C) \leq 3$인 스트립으로 분해한다.
• 언글루된 그래프 $G_{\cal S}$와 각 $Q \in {\cal S}$에 대해 관련 그래프 $G_Q$를 구성한다. 이 과정에서 루트 노드와 간선의 강성 정보를 추적하기 위해 행렬 $Root[\cdot, \cdot]$를 사용한다.
• 기존에 잘 알려진 효율적인 알고리즘을 활용한다: $\alpha(C) \leq 3$인 스트립의 경우 ${\cal O}(|E(C)|\log|V(C)|)$, $\alpha(C) \geq 4$인 {claw, net}-free 스트립의 경우 ${\cal O}(|V(C)|\sqrt{|E(C)|})$.
• 전체 분해 과정, 즉 $S$-아티큘레이션 클리크 식별 및 $G_{\cal S}$ 구성 과정이 ${\cal O}(|V|^2)$ 시간에 수행됨을 증명한다.

실험 결과

연구 질문

• RQ1 클로우-free 그래프에서의 가중 안정 집합 문제는 선 그래프에 대해 알려진 알고리즘의 복잡도와 동일한 ${\cal O}(n^2 \log n)$ 시간 내에 해결될 수 있는가?
• RQ2 기존에 선 그래프로 변환하는 과정을 거치지 않고, 클로우-free 그래프 위에서 직접적으로 언글루잉 분해를 수행할 수 있는가?
• RQ3 아티큘레이션 유사 클리크 식별 과정을 ${\cal O}(n^2)$ 시간으로 가속화할 수 있는가? 이는 이전 알고리즘에서의 ${\cal O}(|V||E|)$ 복잡도 장벽을 개선하는 데 기여한다.
• RQ4 직접적인 {claw, net}-free 스트립과 안정 수가 낮은 스트립으로의 분해가 선 그래프에 대해 알려진 최고의 복잡도와 일치하는 시간 복잡도를 제공하는가?

주요 결과

• 제안된 알고리즘은 클로우-free 그래프에서 가중 안정 집합 문제를 ${\cal O}(n^2 \log n)$ 시간 내에 해결하며, 선 그래프에 대해 알려진 최고의 알고리즘과 동일한 복잡도를 달성한다.
• S-아티큘레이션 클리크에 의한 분해 및 언글루잉 과정은 ${\cal O}(|V|^2)$ 시간 내에 수행되며, 이는 이전 접근 방식의 주요 복잡도 장벽을 크게 향상시킨다.
• 각 스트립에서 MWSS 문제를 해결하는 데 소요되는 시간 복잡도는 $\alpha(C) \leq 3$인 경우 ${\cal O}(|E(C)|\log|V(C)|)$, $\alpha(C) \geq 4$인 경우 ${\cal O}(|V(C)|\sqrt{|E(C)|})$로 제한되며, 둘 다 효율적으로 계산 가능하다.
• 전체 알고리즘의 복잡도는 선 그래프에서 MWSS 문제를 해결하는 데 가장 빠른 알고리즘에 의해 지배되며, 이는 ${\cal O}(n^2 \log n)$이다.
• 결과적으로 Padberg의 1983년 추측, 즉 클로우-free 그래프에서의 가중 안정 집합 문제는 가중 매칭 문제보다 더 어렵지 않다는 추측이 확인된다.