Sea una secuencia de enteros donde cada a j ∈ { 1 , 2 , ... , n } . Para i ∈ { 1 , 2 , ... , n } , sea m i = | { j : a j = i } | . El k ésimo momento de frecuencia se define como
En su conocido artículo, La complejidad espacial de aproximar los momentos de frecuencia , Alon et al. proporcione un algoritmo de transmisión que se aproxime a usando aproximadamente O ( n 1 - 1espacio. También utilizan técnicas de complejidad de comunicación para obtener un límite inferior deΩ(n1-5parak>5. Parak=0,1,2, proporcionan más o menos límites superiores e inferiores coincidentes.
¿Ha habido mejoras en estos límites desde entonces, y ha habido progreso para ?