En teoría de la complejidad computacional, la clase de complejidad NEXPTIME es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing no determinista en tiempo O(2), donde "p"("n") es una función polinomial sobre "n".