Princ pio das casas de pombo

M arcia R. Cerioli IM e COPPE, UFRJ Renata de Freitas IME, UFF

Petrucio Viana IME, UFF 3 de Abril de 2012

Introdu c ao

Neste texto, apresentamos e exemplicamos o Princ pio das Casas de Pombo, PCP, tanto como um resultado matem atico, quanto como um m etodo de prova. Como um resultado matem atico, o PCP e bastante simples e intuitivo e parece, a ` primeira vista, ser de pouca aplicabilidade. Mas, como veremos, atrav es de exemplos, quando usado como um m etodo de prova, o PCP se torna uma ferramenta extremamente poderosa na resolu ca o de problemas cujo objetivo e garantir a exist encia de congura c oes de objetos satisfazendo a certas propriedades. Na Se c ao 2 e na Se c ao 3 motivamos e enunciamos o PCP. Na Se ca o 4 e na Se ca o 5, apresentamos alguns exemplos de aplica ca o do PCP na resolu ca o de problemas. Na Se c ao 6, apresentamos alguns exemplos cl assicos de aplica c ao do PCP na prova de teoremas. Na Se c ao 7, apresentamos uma prova do PCP baseada no Princ pio da Adi c ao, PA. Encerramos esta se ca o estudando a rela c ao l ogica entre o PA e o PCP. Em particular mostramos que, embora o PA possa ser usado para provar o PCP, a rec proca n ao e verdadeira.

A ideia do PCP
Considere o seguinte enunciado: Em um conjunto de 3 pombos, existem pelo menos 2 do mesmo sexo. 1

Este enunciado e, obviamente, verdadeiro e nem carece de justicativa. Mas, uma justicativa detalhada para ele pode ser a seguinte: Justicativa: Em primeiro lugar, observe que queremos provar a exist encia de um certo subconjunto dos pombos dados (2 pombos), cujos elementos satisfazem a uma certa propriedade (s ao do mesmo sexo). Para isto, consideramos os 3 pombos dados e duas casas de pombo, uma rotulada m (macho) e a outra rotulada f (f emea). Vamos agora colocar os pombos nas casas de pombo, de acordo com o sexo. Isto e, cada pombo vai para uma das casas, de acordo com o seguinte crit erio: se o pombo e macho, ele vai para a casa m; se o pombo e f emea (uma pomba, na verdade), ela vai para a casa f .
~~ ~~ ~ ~ ~~ ~

p?

?? ?? ?? ?

[m]

[f ]

Como temos 3 pombos e 2 casas de pombo para coloc a-los, uma das casas 3 dever a conter mais do que = 1, 5 pombos. Mais especicamente, uma das 2 casas dever a conter 2 pombos. Ou seja, ou temos 2 pombos machos ou temos 2 pombos f emeas. A resolu ca o deste problema simples ilustra a ideia principal associada ao PCP: o PCP d a origem a um m etodo que pode ser usado na prova de que uma certa congura c ao (objetos que possuem uma certa propriedade) existe. Para isto, alguns objetos s ao considerados como pombos, outros como casas de pombo, e os pombos s ao colocados nas casas de pombo. O PCP, simplesmente, garante que existe uma casa de pombos que cont em mais do que um certo n umero de pombos. Esta casa de pombos, obtida pelo PCP, usualmente nos leva ` a congura ca o procurada. Para formalizar esta ideia, usamos as no c oes de fun c ao e de imagem inversa de um elemento por uma fun c ao.

Enunciado do PCP
Sejam P e C conjuntos nitos e n ao vazios. Uma fun c ao de P em C relaciona elementos de P a elementos de C , de maneira que: cada elemento de P est a associado a algum elemento de C ; nenhum elemento de P est a associado a mais do que um elemento de C .

Assim, f e uma fun c ao de P em C , quando cada elemento de P est a associado a um e exatamente um elemento de C por f . Fun c oes s ao, usualmente, dadas por conjuntos de pares ordenados ou leis alg ebricas. Dados os conjuntos P e C , escrevemos f : P C para dizer que f e uma fun ca o de P em C . Al em disso, dados f : P C , p P e c C , escrevemos f (p) = c para dizer que c eou nico elemento de C associado a p por f . Sejam P e C conjuntos, f : P C e c C . A imagem inversa de c por f e o conjunto de todos os elementos de P que f associa a c, ou seja, e o conjunto {p P : f (p) = c}. Dados f : P C e c C , escrevemos f 1 (c) para denotar a imagem inversa de c por f . Observe que f 1 (c) e um subconjunto de P . A ideia central na formula c ao do PCP e a de que, se estabelecemos uma fun ca o de um conjunto P em um conjunto C , mesmo que tenhamos feito uma distribui c ao equitativa dos elementos de P entre os elementos de C , h a um elemento de C que e o correspondente de, no m nimo, uma quantidade igual a divis ao de |P | (o n umero de elementos de P ) por |C | (o n umero de elementos de C ). Mais formalmente temos:

Princ pio das Casas de Pombo: Seja P um conjunto nito e n ao vazio (de pombos) e C um conjunto nito e n ao vazio (de casas de pombo). Se f : P C e uma fun ca o (que coloca os pombos nas casas de pombo), ent ao existe c em C (uma casa de pombo), tal que |f 1 (c)| |P | |C |

(a casa c possui ao menos Antes de mais nada, observe que:

|P | pombos). |C |

O PCP garante que existe uma casa de pombo c que possui ao menos |P | pombos, mas n ao mostra qual e a casa e nem quais s ao os pombos |C | que est ao nela. Usualmente, o PCP e enunciado com a restri ca o de que |P | > |C |, ou seja, de que existem mais pombos do que casas de pombo. Embora estes sejam os casos que interessam na maioria das vezes, esta restri ca o n ao e necess aria. De fato, se temos menos pombos do que casas, ou seja, se |P | < |C |, o PCP arma que existe uma casa que |P | > 0 pombo e, portanto, est a correto. Al em possui pelo menos 1 > |C | disso, se temos tantos pombos quanto casas, ou seja, se |P | = |C |, o PCP tamb em est a correto, pois arma que existe uma casa que possui |P | pelo menos 1 = pombo. |C |

Primeiras aplica co es do PCP

Nos exemplos mais diretos de aplica c ao, o PCP d a origem a um m etodo de prova, da seguinte maneira: 1. Queremos provar a exist encia de uma certa congura c ao cuja exist encia n ao e f acil provar, a ` primeira vista. 2. Analisamos o problema de modo a determinar um certo conjunto de objetos P (pombos) e um outro conjunto de C (casas de pombo). 4

3. Determinamos o n umero |P | de pombos e o n umero |C | de casas de pombo. 4. Aplicamos o PCP e conclu mos que existe uma casa de pombos c que |P | pombos. possui ao menos |C | 5. A partir da casa de pombos c, determinamos a congura c ao procurada. Como um exemplo imediato da aplica ca o desta estrat egia, vamos justicar os seguintes enunciados. Exemplo 4.1 Em um grupo de 40 pessoas, existem ao menos 4 que fazem anivers ario no mesmo m es. Justicativa: Observe que queremos provar a exist encia de um certo subconjunto das pessoas (4 pessoas) cujos elementos possuem uma certa propriedade (fazem anivers ario no mesmo m es). Vamos considerar P como sendo o conjunto das pessoas e C como sendo o conjunto dos meses do ano. Sabemos que |P | = 40 e |C | = 12. Consideremos tamb em a fun c ao f : P C tal que f (p) e o m es de anivers ario da pessoa p. Assim, pelo PCP, existe uma casa c que possui ao menos 4 > 3, 333 . . . = |P | 40 = pombos. Ou seja, temos ao menos 4 pessoas que fazem anivers ario 12 |C | no mesmo m es. Exemplo 4.2 Se escolhemos 17 pontos aleatoriamente dentro de um quadrado de a rea 16, ent ao existem ancia de um para ao menos 2 pontos cuja dist o outro e menor ou igual a 2. Justicativa: Observe que queremos provar a exist encia de um certo subconjunto dos pontos (2 pontos) cujos elementos est ao em uma certa rela c ao (distam um do outro de no m aximo 2). Vamos considerar P como sendo o conjunto dos pontos e C como sendo o conjunto dos quadrados unit arios desenhados dentro do quadrado de area 16:

Sabemos que |P | = 17 e |C | = 16. Consideremos tamb em a fun c ao f : P C tal que f (p) e o quadrado unit ario ao qual o ponto p pertence. Assim, pelo PCP, existe uma casa c que possui ao menos 2 > 1, 0625 = |P | 17 = pombos. 16 |C | Como a diagonal do quadrado unit ario mede 2, os pombos em c est ao a uma dist ancia menor ou igual a 2, um do outro.

Segundas aplica co es do PCP

Os exemplos da Se c ao 4 sugerem que a parte mais dif cil na aplica ca o do PCP e determinar, de acordo com os dados do problema, qual e o conjunto de pombos e qual e o conjunto de casas de pombo. Nesta se c ao vamos considerar alguns exemplos mais complexos nos quais determinar P e C n ao e uma tarefa t ao direta e exige alguma esperteza por parte de quem est a aplicando o PCP. Exemplo 5.1 Considere um conjunto X contendo 10 n umeros naturais n ao nulos menores que 100. Ou seja, X {1, 2, 3, . . . , 99} e |X | = 10. Temos que existem dois subconjuntos Y e Z de X tais que Y = , Z = , Y Z = e y= z.
y Y z Z

Justicativa: Considere P como sendo o conjunto dos subconjuntos n ao vazios de X , e C como sendo o conjunto dos resultados poss veis dos somat orios dos subconjuntos n ao vazios de X , isto e, C = { a : A X e A = }. Sabemos
aA

que |P | = 210 1, pois |X | = 10 mas o conjunto vazio n ao pertence a P . N ao temos informa ca o suciente para calcular |C | com precis ao. Mas uma cota superior para o valor de |C | ser a suciente para os nossos prop ositos. Para calcular esta cota, observe que, como todos os 10 elementos de X s ao menores ou iguais a 99, temos que x < 990. Logo, se A X , ent ao a < 990.
x X aA

Ou seja, os resultados poss veis dos somat orios dos subconjuntos n ao vazios de X s ao valores entre 1 e 990, isto e, |C | < 990. 1023 |P | = Assim, pelo PCP, existe uma casa c que possui ao menos 2 990 |C | pombos. Isto e, existem dois subconjuntos n ao vazios A e B de X tais que a= b.
aA bB

N ao podemos garantir que AB = mas, a partir destes conjuntos, e f acil obter dois subconjuntos n ao vazios Y e Z de A com todas as propriedades desejadas. Basta considerar Y = A (A B ) e Z = B (A B ). Temos ent ao que Y Z = e y= z.
y Y z Z

Exemplo 5.2 Seja A um conjunto nito e n ao vazio de n umeros naturais, com m elementos. Temos que existe um subconjunto B de A tal que m divide a soma dos elementos de B . Justicativa: Seja A = {a1 , a2 , . . . , am }. Observe que queremos provar a exist encia de um certo subconjunto B = {b1 , b2 , . . . , bn } de A, n m, cuja soma dos elementos b1 + b2 + . . . + bn e um m ultiplo de m. Para isto, vamos considerar as somas a1 a1 + a2 a1 + a2 + a3 a1 + a2 + a3 + a4 . . . a1 + a2 + a3 + a4 + + am Temos dois casos. Se m divide uma das somas a1 + a2 + a3 + + ai , 1 i m, basta considerar o conjunto B = {a1 , a2 , a3 , . . . , ai }. Se nenhuma das somas a1 + a2 + a3 + + ai , 1 i m e um m ultiplo de m, consideramos P como sendo o conjunto das somas e C como sendo o conjunto {1, 2, 3, . . . , m 1} dos poss veis restos quando dividimos as somas por m. Sabemos que |P | = m e |C | = m 1. |P | m = Assim, pelo PCP, existe uma casa c que possui ao menos 2 > m1 |C | pombos. Sejam a1 + a2 + a3 + + ai e a1 + a2 + a3 + + aj , com i < j , estas somas. Temos que a1 + a2 + a3 + + ai e a1 + a2 + a3 + + aj deixam o mesmo resto na divis ao por m. Ora, se dois n umeros a e b, com a > b deixam o mesmo resto na divis ao por m, ent ao m divide a diferen ca a b. De fato, se a = q1 m + r e b = q2 m + r, com q1 > q2 , ent ao a b = (q1 m + r) (q2 m + r) = q1 m q2 m = (q1 q2 )m, que e um m ultiplo de m.

Assim, temos que m divide ai+1 + ai+2 + + aj = (a1 + a2 + a3 + + aj ) (a1 + a2 + a3 + + ai ). Basta, ent ao, considerar o conjunto B = {ai+1 , ai+2 , . . . , aj }. Exemplo 5.3 Seja s = (a1 , a2 , . . . , a2n+1 ) uma sequ encia de 2n + 1 n umeros inteiros, n N, e (ai1 , ai2 , . . . , ai(2n+1) ) uma permuta ca o de s. Temos que o produto (ai1 a1 )(ai2 a2 )(ai3 a3 ) . . . (ai(2n+1) a2n+1 ) e um n umero par. Justicativa: Observe que o produto (ai1 a1 )(ai2 a2 )(ai3 a3 ) . . . (ain a2n+1 ) e par se, e somente se, existe um fator aij aj , 1 j 2n + 1, que e um n umero par se, e somente se, existe um n umero j , 1 j 2n + 1, tal que os n umeros aij e aj s ao ambos pares ou ambos mpares. Para isto, vamos considerar P como sendo o conjunto cujos elementos s ao os n umeros a1 , a2 , . . . , a2n+1 e C como sendo o conjunto cujos elementos s ao as palavras par e mpar. Sabemos que |P | = 2n + 1 e |C | = 2. 2n + 1 = Assim, pelo PCP, existe uma casa c que possui ao menos n +1 > 2 |P | pombos. |C | Sejam b1 , b2 , . . . , bn+1 estes n umeros. Temos que b1 , b2 , . . . , bn+1 s ao todos pares ou todos mpares. Sejam, tamb em, c1 , c2 , . . . , cn+1 os elementos que correspondem aos elementos b1 , b2 , . . . , bn+1 , segundo p. Observe que {b1 , b2 , . . . , bn+1 } {c1 , c2 , . . . , cn+1 } = . De fato, se fosse {b1 , b2 , . . . , bn+1 }{c1 , c2 , . . . , cn+1 } = , ent ao a interse ca o {b1 , b2 , . . . , bn+1 } {c1 , c2 , . . . , cn+1 } teria (n + 1) + (n + 1) = 2n + 2 > 2n + 1 elementos, uma contradi c ao. Agora, seja d {b1 , b2 , . . . , bn+1 }{c1 , c2 , . . . , cn+1 }. Ou seja, d = bk = cl , onde 1 k, l n + 1. Temos que, cl bl = bk bl e par, pois bk e bl s ao ambos pares ou ambos mpares. Como cl bl e um fator de (ai1 a1 )(ai2 a2 )(ai3 a3 ) . . . (ai(2n+1) a2n+1 ), temos que este u ltimo produto e par. 8

Algumas aplica co es cl assicas do PCP

Uma das raz oes pelas quais o PCP merece destaque e que ele e, usualmente, empregado como m etodo de prova na justicativa de v arios teoremas importantes. Vamos deixar para o leitor a tarefa de procurar na bibliograa especializada de combinat oria, os v arios exemplos de uso do PCP neste contexto. Para uma leitura inicial, sugerimos os livros [1] e [2] e os artigos [3] e [5]. Nesta se ca o, apresentamos tr es exemplos cl assicos de aplica c ao do PCP na prova de teoremas. Apresentamos a prova do Teorema de Erd os-Szekeres sobre subsequ encias monot onicas, a prova do Lema de Dilworth sobre ordens parciais e a prova do Teorema de Ramsey sobre subgrafos monocrom aticos, seguindo [3].

6.1

O PCP e a prova do Teorema de Erd os-Szekeres

Para enunciar o Teorema de Erd os-Szekeres, utilizamos os conceitos a seguir. Seja s = (x1 , . . . , xn ) uma sequ encia de n umeros reais. 1. s e monot onica crescente se x1 xn . 2. s e monot onica decrescente se x1 xn . 3. s e monot onica se e monot onica crescente ou monot onica decrescente. 4. s = (y1 , . . . , ym ) e uma subsequ encia de s se m n e, para todos yi , yj em s tais que i < j , temos que existem xk , xl em s tais que yi = xk , y j = xl e k < l . Teorema 6.1 (Erd os-Szekeres) Se s = (x1 , , xn ) e uma sequ e ncia de n umeros reais, ent ao s cont em uma subsequ encia monot onica com n termos. Prova. Seja s = (x1 , , xn ) uma sequ encia de n umeros reais. Suponhamos, para uma c ao, que toda subsequ encia monot onica contradi de s possui no m aximo n 1 termos. Podemos ent ao denir uma fun ca o f : {1, . . . , n} {1, . . . , n 1} {1, . . . , n 1} tal que f (i) = (ci , di ), onde ci e o tamanho da maior subsequ encia monot onica crescente iniciada em xi e di e o tamanho da maior subsequ encia monot onica decrescente iniciada em xi . 9

Para a aplica c ao do PCP, consideramos P = {1, . . . , n} e C = {1, . . . , n 1} {1, . . . , n 1}, donde |P | = n e |C | = ( n 1)2 . Pelo PCP, temos que existe (c, d) C tal que |P | n n > 1. = = |f 1 (c, d)| 2 |C | ( n 1) n2 n+1 Assim, existem dois termos xj e xk da sequ encia s tais que cj = ck = c e dj = dk = d. Temos duas possibilidades: xj < xk ou xj > xk . Se xj < xk , ent ao a maior subsequ encia monot onica crescente iniciada em xj possui ao menos um termo a mais do que a maior subsequ encia monot onica crescente iniciada em xj . Ou seja, cj > ck , o que e uma contradi ca o. Se xj > xk , ent ao a maior subsequ encia monot onica decrescente iniciada em xj possui ao menos um termo a mais do que a maior subsequ encia monot onica decrescente iniciada em xj . Ou seja, dj > dk , o que tamb em e uma contradi ca o. Assim, s cont em uma subsequ encia monot onica com n termos.

6.2

O PCP e a prova do Lema de Dilworth

Para enunciar o Lema de Dilworth, utilizamos os conceitos de ordem, cadeia e anticadeia. Dizemos que e uma rela c ao de ordem em um conjunto A se e uma rela ca o bin aria em A que e reexiva, antissim etrica e transitiva. Se, ao contr ario, todos os elementos de A s ao incompar aveis segundo , isto e, dados a, b A, temos que a b e b a, dizemos que e uma anticadeia. Lema 6.1 (Dilworth) Seja A um conjunto nito e uma rela c ao de ordem em A. Se |A| = n, com n 2, ent ao existe um subconjunto B A tal que e uma cadeia ou uma anticadeia. |B | = n e B Prova. Suponhamos que A n ao cont em nenhuma cadeia de tamanho n. Para a aplica c ao do PCP, consideramos P = A e C = {1, 2, . . . , n 1}. Temos que |P | = n e |C | = n 1. Podemos denir uma fun c ao f : P C tal que f (x) = m se m e o tamanho da maior cadeia em A que tem x como u ltimo elemento. Pelo PCP, existe c C tal que |f 1 (c)| n . n1

10

 Como n 2, temos que |f 1 (c)| n. De fato, se |f 1 (c)| n 1, ter amos que n , n 1 |f 1 (c)| n1 donde n 2 n + 1 n, uma contradi ca o. Logo, |f 1 (c)| > n 1, isto e, |f 1 (c)| n. Agora vamos mostrar que B = f 1 (c) e uma anticadeia. Suponhamos, para uma contradi ca o, que existem x, y B tais que x y . Da ter amos f (x) > f (y ), ou seja, f (x) = f (y ), uma contradi ca o, pois, se 1 1 x, y f (c), ent ao f (x) = f (y ) = c. Assim, f (c) e uma anticadeia de tamanho m nimo n.

6.3

O PCP e a prova do Teorema de Ramsey

O Teorema de Ramsey trata de colora ca o de grafos. Um grafo e um conjunto nito de v ertices ligados por arestas, de modo que: n ao haja la cos, isto e, um v ertice nunca est a ligado a si mesmo por uma aresta, e n ao haja arestas m ultiplas, isto e, um mesmo par de v ertices est a ligado por no m aximo uma aresta. Dado um grafo G, denotamos por V (G) o conjunto de v ertices de G e por A(G) o conjunto de arestas de G. As arestas de G s ao representadas por pares de v ertices de G. Dizemos que um grafo G e completo se existe uma aresta entre cada par de v ertices, isto e, para todos u, v V (G), temos que (u, v ) A(G). Um grafo completo com n v ertices e denominado Kn . Dizemos que um grafo H e subgrafo de um grafo G se V (H ) V (G) e A(H ) A(G). Uma bicolora c ao de um grafo G e uma assinala ca o de cores a `s arestas de G com uma ou duas cores. Uma bicolora ca o pode ser vista como uma fun ca o f : A(G) {vermelho, amarelo}, onde A(G) e o conjunto das arestas de G. Um subgrafo H de G e monocrom atico segundo uma bicolora c ao f se f e constante em A(H ). Se H e monocrom atico, dizemos que H e vermelho ou amarelo. Dados a, b N tais que a, b 2, o n umero de Ramsey para a e b, denotado por R(a, b), e o menor natural tal que, para qualquer bicolora ca o f de KR(a,b) , temos um subgrafo Ka vermelho segundo f ou um subgrafo Kb amarelo segundo f . Vejamos o caso em que a = b = 3. O n umero de Ramsey para estes valores e R(3, 3) = 6. Em geral, a prova de que R(a, b) = n e feita em 11

)F x FF xx  ) FFF x x  FF xx _ _ _) _ _ x G ((_ ) w   (( G G ) w  w)  ((  G w  ((  w G G )  G  w 

Figura 1: R(3, 3) 6 duas partes: (1) prova-se que R(a, b) n, exibindo uma bicolora c ao de Kn1 segundo a qual nenhum subgrafo Ka e vermelho e nenhum subgrafo Kb e amarelo, e (2) prova-se que R(a, b) n, usando-se argumentos de contagem, como o PCP, por exemplo. Proposi c ao 6.1 R(3, 3) 6. Prova. A Figura 1 apresenta uma bicolora c ao de K5 segundo a qual nenhum subgrafo K3 e vermelho e nenhum subgrafo K3 e amarelo, isto e, nenhum subgrafo K3 e monocrom atico. Proposi c ao 6.2 R(3, 3) 6. Prova. Considere uma bicolora c ao para K6 . Seja v um v ertice em K6 . Considere os conjuntos P = V (K6 ) \ {v } e C = {vermelho, amarelo}, e a fun ca o f : P C tal que f (u) e a cor da aresta que liga o v ertice u ao v ertice v . Temos que |P | = 5 e |C | = 2. Logo, pelo PCP, temos que existe uma cor c C tal que 5 |P | = , |f 1 (c)| |C | 2 ou seja, existem pelo menos 3 v ertices de K6 ligados a v por v ertices da mesma cor c, digamos vermelho. Agora temos dois casos a considerar. Caso 1. Se estes 3 v ertices estiverem ligados entre si por arestas amarelas, ent ao temos um subgrafo K3 amarelo. Caso 2. Caso contr ario, ou seja, se existir uma aresta vermelha entre dois destes v ertices, ent ao estes dois v ertices, juntamente com v , formam um subgrafo K3 vermelho. Em qualquer caso, temos um subgrafo K3 vermelho ou um subgrafo K3 amarelo. Logo, R(3, 3) 6. O Teorema de Ramsey arma que, no caso geral, sempre existe um natural n tal que R(a, b) n. Em outras palavras, para todos a, b 2, existe um valor m nimo R(a, b). 12

Teorema 6.2 (Ramsey) Se a, b N e a, b 2, ent ao R(a, b) existe. Prova. Por indu ca o em a. base. Vamos mostrar que, qualquer que seja b 2, existe um valor m nimo R(2, b) N tal que, para qualquer bicolora ca o de KR(2,b) , temos um subgrafo vermelho K2 ou um subgrafo amarelo Kb . Seja b 2. Vamos mostrar que R(2, b) = b. Considere uma bicolora ca o de Kb . Se Kb for amarelo segundo esta colora c ao, temos um subgrafo amarelo Kb . Se n ao, existem pelo menos uma aresta vermelha ligando dois v ertices em Kb . Estes dois v ertices constituem um subgrafo vermelho K2 . tese. Seja a 2 tal que, qualquer que seja b 2, existe um valor hipo m nimo R(a, b) N tal que, para qualquer bicolora ca o de KR(a,b) , temos um subgrafo vermelho Ka ou um subgrafo amarelo Kb . passo. Vamos mostrar que, qualquer que seja b 2, existe um valor m nimo R(a + 1, b) N tal que, para qualquer bicolora c ao de KR(a+1,b) , temos um subgrafo vermelho Ka+1 ou um subgrafo amarelo Kb . Apresentamos uma prova por indu ca o em b. f Base. E acil ver que R(a, b) = R(b, a), para todos a, b N. Al em disso, como foi mostrado na base, temos que R(2, a + 1) = a + 1. Assim, R(a + 1, 2) = R(2, a + 1) = a + 1. Hip otese. Seja b 2 para o qual existe um valor m nimo R(a +1, b) N tal que, para qualquer bicolora ca o de KR(a+1,b) , temos um subgrafo vermelho Ka+1 ou um subgrafo amarelo Kb . Passo. Vamos mostrar que existe um valor m nimo R(a + 1, b + 1) N tal que, para qualquer bicolora c ao de KR(a+1,b+1) , temos um subgrafo vermelho Ka+1 ou um subgrafo amarelo Kb+1 . tese, existe um valor m Pela hipo nimo R(a, b + 1) tal que, para qualquer bicolora ca o de KR(a,b+1) , temos um subgrafo vermelho Ka ou um subgrafo amarelo Kb+1 . Pela Hip otese, existe um valor m nimo R(a +1, b) tal que, para qualquer bicolora ca o de KR(a+1,b) , temos um subgrafo vermelho Ka+1 ou um subgrafo amarelo Kb . Vamos mostrar que R(a + 1, b + 1) R(a + 1, b) + R(a, b + 1). Consideremos n = R(a + 1, b) + R(a, b + 1) e uma bicolora ca o para o grafo completo Kn . Seja v um v ertice em Kn , k o n umero de v ertices 13

ligados a v por arestas vermelhas e l o n umero de v ertices ligados a v por arestas amarelas. Assim, k + l = n 1 = R(a, b +1)+ R(a +1, b) 1. Agora vamos analisar dois casos. tese, o (sub)grafo Kk Caso 1. k R(a, b + 1). Neste caso, pela Hipo de Kn constitu do pelos k v ertices ligados a v por arestas vermelhas possui um subgrafo Ka vermelho ou um subgrafo Kb+1 amarelo. Se acrescentarmos v aos v ertices que comp oem o subgrafo Ka vermelho, teremos um subgrafo Ka+1 vermelho. Caso 2. k < R(a, b + 1). Neste caso, como k + l = R(a, b + 1) + R(a + 1, b) 1, temos que l > R(a + 1, b) 1, donde l R(a + 1, b). Da , pela Hip otese, o (sub)grafo Kl de Kn constitu do pelos k v ertices ligados a v por arestas amarelas possui um subgrafo Ka+1 vermelho ou um subgrafo Kb amarelo. Se acrescentarmos v aos v ertices que comp oem o subgrafo Kb amarelo, teremos um subgrafo Kb+1 amarelo. Assim, para quaisquer a, b N tais que a, b 2, existe um valor m nimo R(a, b) N tal que, para qualquer bicolora c ao de KR(a,b) , temos um subgrafo vermelho Ka ou um subgrafo amarelo Kb . Al em disso, quando a, b 3, temos que R(a, b) R(a, b 1) + R(a 1, b).

Prova do PCP

Nesta se c ao, vamos apresentar uma prova formal do PCP isto e, uma justicativa para o PCP, logicamente encadeada, que emprega conceitos e resultados matem aticos considerados como j a estabelecidos. Vamos, tamb em, discutir a rela c ao l ogica do PCP com o principal resultado matem atico usado nesta prova, o Princ pio da Adi ca o.

7.1

Princ pio da Adi c ao

A prova do PCP que vamos apresentar, e baseada em um resultado matem atico conhecido como Princ pio da Adi c ao, PA. Como o PCP, o PA e um resultado bastante simples e pode ser motivado pelo problema a seguir. Exemplo 7.1 Determine o n umero total de quadrados que podem ser desenhados, de modo que os lados de cada quadrado estejam sobre as linhas da gura abaixo (chamada grade ), composta de 16 quadrados (chamados c elulas ). 14

Resolu c ao: Seja X o conjunto de todos os quadrados que podem ser desenhados sobre as linhas da grade. Observe que cada elemento de X e um quadrado formado por 1, 4, 9 ou 16 c elulas, respectivamente. Ou seja, a pr opria grade e as guras:

Considere o conjunto A1 dos quadrados que usam 1 c elula; A2 o conjunto dos quadrados que usam 4 c elulas; A3 o conjunto dos quadrados que usam 9 c elulas; e A4 o conjunto dos quadrados que usam 16 c elulas. Como cada quadrado em X pertence a exatamente um dos conjuntos A1 , A2 , A3 ou A4 , se determinamos |A1 |, |A2 |, |A3 | e |A4 |, o problema est a resolvido, pois para determinar |X | basta somar |A1 | com |A2 |, com |A3 | e com |A4 |. De acordo com o enunciado do problema, |A1 | = 16, |A2 | = 9, |A3 | = 4 e |A4 | = 1. Assim, temos |X | = 16 + 9 + 4 + 1 = 30. A resolu ca o deste problema simples ilustra a ideia principal do PA: o PA pode ser usado na determina c ao do n umero de elementos de um dado conjunto X , simplesmente pela troca de X por v arios conjuntos menores A1 , A2 , . . . , An , que possuem todos os elementos de X e que n ao possuem elementos em comum, para os quais sabemos determinar |A1 |, |A2 |, . . . , |An |. Para enunciar o PA de maneira formal (e correta) precisamos da no c ao de parti c ao. Uma cole c ao de subconjuntos forma uma parti ca o de um conjunto dado, quando cada elemento do conjunto dado pertence a exatamente um destes subconjuntos.

15

Sejam X um conjunto nito e A1 , A2 , . . . , An subconjuntos de X . (1) Dizemos que A1 , A2 , . . . , An exaurem X se, para cada elemento x de X , existe i, com 1 i n, tal que x Ai ; ou seja, se A1 A2 . . . An = X . (2) Dizemos que A1 , A2 , . . . , An s ao disjuntos dois a dois se, quando examinados aos pares, eles n ao possuem elementos em comum; ou seja, Ai Aj = , para todos i, j com 1 i = j n. (3) Dizemos que A1 , A2 , . . . , An s ao uma parti c ao de X se A1 , A2 , . . . , An exaurem X e s ao disjuntos dois a dois. Neste caso, tamb em dizemos que A1 , A2 , . . . , An s ao os blocos da parti c ao e que a cada elemento de X corresponde a um e somente um dos blocos Ai , onde i {1, 2, . . . , n}. A ideia central na formula c ao do PA e a de que, se separamos os elementos de X em conjuntos A1 , A2 , . . . , An , de maneira que cada elemento de X est a em exatamente um dos conjuntos Ai, ou seja, se estabelecemos uma parti c ao de X nos conjuntos A1 , A2 , . . . , An , ent ao a soma do n umero de elementos de A1 com o n umero de elementos de A2 com . . . com o n umero de elementos de An e igual ao n umero de elementos de X . Mais formalmente, temos: Princ pio da Adi c ao (PA): Seja X um conjunto nito. Se A1 , A2 , . . . , An s ao uma parti ca o de X , ent ao |X | = |A1 | + |A2 | + . . . + |An |. Na pr atica, o PA deve ser aplicado na seguinte situa ca o: 1. Queremos determinar o n umero de elementos de um conjunto X que n ao e f acil determinar, ` a primeira vista. 2. Transformamos, atrav es de uma parti c ao, o conjunto X em n subconjuntos A1 , A2 , . . . , An cujos n umeros de elementos j a sabemos determinar. 16

3. Aplicamos o PA e conclu mos que o n umero de elementos de X e igual ao somat orio do n umero de elementos dos Ai , com 1 i n.

7.2

Prova do PCP usando o PA

Vamos ver como podemos usar o PA para provar o PCP. Teorema 7.1 (Princ pio das Casas de Pombo) Sejam P e C conjuntos nitos e n ao vazios. Se f : P C e uma fun c ao, ent ao existe c em C , tal que |P | . |f 1 (c)| |C | Prova. Vamos provar o PCP por redu c ao ao absurdo, usando o PA. Assim, vamos supor, para uma contradi ca o, que o PCP e falso. Isto e, vamos supor que existem conjuntos nitos e n ao vazios P = {p1 , p2 , . . . , pm } e C = {c1 , c2 , . . . , cn }, e fun c ao f : P C tais que, para cada c em C : |f 1 (c)| < |P | . |C |

Sejam d1 , d2 , . . . , dk , k n, os elementos de C aos quais f associa algum elemento de P . A primeira coisa a observar e que, como f : P C e uma fun ca o, os conjuntos f 1 (d1 ), f 1 (d2 ), . . . , f 1 (dk ) s ao uma parti ca o de P . De fato, como cada elemento de P est a associado a algum elemento de C por f , dado p P , existe algum elemento di em C , 1 i k , tal que f (p) = di . Assim, p f 1 (di ), ou seja, cada elemento de P pertence a algum dos conjuntos em f 1 (di ), 1 i k . Al em disso, como nenhum elemento de P est a associado a mais do que um elemento de C por f , dados f 1 (di ) e f 1 (dj ), 1 i = j k , temos que f 1 (di ) f 1 (dj ) = . Assim, pelo PA, temos |P | = |f 1 (d1 )| + |f 1 (d2 )| + + |f 1 (dk )|.

17

E da , podemos concluir que m = |P | = |f 1 (c1 )| + |f 1 (c2 )| + + |f 1 (ck )| < |P | |P | |P | + + + |C | |C | |C | k vezes m m m + + + n n n n vezes m n

= n = m,

ou seja, m < m, uma contradi ca o com m = m.

7.3

Generalizando a prova anterior

Com rela ca o ` a prova apresentada na se ca o anterior, observe que os u nicos conceitos matem aticos que foram usados na sua formula ca o foram: os n umeros racionais e suas propriedades aritm eticas; conjuntos e a no ca o de parti ca o; fun c oes e suas propriedades; a fun ca o | |, que associa a cada conjunto nito X o seu n umero de elementos |X |. A fun ca o | | possui duas propriedades fundamentais que foram usadas na prova acima: (i) para todo conjunto nito X , |X | = 0 se, e somente se, X = ; (ii) para todos os conjuntos nitos X, A1 , A2 , . . . , An , temos que se A1 , A2 , . . . , An s ao uma parti ca o de X , ent ao |X | = |A1 | + |A2 | + . . . + |An |. A propriedade (i) foi usada, por exemplo, para garantir o uso das fra co es que aparecem na prova. A propriedade (ii) e, exatamente, o PA. |P | |C |

18

Al em disso, a propriedade (ii) foi usada apenas em um ponto muito espec co da prova, para concluir que |P | = |f 1 (d1 )| + |f 1 (d2 )| + . . . + |f 1 (dk )|. Agora, observe que a prova acima pode ser diretamente adaptada para provar que um resultado an alogo ao PCP vale para toda fun c ao g , que associa conjuntos nitos a n umeros naturais, que satisfaz a propriedades an alogas a estas propriedades fundamentais da fun ca o | |. Formalmente, vamos denir: Seja g uma fun ca o dos conjuntos nitos nos n umeros naturais. Dizemos que g e normal aditiva se satisfaz ` as seguintes condi co es: (1) para todo conjunto nito X , g (X ) = 0 se, e somente se, X = ; (2) para todos os conjuntos nitos X, A1 , A2 , . . . , An , se A1 , A2 , . . . , An s ao uma parti ca o de X , ent ao g (X ) = g (A1 ) + g (A2 ) + . . . + g (An ). Duas propriedades b asicas das fun co es normais aditivas s ao necess arias no segue: Teorema 7.2 Se g e uma fun c ao normal aditiva, ent ao: (i) 1 g (X ), para todo conjunto unit ario X ; (ii) |X | g (X ), para todo conjunto nito X . Prova. (i) Se X e unit ario, temos que X = . Assim, pela propriedade (1) da deni ca o de fun c ao normal aditiva, g (X ) = 0. Como g e uma fun ca o dos conjuntos nitos nos n umeros naturais, temos g (X ) 1. (ii) Suponha agora que X = {x1 , x2 , . . . , xn }. Como {x1 }, {x2 }, . . . , {xn } s ao uma parti c ao de X , pela propriedade (2) da deni c ao de fun ca o normal aditiva, g (X ) = g ({x1 }) + g ({x2 }) + . . . + g ({xn }) 1 + 1 + . . . + 1 = n = n vezes |X |. Para justicar a desigualdade, usamos (i). Dada uma fun c ao normal aditiva, g , qualquer, estamos prontos para provar o seguinte: Teorema 7.3 (PCP para g ) Para todos os conjuntos nitos e n ao vazios P e C , e para toda fun c ao f : P C , existe c em C , tal que g (f 1 (c)) g (P ) . g (C )

19

Prova. Vamos adaptar de maneira direta a prova do PCP usando o PA, para obter uma prova do PCP para g . Assim, vamos supor, para uma contradi ca o, que o PCP para g e falso. Isto e, vamos supor que existem conjuntos nitos e n ao vazios P = {p1 , p2 , . . . , pm } e C = {c1 , c2 , . . . , cn }, e fun c ao f : P C tais que, para cada c em C : g (f 1 (c)) < g (P ) . g (C )

Sejam d1 , d2 , . . . , dk , k n, os elementos de C aos quais f associa algum elemento de P . Como j a sabemos, do fato que f : P C e uma fun ca o, 1 1 1 temos que os conjuntos f (d1 ), f (d2 ), . . . , f (dk ) s ao uma parti ca o de P . Assim, pela propriedade de g e pelo PA, temos g (P ) = g (f 1 (d1 )) + g (f 1 (d2 )) + . . . + g (f 1 (dk )). E da , podemos concluir que g (P ) = g (f 1 (c1 )) + g (f 1 (c2 )) + . . . + g (f 1 (ck )) < g (P ) g (P ) g (P ) + + ... + g (C ) g (C ) g (C ) k vezes g (P ) g (P ) g (P ) + + ... + g (C ) g (C ) g (C ) n vezes g (P ) , g (C )

= n

ou seja, g (P ) < n

g (P ) . Mas isto acarreta g (C )g (P ) < ng (P ) e, como g (C ) g (P ) = 0, g (C ) < n. Mas esta u ltima desigualdade e o mesmo que g (C ) < |C |, uma contradi ca o com o Teorema 7.2(ii).

7.4

Rela c ao l ogica do PA com o PCP

O PA e o PCP podem ser vistos como propriedades importantes da fun c ao | | que associa conjuntos nitos a n umeros naturais, contando o n umero de elementos dos conjuntos. Na se c ao anterior provamos que o PA (quando visto deste modo), juntamente com propriedades usuais dos n umeros racionais e 20

conjuntos, acarreta o PCP (quando este tamb em e visto como uma propriedade de | |). Na verdade, mostramos um resultado um pouco mais forte que garante que, dadas as propriedades usuais dos n umeros racionais e conjuntos, qualquer fun ca o normal aditiva tem uma propriedade an aloga a ` do PCP, quando visto como uma propriedade da fun c ao | |. Uma pergunta que cabe fazer neste contexto e se o PA tamb em e uma consequ encia do PCP, ou seja, se os dois princ pios s ao, na verdade, equivalentes. Veremos agora que este n ao e o caso, isto e, veremos que n ao e poss vel provar o PA a partir do PCP, juntamente com propriedades usuais dos n umeros racionais e conjuntos. A ideia principal da justicativa deste fato e a de que, se pud essemos provar o PA a partir do PCP, de uma maneira an aloga a que zemos no caso da prova do PCP a partir do PA, a prova apresentada poderia ser generalizada para provar que qualquer fun c ao satisfazendo o PCP para g e as propriedades que foram usadas na prova, tamb em deveria satisfazer uma vers ao do PA para g , ou seja, deveria satisfazer a propriedade: Propriedade 7.1 (PA para g ) Para todos os conjuntos nitos X , A1 , A2 , . . . , An , se A1 , A2 , . . . , An s ao uma parti c ao de X , ent ao g (X ) = g (A1 ) + g (A2 ) + . . . + g (An ). Observe que o PA para g e exatamente a condi ca o (ii) da deni c ao de fun ca o normal aditiva. Assim, se pretendemos provar que o PCP n ao acarreta o PA, devemos relaxar o espa co de fun co es e considerar fun co es que n ao satisfazem, necessariamente, esta propriedade. Formalmente, vamos denir: Seja g uma fun ca o dos conjuntos nitos nos n umeros naturais. Dizemos que g e normal se, para todo conjunto nito X , g (X ) = 0 se, e somente se, X = . Finalmente, vamos provar o seguinte resultado que mostra que o PCP n ao acarreta o PA: Teorema 7.4 Existe uma fun c ao normal, g , que satisfaz o PCP para g mas n ao satifaz o PA para g . Prova. Basta tomar a fun c ao que associa conjuntos a n umeros naturais do seguinte modo: 0 se X = , g (X ) = 1 se X = . 21

Em primeiro lugar, por deni c ao, temos que g (X ) = 0 se, e somente se, X = . Assim, g e normal. Agora, se P e C s ao conjuntos nitos n ao vazios e f : P C e uma fun ca o, existe p em P e c em C tais que f (p) = c, ou seja, p f 1 (c). g (P ) 1 . Ou seja, o PCP Assim, f 1 (c) = e temos: g (f 1 (c)) = 1 = 1 g (C ) para g e verdadeiro. Por outro lado, tomando, X = {a, b}, A1 = {A} e A2 = {b}, temos: g (X ) = 1 = 2 = 1 + 1 = g (A1 ) + g (A2 ). Ou seja, o PA para g e falso.

Refer encias
[1] M. Aigner e G.M. Ziegler, A Provas est ao nO Livro. Segunda Edi c ao. Edgard Blucher, S ao Paulo, 2002. [2] L. Lov asz, J. Pelik an e K. Vesztergombi, Matem atica Discreta. Cole c ao Textos Universit arios. SBM, Rio de Janeiro, 2003. [3] M. Erickson, An Introduction to Combinatorial Existence Theorems. Mathematics Magazine, 67(1994), 118123. [4] A.C. de O. Morgado, J.B.P. de Carvalho, P.C.P. Carvalho e P. Fernandez, An alise Combinat oria e Probabilidade: com as solu c oes dos exerc cios. Sexta edi ca o. SBM, Rio de Janeiro, 2004. [5] K.R. Rebman, The Pigeonhole Principle (What It Is, How It Works, and How It Applies to Map Coloring. The Two-Year College Mathematics Journal, 10(1979), 313. [6] J.P.O. Santos, M.P. de Mello e I.T.C. Murari, Introdu c ao a ` An alise Coma ca o revista. Ci encia Moderna, Rio de Janeiro, 2007. binat oria. 4 edi

22