[논문 리뷰] Computation of Hadwiger Number and Related Contraction Problems: Tight Lower Bounds

Fedor V. Fomin, Daniel Lokshtanov외 3명|arXiv (Cornell University)|2020. 01. 01.

Advanced Combinatorial Mathematics참고 문헌 13인용 수 3

한 줄 요약

이 논문은 n-정점 그래프의 Hadwiger 수—가장 큰 클리크 마이너의 크기—를 계산하는 데 대해 날카로운 하한을 설정하며, Exponential Time Hypothesis (ETH)가 성립하지 않는 한 어떤 알고리즘도 $ n^{o(n)} $ 시간 내에 이를 계산할 수 없음을 증명한다. 저자들은 매칭 문제에서의 난이도를 활용하여 이론을 확장함으로써, 호프, 구간, 완전 그래프를 포함한 광범위한 엣지 수축 문제 클래스에 대해 효율적인 알고리즘의 존재를 배제한다.

ABSTRACT

We prove that the Hadwiger number of an $n$-vertex graph $G$ (the maximum size of a clique minor in $G$) cannot be computed in time $n^{o(n)}$, unless the Exponential Time Hypothesis (ETH) fails. This resolves a well-known open question in the area of exact exponential algorithms. The technique developed for resolving the Hadwiger number problem has a wider applicability. We use it to rule out the existence of $n^{o(n)}$-time algorithms (up to ETH) for a large class of computational problems concerning edge contractions in graphs.

연구 동기 및 목표

• n-정점 그래프의 Hadwiger 수가 단일 지수 시간 $ 2^{O(n)} $ 내에 계산될 수 있는가에 대한 오랫동안 미해결된 열린 문제를 해결하기 위해.
• 클리크 마이너 계산 및 관련 엣지 수축 문제의 계산 복잡도에 대해 날카로운 하한을 설정하기 위해.
• 다양한 그래프 수축 문제에 적용 가능한 일반적인 기법을 개발하기 위해, Hadwiger 수를 넘어서서.
• 이러한 문제들에 대해 $ n^{o(n)} $-시간 알고리즘이 존재할 경우 Exponential Time Hypothesis (ETH)가 성립하지 않음을 증명하기 위해.

제안 방법

• Cross Matching 문제에서 Structured Clique Contraction 문제로의 감소를 통해 후자의 ETH-난이도를 확립한다.
• 입력 그래프 $ G $ 와 $ 4n $ 개의 정점으로 구성된 클리크 $ K $ 를 조합하여 그래프 $ H $ 를 구성하고, $ A $ 와 $ C $ 사이, $ B $ 와 $ D $ 사이에 간선을 추가하여 매칭 제약 조건을 인코딩한다.
• 엣지 수축을 사용하여 $ G $ 내의 완전 매칭을 시뮬레이션하며, 결과 그래프가 클리크가 되는 것은 완전 매칭이 존재할 때에만 성립하도록 보장한다.
• 모든 클리크 마이너 크기 $ h $ 가 $ G $ 내에서 $ |V(G)| - h $ 개의 엣지 수축에 해당함을 활용하여, Hadwiger 수 문제를 Clique Contraction 문제로 감소시킨다.
• Clique Contraction 문제를 $ n^{o(n)} $ 시간 내에 해결할 수 있는 알고리즘이 존재할 경우, Cross Matching 문제에 대해서도 $ n^{o(n)} $-시간 알고리즘이 존재하게 되며, 이는 ETH에 모순됨을 증명한다.
• 이 기법을 일반화하여, ETH를 가정할 경우 여러 그래프 클래스(예: 호프, 구간, 임계, 스플릿, 완전 그래프 등)에 대해 F-Contraction 문제가 $ n^{o(n)} $ 시간 내에 해결될 수 없음을 보여준다.

실험 결과

연구 질문

• RQ1 n-정점 그래프의 Hadwiger 수는 $ n^{o(n)} $ 시간 내에 계산될 수 있는가?
• RQ2 그래프의 엣지 수축 문제에 대해 $ n^{o(n)} $-시간 알고리즘을 배제할 수 있는 일반적인 방법이 존재하는가?
• RQ3 엣지 수축을 통한 최대 클리크 마이너 찾기의 계산 복잡도는 다른 그래프 임bedding 문제들(예: 부분그래프 동일성, 그래프 호모모르피즘, 위상 마이너)과 비교해 볼 때 어떻게 되는가?
• RQ4 Exponential Time Hypothesis (ETH)는 Clique Contraction 및 관련 문제에 대해 효율적인 알고리즘의 존재를 배제하는가?
• RQ5 Hadwiger 수에 대해 사용된 감소 기법을 F-Contraction 프레임워크 내에서 다른 그래프 클래스로 확장할 수 있는가?

주요 결과

• Exponential Time Hypothesis (ETH)가 성립하지 않는 한, n-정점 그래프의 Hadwiger 수는 $ n^{o(n)} $ 시간 내에 계산될 수 없다.
• 논문은 Cross Matching 문제에서의 감소를 통해, ETH 하에 Clique Contraction 문제가 $ n^{o(n)} $ 시간 내에 해결될 수 없음을 증명한다.
• Hadwiger 수에 대해 하한을 증명하는 데 사용된 기법은 광범위하게 적용 가능하여, 호프, 구간, 임계, 스플릿, 완전 그래프 등 여러 그래프 클래스에 대해 F-Contraction 문제가 $ n^{o(n)} $ 시간 내에 해결될 수 없음을 배제한다.
• 이 결과는 최대 클리크 마이너를 찾는 것이 Subgraph Isomorphism, Graph Homomorphism, Topological Minor 등의 문제들보다 계산적으로 더 어렵다는 것을 보여주며, 이들 문제들은 모두 $ n^{O(n)} $-시간 알고리즘을 갖는다.
• 심지어 목표 그래프가 완전 그래프일 경우조차도, ETH가 성립하지 않는 한 엣지 수축 문제에 대해 $ n^{o(n)} $-시간 알고리즘이 존재하지 않음을 논문이 증명한다.
• Cross Matching 문제에서 Structured Clique Contraction 문제로의 감소는 엣지 수축이 완전 매칭을 시뮬레이션할 수 있으며, 수축 하에 클리크 구조를 유지함을 보여준다.