{"id":"arxiv/2608.22537","url":"https://arxiv.org/abs/2608.22537","tags":["math.CO"],"score":0,"title":"A Proof of the B-Free Graphs Conjecture","domain":"math.CO","source":"arxiv","authors":["Domenico Frijio"],"reviews":0,"subject":"math.CO","summary":"Let $\\mathcal{B}$ be the class consisting of the six-vertex bipartite graphs that possess a perfect matching and their complements. It is proved that every $\\mathcal{B}$-free graph $G$ satisfies $α(G)+ω(G)\\ge |V(G)|-1$. This establishes Conjecture 3.1 of Litjens, Polak and Sivaraman (B-Free Graphs Conjecture). For a smallest counterexample, Hall-type exchange arguments show that two maximum stable sets, and likewise two maximum cliques, differ in at most two vertices. A core-corona matching lemma then forces $|α(G)-ω(G)|\\le 2$. Double counting between suitably dense and sparse vertices…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-23","reactions":{}}