En 1995, Russell Impagliazzo propuso cinco mundos de complejidad:
1- Algoritmica: con todas las asombrosas consecuencias.
2- Heuristica: los completos de son difíciles en el peor de los casos ( ) pero se pueden resolver de manera eficiente en el caso promedio.
3- Pessiland: existen problemas de completos en el caso promedio, pero no existen funciones unidireccionales. Esto implica que no podemos generar instancias difíciles del completo con una solución conocida.
4- Minicrypt: existen funciones unidireccionales pero los sistemas criptográficos de clave pública son imposibles
5- Criptomanía: existen sistemas criptográficos de clave pública y es posible una comunicación segura.
¿Qué mundo se ve favorecido por los recientes avances en complejidad computacional? ¿Cuál es la mejor evidencia para la elección?
Russell Impagliazzo, una visión personal de la complejidad del caso promedio , 1995
Los cinco mundos de Impagliazzo, el blog La complejidad computacional