2
Làm thế nào bạn có thể xây dựng một bảng ghi nhớ cưỡng chế cho các hàm đệ quy trên cây nhị phân?
Các StreamMemo thư viện cho Coq minh họa cách memoize một chức năng f : nat -> Aso với các số tự nhiên. Đặc biệt khi f (S n) = g (f n), các imemo_makechia sẻ tính toán của các cuộc gọi đệ quy. Giả sử thay vì số tự …