Degree-Bounded Generalized Polymatroids and Approximating the Metric Many-Visits TSP

In the Bounded Degree Matroid Basis Problem, we are given a matroid and a hypergraph on the same ground set, together with costs for the elements of that set as well as lower and upper bounds $f(\varepsilon)$ and $g(\varepsilon)$ for each hyperedge $\varepsilon$. The objective is to find a minimum-cost basis $B$ such that $f(\varepsilon) \leq |B \cap \varepsilon| \leq g(\varepsilon)$ for each hyperedge $\varepsilon$. Kiraly et al. (Combinatorica, 2012) provided an algorithm that finds a basis of cost at most the optimum value which violates the lower and upper bounds by at most $2 \Delta-1$, where $\Delta$ is the maximum degree of the hypergraph. When only lower or only upper bounds are present for each hyperedge, this additive error is decreased to $\Delta-1$. We consider an extension of the matroid basis problem to generalized polymatroids, or g-polymatroids, and additionally allow element multiplicities. The Bounded Degree g-polymatroid Element Problem with Multiplicities takes as input a g-polymatroid $Q(p,b)$ instead of a matroid, and besides the lower and upper bounds, each hyperedge $\varepsilon$ has element multiplicities $m_\varepsilon$. Building on the approach of Kiraly et al., we provide an algorithm for finding a solution of cost at most the optimum value, having the same additive approximation guarantee. As an application, we develop a $1.5$-approximation for the metric Many-Visits TSP, where the goal is to find a minimum-cost tour that visits each city $v$ a positive $r(v)$ number of times. Our approach combines our algorithm for the Bounded Degree g-polymatroid Element Problem with Multiplicities with the principle of Christofides' algorithm from 1976 for the (single-visit) metric TSP, whose approximation guarantee it matches.

[1]  Martin Fürer,et al.  Approximating the Minimum-Degree Steiner Tree to within One of Optimal , 1994, J. Algorithms.

[2]  A. Frank Connections in Combinatorial Optimization , 2011 .

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

[4]  Michel X. Goemans,et al.  Minimum Bounded Degree Spanning Trees , 2006, 2006 47th Annual IEEE Symposium on Foundations of Computer Science (FOCS'06).

[5]  Christos H. Papadimitriou,et al.  The Traveling Salesman Problem with Many Visits to Few Cities , 1984, SIAM J. Comput..

[6]  Matthias Mnich,et al.  Time- and space-optimal algorithms for the many-visits TSP , 2018, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms.

[7]  Satish Rao,et al.  A push-relabel approximation algorithm for approximating the minimum-degree MST problem and its generalization to matroids , 2009, Theor. Comput. Sci..

[8]  Satish Rao,et al.  What Would Edmonds Do? Augmenting Paths and Witnesses for Degree-Bounded MSTs , 2005, APPROX-RANDOM.

[9]  Harilaos N. Psaraftis,et al.  A Dynamic Programming Approach for Sequencing Groups of Identical Jobs , 1980, Oper. Res..

[10]  Alexander Grigoriev,et al.  On the high multiplicity traveling salesman problem , 2006, Discret. Optim..

[11]  Shuzhong Zhang,et al.  Low-complexity algorithms for sequencing jobs with a fixed number of job-classes , 1996, Comput. Oper. Res..

[12]  H. Fleischner Eulerian graphs and related topics , 1990 .

[13]  R. Ravi,et al.  A matter of degree: improved approximation algorithms for degree-bounded minimum spanning trees , 2000, STOC '00.

[14]  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).

[15]  C. Hierholzer,et al.  Ueber die Möglichkeit, einen Linienzug ohne Wiederholung und ohne Unterbrechung zu umfahren , 1873 .

[16]  Satoru Iwata,et al.  A combinatorial strongly polynomial algorithm for minimizing submodular functions , 2001, JACM.

[17]  Ron Shamir,et al.  Strongly Polynomial Algorithms for the High Multiplicity Scheduling Problem , 1991, Oper. Res..

[18]  Jack Edmonds,et al.  Submodular Functions, Matroids, and Certain Polyhedra , 2001, Combinatorial Optimization.

[19]  R. Ravi,et al.  Primal-dual meets local search: approximating MST's with nonuniform degree bounds , 2003, STOC '03.

[20]  András Frank,et al.  Generalized polymatroids and submodular flows , 1988, Math. Program..

[21]  Mohit Singh,et al.  Degree bounded matroids and submodular flows , 2012, Comb..

[22]  Nikhil Bansal,et al.  Additive Guarantees for Degree-Bounded Directed Network Design , 2009, SIAM J. Comput..

[23]  S. Thomas McCormick,et al.  Submodular Function Minimization , 2005 .

[24]  Rico Zenklusen Matroidal degree-bounded minimum spanning trees , 2012, SODA.

[25]  Michael Rothkopf,et al.  Letter to the Editor - The Traveling Salesman Problem: On the Reduction of Certain Large Problems to Smaller Ones , 1966, Operational Research.

[26]  László A. Végh,et al.  A constant-factor approximation algorithm for the asymmetric traveling salesman problem , 2017, STOC.

[27]  Refael Hassin,et al.  Minimum cost flow with set-constraints , 1982, Networks.

[28]  Alexander Schrijver,et al.  A Combinatorial Algorithm Minimizing Submodular Functions in Strongly Polynomial Time , 2000, J. Comb. Theory B.

[29]  Alexander Grigoriev,et al.  A Framework for the Complexity of High-Multiplicity Scheduling Problems , 2005, J. Comb. Optim..

[30]  Richard M. Karp,et al.  Theoretical Improvements in Algorithmic Efficiency for Network Flow Problems , 1972, Combinatorial Optimization.