O TEOREMA DE RAMSEY

Carlos Gustavo T. de A. Moreira - IMPA

Nvel Avanado
1. O teorema de Ramsey para grafos. Vamos comear este artigo lembrando do exemplo 6 do artigo "O Princpio das Gavetas", de Paulo Cezar Pinto Carvalho, publicado na EUREKA! No. 5: se h 6 pessoas numa reunio ento h necessariamente 3 pessoas que se conhecem mutuamente ou 3 pessoas que no se conhecem mutuamente na reunio (onde admitimos que, se a conhece b, ento b conhece a). Este exemplo equivale ao seguinte: se tomamos 6 pontos, e pintamos cada segmento que une dois desses pontos de preto ou vermelho ento necessariamente existe um tringulo cujos vrtices so trs desses pontos e cujos 3 lados so da mesma cor. Nos exerccios 8 e 9 do mesmo artigo proposta uma generalizao: Proposio 0: Dados os inteiros a, b 2 sempre existe um nmero N inteiro positivo tal que, em qualquer conjunto de N pessoas, sempre existem a pessoas que se conhecem mutuamente ou b pessoas que se desconhecem mutuamente. Em homenagem a F. P. Ramsey, que provou este e outros resultados deste artigo, chamamos o menor nmero N com esta propriedade de R(a, b). Vamos provar este resultado seguindo os passos propostos do problema 9 do artigo do Prof. Paulo Cezar:
i)

R(a, 2) = a para todo a 2. De fato, num conjunto de a pessoas, ou todas se conhecem ou existem duas que se desconhecem. R(a, b) = R(b, a). De fato, conhecer e desconhecer desempenham um papel simtrico no enunciado. R( a, b) R ( a 1, b) + R( a, b 1), para a, b 3.

ii)

iii)

Para provar isto, fixemos uma pessoa P. Se temos R( a 1, b) + R ( a, b 1) ou mais pessoas na reunio, h pelo menos R( a 1, b) + R( a, b 1) 1 outras pessoas, e um dos seguintes casos se verificar: 1) P conhece pelo menos R( a 1, b) pessoas. Neste caso, por definio de R( a 1, b) , dentre essas R( a 1, b) pessoas h b que se desconhecem mutuamente (e no temos mais o que provar), ou a 1 que se conhecem mutuamente, e, juntando P a essas a 1 pessoas, obtemos a pessoas que se conhecem mutuamente.
2)

P desconhece pelo menos R( a, b 1) pessoas. A anlise deste caso anloga do caso anterior, trocando os papeis de conhecer e desconhecer no argumento t

J mencionamos que podemos enunciar resultados deste tipo em termos de coloraes de segmentos (ou mais tecnicamente, de arestas de grafos completos) usando duas cores. O resultado acima pode ser generalizado aumentando o nmero de cores:

Proposio 1: Dados inteiros k 1, a1 , a 2 ,...a k 2 existe n N tal que dados n pontos, se pintarmos cada segmento que une dois desses pontos de uma dentre k cores possveis ento haver a1 pontos tais que todo segmento que une dois desses pontos da primeira cor, ou a2 pontos tais que todos os segmentos que unem dois desses pontos so da segunda cor, ou ou ak pontos tais que todos os segmentos que unem dois desses pontos so da k-sima cor. Chamamos de R( a1 , a 2 ,...a k ) o menor nmero com essa propriedade. Demonstrao: Esta proposio pode ser provada de modo anlogo anterior. A existncia dos nmeros R( a1 ,...a k ) segue dos seguintes fatos, cuja prova deixamos como exerccio:
i) ii)

R( a1 ,...a k 1 , 2) = R ( a1 ,...a k 1 ) para a1 ,...a k 1 2. R( a (1) , a ( 2) ,...a ( k ) ) = R( a1 , a 2 ,...a k ) para a1 ,...a k 2 e qualquer permutao de {1, 2, , k}. R( a1 ,...a k ) R( a1 1, a 2 ,..., a k ) + R( a1 , a 2 1, a 3 ,..., a k ) + ... + + R (a1 , a 2 ,...a k 1 , a k 1) k + 2.

iii)

2. Estimativas de nmeros de Ramsey. As demonstraes dos resultados anteriores fornecem estimativas superiores para os nmeros de Ramsey R( a, b) e R( a1 ,...a k ) , por exemplo:
i)

( a + b 2)! , para a, b 2 ( a 1)!(b 1)! De fato vale a igualdade para b = 2 (temos os dois lados iguais a a), e se a, b > 2 temos, por induo, a 2 a 1 a 1 R( a, b) R ( a 1, b) + R( a, b 1) C a + b 3 + C a + b 3 = C a +b 2 t
a 1 R ( a, b) C a +b 2 =

ii)

(a1 + ... + a k 2k + 2)! a 1 a a =: C a11+ ...,+ 2a1,2 3 2,...ak 2 k k+2 (a1 1)!(a 2 1)!(a3 2)!(a 4 2)!...(a k 2)! De fato, isso vale quando todos os ai exceto dois so iguais a 2, e o caso geral segue, por induo da identidade b ,..., b ,b 1 b ,..., b 1 b b b , 2 b C b11+ b2b+k...+bk = C b11+...,+2b,...,1 k + C b11+b...+1,...,1 k + ... + C b11+...+kb11k t bk k k R(a1 ,..., a k )

menos trivial, entretanto, dar boas estimativas inferiores para nmeros de Ramsey. Para provar, por exemplo, que R(3,3) = 6, necessrio mostrar que h exemplos de grafos completos bicoloridos de 5 vrtices sem tringulos monocromticos, o que pode ser feito explicitamente:

Se o nmero de pontos, cresce, entretanto, bastante difcil construir exemplos explcitos. As melhores estimativas conhecidas para R(k, k) se devem ao mtodo probabilistico introduzido

pelo grande matemtico hngaro Pl Erds, que se tornou uma das tcnicas mais poderosas da teoria dos grafos: Proposio 2: R(k, k) > 2k/2 para todo k N. Demonstrao: Dados n pontos, pintamos aleatoriamente as arestas que ligam dois desses pontos de vermelho ou preto, com probabilidade 1/2. Dado um subconjunto de k desses k ( k 1) pontos, a probabilidade de que todas as arestas que unem dois desses pontos sejam 2 k ( k 1) / 2 n! k 1 da mesma cor 2 subconjuntos de k pontos do . Como h C n = k!(n k )! 2 conjunto inicial de n pontos, a probabilidade de que em algum deles todas as arestas sejam da k ( k 1) / 2 k ( k 1) / 2 nk 1 2 k / 2+1 k 1 mesma cor no mximo 2C n que menor ou igual a 2 k! 2 k! 2 k/2 k / 2 +1 se n 2 , mas 2 < k! para k 4, donde h probabilidade positiva de que em nenhum subconjunto de k pontos todas as arestas sejam da mesma cor, e em particular h exemplos desta situao, donde R(k, k) necessariamente maior que 2k/2 para k 4. Para k = 3, R(k, k) = 6 > 23/2, e para k =2, R(k, k) = 2 > 21/2, o que conclui a demonstrao t Vamos discutir agora como estimar a funo f (n) = R (3,3,...,3), com n termos iguais a 3, ou seja, o menor nmero de vrtices de um grafo completo tal que ao pintarmos suas arestas usando n cores necessariamente obtemos um tringulo monocromtico. A demonstrao da proposio 1 nos fornece f (n) nf ( n 1) n + 2, o que implica, por exemplo, f (n) 3n! para todo n 2. (lembremos que f (3) = R(3,3) = 6). 3n + 1 3n 1 pontos, aos quais atribumos ndices 0, 1, 2, 2 2 . Vamos descrever uma forma de, a cada par desses pontos, atribuir um nmero entre 0 e n 1 3n + 1 (o que equivale a colorir as arestas do grafo completo de vrtices usando n cores), sem 2 que haja 3 pontos tais que a cada par desses pontos atribuido o mesmo nmero (ou seja, sem que haja tringulos monocromticos). Ao par de pontos de ndices i e j atribumos um nmero da seguinte maneira: escrevemos Suponha agora que sejam dados i j como

r =0

n 1

3 r onde r {1,0,1} para todo r, e atribuimos a {i, j} o menor k com

k = 1 (sempre existe um tal k pois i j > 0). Deixamos como exerccio para o leitor verificar que no h tringulos monocromticos nesta configurao (ver problema proposto No. 32 pg 55). 3n + 1 Obtemos assim a estimativa f (n) > . 2 Determinar exatamente os valores de nmeros de Ramsey clssicos R(a, b) com 3 a b que so conhecidos so: R(3, 3) = 6, R(3, 4) = 9, R(3, 5) = 14, R (3, 6) = 18, R(3, 7) = 23, R(3, 8) = 28, R (3, 9) = 36, R(4, 4) = 18, e R(4, 5) = 25. O nico nmero Ramsey com mais de duas cores cujo valor conhecido R(3, 3, 3) = 17.
3. O Teorema de Ramsey para multigrafos: At agora estivemos falando sobre coloraes de arestas de grafos, ou seja, a cada conjunto de dois vrtices associamos uma cor. Uma maneira de generalizar este resultado associar cores no a pares de vrtices, mas a conjuntos de m vrtices, onde m um inteiro positivo fixo (que

pode ser maior que 2). Como as configuraes que aparecem so um pouco mais complicadas, vamos introduzir notaes um pouco mais formais: Dado um conjunto A e um inteiro positivo k denotamos por [A]m o conjunto dos subconjuntos de m elementos de A, ou seja [ A] m = {B A # B = k } . Dado j inteiro positivo, definimos Ij = {1, 2, , j}. A verso m-dimensional (ou para m-hipergrafos) do teorema de Ramsey dada pelo seguinte teorema (do qual os resultados da seo 1 so casos particulares): Teorema (Ramsey): Sejam m, k inteiros positivos. Dados a1, a2,, ak inteiros positivos existe um inteiro positivo, que denotaremos por Rm ( a1 ,..., a k ) tal que para todo n Rm ( a1 ,..., a k ) e para qualquer funo f : [ I n ] m I k existem j I k e A I n com # A = a j tal que f ([ A] m ) := { f ( x), x [ A] m } { j}. Demonstrao: Para m = 1 o resultado uma aplicao simples, do princpio das gavetas: basta tomar R1 ( a1 ,..., a k ) = a1 + ... + a k k + 1. Vamos provar o resultado geral por induo em m. De fato, provaremos que podemos tomar R m ( a1 ,..., a k ) 1 + Rm 1 ( R m (a1 1,..., a k ), Rm (a1 , a 2 1..., a k ),..., Rm (a1 , a 2 ,...a k 1)) (e se algum dos ai menor que m podemos tomar Rm ( a1 ,..., a k ) = min{a1 , a 2 ,..., a k }). Note que isto fornece exatamente a recurso de proposio 1 da seo 1 no caso m = 2. Se n 1 + Rm 1 ( Rm ( a1 1, a 2 ,..., a k ),..., Rm (a1 , a 2 ,...a k 1)), dada uma funo f : [ I n ] m I k , definimos uma funo f : [ I n 1 ] m 1 I k da seguinte forma: dado A [ I n 1 ] m 1 , definimos f ( A) := f ( A {n}). Como n 1 Rm 1 ( Rm (a1 1,..., a k ),..., Rm ( a1 ,...a k 1)), existem j I k e B I n 1 com # B = Rm (a1 ,..., a j 1,..., a k ) tal que f ([ B ] m 1 ) = { j}. Agora, por definio de Rm ( a1 ,..., a j 1,..., a k ) existe i I k com i j e A B com# A = a i e f ([ A] m ) = {i}, caso em que j conseguimos o que queramos, ou existe A B com # A = a j 1 e f ([ A] m ) = { j}. Nesse caso, teremos # ( A {n}) = a j e f ([ A {n}] m ) = { j}, pois A B , e novamente conseguimos nosso objetivo .
~ ~

Obs.: O nico nmero de Ramsey cujo valor conhecido com m > 2 (e a j > m, j ) R3 ( 4,4) = 13 .
O exerccio 20 de [PC] pede para mostrar que dados 5 pontos no plano em posio geral h 4 que formam um quadriltero convexo. O leitor poderia perguntar: o que faz um problema geomtrico como este num artigo de combinatria? A resposta est ligada a uma generalizao deste resultado, descoberta por Erds e Szekeres: Dado um inteiro positivo n 4 existe um inteiro positivo f(n) tal que dados f(n) pontos no plano em posio geral h n deles que so vrtices de um n-gono convexo. Para provar isso, mostraremos que podemos tomar f (n) = R4 ( n,5). Para isso, dados R4 (n,5) pontos no plano, e um conjunto de 4 desses pontos, associamos a esse conjunto o nmero 1 se eles formam um quadriltero convexo, e 2 em caso contrrio.No possvel que haja 5 pontos tais que a cada 4 deles associado o nmero 2, pelo resultado do exerccio 20 de [PC], donde, por definio de R4 (n,5) , necessariamente h n desses pontos tais que cada 4 desses pontos formam um quadriltero convexo, mas isso implica que esses n pontos so vrtices de um n-gono convexo. 5. O teorema de Ramsey infinito:

Teorema: Sejam m, k inteiros positivos e A um conjunto infinito. Para qualquer funo f: [ A] m I k existem j I k e um conjunto infinito
m m B A tal que f ([ B ] ) = { f ( x) x [ B ] } = { j}

Demonstrao: Vamos provar o resultado por induo em m. Para m = 1 o resultado segue do fato de que se X infinito e C finito ento para toda funo f := X C existe C C tal que f
1

(c) = {x X f ( x) = c} infinito.

Seja agora m 2 e f : [ A] m I k , onde A infinito.Fixamos xo A, e definimos Ao = A \ {xo } e g : [ Ao ] m 1 I k por g (C ) := f (C {x o }), onde C um subconjunto de m 1 elementos de Ao . Pela hiptese de induo existe um conjunto infinito Bo Ao e j o I k tal que g o ([ Bo ] m 1 ) = { j o }. A partir da repetimos o processo recursivamente: dado n 0 An+1 = Bn \ {x n+1} e g n +1 = [ An+1 ] m 1 I k por fixamos x n +1 Bn e definimos g n +1(C ) = f (C {x n +1 }) para C An +1 com m 1 elementos. Pela hiptese de induo existe Bn +1 An +1 infinito e j n +1 I k tal que g ([ Bn +1 ] m 1 ) = { j n +1 }. Podemos agora tomar D = {x0, x1, x2,}, que um conjunto infinito e definir h : D I k por h( x r ) = j r . Como Ik finito, existe jIk tal que h 1 ( j ) = {x D h( x) = j} infinito. Afirmamos que B = h 1 ( j ) satisfaz a condio do enunciado. De fato, dado um subconjunto X = {xi1 , xi2 ,.., xim } de B com m elementos, temos f ( X ) = g i1 ({xi2 ,..., xim }) = j i1 = h( xi1 ) = j )
u

Sugesto: Tente usar os resultados deste artigo para resolver o problema Cuticoda Eureka! No5. Pg. 58. (ver tambm pg. 56 desta EUREKA!).

Referncias:
-[R]Ramsey, F.P., On a Problem of Formal Logic, Proc. London Math. Soc. 30 (1930) P P. 264286. -[PC]- Paulo Cezar Pinto Carvalho, Princpio das Gavetas Eureka! 5 PP.27-33. -[GRS]- R.L. Graham, , B.L. Rothscild, e J.H. Spencer, Ramsey Theory. Wiley. Interscience, 1990. -[ES]- Erds e G. Szekeres A Combinatorial Problem in Geometry Compositio Math.2 (1935), PP-464-470. -[Rad]- Stanislaw P. Radziszowski Smal Ramsey Numbers Dinamic Surveys-Electronic Journal of Combinatorics. http://www.combinatorics.org -[Er]- Pl Erds, Some Remarks on The Theory Of Graphs, Bull. Amer. Math. Soc. 53 (1947), PP.292-294.