1
Mendukung struktur data untuk pencarian lokal SAT
WalkSAT dan GSAT adalah algoritma pencarian lokal yang terkenal dan sederhana untuk memecahkan masalah kepuasan Boolean. Pseudocode untuk algoritma GSAT disalin dari pertanyaan Menerapkan algoritma GSAT - Bagaimana memilih literal mana yang akan dibalik? dan disajikan di bawah ini. procedure GSAT(A,Max_Tries,Max_Flips) A: is a CNF formula for i:=1 to Max_Tries …