LDRD final report : combinatorial optimization with demands.

This report summarizes the research conducted and results obtained under the LaboratoryDirected Research and Development (LDRD) project, “Combinatorial Optimization with Demands,” from October 2010 to September 2012. Complex resource allocation problems are ubiquitous in mission-driven applications. We investigated resource allocation problems endowed with additional parameters called demands, which allow for richer modeling. Demandendowed resource allocation problems are considerably harder to solve than their traditional counterparts, and we developed a conceptually simple but powerful new framework called iterative packing which allowed us to address the added complexity of demands. By leveraging iterative packing, we designed approximation algorithms to solve a large class of hard resource allocation problems with demands. Approximation algorithms are efficient heuristics which also offer a performance guarantee on the worst case deviation from the cost of an optimal solution. Our algorithms offer better performance guarantees over previously known algorithms; moreover, we are able to show that our algorithms provide performance guarantees that are likely close to best possible.

[1]  Ralph E. Gomory,et al.  An algorithm for integer solutions to linear programs , 1958 .

[2]  J. Edmonds Paths, Trees, and Flowers , 1965, Canadian Journal of Mathematics.

[3]  Jack Edmonds,et al.  Maximum matching and a polyhedron with 0,1-vertices , 1965 .

[4]  L. Wolsey Heuristic analysis, linear programming and branch and bound , 1980 .

[5]  Gérard Cornuéjols,et al.  The traveling salesman problem on a graph and some related integer polyhedra , 1985, Math. Program..

[6]  Alexander Schrijver,et al.  On the Size of Systems of Sets Every t of Which Have an SDR, with an Application to the Worst-Case Ratio of Heuristics for Packing Problems , 1989, SIAM J. Discret. Math..

[7]  David P. Williamson ANALYSIS OF THE HELD-KARP HEURISTIC FOR THE TRAVELING SALESMAN PROBLEM , 1990 .

[8]  Samir Khuller,et al.  Biconnectivity approximations and graph carvings , 1992, STOC '92.

[9]  Michel X. Goemans,et al.  Survivable networks, linear programming relaxations and the parsimonious property , 1993, Math. Program..

[10]  Zoltán Füredi,et al.  On the fractional matching polytope of a hypergraph , 1993, Comb..

[11]  Michel X. Goemans,et al.  Worst-case comparison of valid inequalities for the TSP , 1995, Math. Program..

[12]  S. Thomas McCormick,et al.  Integer Programming and Combinatorial Optimization , 1996, Lecture Notes in Computer Science.

[13]  S. Khuller Approximation algorithms for finding highly connected subgraphs , 1996 .

[14]  R. Ravi,et al.  A New Bound for the 2-Edge Connected Subgraph Problem , 1998, IPCO.

[15]  Kamal Jain,et al.  A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem , 1998, Proceedings 39th Annual Symposium on Foundations of Computer Science (Cat. No.98CB36280).

[16]  Giorgio Gambosi,et al.  Complexity and approximation: combinatorial optimization problems and their approximability properties , 1999 .

[17]  M. Halldórsson Algorithm theory - SWAT 2000 : 7th Scandinavian Workshop on Algorithm Theory, Bergen, Norway, July 5-7, 2000 : proceedings , 2000 .

[18]  Robert D. Carr,et al.  Strengthening integrality gaps for capacitated network design and covering problems , 2000, SODA '00.

[19]  Piotr Berman,et al.  A d/2 Approximation for Maximum Weight Independent Set in d-Claw Free Graphs , 2000, Nord. J. Comput..

[20]  Reuven Bar-Yehuda,et al.  A unified approach to approximating resource allocation and scheduling , 2001, JACM.

[21]  Kamal Jain A Factor 2 Approximation Algorithm for the Generalized Steiner Network Problem , 2001, Comb..

[22]  Adrian Vetta,et al.  The Demand Matching Problem , 2002, IPCO.

[23]  Robert D. Carr,et al.  Randomized metarounding , 2002, Random Struct. Algorithms.

[24]  Reuven Bar-Yehuda,et al.  Scheduling split intervals , 2002, SODA '02.

[25]  Alexander Schrijver,et al.  Combinatorial optimization. Polyhedra and efficiency. , 2003 .

[26]  Clifford Stein,et al.  Approximating disjoint-path problems using packing integer programs , 2004, Math. Program..

[27]  Michel Rigo,et al.  Abstract numeration systems and tilings , 2005 .

[28]  Chaitanya Swamy,et al.  Truthful and near-optimal mechanism design via linear programming , 2005, 46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05).

[29]  Piotr Krysta,et al.  Greedy Approximation via Duality for Packing, Combinatorial Auctions and Routing , 2005, MFCS.

[30]  H. Shachnai,et al.  Scheduling Split Intervals Reuven Bar-Yehuda yz Magn us M. Halld orsson x Joseph (Se) Naor y , 2005 .

[31]  Mohammad Taghi Hajiaghayi,et al.  Approximation Algorithms for Non-Uniform Buy-at-Bulk Network Design , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[32]  Oded Schwartz,et al.  On the complexity of approximating k-set packing , 2006, computational complexity.

[33]  Dror Rawitz,et al.  Using fractional primal-dual to schedule split intervals with demands , 2006, Discret. Optim..

[34]  Paul Elliott-Magwood,et al.  On the Integrality Gap of the 2-Edge Connected Subgraph Problem ∗ , 2006 .

[35]  V. Mirrokni,et al.  Tight approximation algorithms for maximum general assignment problems , 2006, SODA 2006.

[36]  C. Boucher,et al.  Expected Approximation Guarantees for the Demand Matching Problem , 2006 .

[37]  Chandra Chekuri,et al.  Multicommodity demand flow in a tree and packing integer programs , 2007, TALG.

[38]  Approximating minimum bounded degree spanning trees to within one of optimal , 2007, STOC '07.

[39]  Mohit Singh,et al.  Survivable network design with degree or order constraints , 2007, STOC '07.

[40]  Klaus Jansen,et al.  Approximation, Randomization and Combinatorial Optimization. Algorithms and Techniques, 11th International Workshop, APPROX 2008, and 12th International Workshop, RANDOM 2008, Boston, MA, USA, August 25-27, 2008. Proceedings , 2008, APPROX-RANDOM.

[41]  S. Boyd,et al.  A 32-Approximation Algorithm for the Multi-two-edge Connected Subgraph Problem , 2008 .

[42]  Mohit Singh,et al.  Edge Coloring and Decompositions of Weighted Graphs , 2008, ESA.

[43]  Chandra Chekuri,et al.  Unsplittable Flow in Paths and Trees and Column-Restricted Packing Integer Programs , 2009, APPROX-RANDOM.

[44]  Christos Koufogiannakis,et al.  Distributed Fractional Packing and Maximum Weighted b-Matching via Tail-Recursive Duality , 2009, DISC.

[45]  Friedrich Eisenbrand,et al.  Integer Programming and Combinatorial Optimization, 14th International Conference, IPCO 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings , 2010, IPCO.

[46]  Yuk Hei Chan,et al.  On linear and semidefinite programming relaxations for hypergraph matching , 2010, Mathematical Programming.

[47]  Ashish Goel,et al.  One Tree Suffices: A Simultaneous O(1)-Approximation for Single-Sink Buy-at-Bulk , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[48]  Deeparnab Chakrabarty,et al.  Approximability of Sparse Integer Programs , 2009, Algorithmica.

[49]  Aravind Srinivasan,et al.  On k-Column Sparse Packing Programs , 2009, IPCO.

[50]  Sanjeev Khanna,et al.  Approximability of Capacitated Network Design , 2011, IPCO.

[51]  Ojas Parekh Iterative Packing for Demand and Hypergraph Matching , 2011, IPCO.

[52]  Camil Demetrescu,et al.  Algorithms - ESA 2011 : 19th annual European symposium, Saarbrücken, Germany, September 5-9, 2011 : proceedings , 2011 .

[53]  Robert D. Carr,et al.  Approximating a 2-edge-connected subgraph problem. , 2011 .

[54]  Joseph Naor,et al.  Improved Approximations for k-Exchange Systems - (Extended Abstract) , 2011, ESA.

[55]  Spyridon Antonakopoulos,et al.  Buy-at-Bulk Network Design with Protection , 2011, Math. Oper. Res..

[56]  Ojas Parekh,et al.  Approximation algorithms for generalized hypergraph matching problems. , 2012 .

[57]  Justin Ward A (k+3)/2-approximation algorithm for monotone submodular k-set packing and general k-exchange systems , 2012, STACS.

[58]  Michel X. Goemans,et al.  Integer Programming and Combinatorial Optimization , 2014, Lecture Notes in Computer Science.

[59]  Nicos Christofides Worst-Case Analysis of a New Heuristic for the Travelling Salesman Problem , 1976, Operations Research Forum.