Refuting conjectures in extremal combinatorics via linear programming

https://doi.org/10.1016/j.jcta.2019.105130Get rights and content
Under an Elsevier user license
open archive

Abstract

We apply simple linear programming methods and an LP solver to refute a number of open conjectures in extremal combinatorics.

Keywords

Linear programing
Boolean lattice
Counterexamples

Cited by (0)

This is a shortened version of the original tutorial-style paper, which can be found on arXiv [24].