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:
“All the followers of science are fully persuaded that the processes of investigation, if only pushed far enough, will give one certain solution to each question to which they can be applied.... This great law is embodied in the conception of truth and reality. The opinion which is fated to be ultimately agreed to by all who investigate is what we mean by the truth, and the object represented in this opinion is the real.”
—Charles Sanders Peirce (1839–1914)
“The irregular and intimate quality of things made entirely by the human hand.”
—Willa Cather (1873–1947)
“I don’t think it is always necessary to take up the anti-colonial—or is it post- colonial?—cudgels against English. What seems to me to be happening is that those people who were once colonized by the language are now rapidly remaking it, domesticating it, becoming more and more relaxed about the way they use it—assisted by the English language’s enormous flexibility and size, they are carving out large territories for themselves within its frontiers.”
—Salman Rushdie (b. 1948)
“The Spacious Firmament on high,
With all the blue Ethereal Sky,
And spangled Heav’ns, a Shining Frame,
Their great Original proclaim:
Th’ unwearied Sun, from day to day,
Does his Creator’s Pow’r display,
And publishes to every Land
The Work of an Almighty Hand.”
—Joseph Addison (1672–1719)
“Government ... thought [it] could transform the country through massive national programs, but often the programs did not work. Too often they only made things worse. In our rush to accomplish great deeds quickly, we trampled on sound principles of restraint and endangered the rights of individuals.”
—Gerald R. Ford (b. 1913)