¡Más rápido que el navegador!
23 relaciones: BQP, Co-NP, Conjunto, Cota superior asintótica, EXPSPACE, EXPTIME, Gramática libre de contexto, Gramática regular, Gramáticas sensibles al contexto, Lenguaje recursivamente enumerable, Máquina de Turing, NC (clase de complejidad), NP (clase de complejidad), NP-completo, P (clase de complejidad), P-completo, Problema de decisión, Problema indecidible, PSPACE, PSPACE-completo, Subconjunto, Teoría de la complejidad computacional, Teoría de la computabilidad.
BQP
En teoría de la complejidad computacional, BQP (tiempo polinomial cuántico con error acotado) es la clase de problemas de decisión decidibles por un ordenador cuántico en tiempo polinomial con una probabilidad de error de como mucho 1/3 para todas las instancias.
¡Nuevo!!: Clase de complejidad y BQP · Ver más »
Co-NP
En teoría de la complejidad computacional, la clase de complejidad co-NP es el conjunto de los problemas de decisión complementarios a los de la clase NP.
¡Nuevo!!: Clase de complejidad y Co-NP · Ver más »
Conjunto
En matemáticas, un conjunto es una colección de elementos considerada en sí misma como un objeto matemático.
¡Nuevo!!: Clase de complejidad y Conjunto · Ver más »
Cota superior asintótica
En análisis de algoritmos, una cota superior asintótica es una función que sirve de cota superior de otra función cuando el argumento tiende a infinito.
¡Nuevo!!: Clase de complejidad y Cota superior asintótica · Ver más »
EXPSPACE
En teoría de la complejidad computacional, la clase de complejidad EXPSPACE es el conjunto de los problemas de decisión que pueden ser resueltos con una máquina de Turing determinista en espacio O(2p(n)), donde p(n) es una función polinomial sobre n. De acuerdo con el Teorema de Savitch, esta clase es igual a la que considera máquinas de Turing no deterministas.
¡Nuevo!!: Clase de complejidad y EXPSPACE · Ver más »
EXPTIME
En teoría de la complejidad computacional, la clase de complejidad EXPTIME (también llamada EXP) es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing determinista en tiempo O(2p(n)), donde p(n) es una función polinomial sobre n. En términos de DTIME, Se sabe que y por el teorema de la jerarquía temporal: de manera que al menos una de las inclusiones de la primera línea debe ser estricta (se piensa que todas esas inclusiones son estrictas).
¡Nuevo!!: Clase de complejidad y EXPTIME · Ver más »
Gramática libre de contexto
En lingüística e informática, una gramática libre de contexto (o de contexto libre) es una gramática formal en la que cada regla de producción es de la forma: Donde V es un símbolo no terminal y w es una cadena de terminales y/o no terminales.
¡Nuevo!!: Clase de complejidad y Gramática libre de contexto · Ver más »
Gramática regular
En informática una gramática regular es una gramática formal (N, Σ, P, S) que puede ser clasificada como regular izquierda o regular derecha.
¡Nuevo!!: Clase de complejidad y Gramática regular · Ver más »
Gramáticas sensibles al contexto
Una gramática sensible al contexto es una gramática formal que se define como una cuádrupla G.
¡Nuevo!!: Clase de complejidad y Gramáticas sensibles al contexto · Ver más »
Lenguaje recursivamente enumerable
En matemáticas, lógica e informática, un lenguaje recursivamente enumerable es un tipo de lenguaje formal que es también llamado parcialmente decidible o Turing-computable.
¡Nuevo!!: Clase de complejidad y Lenguaje recursivamente enumerable · Ver más »
Máquina de Turing
Una máquina de Turing es un dispositivo que manipula símbolos sobre una tira de cinta de acuerdo con una tabla de reglas.
¡Nuevo!!: Clase de complejidad y Máquina de Turing · Ver más »
NC (clase de complejidad)
En teoría de la complejidad computacional, la clase de complejidad NC (la clase de Nick) es el conjunto de los problemas de decisión que pueden ser resueltos mediante computación paralela con un número polinómico de procesadores en tiempo polilogarítmico.
¡Nuevo!!: Clase de complejidad y NC (clase de complejidad) · Ver más »
NP (clase de complejidad)
En teoría de la complejidad computacional, NP es el acrónimo en inglés de nondeterministic polynomial time ("tiempo polinomial no determinista").
¡Nuevo!!: Clase de complejidad y NP (clase de complejidad) · Ver más »
NP-completo
En teoría de la complejidad computacional, la clase de complejidad NP-completo es el subconjunto de los problemas de decisión en NP tal que todo problema en NP se puede reducir en cada uno de los problemas de NP-completo.
¡Nuevo!!: Clase de complejidad y NP-completo · Ver más »
P (clase de complejidad)
En computación, cuando el tiempo de ejecución de un algoritmo (mediante el cual se obtiene una solución al problema) es menor o igual que un cierto valor calculado a partir del número de variables implicadas (generalmente variables de entrada) usando una fórmula polinómica, se dice que dicho problema se puede resolver en un tiempo polinómico o polinomial P. La tesis de Cobham postula que la clase P es la que tiene los problemas tratables más grandes, es decir, los problemas de gran tamaño que se pueden calcular de forma eficiente con un ordenador.
¡Nuevo!!: Clase de complejidad y P (clase de complejidad) · Ver más »
P-completo
En teoría de la complejidad computacional, la clase de complejidad P-completo es un conjunto de problemas de decisión de gran utilidad para identificar los problemas que pueden ser resueltos eficientemente en máquinas paralelas.
¡Nuevo!!: Clase de complejidad y P-completo · Ver más »
Problema de decisión
En teoría de la computación, un problema es un conjunto de frases de longitud finita que tienen asociadas frases resultantes también de longitud finita.
¡Nuevo!!: Clase de complejidad y Problema de decisión · Ver más »
Problema indecidible
En teoría de la computabilidad y en teoría de la complejidad computacional, un problema indecidible es un problema de decisión para el cual es imposible construir un algoritmo que siempre conduzca a una respuesta de sí o no correcta.
¡Nuevo!!: Clase de complejidad y Problema indecidible · Ver más »
PSPACE
En teoría de la complejidad computacional, la clase PSPACE es el conjunto de los problemas de decisión que pueden ser resueltos por una máquina de Turing determinista en espacio de polinomios (S(n).
¡Nuevo!!: Clase de complejidad y PSPACE · Ver más »
PSPACE-completo
En teoría de la complejidad computacional, la clase de complejidad PSPACE-completo (PSPACE-complete en inglés) es el subconjunto de los problemas de decisión en PSPACE y todo problema en PSPACE puede ser reducido a él en tiempo polinomial.
¡Nuevo!!: Clase de complejidad y PSPACE-completo · Ver más »
Subconjunto
es subconjunto de otro conjunto si todos los elementos de pertenecen también a. Decimos entonces que «está contenido» dentro de.
¡Nuevo!!: Clase de complejidad y Subconjunto · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional o teoría de la complejidad informática es una rama de la teoría de la computación que se centra en la clasificación de los problemas computacionales de acuerdo con su dificultad inherente, y en la relación entre dichas clases de complejidad.
¡Nuevo!!: Clase de complejidad y Teoría de la complejidad computacional · Ver más »
Teoría de la computabilidad
La teoría de la computabilidad o teoría de la recursión es la parte de la computación que estudia los problemas de decisión que se pueden resolver con un algoritmo o equivalentemente con una máquina de Turing.
¡Nuevo!!: Clase de complejidad y Teoría de la computabilidad · Ver más »
