... 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 ... (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: Alldiff (F,T,U,W,R,O) – O + O = R + 10 · X 1 – X 1 + W + W = U + 10 · ... mỗi bài toán CSPs: 2. Lời giải tồn tại ở độ sâu tìm kiếm n nếu bài toán có n biến 3. dùng DFS 4. Lời giải là trạng thái (không phải là đường đi) 5. b = (n - l )d tại độ sâu l, vì vậy có n! ·...