Definice:

  1. Velikost maximální kliky ()
  2. 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:

  1. ne-sousedé
  2. sousedé right 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:
    1. platí .
    2. 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}

undefined

Pr[K\text{ je zelená}] = 2^{-\binom k 2}

undefined

Pr[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}$. Tedy

r(k)>n.

undefined

r(k) > 2^{k/2}.