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 cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.