对 Sergey Gubin 设计的多项式时间 SAT 求解器的批判
计算复杂性
2008-04-18 v1 数据结构与算法
摘要
本文驳斥了 Sergey Gubin 提出的用于解决可满足性问题的多项式时间算法的有效性。Gubin 使用 3-SAT 引入该算法，并最终将其扩展以接受各种形式的布尔可满足性问题。由于 3-SAT 是 NP 完全的，如果该算法正确，将意味着 P = NP。此外，本文还驳斥了他将 SAT 多项式时间归约为 2-SAT 的正确性。
引用
@article{arxiv.0804.2699,
title = {A Critique of a Polynomial-time SAT Solver Devised by Sergey Gubin},
author = {Ian Christopher and Dennis Huo and Bryan Jacobs},
journal= {arXiv preprint arXiv:0804.2699},
year = {2008}
}