We prove that if is a graph and for each , then either has an independent set of size at least or contains a clique such that . This result implies that for any , if is a graph and every clique has at most simplicial vertices, then . Letting implies the famous Caro-Wei Theorem, and letting implies that if fewer than half of the vertices in each clique of are simplicial, then , which is tight for the 5-cycle. When applied to the complement of a graph, this result implies the following new Tur' an stability result. If is a -free graph with more than edges, then contains an independent set such that at least half of the vertices in are complete to . Applying this stability result iteratively provides a new proof of the stability version of Tur' an’s Theorem in which -free graphs with close to the extremal number of edges are -partite.

生成讲解博客的中文版本

生成AI智能校验的中文版本