In fact, sufficiently large graphs with no large cliques have large independent sets, a theme that is explored in Ramsey theory.
Достаточно большие графы без больших клик имеют большие независимые множества, что является предметом исследования в теории Рамсея.