Esta pregunta trata sobre problemas para los cuales existe una gran brecha de complejidad abierta entre el límite inferior conocido y el límite superior, pero no debido a problemas abiertos en las propias clases de complejidad.
Para ser más precisos, digamos que un problema tiene clases de brecha (con A ⊆ B , no definido de forma exclusiva) si A es una clase máxima para la cual podemos demostrar que es A -duro, y B es un límite superior mínimo conocido , es decir, tenemos un algoritmo en B para resolver el problema. Esto significa que si terminamos descubriendo que el problema es C -completo con A ⊆ C ⊆ B , no afectará la teoría de la complejidad en general, en lugar de encontrar un algoritmo P para un problema N P -completo.
No estoy interesado en problemas con y B = N P , porque ya es el objeto de esta pregunta .
Estoy buscando ejemplos de problemas con las clases gap que estén lo más lejos posible. Para limitar el alcance y precisar la pregunta, estoy especialmente interesado en los problemas con y B ⊇ E X P T I M E , lo que significa que tanto la membresía en P como E X P T I M E- completitud son coherentes con el conocimiento actual , sin hacer colapsar las clases conocidas (digamos clases de esta lista ).