Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.
Límites inferiores exponenciales:
Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante α ∈ R tal que X no se puede resolver en el tiempo O ( 2 n α ) .
Idea de prueba: según el teorema de la jerarquía de tiempo, hay un problema en el tiempo O ( 2 n ) que no está en o ( 2 ntiempo. Además, debe haber una reducción polinomio deYaX. Por lo tanto, hay una constantecde tal manera que esta reducción tiene una instancia de tamañondeYa una instancia de tamañoncparaX. El límite inferior paraYdeO(2n 1 - ϵ ) eltiempo cambia a un límite inferior paraXdeO(2n 1 - ϵtiempo.
Límites inferiores polinómicos:
Algunos problemas completos tienen buenas parametrizaciones en problemas de tiempo polinomial. Considere el problema X de antes. Supongamos que tenemos una parametrización k - X para X tal que:
- Para cada fijo , k - X está en tiempo polinómico.
Por supuesto, hay excepciones a esto, pero intuitivamente, a medida que crece, los problemas de k - X deberían ser más difíciles porque X tiene un límite inferior de complejidad de tiempo exponencial.
Un ejemplo:
Un problema de ejemplo que ha surgido es el no vacío de intersección para los autómatas de los árboles. Es decir, dada una lista finita de autómatas de árbol, ¿existe un árbol que satisfaga simultáneamente todos los autómatas?
Pregunta: