#MathematicalProofs
Day 12 of #SSNC facts! Fisher: Existence proof (probabilistic). Thomassé: Constructive proof (median orders). Both solved Dean's Conjecture, but Thomassé provided a path to #algorithms. This was a fundamental shift in approach! #MathematicalProofs #AlgorithmDesign #GraphTheory #SeymourConjecture
March 30, 2025 at 12:41 PM