Abstract
The notion of degree-constrained spanning hierarchies, also called k-trails, was recently introduced in the context of network routing problems. They describe graphs that are homomorphic images of connected graphs of degree at most k. First results highlight several interesting advantages of k-trails compared to previous routing approaches. However, so far, only little is known regarding computational aspects of k-trails. In this work we aim to fill this gap by presenting how k-trails can be analyzed using techniques from algorithmic matroid theory. Exploiting this connection, we resolve several open questions about k-trails. In particular, we show that one can recognize efficiently whether a graph is a k-trail, and every graph containing a k-trail is a \((k+1)\)-trail. Moreover, further leveraging the connection to matroids, we consider the problem of finding a minimum weight k-trail contained in a graph G. We show that one can efficiently find a \((2k-1)\)-trail contained in G whose weight is no more than the cheapest k-trail contained in G, even when allowing negative weights. The above results settle several open questions raised by Molnár, Newman, and Sebő.
Similar content being viewed by others
Notes
A polymatroid over a finite set N is a polytope \(P\subseteq {\mathbb {R}}^N_{\ge 0}\) described by \(P=\{x\in {\mathbb {R}}^N_{\ge 0} \mid x(S) \le f(S) \;\forall S\subseteq N\}\), where \(f:2^N \rightarrow {\mathbb {Z}}_{\ge 0}\) is a submodular function, and \(x(S) = \sum _{v\in S} x_v\). We refer the interested reader to [12, Volume B] for more information on polymatroids.
References
Bansal, N., Khandekar, R., Könemann, J., Nagarajan, V., Peis, B.: On generalizations of network design problems with degree bounds. Math. Program. 141(1), 479–506 (2013)
Bansal, N., Khandekar, R., Nagarajan, V.: Additive guarantees for degree-bounded directed network design. SIAM J. Comput. 39(4), 1413–1431 (2009)
Fujishige, S.: Submodular Functions and Optimization. Elsevier, Amsterdam (2005)
Goemans, M.X.: Minimum bounded degree spanning trees. In: Proceedings of the 47th IEEE Symposium on Foundations of Computer Science (FOCS), pp. 273–282 (2006)
Király, T., Lau, L.C., Singh, M.: Degree bounded matroids and submodular flows. Combinatorica 32(6), 703–720 (2012)
Lau, L.C., Ravi, R., Singh, M.: Iterative Methods in Combinatorial Optimization, vol. 46. Cambridge University Press, Cambridge (2011)
McDiarmid, C.J.H.: Rado’s theorem for polymatroids. Math. Proc. Camb. Philos. Soc. 78, 263–281 (1975)
Molnár, M., Durand, S., Merabet, M.: Approximation of the degree-constrained minimum spanning hierarchies. In: Proceedings of 21st International Colloquium on Structural Information and Communication Complexity (SIROCCO), pp. 96–107 (2014)
Molnár, M., Durand, S., Merabet, M.: A new formulation of degree-constrained spanning problems. In: Proceedings of 9th International Colloquium on Graph Theory and Combinatorics (ICGT) (2014). http://oc.inpg.fr/conf/icgt2014/
Molnár, M., Newman, A., Sebő, A.: Travelling salesmen on bounded degree trails (2015). Hausdorff report (in preparation)
Ravi, R., Marathe, M.V., Ravi, S.S., Rosenkrantz, D.J., Hunt III, H.B.: Approximation algorithms for degree-constrained minimum-cost network-design problems. Algorithmica 31(1), 58–78 (2001)
Schrijver, A.: Combinatorial Optimization, Polyhedra and Efficiency. Springer, Berlin (2003)
Sebő, A.: Travelling salesmen on bounded degree trails. Presentation at HIM Connectivity Workshop in Bonn. Presentation is accessible online at https://www.youtube.com/watch?v=5Do2JMhgrCM (2015)
Singh, M., Lau, L.C.: Approximating minimum bounded degree spanning trees to within one of optimal. In: Proceedings of the 39th Annual ACM Symposium on Theory of Computing (STOC), pp. 661–670 (2007)
Zenklusen, R.: Matroidal degree-bounded minimum spanning trees. In: Proceedings of the 23rd Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 1512–1521 (2012)
Acknowledgements
We are grateful to Michel Goemans, Anupam Gupta, Neil Olver, and András Sebő for inspiring discussions, and to the anonymous reviewers for many helpful comments. This research project started while both authors were guests at the Hausdorff Research Institute for Mathematics (HIM) during the 2015 Trimester on Combinatorial Optimization. Both authors are very thankful for the generous support and inspiring environment provided by the HIM and the organizers of the trimester program.
Author information
Authors and Affiliations
Corresponding author
Additional information
Rico Zenklusen was supported by Swiss National Science Foundation Grant 200021_165866.
Rights and permissions
About this article
Cite this article
Singh, M., Zenklusen, R. k-Trails: recognition, complexity, and approximations. Math. Program. 172, 169–189 (2018). https://doi.org/10.1007/s10107-017-1113-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-017-1113-z