¡Más rápido que el navegador!
11 relaciones: Algoritmo DPLL, Algoritmo genético, Backjumping, Clase de complejidad, Forma normal conjuntiva, NP-completo, Richard Karp, Satisfacibilidad, Stephen Cook, Teoría de la complejidad computacional, Teorema de Cook.
Algoritmo DPLL
El algoritmo DPLL/Davis-Putnam-Logemann-Loveland es un algoritmo completo basado en la vuelta atrás que sirve para decidir la satisfactibilidad de las fórmulas de lógica proposicional en una forma normal conjuntiva, es decir, para resolver el problema CNF-SAT.
¡Nuevo!!: Problema de satisfacibilidad booleana y Algoritmo DPLL · Ver más »
Algoritmo genético
Un algoritmo es una serie de pasos organizados que describe el proceso que se debe seguir, para dar solución a un problema específico.
¡Nuevo!!: Problema de satisfacibilidad booleana y Algoritmo genético · Ver más »
Backjumping
En algoritmos de backtracking, el backjumping es una técnica que reduce espacio de búsqueda, y por tanto, aumenta la eficacia de esta.
¡Nuevo!!: Problema de satisfacibilidad booleana y Backjumping · 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!!: Problema de satisfacibilidad booleana y Clase de complejidad · Ver más »
Forma normal conjuntiva
En lógica booleana, una fórmula está en forma normal conjuntiva (FNC) si corresponde a una conjunción de cláusulas, donde una cláusula es una disyunción de literales, donde un literal y su complemento no pueden aparecer en la misma cláusula.
¡Nuevo!!: Problema de satisfacibilidad booleana y Forma normal conjuntiva · 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!!: Problema de satisfacibilidad booleana y NP-completo · Ver más »
Richard Karp
Richard Manning Karp (Boston, (Estados Unidos), 3 de enero de 1935) es un científico de la computación, conocido por su investigación en teoría de algoritmos, por lo que recibió el Premio Turing en 1985, el premio del Instituto Franklin en 2004 y el Premio Kioto en 2008.
¡Nuevo!!: Problema de satisfacibilidad booleana y Richard Karp · Ver más »
Satisfacibilidad
En lógica proposicional, la satisfacibilidad se define como la propiedad de un conjunto de fórmulas de tener un modelo.
¡Nuevo!!: Problema de satisfacibilidad booleana y Satisfacibilidad · Ver más »
Stephen Cook
Stephen Arthur Cook (1939, Búfalo (Nueva York)) es un reconocido científico de la computación.
¡Nuevo!!: Problema de satisfacibilidad booleana y Stephen Cook · 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!!: Problema de satisfacibilidad booleana y Teoría de la complejidad computacional · Ver más »
Teorema de Cook
En teoría de la complejidad computacional, el Teorema de Cook establece lo siguiente: Cook demostró este teorema en su artículo de 1971 "The Complexity of Theorem Proving Procedures".
¡Nuevo!!: Problema de satisfacibilidad booleana y Teorema de Cook · Ver más »
Redirecciona aquí:
3-SAT, Problema de satisfabilidad, Problema de satisfabilidad booleana.
