In computational complexity theory, is the set of all decision problems solvable by a deterministic Turing machine in exponential space, i.e., in space, where is a polynomial function of. Some authors restrict to be a linear function, but most authors instead call the resulting class. If we use a nondeterministic machine instead, we get the class, which is equal to by Savitch's theorem. A decision problem is if it is in, and every problem in has a polynomial-time many-one reduction to it. In other words, there is a polynomial-time algorithm that transforms instances of one to instances of the other with the same answer. problems might be thought of as the hardest problems in. is a strict superset of,, and and is believed to be a strict superset of. Formal definition In terms of and, Examples of problems An example of an problem is the problem of recognizing whether two regular expressions represent different languages, where the expressions are limited to four operators: union, concatenation, the Kle
En la teoría de la complejidad computacional, el conjunto de todos los problemas de decisión es solucionable por una máquina determinista de Turing en el espacio exponencial, es decir, en el espacio, donde hay una función polinómica. Algunos autores se limitan a ser una función lineal, pero la mayoría de los autores llaman en su lugar la clase resultante. Si usamos una máquina no determinista en su lugar, obtendremos la clase, que es igual al teorema de Savitch. Un problema de decisión es si está en, y cada problema en tiene una reducción polinomial-tiempo muchos-uno a ella. En otras palabras, hay un algoritmo de tiempo polinomial que transforma las instancias de una a la otra con la misma respuesta. problemas podrían ser pensados como los problemas más difíciles en. es un supeters estricto de, y y se cree que es un supeters estricto de.