Definice:
- Velikost maximální kliky ()
- Velikost maximální nezávislé množiny ()
Ramseyovo Číslo
Ekvivalentně mohu vzít vrcholů a kreslit hrany 2 barvami a ptát se zda obsahuje kliku velikosti v jedné barvě, nebo kliku velikosti v barvě druhé.
Odhady
Pro ,
Důkaz: Mějme ma vrcholech. Zvolme libovolné a označme:
- ne-sousedé
- sousedé
Platí tedy nutně nebo , protože jinak bychom se přidáním nedostali k potřebnému počtu vrcholů. Pro máme jen dvě možnosti:
- platí .
- platí , kde přidáním máme nezávislou množinu velikosti . Pro platí obdobný argument, kde rozšiřujeme kliku o .
Důsledkem je tedy
r(k,l) \leq r(k,l) \leq r(k-1,l) +r(k,l-1) \leq \binom{k+l-3}{k-2} + \binom{k+l-3}{k-2} = \binom{k+l-2}{k-1}
undefinedPr[K\text{ je zelená}] = 2^{-\binom k 2}
undefinedPr[U] \leq \binom n k \cdot 2 \cdot 2^{-\binom k 2} = \binom n k \cdot 2^{1-\binom k 2}.
\binom n k \cdot 2^{1-\binom k 2} <1
Pak i $Pr(U) < 1$. Existuje tedy alespoň jeden graf bez monochromatické $K_{k}$. Tedyr(k)>n.
undefinedr(k) > 2^{k/2}.