REESSE1+ . 奖励 . 实验证明 . 证明 P != NP 的一种新方法
密码学与安全
2014-08-27 v5
摘要
作者讨论了密码学中什么是可证明安全性。认为可证明安全性是渐近的、相对的和动态的，并且只是精确安全性分析的补充而非替代。由于 P != NP 猜想尚未被证明，并且根据库尔特·哥德尔的两个不完备定理，可能存在某种密码系统，其安全性在随机预言机模型中无法被证明或只能理想地被证明，因此密码系统的安全性介于可证明性与不可证明性之间，任何学术结论都必须尽可能通过实践或实验来检验和验证。此外，还指出了一种证明 P != NP 的新方法。最后，为 REESSE1+ 三个问题（MPP、ASPP 和 TLP，其中 n >= 80 且 lg M >= 80）的次指数时间解提供奖励，这可以被视为一种通过实验进行的安全性证明。
引用
@article{arxiv.0908.0482,
title = {REESSE1+ . Reward . Proof by Experiment . A New Approach to Proof of P != NP},
author = {Shenghui Su and Shuwang Lu},
journal= {arXiv preprint arXiv:0908.0482},
year = {2014}
}
备注
5 pages