V ớ ớ ii độ độ ướ ướ cc ll ượ ượ ng ng −
toạạ độ độ y c y c ủủa n| a n|
1 2
1 2 3 3 4 4 55
BT3-11.
BT3-11.ViViếết cht chươ ươ ng trình mơ phng trình mơ phỏỏng bài toán TACI vng bài toán TACI vớ ớ i thui thuậật toán At toán AKTKT.. BT3-12. a.
BT3-12. a.ViViếết cht chươ ươ ng trình mơ phng trình mơ phỏỏng bài tốnng bài tốnđặđặt n quân ht n quân hậậu vu vớ ớ i thui thuậật tốn At tốn AKTKT.. b.
b.ViViếết cht chươ ươ ng trình mơ phng trình mơ phỏỏng bài toánng bài toánđặđặt n quân mã vt n quân mã vớ ớ i thui thuậật toán At toán AKTKT..
55 5 4 4 3 3 2 2 1 1
Bài t
Bài t ậậ p c p cơ ơ s sỏỏ trí tu trí tuệệ nhân t nhân t ạạo o - - SGU2009 SGU2009 Trang Trang 2727
V
Vấấnnđềđề 4 4
Thu
Thuậật toán Vt toán Vươ ươ ng Hng Hạạo và thuo và thuậật toán Robinst toán Robinsơ ơ nn 4.1.Thu
4.1.Thuậật toán Vt toán Vươ ươ ng Hng Hạạoo B
Bướ ướ c 1:Phát bic 1:Phát biểểu lu lạại gii giảả thi thiếết và k t và k ếết lut luậận cn củủa bài toán da bài toán dướ ướ i di dạạng chung chuẩẩn sau:n sau: GT
GT11, GT, GT22,…., GT,…., GTn-1n-1, GT, GTnn →→ KL KL11, KL, KL22,…., KL,…., KLm-1m-1, KL, KLmm Trong
Trongđđó các GTó các GTii và KL và KL j jđượ đượ c xây dc xây dựựng tng từừ các bi các biếến mn mệệnhnhđềđề và các phép toán và các phép toán ∧∧,,∨∨,,¬¬..
B
Bướ ướ c 2:Chuyc 2:Chuyểển vn vếế các giá tr các giá tr ịị GT GTii, KL, KL j j có d có dạạng phng phủủ địđịnh.nh. B
Bướ ướ c 3:Thay phép tốnc 3:Thay phép toán∧∧ ở ở GT GTii và phép toán và phép toán ∨∨ ở ở KL KL j j b bằằng dng dấấu “,”.u “,”. B
Bướ ướ c 4:Nc 4:Nếếu dịng hiu dịng hiệện hành có mn hành có mộột trong hai dt trong hai dạạng sau:ng sau: D
Dạạng 1:ng 1: GT
GT11, GT, GT22,…,a,…,a∨∨ b,…, GT b,…, GTn-1n-1, GT, GTnn →→ KL KL11, KL, KL22,…., KL,…., KLm-1m-1, KL, KLmm
Thì thay b
Thì thay bằằng hai dòng:ng hai dòng: GT GT11, GT, GT22,…, a,…, GT,…, a,…, GTn-1n-1, GT, GTnn →→ KLKL11, KL, KL22,…., KL,…., KLm-1m-1, KL, KLmm GT GT11, GT, GT22,…, b,…, GT,…, b,…, GTn-1n-1, GT, GTnn →→ KLKL11, KL, KL22,…., KL,…., KLm-1m-1, KL, KLmm D Dạạng 2:ng 2: GT GT11, GT, GT22,…, GT,…, GTn-1n-1, GT, GTnn →→ KL KL11, KL, KL22,…,a,…,a∧∧ b,…, KL b,…, KLm-1m-1, KL, KLmm Thì thay b
Thì thay bằằng hai dịng:ng hai dịng: GT
GT11, GT, GT22,…., GT,…., GTn-1n-1, GT, GTnn →→ KL KL11, KL, KL22,…,a,…, KL,…,a,…, KLm-1m-1, KL, KLmm
GT
GT11, GT, GT22,…., GT,…., GTn-1n-1, GT, GTnn →→ KLKL11, KL, KL22,…,b,…, KL,…,b,…, KLm-1m-1, KL, KLmm
B
Bướ ướ c 5: Mc 5: Mộột dòngt dòng đượ đượ c chc chứứng minh nng minh nếếu tu tồồn tn tạại chung mi chung mộột mt mệệnhnhđềđề ở ở c cảả hai v hai vếế.. B
Bướ ướ c 6:c 6: 6.a.M
6.a.Mộột t vvấấnn đềđề đượ đượ c c gigiảải quyi quyếết t tr tr ọọn n vvẹẹn n nnếếu u mmọọi dòng di dòng dẫẫn n xuxuấất t bibiểểu u didiễễnn ở ở ddạạngng chu