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...
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 -> b -> b seq ⊥ b = ⊥ seq...
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 (+, \...
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...
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 os arremessos...