[논문 리뷰] Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs

Lee, Euiwoong, Manurangsi, Pasin|arXiv (Cornell University)|2023. 08. 30.

Complexity and Algorithms in Graphs인용 수 1

한 줄 요약

이 논문은 k-클로버-free 그래프에서 최대 무게 독립집합(MWIS)을 근사하기 위한 볼록 리프레젠테이션—특히 Sherali-Adams 및 Sum-of-Squares 계층 구조—의 한계를 조사한다. 크기 n의 정점으로 구성된 무한한 k-claw-free 그래프의 가족 {Gn}을 구성하여, 클리크 수가 크더라도 독립집합 수가 클 때조차 크로마틱 수가 다항식 이상으로 증가함을 보여, k≥4일 때 조건부 χ-유계성(즉, 볼록 리프레젠테이션을 통한 우수한 근사 가능성을 보장하는 핵심 성질)이 k=3를 초월해 일반화되지 않음을 증명한다. 이는 k≥4인 k-claw-free 그래프에서 기존의 볼록 리프레젠테이션으로는 MWIS에 대한 상수 요율 근사가 불가능하다는 것을 의미한다.

ABSTRACT

This paper studies $k$-claw-free graphs, exploring the connection between an extremal combinatorics question and the power of a convex program in approximating the maximum-weight independent set in this graph class. For the extremal question, we consider the notion, that we call extit{conditional $χ$-boundedness} of a graph: Given a graph $G$ that is assumed to contain an independent set of a certain (constant) size, we are interested in upper bounding the chromatic number in terms of the clique number of $G$. This question, besides being interesting on its own, has algorithmic implications (which have been relatively neglected in the literature) on the performance of SDP relaxations in estimating the value of maximum-weight independent set. For $k=3$, Chudnovsky and Seymour (JCTB 2010) prove that any $3$-claw-free graph $G$ with an independent set of size three must satisfy $χ(G) \leq 2 ω(G)$. Their result implies a factor $2$-estimation algorithm for the maximum weight independent set via an SDP relaxation (providing the first non-trivial result for maximum-weight independent set in such graphs via a convex relaxation). An obvious open question is whether a similar conditional $χ$-boundedness phenomenon holds for any $k$-claw-free graph. Our main result answers this question negatively. We further present some evidence that our construction could be useful in studying more broadly the power of convex relaxations in the context of approximating maximum weight independent set in $k$-claw free graphs. In particular, we prove a lower bound on families of convex programs that are stronger than known convex relaxations used algorithmically in this context.

연구 동기 및 목표

• . 이 논문은 특히 Sherali-Adams 및 Sum-of-Squares가 k-claw-free 그래프에서 MWIS를 근사하는 데 사용할 수 있는 볼록 리프레젠테이션의 능력을 이해하고자 한다.
• . Chudnovsky와 Seymour의 3-claw-free 그래프에 대한 조건부 χ-유계성 결과(α(G) ≥ 3일 때 χ(G) ≤ 2ω(G))가 k≥4인 k-claw-free 그래프로 일반화될 수 있는지 조사한다.
• . 이러한 리프레젠테이션들이 k≥4인 k-claw-free 그래프에서 MWIS에 대해 상수 요율 근사 가능성을 갖는지 확인하고자 한다. 특히 QSTAB과 같은 표준 리프레젠테이션의 실패가 발생할 경우를 고려한다.
• . 이 맥락에서 볼록 리프레젠테이션의 정수성 간극에 대한 하한을 도출하기 위해 극단적인 그래프 구성 기법을 사용한다.

제안 방법

• . 저자들은 α(G) ≥ t일 때마다 χ(G) ≤ γω(G)를 만족하는 (t, γ)-조건부 χ-유계성 그래프의 개념을 도입한다.
• . α(Gn) = Ω(n / log n) 이고, χ(Gn) ≥ f(k) · (ω(Gn) / log ω(Gn))^{k/2} 를 만족하는 n개 정점으로 구성된 연결된 k-claw-free 그래프의 무한한 가족 {Gn}을 구성한다. 여기서 f는 어떤 함수이다.
• . 구성은 독립집합 수와 클리크 수를 제어할 수 있는 (k−1, t)-Ramsey 그래프를 빌딩 블록으로 사용한다.
• . Sherali-Adams 계층의 정수성 간극을 분석하기 위해, 빈 집합에 대해 1, 단일 정점 집합에 대해 1/(ω(G)+ℓ), 나머지 경우에 대해 0인 타당한 해 ˆy를 정의한다. 이는 SA+ℓ(G)에 대해 정의된다.
• . 이 해의 타당성은 모든 S, T 및 클리크 Q에 대해 제약 조건 (1)–(3)을 검증함으로써 입증되며, |S|의 크기와 Q 또는 T에 속하는지 여부에 따라 케이스 분석을 수행한다.
• . 이후 정수성 간극의 하한은 n / (α(G)(ω(G)+ℓ)) 로 유도되며, 이 값은 ℓ = Θk(n^{1−2ϵ}) 이고 α(G) = Ω(nϵ) 일 때 Ωk(nϵ) 가 된다.

실험 결과

연구 질문

• RQ1 . 3-claw-free 그래프에서 α(G) ≥ 3 이면 χ(G) ≤ 2ω(G) 라는 조건부 χ-유계성 결과가 k≥4인 k-claw-free 그래프로 일반화될 수 있는가?
• RQ2 . Sherali-Adams 또는 Sum-of-Squares와 같은 볼록 리프레젠테이션은 k≥4인 k-claw-free 그래프에서 MWIS에 대해 상수 요율 근사 가능성을 제공하는가?
• RQ3 . QSTAB 또는 Sherali-Adams와 같은 볼록 리프레젠테이션의 경우 k-claw-free 그래프에서 달성 가능한 최선의 정수성 간극은 무엇인가?
• RQ4 . 라모지 이론에 기반한 극단적인 그래프 구성은 MWIS 근사에서 볼록 리프레젠테이션의 한계를 어떻게 밝히는가?

주요 결과

• . 모든 k ≥ 4에 대해, 정점 수 n인 연결된 k-claw-free 그래프의 무한한 가족 {Gn}이 존재하며, 이들에 대해 α(Gn) = Ω(n / log n) 이다.
• . 이러한 그래프들은 χ(Gn) ≥ f(k) · (ω(Gn) / log ω(Gn))^{k/2} 를 만족하며, 클리크 수에 대해 크로마틱 수가 초다항적으로 증가함을 보여준다.
• . ℓ = Θk(n^{1−2ϵ}) 일 때, 이 그래프들에서 Sherali-Adams 계층의 정수성 간극은 최소 Ωk(nϵ) 이다. 여기서 ϵ ≤ 1/3 이다.
• . 구성된 그래프들은 k≥4일 때조차 (t, γ)-조건부 χ-유계성이 성립하지 않음을 반증하며, 이는 t = O(1) 이더라도 성립하지 않음을 의미한다. 따라서 Chudnovsky–Seymour 결과의 자연스러운 일반화를 폐쇄한다.
• . 이 결과는 QSTAB 및 Sherali-Adams를 포함한 기존의 볼록 리프레젠테이션으로서 k≥4인 k-claw-free 그래프에서 MWIS에 대해 상수 요율 근사가 불가능하다는 것을 의미한다.
• . 정수성 간극에 대한 하한은 현재 알려진 라모지 이론의 상한과 거의 일치하며, 이는 현재의 극한 경계에 대해 구성이 날카로운 근거를 제공한다.