通过团约束获得公式规模下界的更强LP界限
摘要：引言 基于Karchmer，Kushilevitz和Nisan [11]最初引入的线性规划界和稳定集合多边形理论，我们引入了一种新的技术来证明公式大小的下界。我们将其应用于多数函数，并证明了它们的公式大小下界优于Khrapchenko [13]的经典结果。此外，我们引入了一种不平衡递归三进制多数函数的概念，这是受单调自对偶函数的分解理论启发的，并给出了它们的公式大小的整体匹配的上界和下界。我们还展示了平衡递归三进制多数函数的单调公式大小下界优于Laplante，Lee和Szegedy [15]的量子对手边界。
作者：Kenya Ueno
论文ID：0902.2146
分类：Computational Complexity
分类简称：cs.CC
提交时间：2009-02-13