In computational complexity theory, the complexity class EXPTIME (sometimes called EXP or DEXPTIME) is the set of all decision problems that are solvable by a deterministic Turing machine in exponential time, i.e., in O(2p(n)) time, where p(n) is a polynomial function of n. EXPTIME is one intuitive class in an exponential hierarchy of complexity classes with increasingly more complex oracles or quantifier alternations. For example, the class 2-EXPTIME is defined similarly to EXPTIME but with a doubly exponential time bound. This can be generalized to higher and higher time bounds. EXPTIME can also be reformulated as the space class APSPACE, the set of all problems that can be solved by an alternating Turing machine in polynomial space. EXPTIME relates to the other basic time and space complexity classes in the following way: P  NP  PSPACE  EXPTIME  NEXPTIME  EXPSPACE. Furthemore, by the
En la teoría de la complejidad computacional, la clase de complejidad EXPTIME (a veces llamada EXP o DEXPTIME) es el conjunto de todos los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en tiempo exponencial, es decir, en O(2p(n)) tiempo, donde p(n) es una función polinómica de n. EXPTIME es una clase intuitiva en una jerarquía exponencial de clases de complejidad con oráculos cada vez más complejos o alternativas cuantitativas. Por ejemplo, la clase 2-EXPTIME está definida de manera similar a EXPTIME pero con un límite de tiempo doble exponencial. Esto puede generalizarse a límites de tiempo más altos y más altos. EXPTIME también puede ser reformulado como la clase espacial APSPACE, el conjunto de todos los problemas que puede ser resuelto por una máquina de Turing alternante en el espacio polinómico. EXPTIME se refiere a la otra clase básica de tiempo y espacio de la siguiente manera: NPACE PSPACE EXPACE NEX