«dynamic-programming» etiketlenmiş sorular

Devre karmaşıklığında, çeşitli devre modellerinin güçleri arasında ayrımlarımız vardır. İspat karmaşıklığında, çeşitli ispat sistemlerinin güçleri arasında ayrımlarımız var. Ancak algoritmik olarak, algoritmik paradigmaların güçleri arasında hala çok az ayrımımız var. . Aşağıdaki sorularım iki paradigma için bu ikinci soruna değinmeyi amaçlıyor: Açgözlü ve Dinamik Programlama. Bir dizi temel öğemiz var …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

temel simetrik polinom inci her toplamıdır \ binom {n} {k} ürünleri k farklı değişkenler. Bu polinomun monoton aritmetik (+, \ times) devre karmaşıklığıyla ilgileniyorum . Basit bir dinamik programlama algoritması (aşağıdaki Şekil 1'in yanı sıra ) O (kn) geçitli bir (+, \ times) devresi verir .S n k ( x …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Bir dizi göz önüne alındığında , bir palindrom kapak dizisidir p 1 p 2 ⋯ p m kelimeler arasında p I öyle ki p 1 p 2 ⋯ p m = W ve her bir şekilde, p ı bir palindrom olan .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 Minimal palindrom kapak boyutunu …

12 ds.algorithms  dynamic-programming  string-matching  covering-problems