dynamic-programming पर टैग किए गए जवाब

सर्किट जटिलता में, हमारे पास विभिन्न सर्किट मॉडल की शक्तियों के बीच अलगाव हैं। प्रूफ जटिलता में, हमारे पास विभिन्न प्रूफ सिस्टम की शक्तियों के बीच अलगाव है। लेकिन एल्गोरिथम में, एल्गोरिथम प्रतिमानों की शक्तियों के बीच हमारे पास अभी भी केवल कुछ अलगाव हैं । नीचे दिए गए मेरे …

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

kkk वें प्राथमिक सममित बहुपद Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) सभी का योग है के उत्पादों अलग चर। मुझे इस बहुपद के मोनोटोन अंकगणित सर्किट जटिलता में दिलचस्पी है । एक साधारण गतिशील प्रोग्रामिंग एल्गोरिथ्म (साथ ही नीचे छवि 1) फाटकों के साथ एक सर्किट देता है ।(nk)(nk)\binom{n}{k}kkk(+,×)(+,×)(+,\times)(+,×)(+,×)(+,\times)O(kn)O(kn)O(kn) प्रश्न: क्या की निचली सीमा ज्ञात …

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

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 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 

एक स्ट्रिंग को देखते हुए , एक विलोमपद कवर एक दृश्य है पी 1 पी 2 ⋯ पी मीटर शब्दों के पी मैं ऐसा है कि पी 1 पी 2 ⋯ पी मीटर = डब्ल्यू और इस तरह है कि प्रत्येक पी मैं विलोमपद ।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 आकार …

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