Submodular Minimisation Theorem (Theorem # 5821)
Explore Further
Szemerédi's Theorem
Combinatorics
Tutte One-Factor Theorem
Combinatorics
Super-Source Super-Sink Feasibility Criterion for Circulations with Lower Bounds
Combinatorics
Closure Properties of Context-Free Languages
Discrete Mathematics
Every Set Is Turing Reducible to Its Turing Jump
Logic
Weak Max-Flow Min-Cut Inequality
Combinatorics
Semi-Decidability of First-Order Validity
Logic
Successor of an Ordinal is an Ordinal
Logic
Discrete Mathematics
Area
Combinatorics
Subarea