[论文解读] Constraints, MMSNP and expander relational structures

Gábor Kun|arXiv (Cornell University)|Jun 12, 2007

Advanced Graph Theory Research参考文献 9被引用 6

一句话总结

本文提出了一种确定性、多项式时间的算法，通过一种新颖的结构关系构造方法——扭曲积（twisted product），将任意约束满足问题（CSP）转换为具有任意大围长的等价形式。关键贡献在于证明了CSP与单调单射严格NP（MMSNP）在计算上等价，将Feder和Vardi的随机稀疏不可比性引理去随机化，并通过具有高围长和有界度的展开关系结构，建立了CSP与MMSNP之间的完整多项式时间等价性。

ABSTRACT

We give a poly-time construction for a combinatorial classic known as Sparse Incomparability Lemma, studied by Erdos, Lovasz, Nesetril, Rodl and others: We show that every Constraint Satisfaction Problem is poly-time equivalent to its restriction to structures with large girth. This implies that the complexity classes CSP and Monotone Monadic Strict NP introduced by Feder and Vardi are computationally equivalent. The technical novelty of the paper is a concept of expander relations and a new type of product for relational structures: a generalization of the zig-zag product, the twisted product.

研究动机与目标

• 为稀疏不可比性引理提供一种确定性多项式时间算法，此前该引理仅通过概率构造方法已知。
• 建立复杂度类CSP与MMSNP之间的计算等价性，解决结构复杂度理论中的一个关键开放问题。
• 引入并构造具有大围长和有界度的展开关系结构，将图展开器概念推广至超图和关系系统。
• 定义并利用扭曲积——作为Zig-zag积的推广——作为构建此类结构的核心工具。

提出的方法

• 引入ε-展开关系结构的概念，即对于任意坐标子集，关系中的元组数量与期望值的偏差小于ε|R|。
• 将两个关系结构的扭曲积定义为Zig-zag积的推广，使能从较小组件构建高围长结构。
• 使用有界度和谱间隙的展开图构建基础结构，确保强展开性质。
• 将扭曲积迭代应用于将一个小展开结构A与输入结构S结合，生成具有大围长的新结构S′。
• 基于展开性质采用同态提升论证：若结构B同态映射到T，则只要A是足够强的展开器，扭曲积C也同态映射到T。
• 利用Ramanujan图的谱性质及已知的展开器构造方法，确保所需展开器基础结构的多项式时间可构造性。

实验结果

研究问题

• RQ1 CSP的随机稀疏不可比性引理能否被去随机化为多项式时间算法？
• RQ2 是否存在对展开图的推广，使其适用于关系结构（超图），并保持强展开性和围长性质？
• RQ3 扭曲积构造能否用于构建同时具备大围长、有界度和强展开性的关系结构？
• RQ4 CSP与MMSNP之间的计算等价性是否能在确定性环境下成立，而无需依赖概率归约？
• RQ5 当基结构为ε-展开器时，扭曲积构造下同态提升性质是否仍能保持？

主要发现

• 构建了一种确定性多项式时间算法，可将任意CSP实例转换为围长大于任意给定k的等价实例，同时对所有大小小于t的结构保持同态性质。
• 扭曲积构造确保了结果结构S′的围长至少为k，并且对所有大小小于t的小目标结构T，S′与原始结构S同态等价。
• 对于任意有限关系类型τ、任意k > 0及ε > 0，存在一个大小n > nτ,ε,k、围长≥k、最大度≤Mτ,ε的多项式时间可构造的ε-展开关系结构。
• 该构造保证任意r元关系中的元组数量与期望值的偏差小于ε|R|，满足ε-展开条件。
• 同态提升性质成立：若B → T，则C → T，其中C是ε-展开器A与B的扭曲积，前提是ε|T|r < 1。
• 本文证明了在确定性环境下CSP与MMSNP计算等价，意味着若CSP满足互补性定理，则MMSNP也满足。