New approaches to multi-objective optimization

被引:34
作者
Grandoni, Fabrizio [1 ]
Ravi, R. [2 ]
Singh, Mohit [3 ]
Zenklusen, Rico [4 ]
机构
[1] Univ Italian Switzerland, IDSIA, Manno, Switzerland
[2] Carnegie Mellon Univ, Tepper Sch Business, Pittsburgh, PA 15213 USA
[3] McGill Univ, Sch Comp Sci, Montreal, PQ, Canada
[4] ETH, Dept Math, IFOR, CH-8092 Zurich, Switzerland
基金
瑞士国家科学基金会;
关键词
Multi-objective optimization; Multi-budgeted optimization; Approximation algorithms; Combinatorial optimization; SHORTEST-PATH PROBLEM; NETWORK DESIGN; APPROXIMATION SCHEMES; CONSTRAINT; ALGORITHM;
D O I
10.1007/s10107-013-0703-7
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A natural way to deal with multiple, partially conflicting objectives is turning all the objectives but one into budget constraints. Many classical optimization problems, such as maximum spanning tree and forest, shortest path, maximum weight (perfect) matching, maximum weight independent set (basis) in a matroid or in the intersection of two matroids, become NP-hard even with one budget constraint. Still, for most of these problems efficient deterministic and randomized approximation schemes are known. Not much is known however about the case of two or more budgets: filling this gap, at least partially, is the main goal of this paper. In more detail, we obtain the following main results: Using iterative rounding for the first time in multi-objective optimization, we obtain multi-criteria PTASs (which slightly violate the budget constraints) for spanning tree, matroid basis, and bipartite matching with budget constraints. We present a simple mechanism to transform multi-criteria approximation schemes into pure approximation schemes for problems whose feasible solutions define an independence system. This gives improved algorithms for several problems. In particular, this mechanism can be applied to the above bipartite matching algorithm, hence obtaining a pure PTAS. We show that points in low-dimensional faces of any matroid polytope are almost integral, an interesting result on its own. This gives a deterministic approximation scheme for -budgeted matroid independent set. We present a deterministic approximation scheme for -budgeted matching (in general graphs), where . Interestingly, to show that our procedure works, we rely on a non-constructive result by Stromquist and Woodall, which is based on the Ham Sandwich Theorem.
引用
收藏
页码:525 / 554
页数:30
相关论文
共 34 条
[1]   MINIMAL SPANNING TREE SUBJECT TO A SIDE CONSTRAINT [J].
AGGARWAL, V ;
ANEJA, YP ;
NAIR, KPK .
COMPUTERS & OPERATIONS RESEARCH, 1982, 9 (04) :287-296
[2]   Cutting the Same Fraction of Several Measures [J].
Akopyan, Arseniy ;
Karasev, Roman .
DISCRETE & COMPUTATIONAL GEOMETRY, 2013, 49 (02) :402-410
[3]  
[Anonymous], 1979, Computers and Intractablity: A Guide to the Theory of NP-Completeness
[4]  
[Anonymous], 2003, COMBINATORIAL OPTIMI
[5]  
[Anonymous], 1998, Theory of linear and integer programming
[6]  
[Anonymous], 1942, DUKE MATH J, DOI 10.1215/S0012-7094-42-00925-6
[7]  
Bansal N, 2008, ACM S THEORY COMPUT, P769
[8]   EXACT ARBORESCENCES, MATCHINGS AND CYCLES [J].
BARAHONA, F ;
PULLEYBLANK, WR .
DISCRETE APPLIED MATHEMATICS, 1987, 16 (02) :91-99
[9]   Budgeted matching and budgeted matroid intersection via the gasoline puzzle [J].
Berger, Andre ;
Bonifaci, Vincenzo ;
Grandoni, Fabrizio ;
Schafer, Guido .
MATHEMATICAL PROGRAMMING, 2011, 128 (1-2) :355-372
[10]  
Bilu V., 2004, APPROX RANDOM, P51