$P=eNP$、命题证明复杂性和弱鸽巢原理的分辨率下界
摘要：弱鸽巢原理的任何Resolution证明的长度都存在指数下界。更正式地说，已经证明了对于任意给定n个洞和任意数量的鸽子，弱鸽巢原理的任何Resolution证明的长度都是Ω(2^{n^ε})，其中ε是一个常数，等于1/3。一个推论是，某些关于P≠NP的命题形式不具有短的Resolution证明。在对P≠NP的问题和命题证明复杂性研究领域进行简要介绍后，我将讨论弱鸽巢原理的上述下界以及与证明P≠NP的困难性之间的关联。
作者：Ran Raz
论文ID：cs/0304041
分类：Computational Complexity
分类简称：cs.CC
提交时间：2008-12-15