[论文解读] Alphabet Reduction for Reconfiguration Problems

Naoto Ohsaka|arXiv (Cornell University)|Jan 1, 2024

Embedded Systems Design Techniques被引用 2

一句话总结

本文提出了一种针对 Maxmin Binary CSP Reconfiguration 的 Dinur 风格字母表约化，实现了从大字母表实例到通用常数字母表大小 W₀ 的多项式时间约化，同时在常数因子范围内保持 1 vs. 1−ε 的差距。其关键创新在于利用 Hadamard 码的可重配置性，在转换过程中维持高边满足度，从而在 Reconfiguration Inapproximability Hypothesis（重配置不可近似性假设）下实现常数因子范围内的 PSPACE 难近似性。

ABSTRACT

We present a reconfiguration analogue of alphabet reduction à la Dinur (J. ACM, 2007) and its applications. Given a binary constraint graph G and its two satisfying assignments ψ^ini and ψ^tar, the Maxmin 2-CSP Reconfiguration problem requests to transform ψ^ini into ψ^tar by repeatedly changing the value of a single vertex so that the minimum fraction of satisfied edges is maximized. We demonstrate a polynomial-time reduction from Maxmin 2-CSP Reconfiguration with arbitrarily large alphabet size W ∈ ℕ to itself with universal alphabet size W₀ ∈ ℕ such that 1) the perfect completeness is preserved, and 2) if any reconfiguration for the former violates ε-fraction of edges, then Ω(ε)-fraction of edges must be unsatisfied during any reconfiguration for the latter. The crux of its construction is the reconfigurability of Hadamard codes, which enables to reconfigure between a pair of codewords, while avoiding getting too close to the other codewords. Combining this alphabet reduction with gap amplification due to Ohsaka (SODA 2024), we are able to amplify the 1 vs. 1-ε gap for arbitrarily small ε ∈ (0,1) up to the 1 vs. 1-ε₀ for some universal ε₀ ∈ (0,1) without blowing up the alphabet size. In particular, a 1 vs. 1-ε₀ gap version of Maxmin 2-CSP Reconfiguration with alphabet size W₀ is PSPACE-hard given a probabilistically checkable reconfiguration proof system having any soundness error 1-ε due to Hirahara and Ohsaka (STOC 2024) and Karthik C. S. and Manurangsi (2023). As an immediate corollary, we show that there exists a universal constant ε₀ ∈ (0,1) such that many popular reconfiguration problems are PSPACE-hard to approximate within a factor of 1-ε₀, including those of 3-SAT, Independent Set, Vertex Cover, Clique, Dominating Set, and Set Cover. This may not be achieved only by gap amplification of Ohsaka, which makes the alphabet size gigantic depending on ε^-1.

研究动机与目标

• 解决先前工作中差距放大导致字母表大小随差距参数 ε 指数增长的局限性。
• 为 Maxmin Binary CSP Reconfiguration 开发一种类似 Dinur（2007）的字母表约化重配置类比。
• 保持完美完备性，并确保原始实例中违反 ε 分数边的任何重配置，均意味着在约化实例中违反至少 Ω(ε) 分数的边。
• 在 Reconfiguration Inapproximability Hypothesis（RIH）下，实现一个与原始差距参数 ε 无关的常数不可近似因子 ε₀ ∈ (0,1)。
• 证明许多标准重配置问题（如 3-SAT、独立集、点覆盖等）在常数因子 1−ε₀ 范围内是 PSPACE 难近似的。

提出的方法

• 从具有大字母表大小 W 的 Maxmin Binary CSP Reconfiguration 约化到自身，其中字母表大小为通用常数 W₀ = 364。
• 使用 Hadamard 码作为核心组件，实现在码字之间重配置的同时远离其他码字。
• 引入基于 Dinur 构造的赋值检测器，以验证边之间赋值的一致性。
• 通过约束部件和超边的组合，将 4-CSP 约化为二元 CSP，实现差距保持。
• 通过利用 Hadamard 码的 δ-重配置性，确保重配置序列中中间赋值维持高边满足度。
• 通过证明：若任何中间赋值在原始实例中违反 ε 分数的边，则约化实例中必须违反至少 Ω(ε) 分数的边，从而证明可靠性。

实验结果

研究问题

• RQ1 能否为重配置问题构造一种 Dinur 风格的字母表约化，同时保持差距和完备性？
• RQ2 Hadamard 码的可重配置性是否足以实现向常数字母表大小的差距保持约化？
• RQ3 即使 ε 极小，是否也能使不可近似性差距独立于原始差距参数 ε？
• RQ4 该约化是否在放大不可近似性差距的同时保持完美完备性？
• RQ5 该框架能否扩展至推导出一大类重配置问题的常数因子不可近似性？

主要发现

• 本文实现了从任意字母表大小 W 的 Maxmin Binary CSP Reconfiguration 到字母表大小为通用常数 W₀ = 364 的同一问题的多项式时间约化。
• 该约化保持了完美完备性，确保原始实例中存在满足的重配置序列，则约化实例中也存在对应的满足重配置序列。
• 任何在原始实例中违反 ε 分数边的重配置，必须在约化实例中违反至少 Ω(ε) 分数的边，常数因子为 δ²₀ρ²/64 ≈ 1/80004。
• 该构造表明，在 Reconfiguration Inapproximability Hypothesis 下，字母表大小为 W₀ 的 Maxmin Binary CSP Reconfiguration 无法在因子 1−ε₀ 范围内近似，其中 ε₀ ∈ (0,1) 为通用常数。
• 作为推论，许多标准重配置问题（包括 3-SAT、独立集、点覆盖、团、支配集和集合覆盖）在常数因子 1−ε₀ 范围内均为 PSPACE 难近似的。
• 该方法避免了先前差距放大技术中字母表大小指数增长的问题，使不可近似性结果更具鲁棒性和实际意义。