[论文解读] A note on hardness of promise hypergraph colouring

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

Advanced Graph Theory Research被引用 5

一句话总结

本文使用多形性（polymorphisms）与承诺CSP的代数框架，对所有 $2 \leq k \leq c$ 的承诺超图着色问题提供了简化且代数化的NP难性证明。该证明以凯内泽图（Kneser graphs）和组合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与Smith（2005）中的临时归约。
• 利用凯内泽图 $\operatorname{KG}(n,k)$ 和Lovász的色数结果，建立多形性的结构性质。
• 从Barto与Kozik（2022）最近给出的组合版PCP定理的“婴儿版本”推导出结果。
• 证明任意元数的多形性均能一致地选择一个大小为常数的坐标集合，从而蕴含NP难性。

提出的方法

• 使用承诺CSP的代数框架，聚焦于保持 $\operatorname{NAE}$ 关系的多形性 $f: [2]^L \to [c]$。
• 定义 $C$-避免集合：子集 $S \subseteq [L]$，使得将输入在 $S$ 上固定为1时，输出可避免 $C \subseteq [c]$。
• 应用Lovász的结果 $\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 能否使用更结构化、代数化的框架，而非临时归约，重新证明 $\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ 的NP难性？
• RQ2 能否利用凯内泽图与Lovász的色数定理等拓扑结果，简化承诺CSP中多形性的分析？
• RQ3 能否仅基于组合版的“婴儿PCP定理”而非完整的PCP机制，推导出NP难性？
• RQ4 在 $\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ 中，多形性是否在极小链上表现出一致且大小为常数的坐标选择？
• RQ5 能否仅使用组合工具与有界大小的选择，满足[BWZ21]定理6中的分层极小条件？

主要发现

• 对所有 $2 \leq k \leq c$，$\operatorname{PCSP}(\mathbf{H}_k, \mathbf{H}_c)$ 的NP难性仅通过多形性与极小链框架得到重证，避免了复杂归约。
• 对任意多形性 $f$，存在大小至多为 $c$ 的 $1$-避免集合，其来源于凯内泽图 $\operatorname{KG}(L,h)$ 的色数。
• 当 $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（依赖于组合PCP定理），蕴含NP难性。
• 该证明仅使用常数，避免了对高元数的定量分析，因此比原始证明更简洁且模块化。