SAT 的多项式时间算法
计算复杂性
2012-05-08 v4 离散数学
数据结构与算法
计算机科学中的逻辑
摘要
本文提出了相容性矩阵方法，并以其在 P vs NP 问题上的应用进行了说明。该方法是画法几何的推广：在该方法中，我们利用图像创建技术来绘制并解决问题。该方法表明：P = NP = PSPACE。
引用
@article{arxiv.cs/0703146,
title = {A Polynomial Time Algorithm for SAT},
author = {Sergey Gubin},
journal= {arXiv preprint arXiv:cs/0703146},
year = {2012}
}
备注
Update, 30 pages