[논문 리뷰] Cliques in Odd-Minor-Free Graphs

Ken‐ichi Kawarabayashi, David R. Wood|arXiv (Cornell University)|2011. 08. 15.

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

한 줄 요약

이 논문은 기껏해야 $O(n^2)$개의 클리크를 포함하는 홀-미너스-프리 그래프가 존재함을 입증하며, 이는 완전이분그래프 $K_{n,n}$에 의해 날카로운 상한임을 보여준다. 이들 그래프에서 모든 클리크를 나열하는 데 $O(n^3)$ 시간이 소요되는 알고리즘을 제시한다. 이 알고리즘은 구조적 분해와 재귀적 클리크 수세기 방법을 활용한다.

ABSTRACT

This paper is about: (1) bounds on the number of cliques in a graph in a particular class, and (2) algorithms for listing all cliques in a graph. We present a simple algorithm that lists all cliques in an $n$-vertex graph in O(n) time per clique. For O(1)-degenerate graphs, such as graphs excluding a fixed minor, we describe a O(n) time algorithm for listing all cliques. We prove that graphs excluding a fixed odd-minor have $O(n^2)$ cliques (which is tight), and conclude a $O(n^3)$ time algorithm for listing all cliques.

연구 동기 및 목표

• 홀-미너스-프리 그래프에서 클리크 수에 대한 날카로운 상한을 확립하는 것.
• 홀-미너스-프리 그래프에서 모든 클리크를 나열하는 효율적인 알고리즘을 개발하는 것.
• 기존의 미너스-프리 그래프에 대한 클리크 수세기 결과를 더 넓은 홀-미너스-프리 그래프의 범주로 확장하는 것.
• 예를 들어 $K_{n,n}$와 같은 극한 예시를 제시하여 $O(n^2)$ 클리크 상한이 날카로운지 입증하는 것.

제안 방법

• 각 정점에 대해, 그 정점을 포함하는 모든 클리크와 포함하지 않는 모든 클리크를 나열하는 재귀적 클리크 수세기 알고리즘을 사용한다.
• 홀-미너스-프리 그래프를 $(\leq h)$-합으로 표현하기 위해 구조적 분해 정리를 적용하여 $h$-거의 이분그래프 또는 $h$-거의 표면에 매립된 그래프로 분해한다.
• 각 구성 요소의 클리크 수와 그 조합의 클리크 수를 유도하기 위해 그래프 분해 트리에 대한 귀납법을 적용한다.
• 각 구성 요소가 $O(n_i^2)$개의 클리크를 가지며 $k$-클리크가 없을 경우, 전체 그래프의 클리크 수가 $O(n^2)$임을 보여주는 핵심 보조정리를 활용한다.
• 홀-미너스-프리 그래프가 고정된 홀 미너스를 포함하지 않기 때문에, 확장성이 제한되고 클리크 성장이 통제됨을 이용한다.
• 클리크 수세기 알고리즘과 $O(n^2)$ 상한을 결합하여, 모든 클리크를 나열하는 데 총 $O(n^3)$ 시간 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 홀-미너스-프리 그래프에서 $n$개 정점이 있을 때 클리크의 최대 수는 얼마인가?
• RQ2 홀-미너스-프리 그래프에서 모든 클리크를 효율적으로 나열할 수 있는 알고리즘이 존재하는가? 그 시간 복잡도는 무엇인가?
• RQ3 홀-미너스-프리 그래프에서 클리크 수에 대한 $O(n^2)$ 상한이 날카로운가?
• RQ4 홀-미너스-프리 그래프의 클리크 구조는 미너스-프리 그래프와 어떻게 비교되는가?
• RQ5 구조적 분해 정리를 활용하여 클리크 수를 제한하고 효율적인 수세기 알고리즘을 가능하게 할 수 있는가?

주요 결과

• 모든 $n$-정점 홀-$H$-미너스-프리 그래프는 상수 $c$가 $H$에 따라 달라지는 바에 따라 기껏해야 $cn^2$개의 클리크를 포함하며, 이 상한은 날카롭다.
• $K_{n,n}$는 홀-$K_3$-미너스-프리이지만 $\Theta(n^2)$개의 클리크를 포함하므로, $O(n^2)$ 상한이 점근적으로 날카로움을 입증한다.
• $n$-정점 홀-미너스-프리 그래프에서 모든 클리크를 나열하는 데 $O(n^3)$ 시간이 소요되는 알고리즘이 존재한다.
• 이들 그래프의 클리크 수는 다항식적으로 유계이며, 일반 그래프가 $2^n$개의 클리크를 가질 수 있는 것과 대비된다.
• 홀-미너스-프리 그래프를 $h$-거의 이분그래프 또는 $h$-거의 표면에 매립된 구성 요소로 분해함으로써, 귀납법을 통해 클리크 수를 세는 것이 가능하다.
• 재귀적 클리크 나열 알고리즘은 클리크당 $O(n)$ 시간이 소요되며, 이와 $O(n^2)$ 클리크 상한을 결합하면 총 실행 시간이 $O(n^3)$이 된다.