Números de Ramsey

Definición (k-coloración): Sea C un conjunto de colores {1, 2, ..., k} y EG el conjunto

de las aristas de un grafo G, una k-coloración es una función χ : E → C, que asigna a
cada arista en E un color en C.

Una k-coloración de las aristas de una gráfica G puede pensarse como una partición
{C1 , C2 , ..., Ck } de EG , donde cada conjunto Ci esta definido como Ci = χ−1 (i), para
i = 1, 2, 3, ..., k. Los conjuntos Ci son llamados clases de coloración. Una k-coloración está
completamente definida si se conocen las k clases de coloración C1 , C2 , ..., Ck . Por este
motivo es común referirse a una k-coloración mediante sus clases de coloración.

Definición (cardinal): Dado un conjunto finito S se define el cardinal de S como el

número de elementos que pertenecen a S. Se denota con |S| al cardinal del conjunto S.

Definición (conjunto potencia): Dado un conjunto S, el conjunto potencia de S se

define y se denota por:
P (S) := {T : T ⊆ S}
Definición (k-coloración de Pr (S)): Sean r, k ∈ N, S un conjunto finito y Pr (S) la
colección de subconjuntos de orden r de S. Una k-coloración de Pr (S) es cualquier función
χ : Pr (S) → C, donde C es un conjunto de k colores. Es común tomar al conjunto C
como {1, 2, ..., k}.

Definición (Principio del Palomar Forma Simple). Si n + 1 objetos se distribuyen

sobre n contenedores entonces algún contenedor contiene por lo menos dos objetos.

Definición (Principio del Palomar Forma General): Sean q1 , q2 , ..., qn enteros posi-
tivos. Si q1 + q2 + ... + qn − n + 1 objetos son distribuidos en n contenedores, entonces se
cumple que el primer contenedor tiene al menos q1 objetos, o el segundo contenedor tiene
al menos q2 objetos,..., o el n-ésimo contenedor tiene al menos qn objetos.
Sea S un conjunto finito, r ∈ N, {C1 , C2 , ..., Ck } una k-coloración de Pr (S), y A ⊆ S con
|A| > r. Si se cumple que Pr (A) ⊆ Ci , para algún i = 1, 2, ..., k, se dice que Pr (A) es
monocromatico de color i

Teorema (Ramsey): Para k, r ≥ 1 enteros cualesquiera y q1 , q2 , ...., qk ≥ r, existe un

entero positivo N tal que para todo conjunto finito S con |S| ≥ N se cumple lo siguiente.
Para cada k-coloración {C1 , C2 , ..., Ck } de Pr (S) existe al menos un i ∈ {1, 2, ..., k} y un
subconjunto Si de S de orden qi , tal que, Pr (Si ) ⊆ Ci .
El menor entero N0 que satisface el teorema se llama número de Ramsey y se denota
como R(q1 , q2 , ..., qk ; r)

Teorema (Ramsey para k = 2): Para cualesquier enteros positivos p, q, r tales que
p, q ≥ r, existe un entero positivo N tal que para todo conjunto finito S con |S| ≥ N se
cumple lo siguiente. En cualquier 2-coloración {C1 , C2 } de Pr (S), existe un subconjunto
S1 de S de orden p tal que Pr (S) ⊆ C1 o bien existe un subconjunto S2 de S de orden q

1
tal que Pr (S) ⊆ C2 .

Teorema 1: Para cualesquiera k, m ≥ 2 enteros, se tiene,

R(k, m) ≤ R(k − 1, m) + R(k, m − 1).

Demostración. Sea t = R(k − 1, m) + R(k, m − 1) y se considera el grafo completo Kt =

(V, E) con su 2-coloración χ : E → K = {rojo, azul}. Se quiere probar que existe un Kk
con todas sus aristas de color rojo o un Km con todas sus aristas de color azul.
Sea v un vértice fijo de Kt y se define los conjuntos asociados a v.

nr := {w ∈ V : w 6= v, χ((w, v)) = rojo}

nb := {w ∈ V : w 6= v, χ((w, v)) = azul}
Con esto se tiene que |nr | + |nb | + 1 = R(k − 1, m) + R(k, m − 1).
Si |nr | < R(k − 1, m), entonces, |nb | + 1 > R(k, m − 1), lo cual implica |nb | ≥ R(k, m − 1).
Por otro lado, si |nb | < R(k, m − 1), entonces |nr | ≥ R(k − 1, m). Por tanto existen dos
posibilidades, |nr | ≥ R(k − 1, m) o |nb | ≥ R(k, m − 1).

Si |nr | ≥ R(k − 1, m), es decir, que el número de aristas rojas conectadas con v es mayor
que R(k − 1, m). Considere el clique formado por R(k − 1, m) vértices del conjunto nr ,
por definición de números de Ramsey existe un Kk−1 rojo o un Km azul, en el segundo
caso ya se tiene un clique Km de Kt con sus aristas de color azul, para el primer caso, si
se añade las aristas que conectan los k − 1 vertices con v, se tiene un Kk con todas sus
aristas de color rojo, ya que las aristas añadidas están en nr .
Similarmente, para nb ≥ R(k, m − 1), se considera el clique formado por R(k, m − 1)
vértices de nb , por definición de números de Ramsey, existe un Kk rojo o un Km−1 azul,
para el primer caso ya se tiene un clique Kk de Kt con todas sus aristas de color rojo,
para el segundo caso, si se añade las aristas que conectan los m − 1 vértices con v, se tiene
un Km con todas sus aristas de color azul, ya que las aristas añadidas están en nb

Corolario 1:  
k+m−2
R(k, m) ≤
k−1
Demostración. Inducción sobre k y m.
Para el caso base k = m = 2, se tiene que
 
2+2−2
R(2, 2) = 2 ≤ =2
2−1

Suponga que la expresión se cumple para R(k − 1, m) y R(k, m − 1), entonces

   
k+m−3 k+m−3
R(k − 1, m) ≤ y R(k, m − 1) ≤
k−2 k−1
Por la regla de Pascal se tiene que,

2
      
n n n+1
+ =
k k+1 k+1
.
Luego,

     
k+m−3 k+m−3 k+m−2
R(k, m) ≤ R(k − 1, m) + R(k, m − 1) ≤ + = .
k−2 k−1 k−1

Corolario 2: Para el caso de más de dos colores.

R(k1 , k2 , ..., kr ) ≤ R(k1 − 1, k2 , ..., kr ) + R(k1 , k2 − 1, ..., kr ) + ... + R(k1 , k2 , ..., kr − 1)

Corolario 2: Para el caso multicolor, una desigualdad en el tamaño del número mı́nimo
es proporcionado por el coeficiente multinomial.

(k1 + 1, k2 + 1, ..., kr + 1)!

R(k1 + 1, k2 + 1, ..., kr + 1) ≤
k1 !k2 !...kr !

Teorema 3: Si R(k − 1, m) = 2p y R(k, m − 1) = 2q, entonces

R(k, m) < 2p + 2q = R(k − 1, m) + R(k, m − 1)

Demostración. Toma un conjunto de 2p + 2q − 1 vértices. Selecciona un vértice y llámalo

a. Hay 2p + 2q − 2 segmentos que terminan en a, con esto pueden ocurrir tres casos.

a) 2p o mas segmentos que terminan en a son de color rojo,

b) 2q o mas segmentos son de color azul, ó

c) 2p − 1 segmentos son rojos y 2q − 1 segmentos son azules.

Para el caso a) considere el conjunto T1 de los vértices extremos de a de los 2p o más

segmentos rojos. Ya que el numero de vértices en T1 es mayor o igual a R(k − 1, m), es
decir, |T1 | ≥ R(k − 1, m), existe ya sea un conjunto S1 rojo interconectado con k − 1
vértices, o un conjunto S2 azul interconectado con m vértices, en la primera situación
el conjunto {S1 + vertice 1} es un conjunto rojo interconectado con k vértices, luego
R(k, m) ≤ 2p + 2q − 1.
Para el caso b) se toma un argumento similar.
caso c) —-

Teorema: R(3, 3) = 6

3
Demostración. Esta prueba se divide en dos partes,
1) Se probará que R(3, 3) > 5
2) Se probará que R(3, 3) ≤ 6

1) Considere el grafo completo K5 con vértices v1 , v2 , v3 , v4 , v5 y las siguiente 2-coloración

de K5
χ : E → K = {rojo, azul},
dada por
χ(v1 , v2 ) = χ(v2 , v3 ) = χ(v3 , v4 ) = χ(v4 , v5 ) = χ(v5 , v1 ) = rojo
χ(v, w) = azul, siempre que (v, w) ∈ / {(v1 , v2 ), (v2 , v3 ), (v4 , v5 ), (v5 , v1 )}
Gráficamente se tiene,

Dada esta coloración se tiene que R(3, 3) > 5.

2) Considere un grafo completo K6 y sea v uno de sus vértices, luego d(v) = 5. Por el
principio del palomar, por lo menos tres aristas con extremo v tienen el mismo color,
S.P.G supongase que estas tres aristas son (v, w1 ), (v, w2 ), (v, w3 ) y las tres son de color
rojo.
Si (v, w1 ), (v, w2 ) o (v, w3 ) es roja se tiene K3 de color rojo, en caso contrario estas tres
aristas forman un K3 de color azul.
Ası́, como por 1) se tiene que R(3, 3) > 5 y por 2) R(3, 3) ≤ 6 por tanto, R(3, 3) = 6

Lema del apretón de manos. La suma de los grados de un grafo G es igual al doble
del número de aristas: X
d(v) = 2|E|
v∈V

Teorema: R(4, 3) = 9
Demostración. Esta prueba se divide en dos partes.
1) Se probará que R(3, 4) > 8
2) Se probará que R(3, 4) ≤ 9

1)Considere el grafo completo K8 con vértices v1 , v2 , v3 , v4 , v5 , v6 , v7 , v8 y las siguiente 2-

coloración de K8
χ : E → K = {rojo, azul},

4
dada por
χ(v1 , v2 ) = χ(v2 , v3 ) = χ(v3 , v4 ) = χ(v4 , v5 ) = χ(v5 , v6 ) = χ(v6 , v7 ) = χ(v7 , v8 ) =
χ(v8 , v1 ) = χ(v1 , v5 ) = χ(v2 , v6 ) = χ(v3 , v7 ) = χ(v4 , v8 ) = rojo
χ(v, w) = azul siempre que (v, w) ∈ / {(v1 , v2 ), (v2 , v3 ), (v3 , v4 ), (v4 , v5 ), (v5 , v6 ), (v6 , v7 ), (v7 , v8 ),
(v8 , v1 ), (v1 , v5 ), (v2 , v6 ), (v3 , v7 ), (v4 , v8 )} Gráficamente se tiene,

Figura 1: 2-coloración de K8 (izquierda). Y K8 rojo y K8 azul para una inspección mas

cercana

Se probará que no existe un K3 rojo ni un K4 azul.

Para esto, considere cualquier vértice v del grafo K8 de aristas rojas, s.p.g, considere v1 ,
con d(v1 ) = 3 y N (v) = {v2 , v5 , v8 }. Si existiese un K3 rojo
deberı́a estar formado por
el vértice v1 y 2 vértices adyacentes, es decir, que existen 32 = 3 posibilidades, de las
cuales,
-{v1 , v2 , v5 } no forman un K3 rojo ya que no hay arista roja entre los vértices v2 y v5
-{v1 , v2 , v8 } no forman un K3 rojo ya que no hay arista roja entre los vértices v2 y v8
-{v1 , v5 , v8 } no forman un K3 rojo ya que no hay arista roja entre los vértices v5 y v8

Del mismo modo, considere v
1 del grafo K8 de aristas azules, con d(v1 ) = 4 y N (v) =
{v3 , v4 , v6 , v7 }. Ası́, existen 43 = 4 posibles K4 que incluyen al vértice v1 , las cuales,

-{v1 , v3 , v4 , v7 } no forman un K4 azul ya que no hay 2 aristas azules, (v2 , v5 ) y (v3 , v7 )

-{v1 , v3 , v4 , v6 } no forman un K4 azul ya que no hay arista azul entre los vértices v3 y v4
-{v1 , v3 , v6 , v7 } no forman un K4 azul ya que no hay 2 aristas azules, (v1 , v5 ) y (v3 , v7 )
-{v1 , v4 , v6 , v7 } no forman un K4 azul ya que no hay arista azul entre los vértices v6 y v7

Por tanto, no existe un K3 de aristas rojas ni un K4 de aristas azules en K8 .

2) Como ya se conocen los valores de R(2, 4) = 4 = 2(2) y R(3, 3) = 6 = 2(3), Por teorema
3 se tiene R(3, 4) < R(2, 4) + R(3, 3) = 4 + 6 = 10. Ası́, R(3, 4) ≤ 9

En consecuencia de 1 y 2 se tiene que R(4, 3) = 9

5
Teorema: R(4, 4) = 18
Definición (Preliminares): Si a, x ∈ Zn . Entonces a es un residuo cuadrático módulo
n si existe un x tal que x2 ≡ a(mód n)
Demostración. Esta prueba se divide en dos partes.
1)Se probará que R(4, 4) > 17
2)Se probará que R(4, 4) ≤ 18

1) Para probar que R(4, 4) > 17 se construirá un grafo completo K17 el cual no contiene
ningún clique K4 rojo o azul.
Considere un conjunto de elementos del cuerpo Z17 , etiquetados de 0 a 16, los cuales
corresponden a los vértices del grafo completo K17 . Cada arista de G se colorea en base a
|vi − vj | mód 17, donde el color de la arista entre los vértices vi y vj es azul si la diferencia
es un residuo cuadrático módulo 17 y rojo en caso contrario.
Gráficamente el grafo completo K17 quedarı́a como sigue.

Figura 2: 2-coloración de K17

La prueba de que no existe un clique K4 en K17 , se hará por contradicción.

Suponga que existe un clique K4 con todas sus aristas del mismo color. Sin perdida de
generalidad, sea 0 uno de estos vértices y los otros a, b, c. Como todas las aristas son
del mismo color, entonces, a, b, c, a − b, a − c y b − c son todos residuos cuadráticos o
ninguno lo es. Por otra parte, como a es un elemento de Z17 diferente de 0, y Z17 es un

6
cuerpo ya que 17 es un numero primo, entonces a tiene inverso multiplicativo a−1 . Ahora,
sea B = ba−1 y C = ca−1 , entonces podemos hacer un nuevo conjunto de elementos
{1, B, C, 1 − B, 1 − C, B − C}, y como 1 siempre es un residuo cuadrático, se tiene que
todos los elementos son residuos cuadráticos módulo 17, Además, los residuos cuadráticos
de Z17 son 1, 2, 4, 8, 9, 13, 15, 16... —– FALTA