En la complejidad del circuito, tenemos separaciones entre potencias de varios modelos de circuito. En la complejidad de la prueba, tenemos separaciones entre los poderes de varios sistemas de prueba. Pero en lo algorítmico, todavía tenemos pocas separaciones entre los poderes de los paradigmas...
Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...
El kkk -ésimo polinomio simétrico elemental Snk(x1,…,xn)Skn(x1,…,xn)S_k^n(x_1,\ldots,x_n) es la suma de todos los productos de distintas variables. Estoy interesado en la complejidad del circuito aritmético monótono de este polinomio. Un algoritmo de programación dinámica simple (así como la Fig. 1...
Dada una cadena , una cubierta de palíndromo es una secuencia p 1 p 2 ⋯ p m de palabras p i tal que p 1 p 2 ⋯ p m = w y tal que cada p i es un palíndromo .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 ¿Qué tan...
La siguiente breve descripción del conocido "Google Eggs Puzzle" proviene principalmente del sitio web Google Eggs : Google Eggs Puzzle: Dado n pisos ym huevos, ¿cuál es el enfoque para encontrar el piso más alto desde el cual los huevos se pueden tirar de manera segura, mientras se minimizan...