Home
Luận văn - báo cáo
Thạc sĩ cao học
Luận văn thạc sĩ khoa học: Bài toán thỏa mãn ràng buộc, lập trình Logic Ràng buộc và lập trình ràng buộc áp dụng với bài toán người chơi gôn
Luận văn thạc sĩ khoa học: Bài toán thỏa mãn ràng buộc, lập trình Logic Ràng buộc và lập trình ràng buộc áp dụng với bài toán người chơi gôn
BỘ GIÁO DỤC VÀ ĐÀO TẠO
TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI
--------------------------------------
LUẬN VĂN THẠC SỸ KHOA HỌC
LẬP TRÌNH RÀNG BUỘC VỚI
BÀI TOÁN NGƯỜI CHƠI GÔN
NGHÀNH: CÔNG NGHỆ THÔNG TIN
MÃ SỐ:
NGUYỄN VĂN HẬU
Người hướng dẫn khoa học: PGS. TS. NGUYỄN THANH THUỶ
TS. FRANCISCO AZEVEDO
HÀ NỘI 2006
1
Luận văn thạc sĩ Lập trình ràng buộc và bài toán người chơi gôn
MỤC LỤC
LỜI NÓI ĐẦU .......................................................................................................4
KÍ HIỆU VÀ Ý NGHĨA CÁC TỪ VIẾT TẮT......................................................6
PHẦN I. GIỚI THIỆU VỀ LẬP TRÌNH RÀNG BUỘC ................................8
PHẦN II. NHỮNG CƠ SỞ VỀ BÀI TOÁN THỎA MÃN RÀNG BUỘC
....................18
CHƯƠNG 1. GIỚI THIỆU NHỮNG KHÁI NIỆM CƠ BẢN ....................... 18
1.1. Những định nghĩa quan trọng trong CSP........................................... 18
1.1.1. Định nghĩa miền và nhãn ............................................................ 18
1.1.2. Định nghĩa ràng buộc.................................................................. 20
1.1.3. Định nghĩa sự thỏa mãn .............................................................. 21
1.1.4. Định nghĩa bài toán thỏa mãn ràng buộc (CSP): ........................ 22
1.1.5. Nhiệm vụ trong bài toán CSP...................................................... 23
1.2. CSP cho ràng buộc nhị phân .............................................................. 24
1.3. Một vài ví dụ...................................................................................... 24
1.3.1. Bài toán N-quân hậu.................................................................... 24
1.3.2. Bài toán SEND+MORE=MONEY ............................................. 25
CHƯƠNG 2. GIẢI BÀI TOÁN THỎA MÃN RÀNG BUỘC.................... 27
2.1. Rút gọn bài toán (Problem redution).................................................. 27
2.1.1 Các định nghĩa............................................................................. 27
2.1.2 Việc rút gọn bài toán:.................................................................. 28
2.1.3 Bài toán tối thiểu ......................................................................... 29
2.2. Tìm kiếm bộ nghiệm .......................................................................... 30
2.2.1 Thuật toán quay lui đơn giản (Simple Backtracking)................. 30
2.2.2 Không gian tìm kiếm của CSPs .................................................. 32
2.2.3 Đặc tính tổng quát của không gian tìm kiếm trong CSPs........... 34
2.2.4 Kết hợp tìm kiếm và rút gọn bài toán ......................................... 35
2.2.5 Những điểm chọn trong tìm kiếm ............................................... 35
CHƯƠNG 3. THUẬT TOÁN NHẰM RÚT GỌN VÀ TÌM KIẾM LỜI GIẢI
CHO BÀI TOÁN.............................................................................................. 40
3.1. Một số thuật toán nhằm rút gọn thuật toán. ....................................... 40
3.2. Một số thuật toán nhằm tìm kiếm lới giải cho bài toán...................... 41
PHẦN III. BÀI TOÁN NGƯỜI CHƠI GÔN ...............................................43
2
Luận văn thạc sĩ Lập trình ràng buộc và bài toán người chơi gôn
CHƯƠNG 1. GIỚI THIỆU BÀI TOÁN...................................................... 44
1.1. Giới thiệu............................................................................................ 44
1.2. Những vấn đề cần giải quyết trong bài toán....................................... 46
1.3. Sự đối xứng trong bài toán lập trình ràng buộc.................................. 46
1.3.1. Định nghĩa sự đối xứng trong CSPs............................................ 46
1.3.2. Các phương pháp loại bỏ đối xứng ............................................. 48
1.4. Sự đối xứng trong SGP ...................................................................... 49
CHƯƠNG 2. LOẠI BỎ ĐỐI XỨNG BẰNG PHƯƠNG PHÁP TĨNH TRONG
BÀI TOÁN SGP............................................................................................... 51
2.1 Loại bỏ đối xứng tĩnh cơ bản ............................................................. 51
2.2 Loại bỏ đối xứng tĩnh bằng kỹ thuật hạn chế miền (ND) .................. 53
2.3 Loại bỏ đối xứng tĩnh bằng kỹ thuật cố định một số tay gôn ............ 55
CHƯƠNG 3. CÁC MÔ HÌNH CÙNG PHƯƠNG PHÁP GIẢI SGP.............. 56
3.1 Mô hình dùng biến tập........................................................................ 56
3.2 Mô hình dùng biến nguyên................................................................. 57
3.3 Mô hình kết hợp giữa biến tập và biến nguyên.................................. 58
3.4 Mô hình AMPL .................................................................................. 60
CHƯƠNG 4. LOẠI BỎ ĐỐI XỨNG BẰNG PHƯƠNG PHÁP THÊM RÀNG
BUỘC TRONG THỜI GIAN TÌM KIẾM CHO SGP ..................................... 62
4.1 Phương pháp SBDS........................................................................... 62
4.1.1 Giới thiệu SBDS.......................................................................... 62
4.1.2 SBDS cho SGP............................................................................ 65
4.2 Phương pháp SBDD .......................................................................... 66
4.2.1 Giới thiệu SBDD......................................................................... 66
4.2.2 SBDD với DFS............................................................................ 68
4.2.3 SBDD áp dụng vào SGP ............................................................. 69
4.2.4 Kết quả khi áp dụng SBDD cho SGP ......................................... 71
4.2.5 So sánh SBDS và SBDD............................................................. 73
CHƯƠNG 5. MỘT SỐ PHƯƠNG PHÁP LOẠI BỎ ĐỐI XỨNG ĐỘNG
KHÁC CHO SGP ............................................................................................. 75
5.1 Loại bỏ đối xứng với Intelligent-Backtracking (IB) .......................... 75
5.1.1 Ý tưởng thuật toán....................................................................... 75
3
Luận văn thạc sĩ Lập trình ràng buộc và bài toán người chơi gôn
5.1.2 Thuật toán.................................................................................... 77
5.2 Local Search cho SGP........................................................................ 79
5.2.1 Mô hình ....................................................................................... 79
5.2.2 Lân cận (Neighborhood) và thành phần Tabu ............................ 79
5.2.3 Thuật toán.................................................................................... 80
CHƯƠNG 6. LOẠI BỎ ĐỐI XỨNG BẰNG PHƯƠNG PHÁP TĨNH VÀ
THÊM RÀNG BUỘC DƯ THỪA ĐỂ GIẢI SGP........................................... 81
6.1 Loại bỏ đối xứng trong SGP bằng nhiều điểm nhìn........................... 81
6.1.1 Một số khái niệm quan trọng ...................................................... 81
6.1.2 Loại bỏ đối xứng bằng phương pháp nhiều “điểm nhìn”............ 82
6.2 Loại bỏ đối xứng bằng hạn chế miền và cố định một số tay gôn ...... 88
6.3 So sánh với một số kỹ thuật khác....................................................... 90
CHƯƠNG 7. GIẢI SGP TRONG MỘT SỐ TRƯỜNG HỢP ĐẶC BIỆT VÀ
MỐI LIÊN QUAN VỚI CÁC HÌNH VUÔNG LATIN TRỰC GIAO............ 97
7.1 Giới thiệu thuật toán........................................................................... 97
7.2 Một số thảo luận cùng kết quả xung quanh thuật toán....................... 99
7.3 Liên hệ SGP với hình vuông Latin trực giao ................................... 101
7.3.1 Giới thiệu hình vuông Latin trực giao....................................... 101
7.3.2 Mối liên hệ giữa MOLS và SGP............................................... 104
7.3.3 Mối liên hệ giữa SGP và MOLR............................................... 106
PHẦN IV. KẾT LUẬN.....................................................................................107
TÀI LIỆU THAM KHẢO..................................................................................113
4
Luận văn thạc sĩ Lập trình ràng buộc và bài toán người chơi gôn
LỜI NÓI ĐẦU
Người đầu tiên mà tôi xin dành sự cảm ơn và kính trọng đặc biệt là PGS. TS.
Nguyễn Thanh Thủy. Không những cuốn sách đầu tiên đã làm tôi say mê với
“Trí tuệ Nhân tạo” là của Thầy mà Thầy còn là người trực tiếp hướng dẫn của
tôi. Chính Thầy là người đã tin tưởng và tạo điều kiện tốt nhất cho tôi hoàn
thành Luận văn tốt nghiệp này.
Chắc chắn sẽ không thể nói hết được những tình cảm mà tôi muốn nói, muốn
cảm ơn tới TS. Francisco Azevedo. Thầy là người cùng tôi ngồi viết những
chương trình đầu tiên và sửa lỗi cho tôi. Mọi thắc mắc của tôi đều được Thầy
giải đáp và còn hơn thế nữa. Thầy coi tôi là một người bạn, với tôi, Thầy là
một người bạn lớn.
Tôi cũng rất muốn dành lời cảm ơn tới TS. Trần Đình Khang, người đã có
những giúp đỡ tôi, động viên tôi rất nhiều về mặt tinh thần.
Tôi xin cảm ơn tới tất cả những đồng nghiệp trong khoa CNTT, trường
ĐHSPKT Hưng Yên, đặc biệt là Th.S Ngô Hữu Tình, Th.S Nguyễn Minh Quý
và Th.S Nguyễn Đình Hân, họ là nguồn động viên rất lớn cho tôi.
Xin cảm ơn những người bạn tốt của tôi: Việt, Lý, Chuẩn, Hiếu, Thế, Zhang
Dong, Manoela, họ đã cổ vũ và chia sẻ với tôi mọi điều trong cuộc sống.
Những người cuối cùng mà tôi xin dành lời cảm ơn, là gia đình tôi. Họ luôn là
điểm tựa đầu tiên và mãi mãi của tôi. Mọi điều tôi làm, tôi đều nghĩ tới họ.
Lisbon, Ngày 26 tháng 10 năm 2006
5
Luận văn thạc sĩ Lập trình ràng buộc và bài toán người chơi gôn
ACKNOWLEDGEMENTS
The first person I would like to thank and respect specially is Prof. Nguyen
Thanh Thuy. Not only the first book that I read made me interested in
“Artificial Intelligence”, but also he is my excellent supervisor. He believed
in me, gave me a good change to do my thesis. If he had not taught and led
me, probably I could have not got this thesis.
I am sure that there are not enough words to thank Prof. Francisco Azevedo
for all things he have been doing for me since I came here. He helped me with
the first steps from “Prolog” to “Constraint Programming”. He read, try to
understand and correct for my program. I have learnt lots of things from him.
He invited me to go to his home, enjoin dinner with him and take me around
Lisbon many times. He is so kind, thoughtful. He is a outstanding person. He
consider me as a friend, for me, he is my great friend.
I also would like to thank Dr. Tran Dinh Khang for his help and support me
during the time I have done the thesis.
My acknowledgements to all my colleagues, especially M.Sc.Ngo Huu Tinh,
M.Sc.Nguyen Minh Quy, and M.Sc.Nguyen Dinh Han for encouraging me a
lot.
Thank you to my best friend: Viet, Ly, Chuan, Hieu, The, Zhang Dong, and
Manoela, they have been encouraging me in everything.
The last people I would like to thank are my family, all of them help, support,
love me during whole my life. They are my the first fulcrum and forever.
Everything I do, I do it for them.
Lisbon, 26 September, 2006
có thể bạn quan tâm
Luận văn thạc sĩ: Lập trình logic- nghiên cứu, phân tích các phương ph...
114
1.140
365
Thạc sĩ cao học
114
(New)
Các Bước xây dựng hệ thống kế toán quản trị
2
876
371
Kế toán, kiểm toán
2
(New)
Các bước đăng ký chương trình khuyến mãi
4
881
271
Kế toán, kiểm toán
4
(New)
Hướng dẫn chi tiết các bước lập trình cơ bản với hệ điều hành android
122
764
280
Lập trình
122
(New)
Các bước vô hiệu hóa hoặc gỡ bỏ hoàn toàn ứng dụng Onedrive trên windo...
8
805
264
Cơ sở dữ liệu
8
(New)
TRẺ MỌC RĂNG NÊN ĂN GÌ
3
753
268
Dinh dưỡng
3
(New)
Cách rang thịt đậm đà đưa cơm
6
902
164
Món ngon mỗi ngày
6
(New)
GIẢI PHÁP KHI TRẺ MỌC RĂNG
3
915
287
Dinh dưỡng
3
(New)
thông tin tài liệu
(2) Độ sâu của cây được cố định
Khi các biến được cố định, độ sâu của cây tìm kiếm luôn luôn bằng số biến trong bài toán. Trong cả hai ví dụ Hình 2.2 và 2.3, độ sâu đều là 3. Khi trật tự của biến không cố định, độ sâu chính xác là 2n, với n là số biến.
(3) Các cây con tương tự nhau
Nếu chúng ta cố định biến, khi đó các cây con cùng mức sẽ tương tự nhau. Điều này rất có ý nghĩa trong khi tìm kiếm một cây con khi chúng ta đã tìm kiếm được anh em của nó (sẽ nói thêm trong phần loại bỏ đối xứng ).
Mở rộng để xem thêm
tài liệu mới trong mục này
Giới thiệu chung về bảo mật vô tuyến- Kiến trúc bảo mật mạng GSM và Kiến trúc bảo mật mạng GSM
Tổng quan về cân bằng nước hệ thống và mô hình IQQM, áp dụng mô hình IQQM tính toán cân bằng nước hệ thống Tổng quan về cân bằng nước hệ thống và mô hình IQQM, áp dụng mô hình IQQM tính toán cân bằng nước hệ thống lưu vực sông Kiến Giang, Quảng Bình
Xây dựng cơ sở dữ liệu về đặc trưng lâm học của một số ưu hợp thực vật ưu thế cây họ Sao – Dầu ở Đồng Nai để làm căn cứ xây dựng những biện pháp khai thác – tái sinh, nuôi dưỡng và bảo tồn những hệ sinh thái rừng ưu thế cây họ Sao – Dầu ở Đông Nam Bộ
So sánh một số yếu tố môi trường nước trong quầng nuôi tôm có trồng Rau nhút và tôm có chất chà ở xã Bình Thạnh Đông, huyện Phú Tân, tỉnh An Giang
Khảo sát và phân tích định lượng để tìm hiểu sự khác biệt của các yếu tố môi trường đào tạo, đặc điểm cá nhân và KQHT ở hai trường và so sánh để tìm hiểu sự khác biệt ở hai môi trường giáo dục khác nhau
tài liệu hot trong mục này
Luận văn về các tác nhân ảnh hưởng đến kết quả học tập của sinh viên chính quy trường Đại Học Kinh Tế- TP HCM
Luận văn thạc sỹ: Phân tích và đánh giá chiến lược kinh doanh tại công ty sữa Vinamilk
Luận văn thạc sĩ: Tổng quan về thị trường chứng khoán Việt Nam và các giải pháp nhằm hạn chế rủi ro trên thị trường chứng khoán Việt Nam
Luận văn thạc sĩ tôn giáo học: Quản lý nhà nước về hoạt động quản lý tôn giáo tại TP.Hồ Chí Minh- thành tựu, hạn chế và vấn đề đặt ra
Luận văn: Tổng quan về ngành dệt nhuộm và các chất thải, phương pháp xử cơ-hóa-sinh học chất thải dệt nhuộm
tài liệu giúp tôi
Nếu bạn không tìm thấy tài liệu mình cần có thể gửi yêu cầu ở đây để chúng tôi tìm giúp bạn!
xem nhiều trong tuần
Giáo trình Quản trị học của Đại học kinh tế quốc dân
Mẫu slide chủ đề âm nhạc
Tâm lý xã hội VÀ Hệ tư tưởng
Tham khảo 12 bài tập nguyên lý thống kê có lời giải
4 đề thi học sinh giỏi Toán lớp 2, có đáp án kèm theo
Các hiệu ứng HTML cho trang web
yêu cầu tài liệu
Giúp bạn tìm tài liệu chưa có
×
