1
Estructuras de datos de soporte para búsqueda local SAT
WalkSAT y GSAT son algoritmos de búsqueda locales bien conocidos y simples para resolver el problema de satisfacción booleana. El pseudocódigo para el algoritmo GSAT se copia de la pregunta Implementación del algoritmo GSAT: ¿cómo seleccionar qué literal voltear? y presentado a continuación. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula …