Английская Википедия:First-fit-decreasing bin packing
Шаблон:Short description First-fit-decreasing (FFD) is an algorithm for bin packing. Its input is a list of items of different sizes. Its output is a packing - a partition of the items into bins of fixed capacity, such that the sum of sizes of items in each bin is at most the capacity. Ideally, we would like to use as few bins as possible, but minimizing the number of bins is an NP-hard problem, so we use an approximately-optimal heuristic.
Description
The FFD algorithm works as follows.
- Order the items from largest to smallest.
- Open a new empty bin, bin #1.
- For each item from largest to smallest, find the first bin into which the item fits, if any.
- If such a bin is found, put the new item in it.
- Otherwise, open a new empty bin put the new item in it.
In short: FFD orders the items by descending size, and then calls first-fit bin packing.
An equivalent description of the FFD algorithm is as follows.
- Order the items from largest to smallest.
- While there are remaining items:
- Open a new empty bin.
- For each item from largest to smallest:
- If it can fit into the current bin, insert it.
In the standard description, we loop over the items once, but keep many open bins. In the equivalent description, we loop over the items many times, but keep only a single open bin each time.
Performance analysis
The performance of FFD was analyzed in several steps. Below, <math>FFD(S,C)</math> denotes the number of bins used by FFD for input set S and bin-capacity C.
- In 1973, D.S. Johnson proved in his doctoral thesis[1] that <math>FFD(S,C) \leq 11/9 \mathrm{OPT}(S,C) +4</math> for any instance S and capacity C.
- In 1985, B.S. Backer[2] gave a slightly simpler proof and showed that the additive constant is not more than 3.
- Yue Minyi[3] proved that <math>FFD(S,C) \leq 11/9 \mathrm{OPT}(S,C) +1</math> in 1991 and, in 1997, improved this analysis to <math>FFD(S,C) \leq 11/9 \mathrm{OPT}(S,C) + 7/9</math> together with Li Rongheng.[4]
- In 2007 György Dósa[5] proved the tight bound <math>FFD(S,C) \leq 11/9 \mathrm{OPT}(S,C) +6/9</math> and presented an example for which <math>FFD(S,C) = 11/9 \mathrm{OPT}(S,C) +6/9</math>.
Worst-case example
The lower bound example given in by Dósa is the following: Consider the two bin configurations:
- <math>B_1 := \{1/2+\varepsilon, 1/4+\varepsilon, 1/4 - 2\varepsilon\}</math> ;
- <math>B_2 := \{1/4 + 2\varepsilon,1/4 + 2\varepsilon, 1/4-2\varepsilon, 1/4 - 2\varepsilon\}</math> .
If there are 4 copies of <math>B_1</math> and 2 copies of <math>B_2</math> in the optimal solution, FFD will compute the following bins:
- 4 bins with configuration <math>\{1/2+\varepsilon,1/4+2\varepsilon\}</math>,
- 1 bin with configuration <math>\{1/4+\varepsilon,1/4+\varepsilon,1/4+\varepsilon\}</math>,
- 1 bin with configuration <math>\{1/4+\varepsilon,1/4-2\varepsilon,1/4-2\varepsilon,1/4-2\varepsilon\}</math>,
- 1 bin with configuration <math>\{1/4-2\varepsilon,1/4-2\varepsilon,1/4-2\varepsilon,1/4-2\varepsilon\}</math>,
- 1 one final bin with configuration <math>\{1/4-2\varepsilon\}</math>,
That is, 8 bins total, while the optimum has only 6 bins. Therefore, the upper bound is tight, because <math>11/9 \cdot 6 + 6/9 = 72/9 = 8</math>.
This example can be extended to all sizes of <math>\text{OPT}(S,C)</math>:[5] in the optimal configuration there are 9k+6 bins: 6k+4 of type B1 and 3k+2 of type B2. But FFD needs at least 11k+8 bins, which is <math>\frac{11}{9}(6k+4)+\frac{6}{9}</math>.
Performance with divisible item sizes
An important special case of bin-packing is that which the item sizes form a divisible sequence (also called factored). A special case of divisible item sizes occurs in memory allocation in computer systems, where the item sizes are all powers of 2. In this case, FFD always finds the optimal packing.[6]Шаблон:Rp
Monotonicity propertiesШаблон:Anchor
Contrary to intuition, <math>FFD(S,C)</math> is not a monotonic function of C. [7]Шаблон:Rp Similarly, <math>FFD(S,C)</math> is not a monotonic function of the sizes of items in S: it is possible that an item shrinks in size, but the number of bins increases.
However, the FFD algorithm has an "asymptotic monotonicity" property, defined as follows.[7]Шаблон:Rp
- For every instance S and integer m, let MinCap(S,m) be the smallest capacity C such that <math>OPT(S,C)\leq m</math>
- For every integer m, let MinRatio(m) be the infimum of the numbers r≥1 such that, for all input sets S, <math>FFD(S,r\cdot \text{MinCap}(S,m))\leq m</math>. This is the amount by which we need to "inflate" the bins such that FFD attains the optimal number of bins.
- Then, for every input S and for every r ≥ MinRatio(m), <math>FFD(S,r\cdot \text{MinCap}(S,m))\leq m</math>. This shows, in particular, that the infimum in the above definition can be replaced by minimum.
Examples
For example, suppose the input is:
44, 24, 24, 22, 21, 17, 8, 8, 6, 6.
With capacity 60, FFD packs 3 bins:
- 44, 8, 8;
- 24, 24, 6, 6;
- 22, 21, 17.
But with capacity 61, FFD packs 4 bins:
- 44, 17;
- 24, 24, 8;
- 22, 21, 8, 6;
- 6.
This is because, with capacity 61, the 17 fits into the first bin, and thus blocks the way to the following 8, 8.
As another example,[8]Шаблон:Rp suppose the inputs are: 51, 28, 28, 28, 27, 25, 12, 12, 10, 10, 10, 10, 10, 10, 10, 10. With capacity 75, FFD packs 4 bins:
- 51, 12, 12
- 28, 28, 10
- 28, 27, 10, 10
- 25, 10, 10, 10, 10, 10
But with capacity 76, it needs 5 bins:
- 51, 25
- 28, 28, 12
- 28, 27, 12
- 10, 10, 10, 10, 10, 10, 10
- 10
Consider the above example with capacity 60. If the 17 becomes 16, then the resulting packing is:
- 44, 16;
- 24, 24, 8;
- 22, 21, 8, 6;
- 6.
Modified first-fit-decreasing
Modified first fit decreasing (MFFD)[9] improves on FFD for items larger than half a bin by classifying items by size into four size classes large, medium, small, and tiny, corresponding to items with size > 1/2 bin, > 1/3 bin, > 1/6 bin, and smaller items respectively. Then it proceeds through five phases:
- Allot a bin for each large item, ordered largest to smallest.
- Proceed forward through the bins. On each: If the smallest remaining medium item does not fit, skip this bin. Otherwise, place the largest remaining medium item that fits.
- Proceed backward through those bins that do not contain a medium item. On each: If the two smallest remaining small items do not fit, skip this bin. Otherwise, place the smallest remaining small item and the largest remaining small item that fits.
- Proceed forward through all bins. If the smallest remaining item of any size class does not fit, skip this bin. Otherwise, place the largest item that fits and stay on this bin.
- Use FFD to pack the remaining items into new bins.
This algorithm was first studied by Johnson and Garey[9] in 1985, where they proved that <math>MFFD(S,C) \leq (71/60)\mathrm{OPT}(S,C) + (31/6)</math>. This bound was improved in the year 1995 by Yue and Zhang[10] who proved that <math>MFFD(S,C) \leq (71/60)\mathrm{OPT}(S,C) + 1</math>.
Other variants
Best-fit-decreasing (BFD) is very similar to FFD, except that after the list is sorted, it is processed by best-fit bin packing. Its asymptotic approximation ratio is the same as FFD - 11/9.
Implementations
- Python: The prtpy package contains an implementation of first-fit decreasing.
See also
- Multifit algorithm - an algorithm for identical-machines scheduling, which uses FFD as a subroutine.
References