Questions marquées «dynamic-programming»

1
La programmation dynamique n'est-elle jamais plus faible que Greedy?
Dans la complexité du circuit, nous avons des séparations entre les puissances des différents modèles de circuits. Dans la complexité de la preuve, nous avons des séparations entre les puissances des différents systèmes de preuve. Mais dans l'algorithmique, nous n'avons encore que peu de séparations entre les puissances des paradigmes …
1
Complexité du circuit arithmétique monotone des polynômes symétriques élémentaires?
Le kkk -ième polynôme symétrique élémentaire est la somme de tous produits de variables distinctes. Je m'intéresse à la complexité du circuit arithmétique monotone de ce polynôme. Un algorithme de programmation dynamique simple (ainsi que la figure 1 ci-dessous) donne un circuit avec des portes .Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n)(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) Question: une limite inférieure …
4
L'équivalence eta pour les fonctions est-elle compatible avec l'opération seq de Haskell?
Lemme: En supposant une équivalence éta, nous avons cela (\x -> ⊥) = ⊥ :: A -> B. Preuve: ⊥ = (\x -> ⊥ x)par eta-équivalence, et (\x -> ⊥ x) = (\x -> ⊥)par réduction sous lambda. Le rapport Haskell 2010, section 6.2 spécifie la seqfonction par deux équations: …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.