Complexity of determining if two graphs have same cycle matroid? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T20:04:59Z http://mathoverflow.net/feeds/question/4190 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/4190/complexity-of-determining-if-two-graphs-have-same-cycle-matroid Complexity of determining if two graphs have same cycle matroid? gordon-royle 2009-11-05T01:49:39Z 2009-11-05T08:56:19Z <p>Consider the following question:</p> <p>Input: Two graphs G1 and G2</p> <p>Question: Is the cycle matroid M(G1) isomorphic to the cycle matroid M(G2)</p> <p>What is the complexity of this question?</p> <p>It is well known that the two cycle matroids are isomorphic if and only if the graphs are "2-isomorphic" which means that there is a sequence of "Whitney flips" (where a graph is disconnected at a 2-vertex cutset and then reconnected with one of the pieces flipped) from one to an isomorph of the other.</p> <p>This suggests that the complexity should be the same as graph isomorphism, but I cannot find a reference to this.</p> http://mathoverflow.net/questions/4190/complexity-of-determining-if-two-graphs-have-same-cycle-matroid/4199#4199 Answer by David Speyer for Complexity of determining if two graphs have same cycle matroid? David Speyer 2009-11-05T02:55:40Z 2009-11-05T04:17:02Z <p>I believe that they have the same complexity, but writing up the details has proved painful and it is possible I am missing something. Let me give the first part of my answer, and see whether you actually want more. </p> <p>A graph is called 3-connected if it cannot be disconnected by removing two vertices. If G and H are 3-connected then they are isomorphic if and only if their matroids are isomorphic. (Follows immediately from Whitney's theorem, as there are no Whitney moves on 3-connected graphs.) So this subproblem of graph isomorphism and this subproblem of graphical matroid isomorphism are equivalent.</p> <p>Now, it is easy to reduce graph isomorphism to 3-connected graph isomorphism. If G is any graph, let J_3(G) be the graph formed from G by adding 3 more vertices which are joined to each other and to every vertex of G. Then J_3(G) is isomorphic to J_3(H) if and only if G is isomorphic to H.</p> <p>So [Graph isomorphism], [3-connected graph isomorphism] and [3-connected graphical matroid isomorphism] are equivalent, and [graphical matroid isomorphism] is at least as hard as these.</p> <p>The part which is truly painful to write up is the reduction of graphical matroid isomorphism to 3-connected graphical matroid isomorpism. (And maybe I am missing something.) Here's how it should go. We can immediately reduce to the case of 2-connected graphs, because the matroid of a graph is determined by the matroids of its <a href="http://en.wikipedia.org/wiki/Biconnected%5Fcomponent" rel="nofollow">2-connected components</a>.</p> <p>The next step is to break the graph into its representation as a 2-sum of 3-connected components. This is a less standard notion, so I'll sketch the idea. Some details are slightly wrong (mostly having to do with multiple edges); see the reference I link for full details. Let G be a 2-connected graph. If G is 3-connected, then it is its own 2-sum representation. If not, let G - {u,v} decompose as C_1 \cup C_2 \cup ... \cup C_r. Take C_i and add two vertices u_i and v_i. There is an edge from u_i to each vertex of C_i which was joined to u, and similarly for v. Also, there is an edge from u_i to v_i. Call this modified graph G_i. If G_i is 3-connected, stop. If not, break it up in a similar manner. Keep proceeding in this way until we have a multiset of 3-connected graphs. It is not hard to see that, even implemented stupidly, this is a polynomial process.</p> <p>A theorem of <a href="http://www.ams.org/mathscinet-getitem?mr=586989" rel="nofollow">Cunningham and Edmonds</a> states that this multiset is an isomorphism invariant of the matroid of G. Moreover, Cunningham and Edmonds also work out all the different ways to put these graphs together to obtain isomorphic graphical matroids. (One of their rules is the Whitney flip, which corresponds to gluing G_1 and G_2 together with u_2 and v_2 switched.) It shouldn't be too hard to see that their rule is effectively computable, but its giving me some trouble, so I'll stop here. ADDED: I'll say that I have worked with the Cunningham/Edmonds rule in hand computations and never had any trouble checking it; I'm just having trouble with formally showing it is efficiently checkable.</p> http://mathoverflow.net/questions/4190/complexity-of-determining-if-two-graphs-have-same-cycle-matroid/4230#4230 Answer by Emil for Complexity of determining if two graphs have same cycle matroid? Emil 2009-11-05T08:56:19Z 2009-11-05T08:56:19Z <p>The following paper seems to show that this problem is polynomial equivalent to graph isomorphism (see section 5):</p> <p><a href="http://arxiv.org/abs/0811.3859" rel="nofollow">http://arxiv.org/abs/0811.3859</a></p>