Preguntas etiquetadas con shannon-entropy

4
¿Es la equivalencia eta para funciones compatible con la operación seq de Haskell?
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 …




2
Información que se filtra suavemente a lo largo del tiempo
Digamos que tengo una variable aleatoria de un bit , y que sea ​​un número natural. Quiero una secuencia de variables aleatorias stX∈{0,1}X∈{0,1}X \in \{0,1\}nnn0=X0,X1,…,Xn=X0=X0,X1,…,Xn=X0 = X_0, X_1, \ldots, X_n = X H(X | {X0,…,Xk})=1−knH(X | {X0,…,Xk})=1−knH\left(X~|~\{X_0,\ldots,X_k\}\right) = 1-\frac{k}{n} Es decir, cada adicional proporciona de la información de , hasta …
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.