Domande taggate «dynamic-programming»

1
La programmazione dinamica non è mai più debole di Greedy?
Nella complessità del circuito, abbiamo separazioni tra potenze di vari modelli di circuito. Nella complessità della dimostrazione, abbiamo separazioni tra poteri di vari sistemi di dimostrazione. Ma nell'algoritmo, abbiamo ancora solo poche separazioni tra i poteri dei paradigmi algoritmici . Le mie domande che seguono mirano a toccare quest'ultimo problema …
1
Complessità del circuito aritmetico monotono dei polinomi simmetrici elementari?
Il kkk -esimo polinomio simmetrico elementare è la somma di tutti i prodotti di variabili distinte. Sono interessato alla complessità del circuito aritmetico monotono (+, \ times) di questo polinomio. Un semplice algoritmo di programmazione dinamica (così come la figura 1 sotto) fornisce un circuito (+, \ times) con porte …
4
L'equivalenza eta per le funzioni è compatibile con l'operazione seq di Haskell?
Lemma: Supponendo che eta-equivalenza lo abbiamo (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)per eta-equivalenza e (\x -> ⊥ x) = (\x -> ⊥)per riduzione sotto la lambda. Il rapporto Haskell 2010, sezione 6.2 specifica la seqfunzione con due equazioni: seq :: …
1
Corda coprente di palindromi
Data una stringa , una copertina di palindrome è una sequenza di parole tale che e tale che ogni è un palindromo.w=σ1σ2…σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯pmp1p2⋯pmp_1p_2\cdots p_mpipip_ip1p2⋯pm=wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Quanto è difficile trovare la copertina in palindromo di dimensioni minime? (questo sembra fattibile con la programmazione dinamica, ma non sono sicuro che funzioni). …
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.