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.
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.
¡Nuevo!!: E (clase de complejidad) y Clase de complejidad · 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!!: E (clase de complejidad) y Cota superior asintótica · Ver más »
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.
¡Nuevo!!: E (clase de complejidad) y DTIME · 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!!: E (clase de complejidad) y EXPTIME · 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 a una tabla de reglas.
¡Nuevo!!: E (clase de complejidad) y Máquina de Turing · 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!!: E (clase de complejidad) y Problema de decisión · Ver más »
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.
¡Nuevo!!: E (clase de complejidad) y SIAM Journal on Computing · Ver más »
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.
¡Nuevo!!: E (clase de complejidad) y Sistema determinista · Ver más »
Teoría de la complejidad computacional
La teoría de la complejidad computacional 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!!: E (clase de complejidad) y Teoría de la complejidad computacional · Ver más »
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.
¡Nuevo!!: E (clase de complejidad) y Transformación polinómica · Ver más »