5
Memecahkan 2-SAT (kepuasan boolean)
Masalah umum SAT (boolean satisfiability) adalah NP-complete. Tapi 2-SAT , di mana setiap klausul hanya memiliki 2 variabel, adalah di P . Tulis solver untuk 2-SAT. Memasukkan: Contoh 2-SAT, dikodekan dalam CNF sebagai berikut. Baris pertama berisi V, jumlah variabel boolean dan N, jumlah klausa. Kemudian N baris mengikuti, masing-masing …
16
code-golf