Abstract
We study the complexity of testing if two given matroids are isomorphic. The problem is easily seen to be in \(\Sigma_2^p\). In the case of linear matroids, which are represented over polynomially growing fields, we note that the problem is unlikely to be \(\Sigma_2^p\)-complete and is coNP-hard. We show that when the rank of the matroid is bounded by a constant, linear matroid isomorphism and matroid isomorphism are both polynomial time many-one equivalent to graph isomorphism.
We give a polynomial time Turing reduction from graphic matroid isomorphism problem to the graph isomorphism problem. We then give a polynomial time many-one reduction from bounded rank matroid isomorphism problem to graphic matroid isomorphism, thus showing that all the above problems are polynomial time equivalent.
Further, for linear and graphic matroids, we prove that the automorphism problem is polynomial time equivalent to the corresponding isomorphism problems. In addition, we give a polynomial time membership test algorithm for the automorphism group of a graphic matroid.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Arvind, V., Torán, J.: Isomorphism testing: Perspective and open problems. Bulletin of the EATCS 86, 66–84 (2005)
Babai, L.: Vector Representable Matroids of Given Rank with Given Automorphism Group. Discrete Math. 24, 119–125 (1978)
Cunningham, W.H., Edmonds, J.: A Combinatorial Decomposition Theory. Canad. Jl. of Math. 17, 734–765 (1980)
Datta, S., Limaye, N., Nimbhorkar, P.: 3-connected planar graph isomorphism is in log-space. In: FSTTCS (2008)
Goldreich, O.: Computational Complexity: A Conceptual Perspective. Cambridge Univ. Press, Cambridge (2008)
Hlinený, P.: Some hard problems on matroid spikes. Theory of Computing Sys. 41(3), 551–562 (2007)
Hopcroft, J., Tarjan, R.: Dividing a graph into triconnected components. SIAM Jl. of Comp. 2(3), 135–158 (1973)
Horton, J.D.: A Poly-time Algorithm to Find the Shortest Cycle Basis of a graph. SIAM Jl. of Comp. 16(2), 358–366 (1987)
Jenner, B., Köbler, J., McKenzie, P., Torán, J.: Completeness results for graph isomorphism. J. Comput. Syst. Sci. 66(3), 549–566 (2003)
Köbler, J.: On graph isomorphism for restricted graph classes. In: Beckmann, A., Berger, U., Löwe, B., Tucker, J.V. (eds.) CiE 2006. LNCS, vol. 3988, pp. 241–256. Springer, Heidelberg (2006)
Köbler, J., Schöning, U., Torán, J.: The Graph Isomorphism Problem: its Structural Complexity. Birkhauser, Basel (1993)
Luks, E.M.: Isomorphism of graphs of bounded valence can be tested in polynomial time. In: FOCS, pp. 42–49 (1980)
Mayhew, D.: Matroid Complexity and Nonsuccinct Descriptions. SIAM Jl. D. Math. 22(2), 455 (2008)
Oxley, J., Welsh, D.: Chromatic, flow and reliability polynomials: The complexity of their coefficients. Comb. Prob. and Comp. 11, 403–426 (2002)
Oxley, J.G.: Matroid theory. Oxford University Press, New York (1992)
Raghavendra Rao, B.V., Sarma, J.M.N.: On the complexity of matroid isomorphism problem, November 24 (2008), http://arxiv.org/abs/cs.CC/0811.3859
Toran, J.: On the Hardness of Graph Isomorphism. SIAM Jl. of Comp. 33(5), 1093–1108 (2004)
Truemper, K.: On Whitney’s 2-isomorphism theorem for graphs. Jl. of Graph Th., 43–49 (1980)
Whitney, H.: Congruent graphs and connectivity of graphs. American Journal of Mathematics 54(1), 150–168 (1932)
Whitney, H.: 2-isomorphic graphs. American Journal of Mathematics 55, 245–254 (1933)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Rao B.V., R., Sarma M.N., J. (2009). On the Complexity of Matroid Isomorphism Problems. In: Frid, A., Morozov, A., Rybalchenko, A., Wagner, K.W. (eds) Computer Science - Theory and Applications. CSR 2009. Lecture Notes in Computer Science, vol 5675. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03351-3_27
Download citation
DOI: https://doi.org/10.1007/978-3-642-03351-3_27
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03350-6
Online ISBN: 978-3-642-03351-3
eBook Packages: Computer ScienceComputer Science (R0)