The Proof of Wagner's Conjecture and Why It Matters (opens in new tab)

(medium.com)

24 pointsarankhanna10y ago2 comments

2 comments

Is there a cubic algorithm for determining one graph is a minor of another? Last I checked it was an existential proof and no one actually had one

arankhannaOP10y ago

This paper: http://kam.mff.cuni.cz/~fiala/tw.pdf gives a deeper (but still very comprehensible) overview look at corollary 2.5 and for more specifics.

j / k navigate · click thread line to collapse

2 comments

tlarkworthy10y ago

Is there a cubic algorithm for determining one graph is a minor of another? Last I checked it was an existential proof and no one actually had one

arankhannaOP10y ago

This paper: http://kam.mff.cuni.cz/~fiala/tw.pdf gives a deeper (but still very comprehensible) overview look at corollary 2.5 and for more specifics.

j / k navigate · click thread line to collapse