Tài liệu Toán học hiện đạiGiải các bài toán tổ hợp khó bằng phương pháp thống kê cổ điển pptx

Toán học hiện đạiGiải các bài toán tổ hợp khó bằng phương pháp thống kê cổ điển

Viết bởi Lim Nguyễn
Thứ tư, 19 Tháng 3 2008 04:58
Từ các công trình của Mitchell, Selman và Levesque năm 1992, người ta đã nhận thấy rằng
một số bài toán tính số có thể được giải quyết bằng các tìm hiểu và khai thác thông tin từ
các pha chuyển tiếp (phase transistions) tại các giá trị đặc biệt của tham số, ví dụ như tại
nhiệt độ 0 tuyệt đối. Bài toán 3-SAT, phát triển từ công thức Boolean ở đó phát biểu rằng,
từ các mệnh AND, OR, NOT, liệu có khả năng nào mà biểu thức chứa 2 mệnh đề TRUE và
FALSE lại cho kết quả là hoàn toàn TRUE hay không . Bài báo với tựa đề " Analytic and
Algorithmic Solution of Random Satisfiability Problems" (Science , August 2 2002) của
Marc Mézard, Giorgio Parisi và Riccardo Zecchina (Orsay) đã sử dụng thống kê cổ điển để
nghiên cứu pha chuyển tiếp, và chuyển về bài toán lý thuyết thuần túy : tìm xác suất để
một tập k-SAT có ít nhất một phần tử thỏa mãn điều kiện SAT. Từ SAT xuất phát từ chữ
cái đầu của SATisfiability, hay còn gọi là bài toán Boolean satisfiability.