Example.
Example.
Question: How few edges can a graph
Straightforward bounds:
|
|
The upper bound is by using the bound on Ramsey numbers of sparse graphs proved last section.
Surprisingly:
Proof.
For
Then
So done by Markov. □

Proof.
We apply the following “Depth first search algorithm”. We maintain a partition
We note that since
|
|
always.
Also note that at each step we:
Either decrease
We increase
Since
Now since
Proof of Beck, ’83 (Beck 2).
Let

Note
|
|
Without loss of generality assume
|
|
So
|
|
Thus
|
|
So
So by Lemma 7.7 (which said that
Proof of Beck, ’83.
Enough to prove for
|
|
Now note
|
|
So (at least)