Luận Văn Sử dụng thuật toán luyện kim song song giải quyết bài toán maxsat

Chương I: Tổng quan thuật toán mô phỏng luyện kim (Simulated Annealing = SA) 4
I. Giới thiệu chung về thuật toán SA 4
II. Mô hình toán học của thuật toán SA 6
1. Không gian trạng thái 6
2. Hàm nhiệt độ. 7
3. Hàm chi phí và hàm sức khoẻ. 8
4. Sự phân bố trạng thái giới hạn. 8
5. Sự hội tụ và điều kiện dừng. 9
Sự hội tụ. 9
Điều kiện dừng. 10
Chương II: Xây dựng khung thuật toán SA 10
I. Lý do xây dựng khung thuật toán. 10
II. Khung chung của thuật toán SA 10
III. Sơ đồ khung thuật toán. 12
1. Lớp cung cấp (Provided). 13
2. Lớp đòi hỏi (Required). 16
3. Một số hàm quan trọng trong hai lớp Required và Provide. 17
3.1. SA.pro.cpp. 17
3.2. SA.req.cpp. 18
Chương III: Ứng dụng của thuật toán SA 18
I. Bài toán MAXSAT 18
1. Giới thiệu bài toán. 18
Hàm Main_Seq. 20
III. Khung thuật toán SA song song giải quyết bài toán MAXSAT 20
1. Lựa chọn mô hình. 21
2. Cài đặt Bài toán Maxsat. 21
2.1 Sử dụng thuật toán SA 21
2.1.1 Đọc file cấu hình. 21
2.1.2 Lớp Problem đọc bài toán MAXSAT 21
2.1.3 Hàm khởi tạo nhiệt độ. 22
2.1.4 Hàm khởi tạo lời giải 23
2.1.6 Hàm tính sức khoẻ. 25
2.1.7 Hàm chấp nhận lời giải 26
2.1.8 . Hàm kết thúc thuật toán. 26
2.2 Hàm void Solver_Lan:data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAABAQMAAAAl21bKAAAAA1BMVEXh5PJm+yKVAAAAAXRSTlMAQObYZgAAAApJREFUCNdjYAAAAAIAAeIhvDMAAAAASUVORK5CYII=" class="mceSmilieSprite mceSmilie8" alt="" title="Big Grin ">oStep()[/B]. 26
[B][i]2.3[/i][/B] [B][i]Hàm Main_Lan[/i][/B]. 27
Kết quả thực nghiệm 27
1. Kết quả tuần tự. 27
2. Kết quả song song. 27