tailieunhanh - Luận văn: Lập trình ràng buộc với bài toán người chơi gôn

Lập trình ràng buộc là một trong những phát triển thú vị và mạnh mẽ nhất của ngôn ngữ lập trình trong thập kỷ gần đây .Được xây dựng trên cơ sở lý thuyết toán học vững chắc , nó đang phát triển và đặc biệt là nó cũng đang thu hút sự quan tâm mạnh mẽ trong việc áp dụng vào lĩnh vực thương mại , nó trở thành phương pháp mô hình hóa cho nhiều loại bài toán tối ưu , cụ thể là trong các ràng buộc có sự hỗn tạp và các bài toán tìm kiếm. | 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 MỤC LỤC LỜI NÓI KÍ HIỆU VÀ Ý NGHĨA CÁC TỪ VIẾT PHẦN I. GIỚI THIỆU VỀ LẬP TRÌNH RÀNG PHẦN II. NHỮNG CƠ SỞ VỀ BÀI TOÁN THỎA MÃN RÀNG CHƯƠNG 1. GIỚI THIỆU NHỮNG KHÁI NIỆM CƠ . Những định nghĩa quan trọng trong . Định nghĩa miền và . Định nghĩa ràng . Định nghĩa sự thỏa . Định nghĩa bài toán thỏa mãn ràng buộc CSP .22 . Nhiệm vụ trong bài toán . CSP cho ràng buộc nhị phân . 24 . Một vài ví dụ . 24 . Bài toán N-quân . Bài toán SEND MORE MONEY . 25 CHƯƠNG 2. GIẢI BÀI TOÁN THỎA MÃN RÀNG . Rút gọn bài toán Problem redution .27 Các định Việc rút gọn bài toán .28 Bài toán tối . Tìm kiếm bộ Thuật toán quay lui đơn giản Simple Backtracking .30 Không gian tìm kiếm của Đặc tính tổng quát của không gian tìm kiếm trong Kết hợp tìm kiếm và rút gọn bài Những điểm chọn trong tìm 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 . Một số thuật toán nhằm rút gọn thuật . Một số thuật toán nhằm tìm kiếm lới giải cho bài PHẦN III. BÀI TOÁN NGƯỜI CHƠI 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 2 CHƯƠNG 1. GIỚI THIỆU BÀI . Giới . Những vấn đề cần giải quyết trong bài . Sự đối xứng trong bài toán lập trình ràng . Định nghĩa sự đối xứng trong . Các phương pháp loại bỏ đối . Sự đối xứng trong CHƯƠNG 2. LOẠI BỎ ĐỐI XỨNG BẰNG PHƯƠNG PHÁP TĨNH TRONG BÀI TOÁN Loại bỏ đối xứng tĩnh cơ Loại bỏ đối xứng tĩnh bằng kỹ thuật hạn chế .