Tabla de contenidos
10 relaciones: Clase de complejidad, Cota superior asintótica, DTIME, EXPTIME, Máquina de Turing, Problema de decisión, SIAM Journal on Computing, Sistema determinista, Teoría de la complejidad computacional, Transformación polinómica.
- Clases de complejidad
Clase de complejidad
En teoría de la complejidad computacional, una clase de complejidad es un conjunto de problemas de decisión de complejidad relacionada. E (clase de complejidad) y clase de complejidad son clases de complejidad.
Ver E (clase de complejidad) y Clase de complejidad
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.
Ver E (clase de complejidad) y Cota superior asintótica
DTIME
En teoría de la complejidad computacional, la clase de complejidad DTIME(f(n)) (también llamada TIME(f(n))) es el conjunto de los problemas de decisión que pueden ser resueltos en una máquina de Turing determinista en tiempo O(f(n)), y espacio ilimitado. E (clase de complejidad) y DTIME son clases de complejidad.
Ver E (clase de complejidad) y DTIME
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. E (clase de complejidad) y EXPTIME son clases de complejidad.
Ver E (clase de complejidad) y EXPTIME
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.
Ver E (clase de complejidad) y Máquina de Turing
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.
Ver E (clase de complejidad) y Problema de decisión
SIAM Journal on Computing
La SIAM Journal on Computing (SICOMP) es una publicación científica enfocada en los aspectos matemáticos y formales de la ciencia de la computación.
Ver E (clase de complejidad) y SIAM Journal on Computing
Sistema determinista
En matemáticas y física, se denomina sistema determinista a aquel en que el azar no está involucrado en el desarrollo de los futuros estados del sistema.
Ver E (clase de complejidad) y Sistema determinista
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.
Ver E (clase de complejidad) y Teoría de la complejidad computacional
Transformación polinómica
En complejidad computacional, una transformación polinómica, reducción polinómica o reducción de Karp, es una manera de relacionar dos problemas de decisión, de manera que la existencia de un algoritmo que resuelve el primer problema, garantiza inmediatamente, y a través de un tiempo polinómico, la existencia de un algoritmo que resuelve el segundo.
Ver E (clase de complejidad) y Transformación polinómica
Ver también
Clases de complejidad
- ALL (clase de complejidad)
- Clase de complejidad
- Co-NP
- Co-NP-completo
- DSPACE
- DTIME
- E (clase de complejidad)
- ELEMENTARY
- ESPACE
- EXPSPACE
- EXPTIME
- Esquema de aproximación de tiempo polinómico
- FNP (clase de complejidad)
- FP (clase de complejidad)
- Jerarquía aritmética
- Jerarquía polinómica
- L (clase de complejidad)
- LOGCFL
- NC (clase de complejidad)
- NEXPTIME
- NL (clase de complejidad)
- NP (clase de complejidad)
- NP-completo
- NP-equivalente
- NP-hard
- NSPACE
- NTIME
- P (clase de complejidad)
- P-completo
- P/poly
- PH (clase de complejidad)
- PR (complejidad)
- PSPACE
- PSPACE-completo
- PolyL
- R (clase de complejidad)
- RE (clase de complejidad)
- SC (clase de complejidad)
- SL (clase de complejidad)
- TFNP
- Tiempo pseudopolinómico
- Totalmente NP-completo
- UP (clase de complejidad)