FAST - Tư duy nhanh với phân hoạch xử lý

• FAST là phương pháp phổ biến được sử dụng để giải quyết các bài toán bằng phương pháp quy nạp. Cá nhân mình nhận định, các bài toán trong cuộc sống thường được giải quyết bản năng bằng phương pháp này.
• "FAST" ở đây thực ra là tên các chữ cái lấy ra từ các bước trong phương pháp này trong tiếng anh. Các bước đó là:

-Tìm giải pháp đầu tiên (First Solution)
-Phân tích giải pháp đầu tiên vừa tìm ra (Analyze the first solution)
-Tìm các đoạn lặp của chúng (Identify the Subproblems)
-Chuyển về dạng của quy hoạch động(Turn the solution around)

1. Tìm giải pháp đầu tiên (First Solution)

- Liệt kê các giải pháp giải quyết bài toán thành 1 danh sách. Các giải pháp được hình thành do cách tiếp cận vấn đề từ các hướng khác nhau. Trong trường hợp chủ thể không tìm được giải pháp nào, không có ý tưởng gì trong đầu thì việc tìm kiếm 1 ý tưởng quay lại bài toán xác định ý tưởng mà tôi đã đề cập tại bài trước. 1 loạt các hành động phải được thực hiện để hình thành 1 hoặc nhiều phương án xử lí bài toán mục tiêu:

• Diễn dịch: sử dụng biện luận từ 1 hoặc nhiều tiên đề để đạt được 1 kết luận chắc chắn một cách logic
• Quy nạp: có nghĩa là “đạt được một điều gì đó bằng biện luận, dẫn tới một điều gì đó như một kết luận, hoặc suy luận, để đề xuất/gợi ý hoặc ám chỉ-> induction “một quá trình suy luận 1 định luật hoặc nguyên tắc chung từ những quan sát cụ thể”

+ Generalization: quy nạp khái quát
+ Statistical syllogism: tam đoạn luận thống kê
+ Simple induction: quy nạp đơn giản
+ Argument from analogy: lập luận từ phép loại suy
+ Causal inference: suy luận nhân quả
+ Prediction: dự đoán

• Phản chứng: Sử dụng phương pháp phản chứng là đi tìm sự mâu thuẫn từ giả thuyết đến kết luận, tức là nếu ta muốn chứng minh kết luận của bài toán là đúng thì phải chúng minh cái ngược lại với nó là sai.

- Chọn 1 giải pháp trong các phương án đã được 

1. Phân tích giải pháp được lựa chọn

Tham khảo

How to solve any dynamic programming problem