基于 E. F. Codd 关系模型的对 P=NP 的简单初等证明
计算复杂性
2018-10-23 v4
摘要
在 E. F. Codd 的关系模型下研究 P 对 NP 问题。我发现术语“完全构型”在计算复杂性理论中由于过度的符号冗余而不必要且有害。对于输入,其有效完全构型序列被规范化为无冗余的共享三选择关系模型。为简化问题,将多项式时间非确定性图灵机多项式归约为周期性机器,该机器仅在带端反转其带头位移。通过枚举所有 O(p(n)) 个共享三选择,在对数代价下以时间 O((p(n))^4) 模拟多项式时间 p(n) 周期性机器。从而得到 P=NP 的一个简单初等证明。
引用
@article{arxiv.1809.04519,
title = {A Simple Elementary Proof of P=NP based on the Relational Model of E. F. Codd},
author = {Aizhong Li},
journal= {arXiv preprint arXiv:1809.04519},
year = {2018}
}
备注
14 pages, 6 figures. (added polynomial space bound to a periodic machine, formally)