10 relaciones: Clase de complejidad, EXPTIME, Función computable, Potenciación, PR (complejidad), Problema indecidible, R (clase de complejidad), Recursión primitiva, Teoría de la complejidad computacional, Tetración.
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!!: ELEMENTARY y Clase de complejidad · 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!!: ELEMENTARY y EXPTIME · Ver más »
Función computable
Las funciones computables son el objeto básico de estudio de la teoría de la computabilidad y son, específicamente, las funciones que pueden ser calculadas por una máquina de Turing.
¡Nuevo!!: ELEMENTARY y Función computable · Ver más »
Potenciación
La potenciación es una operación matemática entre dos términos denominados: base a y exponente n. Se escribe a^n y se lee normalmente como « elevado a la ».
¡Nuevo!!: ELEMENTARY y Potenciación · Ver más »
PR (complejidad)
PR Es la clase de complejidad de todas las funciones recursivas primitivas o, de forma equivalente, el conjunto de todos los lenguajes formales que pueden ser decididos por tales funciones.
¡Nuevo!!: ELEMENTARY y PR (complejidad) · 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!!: ELEMENTARY y Problema indecidible · Ver más »
R (clase de complejidad)
En complejidad computacional, R es la clase conformada por los problemas de decisión resolubles por una máquina de Turing, vale decir, el conjunto de todos los lenguajes recursivos.
¡Nuevo!!: ELEMENTARY y R (clase de complejidad) · Ver más »
Recursión primitiva
En teoría de la computabilidad, la recursión primitiva permite definir una clase de funciones que forman un importante paso en la formalización de la noción de computabilidad, la clase de funciones recursivas primitivas.
¡Nuevo!!: ELEMENTARY y Recursión primitiva · 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!!: ELEMENTARY y Teoría de la complejidad computacional · Ver más »
Tetración
En matemáticas, la tetración (o hiper-4) es el siguiente hiperoperador después de la exponenciación, y es definida como una exponenciación iterada.
¡Nuevo!!: ELEMENTARY y Tetración · Ver más »