在1995年,Russell Impagliazzo提出了五个复杂性世界:
1- Algorithmica:具有所有惊人的结果。
2-启发式算法:问题在最坏的情况下(P ≠ N P)很难解决,但在平均情况下可以有效解决。
3- Pessiland:存在平均情况下的问题,但不存在单向函数。这意味着我们无法用已知的解决方案生成N P-完全问题的硬实例。
4- Minicrypt:存在单向功能,但不可能使用公钥密码系统
5- Cryptomania:存在公钥密码系统,并且可以进行安全通信。
计算复杂性的最新进展青睐哪个世界?选择的最佳证据是什么?