Perguntas com a marcação «dynamic-programming»

Na complexidade do circuito, temos separações entre potências de vários modelos de circuitos. Na complexidade da prova, temos separações entre potências de vários sistemas de prova. Mas no algorítmico, ainda temos poucas separações entre os poderes dos paradigmas algorítmicos . Minhas perguntas abaixo visam abordar esse último problema por dois …

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

O ésimo polinômio simétrico elementar é a soma de todos os produtos \ binom {n} {k} de k variáveis ​​distintas. Estou interessado na complexidade aritmética monotônica (+, \ times) desse polinômio. Um algoritmo de programação dinâmica simples (assim como a Fig. 1 abaixo) fornece um circuito (+, \ times) com …

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

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

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 

Dada uma sequência , uma capa do palíndromo é uma sequência de palavras modo que e que cada seja um palíndromo.p 1 p 2 ⋯ p m p i p 1 p 2 ⋯ p m = ww = σ1σ2… Σnw=σ1σ2…σnw=\sigma_1\sigma_2\ldots\sigma_np1p2⋯ pmp1p2⋯pmp_1p_2\cdots p_mpEupip_ip1p2⋯ pm= wp1p2⋯pm=wp_1p_2\cdots p_m = wpipip_i Quão difícil …

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

A breve descrição a seguir do conhecido "Google Eggs Puzzle" vem principalmente do site Google Eggs : Quebra-cabeça de ovos do Google: dados n andares e m ovos, qual é a abordagem para encontrar o andar mais alto a partir do qual os ovos podem ser jogados com segurança, minimizando …

8 ds.algorithms  puzzles  dynamic-programming