Abstract
Even-cycle matroids are elementary lifts of graphic matroids and even-cut matroids are elementary lifts of cographic matroids. We present a polynomial algorithm to check if a binary matroid is an even-cycle matroid and we present a polynomial algorithm to check if a binary matroid is an even-cut matroid. These two algorithms rely on a polynomial algorithm (to be described in a pair of follow-up papers) to check if a binary matroid is pinch-graphic.
Similar content being viewed by others
Notes
\([n]=\{1,\ldots ,n\}\).
\(\delta _G(v)\) denotes the set of non-loop edges of graph G incident to v.
For a set A and element of the ground set a we write \(A\cup a\) for \(A\cup \{a\}\) and write \(A-a\) for \(A-\{a\}\).
References
Bixby, R. E.: Composition and decomposition of matroids and related topics. Ph.D. thesis. Cornell University (1972)
Cunningham, W. H.: A combinatorial decomposition theory. Ph.D. thesis, University of Waterloo (1973)
Edmonds J.: Matroid intersection. In: Discrete optimization I (eds P. L. Hammer, E. L. Johnson, and B. H. Korte). Ann Discrete Math 4, 39–49. North-Holland, Amsterdam. (1979)
Geelen, J.F., Zhou, X.: A splitter theorem for internally 4-connected binary matroids. SIAM J. Discrete Math. 20, 578–587 (2016)
Geelen, J. F., Gerards, A. M. H., Whittle, G.: Towards a matroid-minor structure theory. In: G. Grimmett, & C. Mcdiarmid (Eds.), Combinatorics, complexity, and chance. A tribute to dominic welsh, oxford lecture series in mathematics and its applications, Oxford: Oxford University Press 34, 72–82 (2007)
Gerards, A. M. H.: Personal communication
Gerards, A.M.H.: On Tutte’s characterization of graphic matroids - a graphic proof. J. Graph Theory 20(3), 351–359 (1995)
Guenin, B., Heo, C.: Small separations in pinch-graphic matroids. Math. Program. (2023). https://doi.org/10.1007/s10107-023-01950-8
Guenin, B., Heo, C.: Recognizing pinch-graphic matroids. Math. Program. (2023). https://doi.org/10.1007/s10107-023-01951-7
Guenin, B., Pivotto, I., Wollan, P.: Stabilizer theorems for even cycle matroids. J. Comb. Theory Ser. B 118, 44–75 (2016)
Guenin, B., Pivotto, I.: Stabilizer theorems for even cut matroids. manuscript
Harary, F.: On the notion of balance of a signed-graph. Michigan Math. J. 2, 143–146 (1953)
Heo, C., Guenin, B.: Recognizing even-cycle and even-cut matroids. 21st international conference, IPCO 2020, London, Jun 8–10, 2020, Proceedings, 182–195 (2020)
Heo, C.: Recognizing even-cycle and even-cut matroids. Master’s thesis, University of Waterloo (2016)
Lawler, E.: Combinatorial optimization: networks and matroids. Hot., Rinehart and Winston, New York. Reprinted 2001, Dover, Mineola
Lemos, M., Oxley, J.: On the minor-minimal 3-connected matroids having a fixed minor. European J. Combin. 24, 1097–1123 (2003)
Oxley, J.: Matroid Theory. Oxford University Press, New York (2011)
Pivotto, I.: Even cycle and even cut matroids. Ph.D. thesis, University of Waterloo (2011)
Seymour, P.D.: On Tutte’s characterization of graphic matroids. Ann. Discrete Math. 8, 83–90 (1980)
Seymour, P.D.: Decomposition of regular matroids. J. Combin. Theory Ser. B 28, 305–359 (1980)
Seymour, P.D.: Recognizing graphic matroids. Combinatorica 1, 75–78 (1981)
Tutte, W.T.: Matroids and graphs. Trans. Amer. Math. Soc. 90, 527–552 (1959)
Tutte, W.T.: Lectures on matroids. J. Res. Nat. Bur. Standards Sect. B 69B, 1–47 (1965)
Tutte, W.T.: An algorithm for determining whether a given binary matroid is graphic. Proc. Amer. Math. Soc. 11, 905–917 (1960)
Tutte, W.T.: Connectivity in matroids. Canad. J. Math. 18, 1301–1324 (1966)
Whitney, H.: 2-isomorphic graphs. Amer. J. Math. 55, 245–254 (1933)
Zaslavsky, T.: Biased graphs II. The three matroids. J. Combin. Theory Ser. B 51, 46–72 (1991)
Acknowledgements
We would like to thank Irene Pivotto for numerous insightful and lively discussions on the subject of even-cycle and even-cut matroids and on the problem of designing recognition algorithms. We are grateful for the work of the referees that improved the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supported by NSERC grant 238811 and ONR grant N00014-12-1-0049.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Guenin, B., Heo, C. Recognizing even-cycle and even-cut matroids. Math. Program. 202, 515–542 (2023). https://doi.org/10.1007/s10107-023-01944-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10107-023-01944-6