[论文解读] A Casual Tour Around a Circuit Complexity Bound

Ryan Williams|arXiv (Cornell University)|Nov 4, 2011

Advanced Graph Theory Research参考文献 44被引用 5

一句话总结

本文提出了一种新颖的证明，表明 NEXP（非确定性指数时间）不具有多项式大小的非均匀 ACC 电路，其核心是设计了一个在亚指数时间内运行的 ACC 电路可满足性算法。关键洞见在于一种‘k-膨胀’变换，该变换通过固定 k 个输入的所有 2^k 种组合，将自由变量数量减少，同时保持电路结构不变，从而实现多项式分解并加快可满足性检查，最终通过对角化方法得出电路下界。

ABSTRACT

I will discuss the recent proof that the complexity class NEXP (nondeterministic exponential time) lacks nonuniform ACC circuits of polynomial size. The proof will be described from the perspective of someone trying to discover it.

研究动机与目标

• 通过证明 NEXP 无法被多项式大小的 ACC 电路计算，建立 NEXP 的电路下界。
• 开发一种更快的 ACC 电路可满足性问题求解算法，该算法对证明下界至关重要。
• 探索高效可满足性算法与电路复杂度分离之间的联系。
• 提供一种概念性、直观的讲解，说明此类下界可能如何被发现，而非形式化证明。

提出的方法

• 引入一种‘k-膨胀’变换，将 ACC 电路的 k 个输入固定为所有 2^k 种组合，生成一个自由变量更少的新电路。
• 利用 ACC 电路在无界扇入 OR 门下封闭的性质，在膨胀后保持 ACC 结构，仅使深度增加 1。
• 将所得电路分解为复合形式 g∘h，其中 h 是 (n−k) 个变量上的低次多项式，且项数较少。
• 对所有 2^(n−k) 个输入计算多项式 h，并检查 g∘h 是否等于 1，从而实现在亚指数时间内进行可满足性测试。
• 将该算法应用于 SUCCINCT 3SAT（NEXP 的完全问题），以证明其无法被 ACC 电路求解。
• 通过对角化推导出主要结果：NEXP ∉ ACC。

实验结果

研究问题

• RQ1 能否构造出一个亚指数时间的 ACC 电路可满足性算法？ACC 的哪些结构性质使其成为可能？
• RQ2 对于某一电路类，若存在更快的可满足性算法，是否意味着该电路类与均匀复杂度类之间存在分离？
• RQ3 k-膨胀变换是否可用于在保持电路类成员资格的同时减少变量数量，并实现多项式分解？
• RQ4 能否将该下界从无穷多个输入长度推广到除有限多个输入长度外的所有输入长度，适用于 SUCCINCT 3SAT？
• RQ5 该技术能否推广以证明更强的分离结果，例如 NEXP ≠ BPP 或 EXP ∉ ACC？

主要发现

• 对于大小为 2^o(n) 的 ACC 电路，其可满足性问题可在时间 2^n - n^ε 内求解，其中 ε > 0 依赖于深度和模运算门。
• k-膨胀变换将自由变量数从 n 减少到 n−k，同时保持 ACC 结构，并支持多项式分解。
• 多项式分解中项数的上界为 2^O(k f(d,m) + log f(d,m) s)，当 k = n^(1/(2f(d,m))) 时，该值为亚指数。
• 因此，SUCCINCT 3SAT（NEXP 的完全问题）无法被多项式大小的 ACC 电路求解。
• 该结果意味着 NEXP ∉ ACC，为一个自然的指数时间类建立了强有力的电路下界。
• 该证明策略表明，某一电路类若存在更快的可满足性算法，可能意味着该类与均匀复杂度类之间存在分离。