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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (1564–1616)
“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)