[论文解读] Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity II: A Simple Example

Joel Friedman|ArXiv.org|Apr 6, 2006

Complexity and Algorithms in Graphs参考文献 3被引用 4

一句话总结

本文展示了在格罗滕迪克拓扑中对上同调的专门应用——使用自由范畴、内射层与上空层——可恢复集合覆盖问题（SET COVER）的线性规划松弛界，这是布尔电路复杂性中的一个基本问题。关键贡献在于证明了在退化情形下，该上同调框架可产生标准的线性规划下界，从而验证了其在更广泛复杂性下界研究中的潜力。

ABSTRACT

In a previous paper we have suggested a number of ideas to attack circuit size complexity with cohomology. As a simple example, we take circuits that can only compute the AND of two inputs, which essentially reduces to SET COVER. We show a very special case of the cohomological approach (one particular free category, using injective and superskyscraper sheaves) gives the linear programming bound coming from the relaxation of the standard integer programming reformulation of SET COVER.

研究动机与目标

• 研究格罗滕迪克拓扑中的上同调技术是否能在布尔电路复杂性中产生下界。
• 通过仅关注由与门构成的电路，简化上同调方法，将问题归约为集合覆盖问题。
• 证明特定的上同调构造——使用自由范畴及无高阶上同调的层——可产生标准的线性规划松弛界。
• 通过证明涉及Ext群的更紧致的上同调不等式，改进[Fri05]中先前的界。
• 建立上同调复杂性与复杂性理论中已知组合下界之间的正式联系。

提出的方法

• 论文在单调S-立方体上使用自由范畴结构，其中对象为布尔函数，态射通过单比特翻转表示单调性。
• 通过Ext群维数之和定义形式与门度量，h(f) = cc(F, G_{U_f})，其中U_f是满足≤ f的函数的开集。
• 层F被构造为上空层的和，为特定点（如s ∈ S处的狄拉克函数）分配非负整数。
• 上同调复杂性cc(f)计算为∑_s A_s (1 - f(s))，其中A_s为F在s处的维数，从而给出size(f)的下界。
• 该构造利用在粗拓扑下的格罗滕迪克拓扑中虚拟零扩张，确保所需正合序列的存在性。
• 该方法可推广至任意合取封闭的补集族，其中特征函数通过非负线性组合生成形式与门度量。

实验结果

研究问题

• RQ1 格罗滕迪克拓扑中的上同调技术能否恢复布尔复杂性中的已知下界？
• RQ2 在退化情形下，上同调框架是否能产生集合覆盖问题的线性规划松弛界？
• RQ3 在此设定下，上同调复杂性界能否超越线性规划松弛界？
• RQ4 内射层与上空层在实现线性规划界中起什么作用？
• RQ5 上同调界是否紧致，还是可通过更复杂的层构造被超越？

主要发现

• 当专门应用于具有内射层与上空层的自由范畴时，上同调复杂性界重现了集合覆盖问题的线性规划松弛界。
• 下界size(f) ≥ ∑_s A_s / M，其中∑_s A_s (1 - f_i(s)) ≤ M，与集合覆盖标准线性规划松弛的对偶形式一致。
• 当每个f_i由唯一s_i要求时，该构造达到精确的LP界，表明在这些情形下具有紧致性。
• 改变层F与内射层G均无法超过LP界，表明在此设定下，上同调方法并不强于线性规划松弛。
• 上同调框架可推广至任意合取封闭的补集族，其中特征函数通过非负线性组合生成形式与门度量。
• 定理1.1的证明建立了涉及Ext群的上同调不等式，改进了[Fri05]中的界。