Flag Algebras: A First Glance
Combinatorics
2016-07-19 v1 Optimization and Control
Abstract
The theory of flag algebras, introduced by Razborov in 2007, has opened the way to a systematic approach to the development of computer-assisted proofs in extremal combinatorics. It makes it possible to derive bounds for parameters in extremal combinatorics with the help of a computer, in a semi-automated manner. This article describes the main points of the theory in a complete way, using Mantel's theorem as a guiding example.
Keywords
Cite
@article{arxiv.1607.04741,
title = {Flag Algebras: A First Glance},
author = {Marcel K. de Carli Silva and Fernando Mário de Oliveira Filho and Cristiane Maria Sato},
journal= {arXiv preprint arXiv:1607.04741},
year = {2016}
}
Comments
13pp., written for Niew Archief voor Wiskunde