Balls into bins

Random allocation

When the bin for each ball is selected at random, independent of other choices, the maximum load might be as large as m . However, it is possible to calculate a tighter bound that holds with high probability. A "high probability" is a probability 1 − o ( 1 ) , i.e. the probability tends to 1 when n grows to infinity.

For the case m = n , with high probability the maximum load is:

log ⁡ n log ⁡ log ⁡ n ⋅ ( 1 + o ( 1 ) ) .

Gonnet gave a tight bound for the expected value of the maximum load, which for m = n is Γ ( − 1 ) ( n ) − 3 2 + o ( 1 ) , where Γ ( − 1 ) is the inverse of the Gamma function, and it is known that Γ ( − 1 ) ( n ) = log ⁡ n log ⁡ log ⁡ n ( 1 + o ( 1 ) ) .

The maximum load can also be calculated for m ≠ n , and for example, for m > n log ⁡ n it is m n + Θ ( m log ⁡ n n ) , and for m < n / log ⁡ n it is Θ ( log ⁡ n log ⁡ ( n / m ) ) , with high probability.

Partially random allocation

Instead of just selecting a random bin for each ball, it is possible to select two or more bins for each ball and then put the ball in the least loaded bin. This is a compromise between a deterministic allocation, in which all bins are checked and the least loaded bin is selected, and a totally random allocation, in which a single bin is selected without checking other bins.

In this case, if one allocates m balls into n bins (with m = n ) sequentially one by one, and for each ball one chooses d ≥ 2 random bins at each step and then allocates the ball into the least loaded of the selected bins (ties broken arbitrarily), then with high probability the maximum load is:

log ⁡ log ⁡ n log ⁡ d + Θ ( 1 )

which is exponentially less than with totally random allocation.

This result can be generalized to the case m ≥ n (with d ≥ 2 ), when with high probability the maximum load is:

log ⁡ log ⁡ n log ⁡ d + m n + Θ ( 1 )

which is tight up to an additive constant. (All the bounds hold with probability at least 1 − 1 / n c for any constant c.)

Note that for m > n log ⁡ n , the random allocation process gives only the maximum load of m n + Θ ( m log ⁡ n n ) with high probability, so the improvement between these two processes is especially visible for large values of m .

Infinite stream of balls

Instead of just putting m balls, it is possible to consider an infinite process in which, at each time step, a single ball is added and a single ball is taken, such that the number of balls remains constant. For m=n, after a sufficiently long time, with high probability the maximum load is similar to the finite version, both with random allocation and with partially random allocation.

Applications

Dynamic resource allocation: consider a set of n identical computers. There are n users who need computing services. The users are not coordinated - each users comes on his own and selects which computer to use. Each user would of course like to select the least loaded computer, but this requires to check the load on each computer, which might take a long time. Another option is to select a computer at random; this leads, with high probability, to a maximum load of approximately log ⁡ n log ⁡ log ⁡ n . A possible compromise is that the user will check only two computers, and use the least loaded of the two. This leads, with high probability, to a much smaller maximum load of approximately log ⁡ log ⁡ n log ⁡ 2 .

Hashing: consider a hash table in which all keys mapped to the same location are stored in a linked list. The efficiency of accessing a key depends on the length of its list. If we use a single hash function which selects locations with uniform probability, with high probability the longest chain has O ( log ⁡ n log ⁡ log ⁡ n ) keys. A possible improvement is to use two hash functions, and put each new key in the shorter of the two lists. In this case, with high probability the longest chain has only O ( log ⁡ log ⁡ n ) elements.

Proportional division.