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. . 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. 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ị