Combinatorial nullstellensatz
Statement
Combinatorics; graph theory; algebraic methods. Proved in ZFC.
Source
Donald E. Knuth Prize 2022. Combinatorics; graph theory; algebraic methods. Proved in ZFC.
Domains
computer-science
Combinatorics; graph theory; algebraic methods. Proved in ZFC.
Donald E. Knuth Prize 2022. Combinatorics; graph theory; algebraic methods. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/noga-alon-knuth-2022/