[论文解读] Reductions Between Expansion Problems

Prasad Raghavendra, David Steurer+1 more|arXiv (Cornell University)|Nov 11, 2010

Complexity and Algorithms in Graphs被引用 5

一句话总结

本文建立了小集合膨胀假设（SSEH）与受限版本的唯一游戏奥卡姆剃刀猜想（UGC）之间的等价性，证明在温和的小集合膨胀条件下，SSEH 可推出 UGC。此外，该研究通过利用 SSE 生成实例的结构性质，提出了一类新型非局部 gadget 线性规约，首次获得了平衡分割与最小线性排列问题的强不可近似性结果。

ABSTRACT

The Small-Set Expansion Hypothesis (Raghavendra, Steurer, STOC 2010) is a natural hardness assumption concerning the problem of approximating the edge expansion of small sets in graphs. This hardness assumption is closely connected to the Unique Games Conjecture (Khot, STOC 2002). In particular, the Small-Set Expansion Hypothesis implies the Unique Games Conjecture (Raghavendra, Steurer, STOC 2010). Our main result is that the Small-Set Expansion Hypothesis is in fact equivalent to a variant of the Unique Games Conjecture. More precisely, the hypothesis is equivalent to the Unique Games Conjecture restricted to instance with a fairly mild condition on the expansion of small sets. Alongside, we obtain the first strong hardness of approximation results for the Balanced Separator and Minimum Linear Arrangement problems. Before, no such hardness was known for these problems even assuming the Unique Games Conjecture. These results not only establish the Small-Set Expansion Hypothesis as a natural unifying hypothesis that implies the Unique Games Conjecture, all its consequences and, in addition, hardness results for other problems like Balanced Separator and Minimum Linear Arrangement, but our results also show that the Small-Set Expansion Hypothesis problem lies at the combinatorial heart of the Unique Games Conjecture. The key technical ingredient is a new way of exploiting the structure of the Unique Games instances obtained from the Small-Set Expansion Hypothesis via (Raghavendra, Steurer, 2010). This additional structure allows us to modify standard reductions in a way that essentially destroys their local-gadget nature. Using this modification, we can argue about the expansion in the graphs produced by the reduction without relying on expansion properties of the underlying Unique Games instance (which would be impossible for a local-gadget reduction).

研究动机与目标

• 建立小集合膨胀假设（SSEH）与受限唯一游戏奥卡姆剃刀猜想（UGC）之间的等价性，其中 UGC 仅需在具有温和小集合膨胀性质的实例上成立。
• 证明 SSEH 可推出 UGC 的所有推论，包括基本图划分问题的强不可近似性结果。
• 开发一种新型规约框架，通过利用从 SSEH 派生的唯一游戏实例的结构性质，规避传统局部 gadget 规约的局限性。
• 在 SSEH 下证明平衡分割与最小线性排列问题的首个强不可近似性结果，这些结果此前即使在 UGC 下也未知。

提出的方法

• 构建一种新颖的从集合膨胀（SSE）到唯一游戏的规约，采用非局部 gadget 构造，保留膨胀性质而不依赖于局部结构。
• 引入一个参数化族的 SSE 实例，参数为 (η, δ, M)，其中 η 控制小集合膨胀阈值，M 限制所考虑集合的测度。
• 采用一种解码过程，将输出图中的低膨胀集合映射回原始 SSE 实例中的低膨胀集合，利用规约的扩展结构。
• 使用标准唯一游戏规约的修改版本，专门设计以在底层实例缺乏强局部膨胀时仍能保持膨胀行为。
• 应用一个关键引理（引理 6.12），在精心选择的参数下，证明输出图中的非膨胀集合意味着输入中的非膨胀集合。
• 通过分配诱导的划分中边膨胀的概率分析，建立完备性与可靠性，以高斯图 G(1−ε) 的膨胀谱作为基准。

实验结果

研究问题

• RQ1 小集合膨胀假设是否与一个受限形式的唯一游戏奥卡姆剃刀猜想等价，即该奥卡姆剃刀猜想仅在具有有界小集合膨胀的实例上成立？
• RQ2 小集合膨胀假设能否用于推导出平衡分割与最小线性排列问题的强不可近似性结果，而这些问题此前的不可近似性结果尚不存在？
• RQ3 能否设计出非局部 gadget 规约，以在底层唯一游戏实例缺乏强局部膨胀时，仍能保持输出图中的全局膨胀性质？
• RQ4 高斯图 G(1−ε) 的膨胀谱是否可作为在 SSEH 下区分可满足与不可满足唯一游戏实例的紧致基准？
• RQ5 能否利用 SSE 生成的唯一游戏实例的结构性质，以绕过标准局部 gadget 规约在不可近似性证明中的局限性？

主要发现

• 小集合膨胀假设与一个受限版本的唯一游戏奥卡姆剃刀猜想等价，其中该奥卡姆剃刀猜想仅适用于具有温和小集合膨胀的实例，从而统一了两个假设。
• 本文首次在 SSEH 下证明了平衡分割问题的强不可近似性结果，表明其无法在任何常数因子内近似。
• 本文首次在 SSEH 下建立了最小线性排列问题的强不可近似性结果，证明了不存在常数因子近似解。
• 本文开发的规约框架通过利用全局膨胀结构，成功避免了对局部 gadget 性质的依赖，实现了与输入实例局部膨胀无关的可靠性分析。
• 本文证明：对于任意 ε > 0，在满足高斯图 G(1−ε) 的膨胀谱匹配条件时，SSE-hard 无法区分唯一游戏实例中 opt > 1 − 2ε − o(ε) 与 opt < O(q^(-ε/(2−ε))) + γ 的情况。
• 该构造确保输出图中的任何非膨胀集合均对应于输入中的非膨胀集合，且测度与膨胀性均被严格控制在紧密界限内，从而实现了紧致的可靠性分析。