Dispersor

Un dispersor es un extractor unilateral . ^{[ 1 ]} Mientras que un extractor requiere que cada evento tenga la misma probabilidad bajo la distribución uniforme y la distribución extraída, para un dispersor solo se requiere esta última. Por lo tanto, para un dispersor, un evento${\displaystyle A\subseteq \{0,1\}^{m}}$tenemos: ${\displaystyle Pr_{U_{m}}[A]>1-\epsilon }$

Definición (Dispersor): Un${\displaystyle (k,\epsilon )}$-dispersor es una función

${\displaystyle Dis:\{0,1\}^{n}\times \{0,1\}^{d}\rightarrow \{0,1\}^{m}}$

de tal manera que para cada distribución${\displaystyle X}$en${\displaystyle \{0,1\}^{n}}$con${\displaystyle H_{\infty }(X)\geq k}$el apoyo de la distribución${\displaystyle Dis(X,U_{d})}$es de tamaño al menos${\displaystyle (1-\epsilon )2^{m}}$.

Un ( N , M , D , K , e )-dispersor es un grafo bipartito con N vértices en el lado izquierdo, cada uno con grado D , y M vértices en el lado derecho, de tal manera que cada subconjunto de K vértices en el lado izquierdo está conectado a más de (1 − e ) M vértices en el lado derecho.  

Un extractor es un tipo de grafo relacionado que garantiza una propiedad aún más fuerte; todo extractor ( N , M , D , K , e ) es también un dispersor ( N , M , D , K , e ) .

Un dispersor es un dispositivo de mezcla de alta velocidad que se utiliza para dispersar o disolver pigmentos y otros sólidos en un líquido.

• Gráfico expansor