Grothendieck 拓扑下的上同调与布尔复杂度下界 II：一个简单例子
计算复杂性
2007-05-23 v1 代数几何
摘要
在之前的论文中，我们提出了若干利用上同调技术攻击电路规模复杂度的想法。作为一个简单例子，我们考虑仅能计算两个输入与运算的电路，这本质上等价于集合覆盖问题（SET COVER）。我们展示了一个非常特殊的情况——使用特定的自由范畴、单射层（injective sheaves）和升维薄层（superskyscraper sheaves）——的同调方法，给出了从标准整数规划松弛形式化的集合覆盖问题中得到的线性规划下界。
引用
@article{arxiv.cs/0604024,
title = {Cohomology in Grothendieck Topologies and Lower Bounds in Boolean Complexity II: A Simple Example},
author = {Joel Friedman},
journal= {arXiv preprint arXiv:cs/0604024},
year = {2007}
}
备注
8 pages