1
SAT yerel araması için veri yapılarını destekleme
WalkSAT ve GSAT , Boole memnuniyetini çözmek için iyi bilinen ve basit yerel arama algoritmalarıdır. GSAT algoritması için sözde kod GSAT algoritmasını uygulama sorusundan kopyalanır - Döndürülecek değişmezi nasıl seçilir? ve aşağıda sunulmuştur. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries do S <- instantiation of variables …