关于 P 与 NP 问题的思考
计算复杂性
2007-11-09 v1 计算机科学中的逻辑
摘要
为了证明 P 类问题不同于 NP 类，我们考虑命题逻辑公式的可满足性问题，这是一个 NP 完全问题。研究表明，对于每一个搜索算法 A，都存在一个包含命题逻辑公式的集合 E(A)，其中每个公式都要求算法 A 花费非多项式时间来找到满足它的命题字母的真值。此外，E(A) 的大小是 n 的指数函数，这使得在多项式时间内检测此类公式成为不可能。因此，可满足性问题不具有多项式复杂度。
引用
@article{arxiv.0711.1177,
title = {Considerations on P vs NP},
author = {Alfredo von Reckow},
journal= {arXiv preprint arXiv:0711.1177},
year = {2007}
}