Teorema de Ramsey

En combinatoria el teorema de Ramsey establece que en cualquier esquema de color aplicado a un grafo completo suficientemente grande, se hallarán subgrafos completos monocromáticos. Para dos colores, el teorema enuncia que para cualquier par de enteros positivos (r,s), existe al menos un entero positivo R(r,s) como aquel para cualquier grafo completo en R(r,s) vértices, cuyas aristas (o ramas) están coloreados de rojo o azul, existe un subgrafo completo de r vértices que es totalmente azul, o un subgrafo completo de s vértices que es totalmente rojo. R(r,s) representa un entero que depende conjuntamente de r y s. Se entiende que representa al entero más pequeño para el que el teorema aplica. A ese número se le llama número de Ramsey.

El teorema de Ramsey es fundacional en combinatoria. La primera versión de estos resultados fueron probados por F. P. Ramsey. Esto inició la teoría combinatoria, ahora llamada teoría de Ramsey, que busca regularidad en medio del desorden: condiciones generales para la existencia de subestructuras con propiedades regulares.

Una extensión de este teorema se aplica a cualquier número finito de colores, en lugar de solamente dos. Más precisamente, el teorema enuncia que por cualquier número dado de colores «c», y cualquier entero n₁,...,n_c, existe un número, R(n₁, ..., n_c), que si las aristas de un grafo completo de orden R(n₁, ...,n_c) se colorea con c colores diferentes, entonces para algún i entre 1 y c, debe contener un subgrafo completo de orden n_i cuyas aristas son de color i. El caso especial de arriba donde c = 2 (y n₁ = r y n₂ = s).

Otra generalización se obtiene al considerar grafos que no sean completos. Son conocidos todos los valores de R(G₁,G₂) si G₁ y G₂ tienen a lo más 5 vértices salvo cuando G₁ ó G₂ es el grafo completo de 5 vértices y el otro es o bien el grafo completo de 5 vértices o bien el grafo completo de 5 vértices menos una arista.

Ejemplo: R(3,3)=6

En el siguiente ejemplo, la fórmula R(3,3) provee una solución a la pregunta sobre el número mínimo de vértices que debe contener un grafo para asegurar que

al menos tres vértices del grafo están conectados o,
al menos tres vértices están desconectados.

Nótese que debido a la naturaleza simétrica del problema, R(r,s) produce la misma solución que R(s,r). Esto es aún más evidente en el ejemplo R(3,3) porque los valores de r y s son los mismos.

Supongamos que las aristas de un grafo completo de 6 vértices están coloreadas en rojo y verde. Al elegir un vértice v, vemos que hay 5 aristas incidiendo en él, y así, por el principio del palomar, al menos 3 de ellos deben ser del mismo color. Sin pérdida de generalidad podemos asumir que al menos 3 de estas aristas, que conectan con los vértices r, s y t son azules (si no lo son, intercámbiese azul con rojo en lo que sigue). Si alguno de las aristas (r, s), (r, t) o (s, t) es también azul, entonces tenemos un triángulo enteramente azul. Sino, entonces las tres aristas son rojas, y tenemos un triángulo enteramente rojo. Como este argumento funciona para cualquier esquema de color, cualquier K₆ contiene un K₃ monocromático, y entonces R(3,3) ≤ 6. La versión popular de esta demostración se conoce como teorema de la amistad.

Referencias

Bibliografía

Ajtai, Miklós; Komlós, János; Szemerédi, Endre (1980). «A note on Ramsey numbers». J. Combin. Theory Ser. A (en inglés) 29: 354-360. .
Bohman, Tom; Keevash, Peter (2010). «The early evolution of the H-free process». Invent. Math. (en inglés) 181: 291-336. doi:10.1007/s00222-010-0247-x. .
Conlon, D. (2009). «A new upper bound for diagonal Ramsey numbers». Ann. of Math. (en inglés) 170: 941-960. doi:10.4007/annals.2009.170.941. .
Erdős, Paul (1947). «Some remarks on the theory of graphs». Bull. Amer. Math. Soc. (en inglés) 53: 292-294. .
Erdős, Paul; Szekeres, George (1935). «A combinatorial problem in geometry». Compositio Math. (en inglés) 2: 463-470. doi:10.1007/978-0-8176-4842-8_3. .
Exoo, G. (1989). «A lower bound for R(5,5)». Journal of Graph Theory (en inglés) 13: 97-98. doi:10.1002/jgt.3190130113. .
Graham, R.; Rothschild, B.; Spencer, J. H. (1990). Ramsey Theory (en inglés). Nueva York: John Wiley and Sons. .
Ramsey, F. P. (1930). «On a problem of formal logic». Proc. London Math. Soc. Series 2 (en inglés) 30: 264-286. doi:10.1112/plms/s2-30.1.264. .
Spencer, J. (1975). «Ramsey's theorem - a new lower bound». J. Combin. Theory Ser. A (en inglés) 18: 108-115. doi:10.1016/0097-3165(75)90071-0. .