[논문 리뷰] Complexity of counting subgraphs: only the boundedness of the vertex-cover number counts

Radu Curticapean, Dániel Marx|arXiv (Cornell University)|2014. 07. 10.

Complexity and Algorithms in Graphs참고 문헌 42인용 수 11

한 줄 요약

이 논문은 부분그래프 세는 문제의 다항시간 가역성에 결정적인 영향을 미치는 유일한 구조적 성질이 정점 커버 수의 유계성임을 규명한다: 만약 그래프의 클래스 𝒮가 정점 커버 수를 유계로 가지면, 모든 H ∈ 𝒮에 대해 부분그래프를 세는 것은 다항시간 내에 해결 가능하다; 반면에 그렇지 않다면 #W[1]-난이도가 된다. 이 결과는 매개변수화된 복잡도 이론을 활용해 엄밀한 특성화를 제공하며, 이는 이차형 시간 가설 기반으로 이분 그래프에서 k-매칭을 세는 문제의 난이도를 강화한다.

ABSTRACT

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$ has bounded vertex-cover number (equivalently, the size of the maximum matching in $\mathcal{H}$ is bounded), then #Sub$(\mathcal{H})$ is polynomial-time solvable. We complement this result with a corresponding lower bound: if $\mathcal{H}$ is any recursively enumerable class of graphs with unbounded vertex-cover number, then #Sub$(\mathcal{H})$ is #W[1]-hard parameterized by the size of $H$ and hence not polynomial-time solvable and not even fixed-parameter tractable, unless FPT = #W[1]. As a first step of the proof, we show that counting $k$-matchings in bipartite graphs is #W[1]-hard. Recently, Curticapean [ICALP 2013] proved the #W[1]-hardness of counting $k$-matchings in general graphs; our result strengthens this statement to bipartite graphs with a considerably simpler proof and even shows that, assuming the Exponential Time Hypothesis (ETH), there is no $f(k)n^{o(k/\log k)}$ time algorithm for counting $k$-matchings in bipartite graphs for any computable function $f(k)$. As a consequence, we obtain an independent and somewhat simpler proof of the classical result of Flum and Grohe [SICOMP 2004] stating that counting paths of length $k$ is #W[1]-hard, as well as a similar almost-tight ETH-based lower bound on the exponent.

연구 동기 및 목표

• 클래스 𝒮가 부분그래프 세는 문제 #Sub(𝒮)를 다항시간 내에 해결 가능하게 하는지의 조건을 규명하는 것.
• 정점 커버 수의 유계성이 #Sub(𝒮)에 대해 다항시간 해결 가능성을 보장하는 유일한 구조적 성질인가를 판단하는 것.
• 정점 커버 수에 기반한 #Sub(𝒮)에 대한 엄밀한 복잡도 이분법을 수립하는 것.
• 이분 그래프에서 k-매칭을 세는 문제의 난이도를 강화하고 ETH 기반 하한을 도출하는 것.

제안 방법

• 정점 커버 수가 무한한 클래스에 대해 #W[1]-난이도를 입증하기 위해 이분 그래프에서 k-매칭을 세는 문제로의 환원.
• 분할된 별형 그래프와 경계를 유지하는 동형사상을 사용하여 부분그래프 내에서 강한 집합을 구성하는 것.
• 수정된 부분그래프에서 k-매칭 가드의 존재를 증명하기 위해 레마 8.6과 레마 8.3을 적용하는 것.
• 정점 집합 Xₑ의 다중집합으로부터 매칭 M₁을 구성하여 정점 커버를 제어하고 최소한의 겹침을 보장하는 것.
• 이차형 시간 가설(ETH)을 사용하여 이분 그래프에서 k-매칭을 세는 데 대해 f(k)n^{o(k/log k)} 시간 알고리즘이 존재하지 않음을 유도하는 것.
• 분할된 별형 그래프와 정점 커버를 사용한 모순에 기반한 증명을 통해 그래프 H에 구조적 제약 조건을 강제하는 것.

실험 결과

연구 질문

• RQ1 정점 커버 수의 유계성이 #Sub(𝒮)에 대해 다항시간 해결 가능성을 보장하는 유일한 그래프 성질인가?
• RQ2 𝒮의 정점 커버 수가 무한할 경우 #Sub(𝒮)는 고정 매개변수 다항시간 가용성(FPT)을 갖는가?
• RQ3 이분 그래프에서 k-매칭을 세는 문제의 정확한 매개변수화된 복잡도는 무엇인가?
• RQ4 이차형 시간 가설이 이분 그래프에서 k-매칭을 세는 문제의 실행 시간에 비트리비얼 하한을 유도하는가?
• RQ5 k-매칭으로부터의 더 단순한 환원을 통해 길이 k인 경로를 세는 문제의 난이도를 재구성할 수 있는가?

주요 결과

• #Sub(𝒮) 문제는 정점 커버 수가 유계이면 다항시간 내에 해결 가능하고, 그 외의 경우는 불가능하다.
• 𝒮의 정점 커버 수가 무한할 경우, FPT ≠ #W[1]를 가정하면 |V(H)|로 매개변수화했을 때 #Sub(𝒮)는 #W[1]-난이도가 된다.
• 이분 그래프에서 k-매칭을 세는 문제는 #W[1]-난이도이며, ETH를 가정하면 어떤 계산 가능한 f(k)에 대해서도 f(k)n^{o(k/log k)} 시간 알고리즘이 존재하지 않는다.
• 길이 k인 경로를 세는 문제의 고전적 결과가 k-매칭으로부터의 더 단순한 환원을 통해 재증명된다.
• 이분 그래프에서 k-매칭을 세는 난이도는 가드 구성 기반으로 더 복잡한 부분그래프를 세는 문제의 난이도를 암시한다.
• Q가 강한 집합일 때 H∖Q 내에 k-매칭 가드가 존재한다는 것은 구조적 불변성을 통해 원래 문제의 난이도를 확인한다.