The binomial upper bound for a Ramsey number gives . For the triangle-free Ramsey lower bound by alteration, a binomial random graph has expected triangle count and expected independent -set count . Choose a realization whose sum of these counts is at most its expectation. Delete one vertex from each surviving forbidden set, iterating through the originally listed sets. The remaining graph has neither a triangle nor an independent -set. This random alteration method proves
For large , set and . The triangle term is at most . Using and , the logarithm of the independent-set term divided by is at most
which tends to . That term is eventually below . Thus and

Articles by others on the same topic (0)

There are currently no matching articles.