[논문 리뷰] Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask)

Dániel Marx, Michał Pilipczuk|arXiv (Cornell University)|2013. 07. 08.

Advanced Graph Theory Research참고 문헌 43인용 수 13

한 줄 요약

이 논문은 패턴 그래프 $H$와 텍스트 그래프 $G$에 대해 10개의 매개변수를 체계적으로 평가하여 서브그래프 이소모르피즘 문제의 매개변수화 복잡도를 분석하는 종합적인 프레임워크를 제공한다. 11개의 최대 긍정 결과(효율적인 알고리즘)와 17개의 최대 부정 결과(W[1]-하드성 증명)를 확립하며, $G$에서의 유계 차수, 피드백 정점 집합, 하드비거 수와 $H$에서의 유계 경로폭 및 최대 차수를 조합하면 매우 비직관적인 다항시간 해법이 가능하다는 것을 밝혀내며, 동시에 매우 제한된 조건에서도 W[1]-하드성임을 증명한다. 예를 들어 $H$가 유계 차수의 경로폭이 일정한 트리이고 $G$가 유계 경로폭을 갖는 평면 그래프일 경우이다.

ABSTRACT

Given two graphs $H$ and $G$, the Subgraph Isomorphism problem asks if $H$ is isomorphic to a subgraph of $G$. While NP-hard in general, algorithms exist for various parameterized versions of the problem: for example, the problem can be solved (1) in time $2^{O(|V(H)|)}\cdot n^{O( w(H))}$ using the color-coding technique of Alon, Yuster, and Zwick; (2) in time $f(|V(H)|, w(G))\cdot n$ using Courcelle's Theorem; (3) in time $f(|V(H)|,\genus(G))\cdot n$ using a result on first-order model checking by Frick and Grohe; or (4) in time $f(\maxdeg(H))\cdot n^{O( w(G)})$ for connected $H$ using the algorithm of Matoušek and Thomas. Already this small sample of results shows that the way an algorithm can depend on the parameters is highly nontrivial and subtle. We develop a framework involving 10 relevant parameters for each of $H$ and $G$ (such as treewidth, pathwidth, genus, maximum degree, number of vertices, number of components, etc.), and ask if an algorithm with running time \[ f_1(p_1,p_2,..., p_\ell)\cdot n^{f_2(p_{\ell+1},..., p_k)} \] exist, where each of $p_1,..., p_k$ is one of the 10 parameters depending only on $H$ or $G$. We show that {\em all} the questions arising in this framework are answered by a set of 11 maximal positive results (algorithms) and a set of 17 maximal negative results (hardness proofs); some of these results already appear in the literature, while others are new in this paper. On the algorithmic side, our study reveals for example that an unexpected combination of bounded degree, genus, and feedback vertex set number of $G$ gives rise to a highly nontrivial algorithm for Subgraph Isomorphism. On the hardness side, we present W[1]-hardness proofs under extremely restricted conditions, such as when $H$ is a bounded-degree tree of constant pathwidth and $G$ is a planar graph of bounded pathwidth.

연구 동기 및 목표

• 서브그래프 이소모르피즘 문제에 대해 패턴 그래프 $H$와 텍스트 그래프 $G$의 매개변수 조합이 매개변수화된 효율적 알고리즘을 허용하는지 체계적으로 조사하는 것.
• 매개변수화된 서브그래프 이소모르피즘에서 오랫동안 부족했던 부정 결과를 해결하기 위해 최대 해법 불가 케이스를 규명하는 것.
• 기존의 알고리즘 결과들—예를 들어 색상 칠하기, 쿠르셀의 정리, CSP 기반 접근 방식—을 하나의 종합적 프레임워크 아래 통합하고 확장하는 것.
• 일부 구조적 매개변수 조합(예: 차수, 트리폭, 곡면의 종수, 피드백 정점 집합)이 고정 매개변수 다항시간 알고리즘을 유도할 수 있는지 판단하는 것.

제안 방법

• 저자들은 $H$와 $G$ 각각에 대해 10개의 매개변수를 포함하는 프레임워크를 정의하며, 이에는 트리폭, 경로폭, 종수, 최대 차수, 피드백 정점 집합, 하드비거 수, 연결 성분 수 등이 포함된다.
• 모든 가능한 매개변수 조합을 알고리즘적(긍정적) 및 비가역적(부정적) 케이스로 분류하며, 특히 형태 $f_1(p_1,\dots,p_\ell) \cdot n^{f_2(p_{\ell+1},\dots,p_k)}$에 초점을 맞춘다.
• 긍정 결과의 경우, 제약 만족 문제(CSP)로의 환원을 사용하고, 특히 유계 확장성과 미니처 닫힘 성질에 기반한 기존의 해법 가능한 CSP 알고리즘을 적용한다.
• 부정 결과의 경우, 단일 이진 패킹 문제 및 기타 W[1]-하드 문제로의 매개변수화 환원을 활용하여, 매우 제한된 매개변수 조합조차도 비가역성을 유도할 수 있음을 보여준다.
• 문제가 $H$가 유계 차수의 트리이며 경로폭이 일정하고 $G$가 유계 경로폭을 갖는 평면 그래프일 경우조차도 W[1]-하드성임을 증명한다.
• 유계 차수와 피드백 정점 집합이 $G$에 존재할 경우, 이와 함께 $H$에서의 유계 하드비거 수와 최대 차수를 조합하면 효율적인 서브그래프 이소모르피즘 알고리즘이 가능하다는 새로운 구조적 결과를 제시한다.

실험 결과

연구 질문

• RQ1 패턴 그래프 $H$와 텍스트 그래프 $G$의 어떤 매개변수 조합이 고정 매개변수 다항시간 알고리즘을 가능하게 하는가?
• RQ2 $H$가 유계 차수이고 $G$가 유계 피드백 정점 집합을 갖는다 하더라도 다른 매개변수가 무한대일 경우 문제를 효율적으로 해결할 수 있는가?
• RQ3 $H$가 트리이고 $G$가 평면 그래프일 때 추가적인 구조적 제약 조건 하에 비로소 비어 있지 않은 알고리즘이 존재하는가?
• RQ4 매개변수 값이 매우 제한된 상태에서도 문제의 W[1]-하드성은 유지되는 최대 해법 불가 케이스가 존재하는가?
• RQ5 이 프레임워크는 11개의 최대 해법 가능 조합과 17개의 최대 해법 불가 조합을 포함한 완전하고 최소한의 집합을 식별할 수 있는가?

주요 결과

• 유계 차수와 피드백 정점 집합이 $G$에 존재하고, $H$에서의 유계 하드비거 수와 최대 차수를 조합할 경우, 실행 시간이 $f_1(\Delta(G), \mathbf{fvs}(G)) \cdot n^{f_2(\mathbf{hadw}(G), \Delta(H))}$ 인 알고리즘이 존재함을 보여, 이는 매우 비직관적인 해법 가능 케이스임을 입증한다.
• 문제가 $H$가 유계 차수의 트리이며 경로폭이 일정하고 $G$가 유계 경로폭을 갖는 평면 그래프일 경우조차도 W[1]-하드성임을 입증하여, 이러한 제한된 매개변수 조합조차도 해법 가능성을 보장하지 못함을 보여준다.
• 서브그래프 이소모르피즘 문제를 $G$의 미니처에서의 CSP로 환원하는 새로운 알고리즘을 제시하며, 유계 확장성과 미니처 닫힘 성질을 활용해 효율적인 계산을 달성한다.
• 이 프레임워크는 11개의 최대 긍정 결과와 17개의 최대 부정 결과를 식별하여, 서브그래프 이소모르피즘 문제의 매개변수 조합에 대한 완전한 분류를 제공한다.
• 이 논문은 색상 칠하기에서의 $H$의 트리폭이 지수에 포함되는 경우와 쿠르셀의 정리에서의 $G$의 트리폭이 곱의 계수에 포함되는 경우가 본질적으로 다른 알고리즘적 패러다임임을 증명함으로써 오랫동안 미해결이었던 열린 문제를 해결한다.
• 단일 이진 패킹 문제에서 서브그래프 이소모르피즘 문제로의 환원을 통해, $G$가 경로의 분리된 합집합(경로폭 1, 최대 차수 2)이고 $H$가 경로의 분리된 합집합일 경우조차도 W[1]-하드성임을 증명한다. 이 경우 $H$의 연결 성분 수가 적더라도 문제가 여전히 하드하다.