Logic & máy tính
Bài toán SAT là gì: vì sao kiểm công thức logic thoả được lại khó
SAT hỏi một công thức logic có cách gán đúng sai để thành đúng không. Kiểm nghiệm nhanh, tìm nghiệm có thể phải thử 2ⁿ khả năng; năm 1971 Cook chứng minh nó NP-