[論文レビュー] 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

ひとこと要約

この論文は、グロテンディーク位相における特化されたコhomologyの応用——自由圏、単射層、超スカイスクレーパー層を用いる——が、ブール回路計算複雑性における基本的問題であるセットカバー問題の線形計画法緩和境界を回復することを示している。主な貢献は、このコhomological枠組みが退化した場合に標準的なLP下界をもたらすことを示したことであり、より広範な複雑性下界への可能性を裏付けている。

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.

研究の動機と目的

• グロテンディーク位相におけるコhomological技法がブール回路計算複雑性における下界を導けるかどうかを調査すること。
• ANDゲートのみからなる回路に焦点を当てることで、コhomologicalアプローチを単純化し、問題をセットカバーに還元すること。
• 自由圏と高次のコhomologyを持たない層を用いた特定のコhomological構成が、標準的な線形計画法緩和境界をもたらすことを示すこと。
• Fri05 で得られた先行の境界を改善し、Ext群を含むよりタイトなコhomological不等式を証明すること。
• コhomological複雑度と計算複雑性理論における既知の組合せ的下界との間の明示的関係を確立すること。

提案手法

• 単調S-立方体上に自由圏構造を用い、対象をブール関数、射を1ビットの反転による単調性を表す。
• Ext群の次元の和による形式的AND測度を定義し、h(f) = cc(F, G_{U_f}) とし、U_f は関数 ≤ f である開集合である。
• 層Fを超スカイスクレーパー層の和として構成し、特定の点（例：s ∈ S におけるデルタ関数）に非負整数を割り当てる。
• コhomological複雑度cc(f) は ∑_s A_s (1 - f(s)) として計算され、size(f) の下界をもたらす。
• バーチャルゼロ拡張を用い、粗い位相を持つグロテンディーク位相で、必要な完全列の存在を保証する。
• この方法は、任意の結合的閉補集合族へ一般化可能であり、特性関数が非負線形結合による形式的AND測度をもたらす。

実験結果

リサーチクエスチョン

• RQ1 グロテンディーク位相におけるコhomological技法は、ブール複雑性における既知の下界を回復できるか？
• RQ2 退化した場合に、コhomological枠組みはセットカバー問題の線形計画法緩和境界をもたらすか？
• RQ3 この設定において、コhomological複雑度下界はLP緩和を上回ることができるか？
• RQ4 単射層と超スカイスクレーパー層は、LP境界を実現するために果たす役割は何か？
• RQ5 コhomological下界はタイトか、それともより複雑な層構成によって上回られるか？

主な発見

• 自由圏に単射層および超スカイスクレーパー層を適用したコhomological複雑度下界は、セットカバー問題の線形計画法緩和境界を再現する。
• 下界 size(f) ≥ ∑_s A_s / M で、∑_s A_s (1 - f_i(s)) ≤ M を満たすとき、これはセットカバー問題の標準的なLP緩和の双対に一致する。
• 各f_iが一意なs_iによって要請される場合、構成は正確にLP境界を達成し、その場合のタイトネスを示す。
• 層Fおよび単射層Gを変化させてもLP境界を超えることはできず、この設定ではコhomological手法がLP緩和を上回らないことを示唆する。
• コhomological枠組みは、任意の結合的閉補集合族へ一般化可能であり、特性関数が形式的AND測度をもたらす。
• 定理1.1の証明により、[Fri05]の境界を改善するExt群を含むコhomological不等式が確立される。