[論文レビュー] Hardness of Approximating Bounded-Degree Max 2-CSP and Independent Set on k-Claw-Free Graphs

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

Complexity and Algorithms in Graphs被引用数 1

ひとこと要約

本稿は、k-クロー-freeグラフにおける最大重み独立集合（MWIS）を近似するための凸緩和（特にSherali-AdamsおよびSum-of-Squares階層）の限界を調査する。k ≥ 4 に対して、独立数が大きくても、クリーク数に対して超多項式的に増加する彩色数を持つ無限個のk-クロー-freeグラフの族を構成することで、ChudnovskyとSeymourによる3-クロー-freeグラフにおける条件付きχ-有界性（α(G) ≥ 3 のとき χ(G) ≤ 2ω(G)）がk ≥ 4 に一般化されないことを示した。これは、k ≥ 4 におけるk-クロー-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-クロー-freeグラフにおけるMWISを近似する能力を理解することにある。
• ChudnovskyとSeymourによる3-クロー-freeグラフにおける条件付きχ-有界性結果（α(G) ≥ 3 のとき χ(G) ≤ 2ω(G)）が、k ≥ 4 のk-クロー-freeグラフへ拡張可能かどうかを調査することである。
• 標準的な緩和（例：QSTAB）が失敗する状況において、このような緩和がk-クロー-freeグラフにおけるMWISに対して定数因子近似を達成できるかどうかを同定することである。
• 極値的グラフ構成を用いて、この文脈における凸緩和の整数性ギャップの下界を確立することである。

提案手法

• 著者らは、α(G) ≥ t のとき χ(G) ≤ γω(G) が成り立つような(t, γ)-条件付きχ-有界グラフの概念を導入する。
• n 頂点を持つ連結なk-クロー-freeグラフの無限族 {Gn} を構成し、α(Gn) = Ω(n / log n) かつ χ(Gn) ≥ f(k) · (ω(Gn) / log ω(Gn))^{k/2} となるようにする。ここで f はある関数である。
• 構成には、独立数とクリーク数を制御可能な(k−1, t)-ラムゼー・グラフをブロックとして用いる。
• Sherali-Adams階層の整数性ギャップを分析するため、空集合に対して1、シングルトンに対して1/(ω(G)+ℓ)、それ以外に対して0となるようなSA+ℓ(G)における妥当な解 ˆy を定義する。
• この解の妥当性は、すべてのS, T, クリークQに対して制約(1)–(3)を満たすことを、|S|とQまたはTへの属性に基づく場合分けにより確認することで証明する。
• その後、整数性ギャップは n / (α(G)(ω(G)+ℓ)) 以上であることが示され、ℓ = Θk(n^{1−2ϵ}) かつ α(G) = Ω(nϵ) のとき、Ωk(nϵ) 以上であることが示される。

実験結果

リサーチクエスチョン

• RQ1 3-クロー-freeグラフにおいて α(G) ≥ 3 のとき χ(G) ≤ 2ω(G) が成り立つ条件付きχ-有界性結果が、k ≥ 4 のk-クロー-freeグラフへ一般化可能か？
• RQ2 Sherali-AdamsやSum-of-Squaresなどの凸緩和が、k ≥ 4 のk-クロー-freeグラフにおけるMWISに対して定数因子近似を提供可能か？
• RQ3 QSTABやSherali-Adamsなどの凸緩和がk-クロー-freeグラフにおいて達成可能な最良の整数性ギャップは何か？
• RQ4 ラムゼー理論に基づく極値的グラフ構成は、MWIS近似における凸緩和の限界をどのように明らかにするか？

主な発見

• すべてのk ≥ 4 に対して、n 頂点の連結なk-クロー-freeグラフの無限族 {Gn} が存在し、α(Gn) = Ω(n / log n) である。
• これらのグラフは、ある関数fに関して χ(Gn) ≥ f(k) · (ω(Gn) / log ω(Gn))^{k/2} を達成し、クリーク数に対して彩色数が超多項式的に増加することを示している。
• ℓ = Θk(n^{1−2ϵ}) のとき、これらのグラフにおけるSherali-Adams階層の整数性ギャップは、任意のϵ ≤ 1/3 に対して Ωk(nϵ) 以上である。
• 構築されたグラフにより、k ≥ 4 においても、t = O(1) であっても (t, γ)-条件付きχ-有界性が成立しないことが反証された。これは、Chudnovsky–Seymourの結果の自然な一般化を閉じることを示している。
• この結果は、QSTABやSherali-Adamsを含む既知の凸緩和が、k ≥ 4 のk-クロー-freeグラフにおけるMWISに対して定数因子近似を達成できないことを示唆する。
• 整数性ギャップの下界は、ラムゼー理論からの既知の上界にほぼ一致しており、現在の極値的境界と整合する構成のタイトネスを示している。