Logo
Unionpedia
Comunicación
Disponible en Google Play
¡Nuevo! ¡Descarga Unionpedia en tu dispositivo Android™!
Gratis
¡Más rápido que el navegador!
 

Transformación polinómica

Índice 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.

11 relaciones: Alfabeto, Clase de complejidad, EXPTIME, Función computable, Lenguaje formal, NP-completo, P (clase de complejidad), Problema de decisión, PSPACE-completo, Reducción (complejidad), Teoría de la complejidad computacional.

Alfabeto

Un alfabeto o sistema de escritura alfabético es un sistema de escritura formado por signos que en general representan fonemas, es decir, sonidos identificables en una lengua determinada; estos signos, llamados letras, se escriben en secuencias lineales de orden equivalente a las de los sonidos en la lengua oral.

¡Nuevo!!: Transformación polinómica y Alfabeto · Ver más »

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!!: Transformación polinómica 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!!: Transformación polinómica 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!!: Transformación polinómica y Función computable · Ver más »

Lenguaje formal

En matemáticas, lógica y ciencias de la computación, un lenguaje formal es un lenguaje cuyos símbolos son primitivos y las reglas para unir esos símbolos están formalmente especificadas.

¡Nuevo!!: Transformación polinómica y Lenguaje formal · 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!!: Transformación polinómica 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!!: Transformación polinómica y P (clase de complejidad) · 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!!: Transformación polinómica y Problema de decisión · 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!!: Transformación polinómica y PSPACE-completo · Ver más »

Reducción (complejidad)

En teoría de la computación y teoría de la complejidad computacional, una reducción es una transformación de un problema a otro problema.

¡Nuevo!!: Transformación polinómica y Reducción (complejidad) · 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!!: Transformación polinómica y Teoría de la complejidad computacional · Ver más »

Redirecciona aquí:

Reduccion polinomial, Reduccion polinomica, Reduccion polinómica, Reducción polinomial, Reducción polinómica, Transformacion polinomial, Transformacion polinomica, Transformacion polinómica, Transformación polinomial.

SalienteEntrante
¡Hey! ¡Ahora tenemos Facebook! »