[論文レビュー] A note on hardness of promise hypergraph colouring

Marcin Wrochna|arXiv (Cornell University)|May 29, 2022

Advanced Graph Theory Research被引用数 5

ひとこと要約

本稿では、多様体と代数的枠組みを用いて、$2 \leq k \leq c$ におけるプロミスハイパーグラフ彩色のNP困難性の簡素化された代数的証明を提示する。アドホックな還元の代わりに、ケネザー・グラフと組合せ的PCP定理のバージョンを用い、多様体が定数サイズの座標集合を区別しなければならないことを示し、段階的なマイナー整合性条件によりNP困難性を導出する。

ABSTRACT

We show a slightly simpler proof the following theorem by I. Dinur, O. Regev, and C. Smyth: for all $c \geq 2$, it is NP-hard to find a $c$-colouring of a 2-coloruable 3-uniform hypergraph. We recast this result in the algebraic framework for Promise CSPs, using only a weaker version of the PCP theorem.

研究の動機と目的

• すべての $2 \leq k \leq c$ に対して、$\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ のNP困難性に対するより簡単で代数的な構造を持つ証明を提供すること。
• Dinur, Regev, and Smith (2005) のアドホックな還元を、多様体とマイナー鎖に基づく枠組みに置き換えること。
• ケネザー・グラフ $\operatorname{KG}(n,k)$ とロヴァーズの彩色数の結果を用いて、多様体の構造的性質を確立すること。
• 最近 Barto and Kozik (2022) が与えた組合せ的証明を用いて、PCP定理の「ベビー」版から結果を導出すること。
• 任意のアリティの多様体が、定数サイズの一貫した座標選択を許容することを示し、それによってNP困難性を示すこと。

提案手法

• プロミスCSPの代数的枠組みを用い、$\operatorname{NAE}$ 関係を保存する多様体 $f: [2]^L \to [c]$ に注目する。
• 「$C$-回避集合」を定義：$S \subseteq [L]$ が $C \subseteq [c]$ を避ける入力固定により出力が $C$ を避ける部分集合。
• ロヴァーズの結果 $\chi(\operatorname{KG}(L,h)) = L - 2h + 2$ を適用し、同じ出力をもつ互いに素な入力を得て、サイズ $\leq c$ の $1$-回避集合を構成する。
• 数学的帰納法により $t$-回避集合へ一般化：多くの互いに素な $t$-回避集合が存在する場合、サイズ $\leq c^{t+1}$ の $(t+1)$-回避集合を構成可能。
• 各多様体に対して選択関数 $\operatorname{sel}(f)$ を導入し、有界サイズの最大の互いに素な $t(f)$-回避集合族を選択する。
• マイナー鎖全体にわたる一貫性を確立：任意の長さ $c$ のマイナー鎖に対して、ある $\pi_{i,j}(\operatorname{sel}(f_i))$ が $\operatorname{sel}(f_j)$ と交差し、NP困難性のための重要な条件を満たす。

実験結果

リサーチクエスチョン

• RQ1 プロミスハイパーグラフ彩色のNP困難性は、アドホックな還元に頼らず、より構造的で代数的な枠組みを用いて再証明可能か？
• RQ2 ケネザー・グラフとロヴァーズの彩色数定理のような位相的結果を用いることで、プロミスCSPにおける多様体の解析が簡素化可能か？
• RQ3 完全なPCP機構に依存せず、組合せ的「ベビー」PCP定理からNP困難性を導出可能か？
• RQ4 プロミスCSP $\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ の多様体はマイナー鎖全体にわたって一貫した定数サイズの座標選択を示すか？
• RQ5 Theorem 6 of [BWZ21] の段階的マイナー条件は、組合せ的道具と有界サイズの選択のみで満たせるか？

主な発見

• すべての $2 \leq k \leq c$ に対して、複雑な還元を避けて、多様体とマイナー鎖のみを用いて $\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ のNP困難性が再証明された。
• 任意の多様体 $f$ に対して、ケネザー・グラフ $\operatorname{KG}(L,h)$ の彩色数から、サイズが $c$ 以下の $1$-回避集合が存在する。
• もし $L \geq (c+1)c^t + c$ で、$f$ が $\binom{c}{t} \cdot c$ 個より多くのサイズ $\leq c^t$ の互いに素な $t$-回避集合を持つならば、サイズ $\leq c^{t+1}$ の $(t+1)$-回避集合が存在する。
• $\operatorname{sel}(f)$ のサイズは $(2c)^c$ 以下であり、アリティ $L$ に依存しない。また、長さ $c$ のマイナー鎖全体にわたって一貫している。
• $\operatorname{sel}(f)$ のマイナー鎖全体における一貫性は、[BWZ21] の定理6を介してNP困難性を示し、その定理は組合せ的PCP定理に依存する。
• 証明は定数のみを用い、大きなアリティにおける定量的解析を避け、元の証明よりも単純かつモジュラーである。