, Volume 7, Issue 4, pp 321-331

A simple proof of the inequality FFD (L) ≤ 11/9 OPT (L) + 1, ∀L for the FFD bin-packing algorithm

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The first fit decreasing (FFD) heuristic algorithm is one of the most famous and most studied methods for an approximative solution of the bin-packing problem. For a listL, let OPT(L) denote the minimal number of bins into whichL can be packed, and let FFD(L) denote the number of bins used by FFD. Johnson[1] showed that for every listL, FFD(L)≤11/9OPT(L)+4. His proof required more than 100 pages. Later, Baker[2] gave a much shorter and simpler proof for FFD(L)≤11/9 OPT(L)+3. His proof required 22 pages. In this paper, we give a proof for FFD(L)≤11/9 OPT(L)+1. The proof is much simpler than the previous ones.

In Commemoration of the 15th Anniversary of the Acta Mathematicae Applicatae Sinica
This work was done when the author visited the Forschungsinstitut für Diskrete Mathematik of Universität Bonn during the period from September to December, 1990. Supported by Sonderforshungsbereich 303 (DFG).