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:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“If we do take statements to be the primary bearers of truth, there seems to be a very simple answer to the question, what is it for them to be true: for a statement to be true is for things to be as they are stated to be.”
—J.L. (John Langshaw)