Talk:Wagner's theorem

Animation

It seems to me that the animation would be a better fit for the page on Kuratowski's theorem. It is correct here, but it's showing the stronger result that the Petersen graph has a subdivision of K_3,3 as a subgraph, as in Kuratowski's theorem. There's a much more obvious way to get a minor from the Petersen graph: collapse all the short edges. --Dylan Thurston (talk) 17:58, 6 February 2013 (UTC)[reply]

I think your point is well taken (and we should probably use an illustration of the more obvious minor here instead of this one, which I find a bit confusing). But I'm not sure the animation belongs on the Kuratowski article either, because it shows edge contraction rather than subdivisions (which maybe in an animation could be shown better by fading the intermediate vertices rather than moving them towards other vertices). —David Eppstein (talk) 18:19, 6 February 2013 (UTC)[reply]

Ok, I've made a new figure showing both minors in the Petersen graph, and replaced the animation with it. —David Eppstein (talk) 22:37, 6 February 2013 (UTC)[reply]