Formal Statement
Given a bin size and a list of items with sizes to pack, find an integer and a -partition of such that for all . A solution is optimal if it has minimal . The -value for an optimal solution is denoted OPT below. A possible Integer Linear Programming formulation of the problem is:
| minimize | ||
| subject to | ||
Read more about this topic: Bin Packing Problem
Famous quotes containing the words formal and/or statement:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“He that writes to himself writes to an eternal public. That statement only is fit to be made public, which you have come at in attempting to satisfy your own curiosity.”
—Ralph Waldo Emerson (1803–1882)