Báo cáo khoa học - Thuật toán luyện kim song song (parallel simulated annealing algorithms) giải quyết bài toán max sat - Nhiều bài toán tối ưu chưa có thuật toán chính xác để giải quyết cho nên cần có một thuật toán gần đúng để tìm lời giải gần tối ưu. - Không gian lời giải cần tìm là rất lớn nếu một máy tính tìm kiếm sẽ rất lâu nên cần nhiều máy giải quyết và các máy phải thực hiện đồng thời. Điều này có thể thực hiện dễ dàng nếu các máy tính tính toán song song. Vì vậy việc tìm hiểu về các thuật toán song song là cần thiết và mang tính khả thi đối với các bài toán tối ưu - Để rút ngắn thời gian lập trình chúng ta cần xây dựng khung thuật toán giúp giải quyết các bài toán khác nhanh chóng hơn. - Mục đích của đề tài này là sử dụng thuật toán luyện kim song song để giải quyết bài toán tối ưu MAXSAT. Đề tài bao gồm các nhiệm vụ sau: · Nghiên cứu lý thuyết về thuật toán luyện kim · Xây dựng khung thuật toán chung cho các bài toán sử dụng thuật toán luyện kim · Áp dụng khung thuật toán luyện kim cho bài toán MAXSAT · Cài đặt bài toán MAXSAT và đưa ra kết quả thực nghiệm trên cả chương trình tuần tự và chương trình song song. ✪ ✪ ✪ ✪ ✪ Hidden Content: **Hidden Content: Content of this hidden block can only be seen by members of (usergroups: V.I.P Downloader).** Theo LTTK Education