Câu hỏi được gắn thẻ «dynamic-programming»



4
Sự tương đương eta cho các chức năng có tương thích với hoạt động seq của Haskell không?
Bổ đề: Giả sử tương đương eta chúng ta có điều đó (\x -> ⊥) = ⊥ :: A -> B. Bằng chứng: ⊥ = (\x -> ⊥ x)bằng cách tương đương eta, và (\x -> ⊥ x) = (\x -> ⊥)bằng cách giảm theo lambda. Báo cáo Haskell 2010, …

1
Bao gồm chuỗi bởi palindromes
Cho một chuỗi , bìa palindrom là một chuỗi của các từ sao cho và sao cho mỗi là một palindrom.w = σ1σ2... σnw= =σ1σ2Giáo dụcσnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpTôipTôip_ip1p2⋯ pm= wp1p2⋯pm= =wp_1p_2\cdots p_m = wpTôipTôip_i Làm thế nào là khó khăn để tìm kích thước bìa palindrom tối thiểu? (điều này …

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.