... NHẬP MÔN TRÍ TUỆ NHÂN TẠO @copyrights by Dr Nguyễn Xuân Hoài Nội Dung Tìm kiếm thoả ràng buộc: – Bài toán ... WA • Ràng buộc bậc cao (3 biến trở lên) • e.g., bài toán cryptarithmetic (SEND+ME= MONEY). Ví dụ: Cryptarithmetic • Biến: F T U W O X 1 X 2 X 3 • Miền giá trị: {0,1,2 ,3, 4,5,6,7,8,9} • Ràng buộc: ... (NP-complete) –SAT (3SAT). – Miền giá trị vô hạn: • integers, strings, etc. • e.g., lập lịch, biến là ngày bắt đầu ngày kết thúc công việc. • ngôn ngữ biểu diễn ràng buộc StartJob 1 + 5 ≤ StartJob 3 • Biến...