¿El hecho de que un problema esté completo en el tiempo EXP implica que A no está en D T I M E ( 2 o ( n ) ) ?
Soy consciente de que, según el teorema de la jerarquía temporal, no está incluido en E = D T I M E ( 2 O ( n ) ) . Sin embargo, esto no parece excluir inmediatamente la existencia de algoritmos de tiempo sub-exponenciales para cada problema A completo de EXP , ya que al reducir una instancia x de un problema B ∈ E X Ppara una instancia y del problema , podemos tener una explosión polinómica de tamaño En otras palabras, | y | = | x | O ( 1 ) .
Entonces mi pregunta es si existe algún argumento que descarte, incondicionalmente, la existencia de algoritmos de tiempo sub-exponenciales para problemas completos de EXP.