{"id":"arxiv/2601.12741","url":"https://arxiv.org/abs/2601.12741","tags":["cs.PL","cs.LO","math.CO"],"score":0,"title":"An Introduction to Razborov's Flag Algebra as a Proof System for Extremal Graph Theory","domain":"cs.PL","source":"arxiv","authors":["Gyeongwon Jeong","Seonghun Park","Hongseok Yang"],"reviews":0,"subject":"cs.PL","summary":"Razborov's flag algebra forms a powerful framework for deriving asymptotic inequalities between induced subgraph densities, underpinning many advances in extremal graph theory. This survey introduces flag algebra to computer scientists working in logic, programming languages, automated verification, and formal methods. We take a logical perspective on flag algebra and present it in terms of syntax, semantics, and proof strategies, in a style closer to formal logic. One popular proof strategy derives valid inequalities by first proving inequalities in a labelled variant of flag algebra and…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-01-19","reactions":{}}