The approximate counting algorithm allows the counting of a large number of events using a small amount of memory. Invented in 1977 by Robert Morris of Bell Labs, it uses probabilistic techniques to increment the counter. It was fully analyzed in the early 1980s by Philippe Flajolet of INRIA Rocquencourt, who coined the name approximate counting, and strongly contributed to its recognition among the research community. When focused on high quality of approximation and low probability of failure, Nelson and Yu showed that a very slight modification to the Morris Counter is asymptotically optimal amongst all algorithms for the problem.^[1] The algorithm is considered one of the precursors of streaming algorithms, and the more general problem of determining the frequency moments of a data stream has been central to the field.

Theory of operation

Using Morris' algorithm, the counter represents an "order of magnitude estimate" of the actual count. The approximation is mathematically unbiased.

To increment the counter, a pseudo-random event is used, such that the incrementing is a probabilistic event. To save space, only the exponent is kept. For example, in base 2, the counter can estimate the count to be 1, 2, 4, 8, 16, 32, and all of the powers of two. The memory requirement is simply to hold the exponent.

As an example, to increment from 4 to 8, a pseudo-random number would be generated such that the probability the counter is increased is 0.25. Otherwise, the counter remains at 4.

The table below illustrates some of the potential values of the counter:

If the counter holds the value of 101, which equates to an exponent of 5 (the decimal equivalent of 101), then the estimated count is ${\displaystyle 2^{5}}$, or 32. There is a fairly low probability that the actual count of increment events was 5 (${\displaystyle {\frac {1}{1024}}=1\times {\frac {1}{2}}\times {\frac {1}{4}}\times {\frac {1}{8}}\times {\frac {1}{16}}}$). The actual count of increment events is likely to be "around 32", but it could be arbitrarily high (with decreasing probabilities for actual counts above 39).

Algorithm

The algorithm can be implemented by hand. When incrementing the counter, flip a coin a number of times of the corresponding to the counter's current value. If it comes up heads each time, then increment the counter. Otherwise, do not increment it.

This can be easily achieved on a computer. Let ${\displaystyle c}$ be the current value of the counter. Generating ${\displaystyle c}$ pseudo-random bits and using the logical AND of all those bits and add the result to the counter. As the result was zero if any of those pseudo-random bits are zero, achieving an increment probability of ${\displaystyle 2^{-c}}$. This procedure is executed each time the request is made to increment the counter.

Applications

The algorithm is useful in examining large data streams for patterns. This is particularly useful in applications of data compression, sight and sound recognition, and other artificial intelligence applications.

See also

• HyperLogLog

References

Sources

• Morris, R. Counting large numbers of events in small registers. Communications of the ACM 21, 10 (1978), 840–842
• Flajolet, P. Approximate Counting: A Detailed Analysis. BIT 25, (1985), 113–134
• Fouchs, M., Lee, C-K., Prodinger, H., Approximate Counting via the Poisson-Laplace-Mellin Method