[논문 리뷰] ETH Hardness for Densest-$k$-Subgraph with Perfect Completeness

Mark Braverman, Young Kun-Ko외 2명|arXiv (Cornell University)|2015. 04. 30.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 완전한 완전성 조건 하에서 밀도가 가장 높은 $k$-하위그래프 문제에 대해 처음으로 거의 날카로운 ETH 기반 하한을 확립한다. 이는 $k$-클리크를 가진 그래프와 모든 $k$-하위그래프의 밀도가 $1 - \varepsilon$ 이하인 그래프를 구분하기 위해 $n^{\tilde{\Omega}(\log n)}$ 시간이 필요하다는 것을 보여준다. 이 결과는 새로운 방식의 생일 반복과 정보 이론적 분석을 통해 달성되었으며, 애드디티브 PTAS의 존재를 배제하고, 기존의 최고 수준의 준다각형 알고리즘과 일치한다.

ABSTRACT

We show that, assuming the (deterministic) Exponential Time Hypothesis, distinguishing between a graph with an induced $k$-clique and a graph in which all k-subgraphs have density at most $1-ε$, requires $n^{ ilde Ω(log n)}$ time. Our result essentially matches the quasi-polynomial algorithms of Feige and Seltser [FS97] and Barman [Bar15] for this problem, and is the first one to rule out an additive PTAS for Densest $k$-Subgraph. We further strengthen this result by showing that our lower bound continues to hold when, in the soundness case, even subgraphs smaller by a near-polynomial factor ($k' = k 2^{- ilde Ω(log n)}$) are assumed to be at most ($1-ε$)-dense. Our reduction is inspired by recent applications of the "birthday repetition" technique [AIM14,BKW15]. Our analysis relies on information theoretical machinery and is similar in spirit to analyzing a parallel repetition of two-prover games in which the provers may choose to answer some challenges multiple times, while completely ignoring other challenges.

연구 동기 및 목표

• 완전한 완전성 조건 하에서 밀도가 가장 높은 $k$-하위그래프 문제의 계산 복잡도와 기존의 최고 준다각형 알고리즘 사이의 격차를 좁히기.
• Exponential Time Hypothesis (ETH)를 가정할 때, 다항 시간 알고리즘이 $k$-클리크를 가진 그래프와 모든 $k$-하위그래프가 $1-\varepsilon$ 밀도인 그래프를 구분할 수 없다는 것을 입증하기.
• 정보 이론적 분석을 통해 밀도가 가장 높은 $k$-하위그래프 문제에 대해 애드디티브 PTAS의 존재를 배제하고, 준다각형 시간이 본질적으로 최적임을 증명하기.
• 하위그래프 크기를 $k' = k \cdot 2^{-\tilde{\Omega}(\log n)}$ 로 줄였을 때도 하한을 확장하여, 조건이 만족되지 않을 경우 심지어 훨씬 더 작은 하위그래프도 희박하다는 것을 보여주기.

제안 방법

• 2-프로버 게임에서 생일 반복 기법을 변형하여 2CSP에서 밀도가 가장 높은 $k$-하위그래프 문제로의 감소를 구축하기.
• 소음 케이스에서 할당의 분포와 제약 위반의 분포를 분석하기 위해 정보 이론적 도구를 사용하기.
• 변수에 대한 모드 할당을 정의하고, 원래 2CSP에서 만족되지 않는 제약이 유도된 하위그래프에서 위반으로 이어짐을 보여주기.
• 코시-슈바르츠 부등식과 기대값 한계를 적용하여, 위반이 소수의 정점 쌍에 집중될 수 없음을 보이고, 따라서 유도된 하위그래프에서 밀도가 낮아지게 하기.
• 매개변수를 정교하게 설정하여, $k'$ 크기의 조밀한 하위그래프로 설명할 수 있는 위반 수를 초과하게 하여, 그러한 하위그래프가 존재할 경우 모순이 발생함을 보장하기.
• 정적 ETH를 활용하여 더 빠른 알고리즘의 존재를 배제하고, $n^{\tilde{\Omega}(\log n)}$ 시간이 필수적임을 증명하기.

실험 결과

연구 질문

• RQ1 ETH 하에서 완전한 완전성 조건 하에서 밀도가 가장 높은 $k$-하위그래프 문제에 대한 준다각형 시간 알고리즘을 다항 시간으로 향상시킬 수 있는가?
• RQ2 조금이라도 애드디티브 PTAS가 존재하는가, 심지어 완전한 완전성 설정에서도?
• RQ3 근본적인 비가역성은 크기가 $k$ 인 하위그래프에만 국한되지 않고, 크기가 $k' = k \cdot 2^{-\tilde{\Omega}(\log n)}$ 인 하위그래프에도 적용되는가?
• RQ4 생일 반복 기법을 변형하여 조밀한 하위그래프 문제의 맥락에서 강력한 비가역성 결과를 도출할 수 있는가?
• RQ5 ETH 하에서 $k$-클리크와 $1-\varepsilon$-밀도 하위그래프를 구분하는 데 필요한 최적의 하한 시간은 무엇인가?

주요 결과

• 정적 Exponential Time Hypothesis를 가정할 경우, $k$-클리크를 가진 그래프와 모든 $k$-하위그래프의 밀도가 $1 - \varepsilon$ 이하인 그래프를 구분하기 위해 $n^{\tilde{\Omega}(\log n)}$ 시간이 필요하다.
• 소음 하위그래프 크기를 $k' = k \cdot 2^{-\Omega(\frac{\log n}{\log\log n})}$ 로 줄였을 때도 하한이 유지되어, 하위그래프 크기 감소에 대해 강건함을 보여준다.
• 기존의 최고 수준의 준다각형 알고리즘이 준다각형 시간 내에 작동하므로, 밀도가 가장 높은 $k$-하위그래프 문제에 대해 애드디티브 PTAS의 존재가 배제된다.
• 생일 반복과 정보 이론적 분석에 기반한 증명 기법은 밀도가 높은 하위그래프 문제에서 비가역성 증명을 위한 새로운 프레임워크를 제공한다.
• Feige와 Seltser [FS97] 및 Barman [Bar15b]의 기존 준다각형 알고리즘의 실행 시간과 거의 일치하는 하한을 도출하여, 최적성임을 시사한다.
• 이 결과는 밀도가 가장 높은 $k$-하위그래프 문제의 이해를 강화하고, 그 계산 복잡도를 해결하는 데 있어 중요한 단계를 제공한다.