Compact optimization can outperform separation : a case study in structural proteomics.
- University of Udine, Udine, Italy
In Combinatorial Optimization, one is frequently faced with linear programming (LP) problems with exponentially many constraints, which can be solved either using separation or what we call compact optimization. The former technique relies on a separation algorithm, which, given a fractional solution, tries to produce a violated valid inequality. Compact optimization relies on describing the feasible region of the LP by a polynomial number of constraints, in a higher dimensional space. A commonly held belief is that compact optimization does not perform as well as separation in practice. In this paper, we report on an application in which compact optimization does in fact largely outperform separation. The problem arises in structural proteomics, and concerns the comparison of 3-dimensional protein folds. Our computational results show that compact optimization achieves an improvement of up to two orders of magnitude over separation. We discuss some reasons why compact optimization works in this case but not, e.g., for the LP relaxation of the TSP.
- Research Organization:
- Sandia National Laboratories
- Sponsoring Organization:
- USDOE
- DOE Contract Number:
- AC04-94AL85000
- OSTI ID:
- 972440
- Report Number(s):
- SAND2005-3575J
- Journal Information:
- Proposed for publication in 4OR., Journal Name: Proposed for publication in 4OR.
- Country of Publication:
- United States
- Language:
- English
Similar Records
Polyhedral results for the uncapacitated facility location problem: Lifting and separation
Novel Geometric Operations for Linear Programming