Який приклад 3SAT?

Приклад екземпляра 3SAT (x1 ∨ x2 ∨ x4) ∧ (x2 ∨ x3 ∨ x5) ∧ (x1 ∨ x4 ∨ x6).

Булева проблема виконуваності 3SAT, або Булева проблема виконуваності, це проблема, яка запитує, який найшвидший алгоритм для даної формули в булевій алгебрі (з невідомою кількістю змінних) визначає, чи вона виконується, тобто чи існує деяка комбінація (двійкових) значень змінних, яка дасть 1.');})();(function(){window.jsl.dh('bgTsZo_8JNzcwN4P2oznsQE__30','

3-SAT є обмеженням SAT де кожен пункт повинен мати рівно 3 літерали. Наприклад, формула. (¬x ∨ y ∨ ¬w) ∧ (¬y ∨ z ∨ w) ∧

Щоб довести, що 3SAT ∈ NP, ми побудувати детермінований верифікатор поліноміального часу для 3SAT. Тепер ми створюємо наш верифікатор V для 3SAT. Зауважте, що нехай φ — це 3CNF-формула з k умовами, наприклад φ = (a1 V b1 V c1) < … < (ak V bk V ck), а c — відображення змінних на значення істинності: Vxi ∈ φ , c(xi) = T true або F false.

3-SAT є однією з 21 NP-повної задачі Карпа він використовується як відправна точка для доказу того, що інші проблеми також є NP-складними. Це робиться шляхом скорочення поліноміального часу від 3-SAT до іншої проблеми.