[논문 리뷰] The Parameterized Complexity of k-Biclique

Bingkai Lin|arXiv (Cornell University)|2014. 06. 14.

Advanced Graph Theory Research참고 문헌 34인용 수 8

한 줄 요약

이 논문은 k-Clique 로부터 fpt-감소를 통해 k-Biclique 문제의 W[1]-난이도를 증명하여, W[1] ≠ FPT 가정 하에 f(k)·|G|^{O(1)}-시간 알고리즘이 존재하지 않음을 입증한다. 또한, 랜덤화된 지수 시간 가설을 바탕으로 f(k)·|G|^{o(√k)}-시간 하한을 도출하며, (n,k,ℓ,h)-임계성 성질을 가진 그래프의 확률적 구성 방법을 사용해 공통 이웃 크기의 갭을 생성한다.

ABSTRACT

Given a graph $G$ and a parameter $k$, the $k$-biclique problem asks whether $G$ contains a complete bipartite subgraph $K_{k,k}$. This is the most easily stated problem on graphs whose parameterized complexity is still unknown. We provide an fpt-reduction from $k$-clique to $k$-biclique, thus solving this longstanding open problem. Our reduction use a class of bipartite graphs with a threshold property of independent interest. More specifically, for positive integers $n$, $s$ and $t$, we consider a bipartite graph $G=(A\;\dot\cup\;B, E)$ such that $A$ can be partitioned into $A=V_1\;\dot\cup \;V_2\;\dot\cup\cdots\dot\cup\; V_n$ and for every $s$ distinct indices $i_1\cdots i_s$, there exist $v_{i_1}\in V_{i_1}\cdots v_{i_s}\in V_{i_s}$ such that $v_{i_1}\cdots v_{i_s}$ have at least $t+1$ common neighbors in $B$; on the other hand, every $s+1$ distinct vertices in $A$ have at most $t$ common neighbors in $B$. Using the Paley-type graphs and Weil's character sum theorem, we show that for $t=(s+1)!$ and $n$ large enough, such threshold bipartite graphs can be computed in $n^{O(1)}$. One corollary of our reduction is that there is no $f(k)\cdot n^{o(k)}$ time algorithm to decide whether a graph contains a subgraph isomorphic to $K_{k!,k!}$ unless the ETH(Exponential Time Hypothesis) fails. We also provide a probabilistic construction with better parameters $t=Θ(s^2)$, which indicates that $k$-biclique has no $f(k)\cdot n^{o(\sqrt{k})}$-time algorithm unless 3-SAT with $m$ clauses can be solved in $2^{o(m)}$-time with high probability. Our result also implies the dichotomy classification of the parameterized complexity of cardinality constrain satisfaction problem and the inapproximability of maximum $k$-intersection problem.

연구 동기 및 목표

• k-Biclique가 f(k)·|G|^{O(1)}-시간 알고리즘을 갖는지 여부라는 오랫동안 열려 있던 문제를 해결하기 위해.
• 공간 갭을 유지하는 감소를 통해 Maximum-k-Subset-Intersection에 대한 매개변수화된 근사 불가능성 결과를 확립하기 위해.
• 경화 강화를 가능하게 하기 위해 (n,k,ℓ,h)-임계성 성질을 가진 그래프의 가족을 구성하기 위해.
• 랜덤화된 지수 시간 가설 하에 k-Biclique에 대한 하한을 제공하여 기존의 복잡도 하한을 정교화하기 위해.
• 지역 감소를 통한 내재된 갭이 매개변수화된 근사 불가능성 증명에 어떻게 활용될 수 있는지 탐색하기 위해.

제안 방법

• 주어진 n-정점 그래프 G로부터, Paley 유형 그래프에 기반한 확률적 방법을 사용해 이분 그래프 H를 구성한다.
• 모든 k개 정점이 H에서 최소 h개의 공통 이웃을 가지지만, 모든 k+1개 정점은 최대 ℓ개의 공통 이웃을 가지는 (n,k,ℓ,h)-임계성 성질을 활용한다.
• 체비셰프 부등식과 유니온 바운드를 사용하여, 충분히 큰 n에 대해 랜덤 그래프 G(n,p)가 높은 확률로 임계성 성질을 만족함을 보인다.
• k-Clique에서 k-Biclique로의 감소를 적용하며, G에 k-클리크가 존재하면 H에서 큰 공통 이웃 집합이 존재하고, 그렇지 않으면 작은 공통 이웃 집합 뿐임을 보인다.
• 교차 크기의 갭을 유도한다: s = k(k−1)/2개의 집합에서, G에 k-클리크가 있으면 n^{Θ(1/k)} 이상의 교차 크기를 가지며, 그렇지 않으면 최대 (k+1)! 이다.
• 랜덤화된 지수 시간 가설을 활용하여, k-Biclique에 대해 f(k)·|G|^{o(√k)}-시간 알고리즘이 존재하지 않음을 배제한다.

실험 결과

연구 질문

• RQ1 k-Biclique 문제는 k로의 표준 매개변수화 하에 W[1]-난이도를 갖는가?
• RQ2 공통 이웃 크기의 갭을 구성하여 매개변수화된 근사 불가능성 결과를 도출할 수 있는가?
• RQ3 랜덤화된 지수 시간 가설 하에 k-Biclique 문제가 f(k)·|G|^{o(√k)}-시간 알고리즘을 갖는가?
• RQ4 감소를 명시적(확률적이 아닌)으로 만들면 표준 ETH 하에 하한을 더 강화할 수 있는가?
• RQ5 이 갭 기반 감소 기법을 다른 매개변수화된 최적화 문제로 일반화할 수 있는가?

주요 결과

• k-Biclique 문제는 W[1]-난이도를 가지며, W[1] ≠ FPT 가정 하에 f(k)·|G|^{O(1)}-시간 알고리즘이 존재하지 않음을 의미한다.
• 랜덤화된 지수 시간 가설 하에 k-Biclique에 대해 f(k)·|G|^{o(√k)}-시간 하한이 성립한다.
• 감소는 s = k(k−1)/2개의 집합을 가지는 집합 가족 F를 구성하며, G에 k-클리크가 있으면 어떤 s개의 집합도 최소 n^{Θ(1/k)} 이상의 교차 크기를 가지며, 그렇지 않으면 최대 (k+1)! 이다.
• 충분히 큰 n에 대해 (n,k,ℓ,h)-임계성 그래프의 확률적 구성은 9/10 이상의 확률로 성공한다.
• 감소는 국소적이다. 각 출력 비트는 입력 비트의 상수 개수에만 의존하며, 전역 PCP 기반 감소와 대비된다.
• 결과적으로 동일한 가정 하에 Maximum-k-Subset-Intersection를 비율 n^{o(1/√k)}로 근사하는 데 f(k)·n^{o(√k)}-시간 알고리즘이 존재하지 않음을 배제한다.