Solution Quality of Relaxed and Original Programs
The linear programming relaxation of an integer program may be solved using any standard linear programming technique. If the optimal solution to the linear program happens to have all variables either 0 or 1, it will also be an optimal solution to the original integer program. However, this is generally not true, except for some special cases (e.g., problems with totally unimodular matrix specifications.)
In all cases, though, the solution quality of the linear program is at least as good as that of the integer program, because any integer program solution would also be a valid linear program solution. That is, in a maximization problem, the relaxed program has a value greater than or equal to that of the original program, while in a minimization problem such as the set cover problem the relaxed program has a value smaller than or equal to that of the original program. Thus, the relaxation provides a bound on the integer program's solution quality.
In the example instance of the set cover problem described above, in which the relaxation has an optimal solution value of 3/2, we can deduce that the optimal solution value of the unrelaxed integer program is at least as large. Since the set cover problem has solution values that are integers (the numbers of sets chosen in the subfamily), the optimal solution quality must be at least as large as the next larger integer, 2. Thus, in this instance, despite having a different value from the unrelaxed problem, the linear programming relaxation gives us a tight lower bound on the solution quality of the original problem.
Read more about this topic: Linear Programming Relaxation
Famous quotes containing the words solution, quality, relaxed, original and/or programs:
“Let us begin to understand the argument.
There is a solution to everything: Science.”
—Allen Tate (18991979)
“But the quality of the imagination is to flow, and not to freeze.”
—Ralph Waldo Emerson (18031882)
“The [nineteenth-century] young men who were Puritans in politics were anti-Puritans in literature. They were willing to die for the independence of Poland or the Manchester Fenians; and they relaxed their tension by voluptuous reading in Swinburne.”
—Rebecca West (18921983)
“The product of mental laborsciencealways stands far below its value, because the labor-time necessary to reproduce it has no relation at all to the labor-time required for its original production.”
—Karl Marx (18181883)
“Although good early childhood programs can benefit all children, they are not a quick fix for all of societys illsfrom crime in the streets to adolescent pregnancy, from school failure to unemployment. We must emphasize that good quality early childhood programs can help change the social and educational outcomes for many children, but they are not a panacea; they cannot ameliorate the effects of all harmful social and psychological environments.”
—Barbara Bowman (20th century)