Abstract
We give an \(O(g^{1/2} n^{3/2} + g^{3/2} n^{1/2})\)-size extended formulation for the spanning tree polytope of an n-vertex graph embedded in a surface of genus g, improving on the known \(O(n^2 + g n)\)-size extended formulations following from Wong (Proceedings of 1980 IEEE International Conference on Circuits and Computers, pp 149–152, 1980) and Martin (Oper Res Lett 10:119–128, 1991).
Similar content being viewed by others
References
Balas, E.: On the convex hull of the union of certain polyhedra. Oper. Res. Lett. 7(6), 279–283 (1988)
Conforti, M., Kaibel, V., Walter, M., Weltge, S.: Subgraph polytopes and independence polytopes of count matroids. Oper. Res. Lett. 43(5), 457–460 (2015)
Djidjev, H.N., Venkatesan, S.M.: Planarization of graphs embedded on surfaces. In: Nagl, M. (ed.) Graph-Theoretic Concepts in Computer Science (Aachen, 1995). Lecture Notes in Computer Science, pp. 62–72. Springer, Berlin (1995)
Gerards, A.M.H.: Compact systems for \(T\)-join and perfect matching polyhedra of graphs with bounded genus. Oper. Res. Lett. 10(7), 377–382 (1991)
Hutchinson, J.P., Miller, G.I.: On deleting vertices to make a graph of positive genus planar. In: Johnson, D.P., Nishizek, T., Nozaki, A., Wilf, H.P. (eds.) Discrete Algorithms and Complexity (Kyoto, 1986). Perspectives in Computing. Academic, Boston (1987)
Kolman, P., Koutecký, M. Tiwary, H.: Extension complexity, MSO logic, and treewidth. In: Pagh, R. (ed.) 15th Scandinavian Symposium and Workshops on Algorithm Theory (SWAT 2016), Leibniz International Proceedings in Informatics (LIPIcs), vol. 53, pp. 18:1–18:14. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik, Dagstuhl, Germany (2016)
Martin, R.K.: Using separation algorithms to generate mixed integer model reformulations. Oper. Res. Lett. 10(3), 119–128 (1991)
Rothvoß, T.: The matching polytope has exponential extension complexity. In: STOC’14-Proceedings of the 2014 ACM Symposium on Theory of Computing, pp. 263–272. ACM, New York (2014)
Williams, J.C.: A linear-size zero-one programming model for the minimum spanning tree problem in planar graphs. Networks 39(1), 53–60 (2002)
Wong, R.T.: Integer programming formulations of the traveling salesman problem. In: Proceedings of 1980 IEEE International Conference on Circuits and Computers, pp. 149–152 (1980)
Acknowledgements
We thank William Cook for asking about the extension complexity of the spanning tree polytope of graphs on the torus, which prompted this work. We thank also Jean Cardinal and Hans Raj Tiwary for interesting discussions on the topic, and the two referees for rightfully asking us to shorten the paper. S. Fiorini and T. Huynh are supported by ERC grant FOREFRONT (Grant Agreement No. 615640) funded by the European Research Council under the EU’s 7th Framework Programme (FP7/2007-2013). S. Fiorini also acknowledges support from ARC Grant AUWB-2012-12/17-ULB2 COPHYMA funded by the French community of Belgium. S. Fiorini and K. Pashkovich are grateful for the support of the Hausdorff Institute for Mathematics in Bonn during the trimester program Combinatorial Optimization. G. Joret acknowledges support from an ARC grant from the Wallonia-Brussels Federation of Belgium.
Author information
Authors and Affiliations
Corresponding author
Additional information
Editor in Charge: Günter M. Ziegler
Rights and permissions
About this article
Cite this article
Fiorini, S., Huynh, T., Joret, G. et al. Smaller Extended Formulations for the Spanning Tree Polytope of Bounded-Genus Graphs. Discrete Comput Geom 57, 757–761 (2017). https://doi.org/10.1007/s00454-016-9852-9
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00454-016-9852-9