Complejidad en el tiempo de los idiomas que son el tiempo polinómico reducible a los idiomas completos de NP

Question

Me pregunto si dada la complejidad del tiempo de un problema NP-completado o al menos alguna información al respecto, por ejemplo, si $ sat en el tiempo (2^{sqrt (n)}) $ (hipotéticamente) podría asumir que todos los idiomas en NP (que son claramente el tiempo polinomial reducible a SAT) también son $ en el tiempo (2^{Sqrt (n)}) $

Creo que la respuesta es falsa porque básicamente podría elegir cualquier clase arbitraria de funciones de tiempo exponencial y afirmar que todos los idiomas en NP están contenidos dentro de ella, mientras que en realidad puede pertenecer a una clase de poder superior ... pero no estoy seguro de cómo Para formular esto como una prueba.