combinatorics / Extremal Combinatorics, Covering Problems
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
Temporal state
No reconciled state yet.
Append-only history
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
Research memory
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
Improved bounds rather than a settled question: the asked-for inequality is not established in general.
Evidence graph
parent of · event · claim reported
parent of · claim · theorem