Arregle un problema de búsqueda NP-complete, por ejemplo, la forma de búsqueda de SAT. La búsqueda de Levin proporciona un algoritmo para resolver X que es óptimo en algún sentido. Específicamente, el algoritmo es "Ejecutar todos los posibles programas P en cola de milano en la entrada x , una vez que P devuelve la respuesta y prueba si es correcta". Es óptimo en el sentido de que dado un programa P que resuelve X con una complejidad temporal t_P (n) , la complejidad temporal t_L (n) de L satisface L X P x P y P X t P ( n ) t L ( n ) L
donde es un polinomio fijo que depende del modelo de cálculo preciso
La optimización de L puede formularse de una manera algo más fuerte. Es decir, por cada y un programa que resuelve con la promesa en el tiempo , la complejidad del tiempo de restringida a entradas en satisface
donde es un polinomio fijo. La diferencia crucial es que puede ser, por ejemplo, polinomial incluso si
La obvia "debilidad" de es el gran factor en este límite. Es fácil ver que si hay un algoritmo que satisface un límite de la misma forma con reemplazado por un polinomio en entonces . Esto se debe a que podemos considerar que es un programa que resuelve una instancia determinada de codificando la respuesta. Del mismo modo, si se puede reemplazar por una función sub-exponencial de entonces se viola la hipótesis del tiempo exponencial. Sin embargo, la respuesta a la siguiente pregunta es menos obvia (para mí):
Suponiendo la hipótesis del tiempo exponencial y otras conjeturas bien conocidas (por ejemplo, la no degeneración de la jerarquía polinómica, la existencia de funciones unidireccionales) si es necesario, ¿hay un algoritmo resuelva st para cada y un programa que resuelve con la promesa en el tiempo , la complejidad del tiempo de restringida a entradas en satisfaceX M ⊂ { 0 , 1 } ∗ Q Xt M Q ( n ) t M A ( n ) A M
donde es polinomial, es sub-exponencial y es arbitrariof g
Si la respuesta es positiva, ¿puede ser polinomial? ¿Cuál es la tasa de crecimiento de (claramente al menos exponencial bajo ETH)? Si la respuesta es negativa, ¿puede existir el polinomio si ETH está mal pero ?g f P ≠ N P