3SAT问题的多项式时间解决方法
摘要：确定问题3Sat是否有解的一种方法的介绍，并找到一个解，时间复杂度为O(n^15)。由此证明问题3Sat在多项式时间内完全解决，因此它属于P类问题，根据Cook和Levin的工作可以将SAT问题在多项式时间内转化为3Sat问题（参考Karp），由此得出P = NP。开源程序可在http://www.visainformatica.it/3sat 上找到。
作者：Luigi Salemi
论文ID：0909.3868
分类：Computational Complexity
分类简称：cs.CC
提交时间：2010-09-14