Millenium

125

O Teorema das Quatro Cores

LURDES SOUSA Departamento de Matemtica, Escola Superior de Tecnologia de Viseu

A imaginao mais importante do que o conhecimento. Albert Einstein O poder da Matemtica reside na evaso a todo o pensamento suprfluo e na prodigiosa economia de operaes mentais. Ernst Mach

1. Introduo O Problema das Quatro Cores trata da determinao do nmero mnimo de cores necessrias para colorir um mapa, de pases reais ou imaginrios, de forma a que pases com fronteira comum tenham cores diferentes. Em 1852, Francis Guthrie conjecturou que 4 era esse nmero mnimo. Mas, no obstante a aparente simplicidade, s ao cabo de mais de cem anos, em 1976, se conseguiu provar que realmente a conjectura estava certa, obtendo-se o chamado Teorema das Quatro Cores. O Problema das Quatro Cores tem a caracterstica indubitavelmente fascinante de ser um problema matemtico de formulao muito simples, a par duma enorme complexidade de resoluo, que fez com que permanecesse por resolver durante mais de uma centena de anos. H outros assim; por exemplo, bem sabido que o famoso ltimo Teorema de Fermat s h escassos anos foi demonstrado. Muitos dos melhores matemticos do sculo XX trabalharam seriamente neste problema. Este estudo teve um papel muito importante no desenvolvimento da Teoria

Millenium dos Grafos. Pelo caminho muitas questes foram postas e vrios problemas relacionados foram resolvidos. Neste artigo, comea-se por fazer uma apresentao do problema, d-se uma breve histria dos seus desenvolvimentos. De seguida recordam-se alguns conceitos e propriedades sobre grafos e mostra-se como a Teoria dos Grafos se relaciona com o Problema das Quatro Cores. Avana-se com a descrio da demonstrao do Teorema das Quatro Cores feita por Kempe. Esta demonstrao estava errada como veio a ser descoberto por Heawood. Mas ela encerrava j as ideias base que inspiraram mais tarde a demonstrao de Appel e Haken, em 1976, de que se fala na Seco 7. Apesar de finalmente provado, no era ainda o fim da histria do Teorema das Quatro Cores...

126

2. Apresentao do Problema Pretendemos determinar o nmero mnimo de cores necessrias para colorir um mapa de forma que quaisquer dois pases contguos tenham cores diferentes. Consideremos, por exemplo, os dois mapas da Figura 1. fcil ver que bastam duas cores para colorir cada um deles. Para os mapas da Figura 2, duas cores j no chegam, sendo trs suficientes, como se ilustra1.

Figura 1
1

Ao longo de todo este artigo, por razes de ordem tipogrfica, as cores foram substitudas por padres a preto e branco ou diferentes tons de cinza.

Millenium

127

Figura 2 Rapidamente se conclui que para os mapas da Figura 3, trs cores so insuficientes.

Figura 3 Apesar de hoje sabermos que quatro cores bastam, nem sempre imediato encontrar um processo de colorir um dado mapa com apenas quatro cores. Sugere-se ao leitor que tente faz-lo com o mapa da Figura 4.

Millenium

128

Figura 4 Esta dificuldade inspira alguns jogos sobre colorao de mapas. A seguir, apresentam-se dois exemplos. Jogo1: Dois jogadores, A e B tm quatro lpis de cores diferentes e um mapa no colorido. Cada um dos jogadores pinta sucessivamente uma regio do mapa. Perde o primeiro que no consiga colorir adequadamente nenhuma das regies ainda sem cor. Jogo 2: Dois jogadores, A e B tm quatro lpis de cores diferentes e uma folha de papel em branco. O jogador A desenha um pas. O jogador B pe-lhe uma cor e desenha outro pas que faa fronteira com o anterior. E assim sucessivamente. Perde o primeiro que no consiga colorir adequadamente o pas proposto. Deixamos tambm a proposta de alguns exerccios. Exerccio 1: Colorir as vrias regies de Portugal assinaladas na Figura 5, usando apenas 4 cores.

Millenium

129

Figura 5 Exerccio 2: Encontrar um algoritmo para colorir com apenas 4 cores mapas com um certo tipo de configurao, por exemplo, constitudos por sucessivas coroas circulares divididas num nmero par ou mpar de pases, como ilustrado na Figura 6. Pode comear-se por um caso mais simples: considerar apenas os mapas desta forma tais que cada coroa circular est particionada num nmero par de partes.

Figura 6 Acabamos de lidar com alguns mapas, mas concerteza foroso precisar a que tipo de mapas nos estamos a referir. Antes de mais, estamos a falar de mapas na esfera ou no plano, o que vem ao encontro da nossa ideia de mapa da geografia do globo terrestre. Estudar o problema na esfera ou no plano equivalente. Basta pensar na colorao dos pases num globo terrestre ou num planisfrio, trata-se essencialmente do mesmo. Sem pretendermos definir com rigor o alcance de tal equivalncia, vamos ilustr-la com outro exemplo. Suponhamos que temos um mapa na esfera, de pases

Millenium imaginrios, representando a Figura 7 duas faces dessa esfera. Se fizermos um corte no meio do pas A, e supondo que a esfera feita de um material suficientemente malevel, podemos deform-la at ficar plana, sem alterar as relaes de fronteira entre pases, obtendo ento um mapa plano, como ilustrado na Figura 8.

130

Figura 7

Figura 8 Podemos obter um efeito similar fazendo uma projeco da esfera no plano, como se um foco de luz no plo norte projectasse a sombra do mapa na esfera sobre o plano (Figura 9).

Millenium

131

Figura 9 Por outro lado, consideremos o mapa da Figura 10, com cinco pases, A, B, C, D e E, onde os pases A e B tm partes separadas. fcil deduzir no ser possvel colori-lo com apenas 4 cores, visto que ambas as partes de A, assim como ambas as partes de B, devem ter a mesma cor.

Figura 10 Na verdade, no difcil concluir que, se admitirmos que os mapas podem ter pases com partes separadas, ento para qualquer nmero natural n existem sempre mapas que precisam de n cores. Portanto, o nosso problema s faz sentido se excluirmos este tipo de mapas.

Millenium 3. Notas histricas A histria do problema das quatro cores comeou em 1852, quando Francis Guthrie tentava colorir os vrios distritos do mapa de Inglaterra de tal modo que dois distritos vizinhos no tivessem a mesma cor. Depois de ter reflectido sobre o problema, conjecturou que qualquer mapa poderia ser colorido com apenas quatro cores. Francis Guthrie, que foi advogado, botnico e, sobretudo, matemtico, tinha um irmo mais novo, Frederick Guthrie, que era aluno de Augustus De Morgan (o De Morgan das conhecidas leis de De Morgan, na Lgica). Em 23 de Outubro de 1852, Frederick apresentou a conjectura do seu irmo mais velho ao professor de De Morgan. Este ficou muito entusiasmado e, no mesmo dia, escreveu uma carta a Sir William Rowan Hamilton na qual explicava o problema. (Recorde-se a propsito que, de entre os vrios feitos famosos de Hamilton, se encontra a descoberta dos quaternies). Esta carta foi conservada e encontra-se hoje nos arquivos do Trinity College em Dublin. Contrastando com a animao de De Morgan, Hamilton no achou o problema interessante. Respondeu quatro dias mais tarde dizendo que to cedo no tencionava debruar-se sobre a questo. Nos tempos que se seguiram, foi sobretudo atravs de De Morgan que a comunidade cientfica tomou conhecimento da Conjectura das Quatro Cores. De Morgan escreveu algumas cartas para outros matemticos conhecidos, o problema foi discutido e teve alguns desenvolvimentos. Por exemplo, De Morgan ocupou-se durante algum tempo com a questo de saber se quando 4 pases tm dois a dois fronteiras comuns, um deles tem de estar dentro dos outros trs. Depois de 1860, por um perodo de cerca de 20 anos, o interesse dos matemticos pelo Problema das Quatro Cores esmoreceu. Pelo menos, no aparece discutido na literatura matemtica desse tempo. Mas no foi esquecido. Com efeito, em 13 de Julho de 1878, Arthur Cayley indagava na seco de Matemtica da Royal Society se porventura algum j submetera uma soluo da Conjectura das Quatro Cores. O prprio Cayley publicou uma pequena anlise do problema nos Proceedings of the Royal Geographical Society em 1879. Caley era um advogado brilhante, mas

132

Millenium aproveitava todo o tempo que podia para a Matemtica. Entre outras reas, contribuiu significativamente para o desenvolvimento da Geometria Algbrica. Em 1879, Alfred Bray Kempe, que era tambm um advogado e que tinha estudado no Trinity College de Cambridge, onde fora aluno de Cayley, publicou uma demonstrao completa do Teorema das Quatro Cores no American Journal of Mathematics. A demonstrao de Kempe foi estudada por vrios matemticos de renome, alguns deles tendo feito sugestes para melhorar a demonstrao. Portanto, em 1879, considerava-se definitivamenete estabelecido o Teorema das Quatro Cores. Mas, em 1890, Percy John Heawood provou que a demonstrao de Kempe tinha um erro. No mesmo artigo, Heawood lamentava no ter sido capaz de obter nenhuma demonstrao alternativa do teorema. Conseguiu no entanto dar mais um passo positivo, nomeadamente, provou o Teorema das Cinco Cores. Isto , demonstrou que no so necessrias mais do que cinco cores para colorir um mapa plano onde pases de fronteira comum tm cores diferentes. Heawood estudou tambm a questo do nmero de cores necessrias para colorir mapas sobre vrios tipos de superfcies fechadas, para alm da esfera, as chamadas superfcies esfricas com asas, como ilustrado na Figura 12 da Seco 4. Estas questes tambm j tinham sido abordadas por Kempe. Heawood deu um contributo relevante no estudo destes problemas. E, surpreendentemente, eles foram resolvidos antes do Problema das Quatro Cores. Contribuies de vulto nestes assuntos foram dadas por Gerhard Ringel e J.W.T. Youngs e tambm por Jean Mayer. Na seco seguinte, dada uma ideia de alguns dos resultados a que estes matemticos chegaram. Durante 124 anos, muitos mtodos foram desenvolvidos para atacar o Problema das Quatro Cores. O livro de Ore de 1967 [O] d uma panormica bastante completa do muito que se produzira at data em Teoria de Grafos para abordar o Problema, bem como de vrios outros problemas que foram sendo solucionados nesse percurso. Finalmente, em 1976, com a ajuda de um IBM 360, em Urbana (Illinois), Kenneth Appel e Wolfgang Haken apresentaram uma demonstrao do Teorema das

133

Millenium Quatro Cores. Quando a notcia do feito se espalhou pelos vrios departamentos de matemtica, houve um enorme entusiasmo, muitos professores interromperam as aulas para comemorar. Mas a euforia esfriou em muitos deles quando souberam que essa demonstrao inclua mais de mil horas do uso de computadores de alta velocidade. A prova era demasiado longa para ser verificada mo e havia sempre a possibilidade de os computadores terem cometido algum erro de difcil deteco. Hoje em dia a validade da demonstrao aceite na generalidade da comunidade matemtica, mas continua a ser polmica. Est em causa o reconhecer uma argumentao baseada numa enorme quantidade de clculos por computador, impossveis de ser verificados detalhadamente por um ser humano durante toda a sua vida. Nunca demais lembrar que muitos foram os matemticos que contriburam com o seu trabalho para o feliz desfecho de 1976. Para alm dos nomes j referidos e de muitos outros que no cabe aqui enumerar, assinala-se o facto de Birkhoff e Heesch terem contribudo com ideias que foram cruciais na obteno da prova de Apple e Haken. O nome de John Koch est tambm ligado a esta memorvel descoberta, tendo trabalhado com Appel e Haken nos programas computacionais que levaram soluo do Problema das Quatro Cores. Mas a histria do Teorema das Quatro Cores no acaba aqui. A dificuldade em verificar todos os clculos feitos na demonstrao de Apple e Haken tem sido um incentivo para alguns matemticos tentarem encontrar uma prova mais simples. Em Agosto de 1994, no Congresso Internacional de Matemtica, em Zurique, Paul D. Seymour apresentou uma prova simplificada do Teorema das Quatro Cores, cuja formulao foi o resultado de trabalho conjunto com Neil Robertson, Daniel P. Sanders e Robin Thomas [RSST]. Tambm eles no conseguiram dispensar o uso do computador. Contudo, foram capazes de reduzir a quantidade de clculos para um nvel bastante mais tolervel. Aqueles que tenham os programas ao seu dispor e que tenham compreendido os fundamentos tericos, podero em menos de um dia reproduzir a demonstrao. A questo de construir uma demonstrao que no necessite o auxlio de computadores continua em aberto!

134

Millenium 4. Nmero cromtico Vrios matemticos distintos acreditavam que o Teorema das Quatro Cores era verdadeiro e tentaram prov-lo. Pouco a pouco foram aparecendo demonstraes da sua validade para mapas com um certo nmero de pases. O Quadro 1 d conta do ano e dos matemticos que provaram o Teorema das Quatro Cores para todos os mapas com um nmero de pases menor ou igual que um dado n. Quadro 1 Ano 1920 1926 1936 1938 1968 Autor Philip Franklin C. N. Reynolds Philip Franklin C. E. Winn Oystein Ore e Joel Stemple

135

n
25 27 31 35 40

Foi referido na seco anterior que vrios outros problemas relacionados com este foram investigados. Em particular, a questo do nmero de cores necessrias para colorir mapas sobre vrios tipos de superfcies fechadas, para alm da esfera, as chamadas superfcies esfricas com asas. Na Figura 12 esto representadas a superfcie S 0 , que uma esfera (sem asas), a superfcie S1 , que a esfera com uma asa, e as superfcies S 2 e S 3 . De um modo geral, para cada nmero natural n , uma superfcie S n uma esfera com n asas. De notar que estudar o problema para a

esfera com uma asa equivalente a estud-lo para o torus (Figura 13), que uma superfcie com a forma de um pneu.

Figura 12

Millenium

136

Figura 13 Chama-se nmero cromtico de uma superfcie S, e designa-se por (S ) , ao nmero mnimo de cores necessrias para colorir qualquer mapa sobre S. Portanto o Teorema das Quatro Cores asserta precisamente que o nmero cromtico de S 0 igual a 4. Heawood descobriu que, para p 1 , o nmero cromtico da superfcie S p satisfaz a desigualdade 7 + 1 + 48 p Sp , 2

( )

onde [x] designa a caracterstica do nmero x , ou seja, o maior nmero inteiro que no maior do que x . Heawood tinha a impresso de que se verificava mesmo a igualdade, mas no conseguiu demonstr-lo. Finalmente, em 1968, Ringel e Youngs provaram o que j Heawood intura, ou seja, que, para p 1 , se verifica 7 + 1 + 48 p Sp = . 2

( )

(1)

O Quadro 2 a seguir indica o nmero cromtico de S p para 1 p 19 , obtido pela frmula (1). De notar que o Teorema das Quatro Cores, que s veio a ser provado

Millenium mais tarde, estabelece afinal que a frmula tambm vlida para p = 0 . Na verdade, substituindo, em (1), p por 0, obtm-se o nmero 4. Quadro 2

137

Sp

( )

1 7

2 8

3 9

4 10

5 11

6 12

7 12

8 13

9 13

5. Mapas e Grafos J vimos que o Problema das Quatro Cores diz respeito a mapas sobre uma esfera ou sobre o plano. J vimos que esses mapas no podem ter pases com partes separadas. Mas, para estudar o problema com rigor, necessrio ser mais preciso na definio de mapa. Para isso, vamos considerar uma estrutura mais geral, o conceito de grafo. Um grafo constitudo por um conjunto finito de vrtices e um conjunto finito de arcos (ou arestas) que ligam pares de vrtices. Por exemplo, na Figura 14 est representado um grafo com 4 vrtices e 6 arestas.

Figura 14

Millenium O grau de um vrtice o nmero de arcos que se intersectam nesse vrtice. No grafo da Figura 14, o vrtice u tem grau 2 e o vrtice v tem grau 3. Um lacete um arco com as duas extremidades no mesmo vrtice. Dois vrtices dizem-se adjacentes se estiverem ligados por um arco. Na Figura 14, o arco e um lacete e os vrtices u e v so adjacentes. Num grafo, um caminho de um vrtice u para um vrtice v uma sequncia finita de arcos que ligam u a v. Por exemplo, no grafo da Figura 14, a sequncia c ,b um caminho de x para w. Um grafo diz-se conexo se para quaisquer dois vrtices diferentes do grafo existir sempre um caminho que os liga. A Figura 15 apresenta exemplos de grafos, um desconexo, o outro conexo.

138

Figura 15 A Figura 16 apresenta vrios exemplos de grafos. Note-se que ela contm alguns grafos que apesar de parecerem diferentes so na verdade essencialmente iguais. A aparente diferena prende-se com a maneira como esto desenhados.

Millenium

139

Figura 16 Por exemplo, os grafos c e d so essencialmente o mesmo. Com efeito, ambos tm 4 vrtices e 6 arestas, de tal modo que cada vrtice est ligado a cada um dos outros por um arco. Como que um mapa um grafo? Consideremos, por exemplo, o mapa representado esquerda na Figura 17.

Figura 17 Tomando, para vrtices, os pontos de interseco de fronteiras e, para arcos, as fronteiras que ligam esses vrtices, temos um grafo, como ilustrado direita da mesma figura. Esse grafo tem uma propriedade especial, planar. Um grafo planar um grafo que pode ser desenhado no plano de forma que os arcos no se intersectem a no ser nos vrtices. Como facilmente se conclui, todo o mapa no plano um grafo planar.

Millenium Um grafo planar particiona o plano em regies conexas, chamadas as faces do grafo. Num mapa as faces so exactamente os pases. Nem todos os grafos so planares. Por exemplo, o grafo b da Figura 16 no planar. Note-se ainda que nem todos os grafos planares so mapas; por exemplo, o grafo g planar mas no um mapa. Voltando Figura 17, ela mostra como que um mapa pode ser identificado com um grafo. Mas a este mapa podemos associar outro grafo, o chamado grafo dual. No grafo dual, os vrtices vo ser os pases e existe um arco entre dois vrtices se e s se os dois pases tm fronteira comum. Podemos imaginar que os arcos so estradas entre as capitais de pases contguos; deste modo, as capitais so os vrtices e cada estrada entre uma capital e outra um arco. Este processo est ilustrado na Figura 18, onde o grafo representado direita o grafo dual do grafo da Figura 17. Pode provar-se que o grafo dual de um mapa tambm planar.

140

Figura 18 Agora o nosso problema de colorao do mapa dado equivalente ao seguinte: Colorir cada vrtice do grafo dual de forma que cada dois vrtices adjacentes tenham cores diferentes (Figura 19).

Figura 19

Millenium O estudo da colorao de um grafo, no sentido acabado de referir, tem uma grande diversidade de aplicaes. Um exemplo de aplicao a feitura de horrios, horrios com um certo grau de complexidade, claro est. Por exemplo, suponhamos que temos uma grande escola onde um grande nmero de alunos vai fazer exames de variadssimas disciplinas. Consideramos determinados perodos de tempo onde esses exames vo decorrer, por exemplo, todas as manhs e todas as tardes dos dias teis do ms de Julho. Queremos que o nmero de dias em que vo decorrer os exames seja o menor possvel. Os vrtices do grafo vo ser as disciplinas, um arco entre dois vrtices significa que os exames das duas disciplinas no podem ser ao mesmo tempo, porque h alunos comuns aos dois. As cores so as manhs e as tardes do ms de Julho. Portanto, o nosso objectivo colorir o grafo com o menor nmero de cores possvel. Ora bem, mas estes j podero ser grafos de um tipo diferente dos nossos mapas, nomeadamente um problema de horrios pode dar origem a um grafo no planar. Voltando aos mapas, o grafo dual de um mapa tem caractersticas particulares. Por exemplo, no tem lacetes. Outra propriedade do grafo dual de um mapa ser conexo estamos a supor que a esfera completamente coberta por pases, no h ilhas. Muito mais se poderia dizer sobre as propriedades de um grafo dual de um mapa, mas essa informao que no cabe aqui. Note-se entretanto que, quando as questes sobre mapas se complicam, so os grafos duais que so usados, justamente por ser mais simples trabalhar com eles do que com os mapas propriamente ditos. A demonstrao de Appel e Haken lida com a colorao de vrtices de grafos e no com a colorao de faces.

141

6. A demonstrao de Kempe Esta seco debrua-se sobre a demonstrao de Kempe do Teorema das Quatro Cores, demonstrao essa que tinha afinal um erro, como foi descoberto por Heawood, mas que, no entanto, continha algumas das ideias base que haviam de servir demonstrao de Appel e Haken.

Millenium Um instrumento precioso vai ser a Frmula de Euler para mapas planares conexos, que se recorda na subseco seguinte.

142

6.1. A Frmula de Euler Dado um grafo planar conexo, seja V o nmero de vrtices, A o nmero de arestas e F o nmero de faces do grafo. Estes nmeros relacionam-se pela chamada Frmula de Euler , F +V = A + 2. Note-se que, em particular, esta no mais do que a Frmula de Euler que relaciona as faces, arestas e vrtices de um poliedro convexo e que permite concluir que os nicos poliedros regulares que existem so o tetraedro, o cubo, o octaedro, o dodecaedro e o icosaedro, conhecidos por pitagricos.

Figura 20

Millenium 6. 2. A demonstrao de Kempe De seguida, apresenta-se um esquema da demonstrao de Kempe, que foi publicada em 1879. Para isso necessria a seguinte definio: Um mapa pentacromtico um mapa que no pode ser colorido com menos de cinco cores. Note-se que provar o Teorema das Quatro Cores equivalente a demonstrar que no existem mapas pentacromticos, ou seja, que todos os mapas podem ser coloridos com menos de cinco cores. Como j vimos que existem mapas que exigem 4 cores, fica ento claro que 4 o nmero mnimo de cores necessrias para colorir um mapa. Mas os mapas podem ter os mais variados aspectos. Por onde comear? Kempe comeou por mostrar que bastava provar a propriedade s para certo tipo de mapas. Considerou os chamados mapas normais. Um mapa diz-se normal se satisfizer as duas condies seguintes: (i) No contm um pas isolado dentro de outro, i.e., um pas que tenha um s vizinho. (ii) Em cada ponto de fronteira no se encontram mais do que trs vizinhos. Na Figura 21 esto representados dois mapas que no so normais, o primeiro falha (i) e o segundo no satisfaz (ii).

143

Figura 21

Millenium Note-se que quando passamos ao grafo dual, (i) significa que todos os vrtices tm grau superior a 1; se condio (i) se juntar (ii), fica assegurado que as faces do grafo dual associado so todas triangulares. A demonstrao de Kempe de que no existem mapas pentacromticos pode estruturar-se na prova das quatro afirmaes seguintes: 1) Se existir algum mapa pentacromtico, ento tambm existe um mapa pentacromtico normal. 2) Se existe mapa pentacromtico normal, ento existe mapa pentacromtico normal mnimo. 3) Qualquer mapa normal contm pelo menos um pas com menos de seis pases vizinhos. 4) Nenhum mapa pentacromtico normal e mnimo pode conter um pas com menos de seis vizinhos. Com efeito, de 3) e 4), conclui-se (por contradio) que no existem mapas pentacromticos normais mnimos. Esta concluso, juntamente com o facto 2), leva no existncia de mapas pentacromticos normais. Por 1), isto assegura que no possvel encontrar mapas pentacromticos. Adianta-se j que o anunciado erro teve lugar na parte final de 4). Vamos agora observar cada um dos quatro passos da demonstrao. 1) Dado um mapa M, chega-se a um mapa M* normal, procedendo do seguinte modo: Cada uma das configuraes do tipo (i) substituda pela que se obtm suprimindo o pas isolado, como ilustrado na Figura 22.

144

Millenium

145

Figura 22 Se M tem configuraes do tipo (ii), fazemo-las desaparecer introduzindo um novo pas que apaga o vrtice onde se encontram pases a mais, como ilustrado na Figura 23.

Figura 23 Facilmente se conclui que o mapa M*, assim obtido a partir de M, normal. Alm disso, se M* pudesse ser colorido s com quatro cores, tambm para M bastariam quatro cores. Por conseguinte, se existir um mapa pentacromtico M, o mapa M* tambm pentacromtico, sendo portanto, um mapa pentacromtico normal. 2) claro que se existir um mapa pentacromtico normal, tambm existe um mapa pentacromtico normal mnimo, visto que, de todos os mapas pentacromticos normais, pode seleccionar-se um com o menor nmero possvel de pases. 3) Vamos agora mostrar que qualquer mapa normal contm pelo menos um pas com menos de seis pases vizinhos. Aqui vai ter um papel fundamental a Frmula de Euler, referida atrs. Dado um mapa normal, denotemos por Fi o nmero de pases que fazem fronteira com i pases. Sendo F o nmero de pases do mapa, temos ento que F = F2 + F3 + ... (1)

Millenium

146

Figura 24 Cada face ou pas com i pases vizinhos tem uma fronteira constituda por i arestas. Como cada aresta fronteira de dois pases vizinhos, contando, para cada pas, o nmero de arestas que formam a sua fronteira, contamos cada aresta duas vezes (Figura 24). Portanto, designando por A o nmero de arestas, temos 2 A = 2 F2 + 3F3 + 4 F4 + ... (2)

Por outro lado, o mapa normal, pelo que, em cada vrtice concorrem exactamente trs arestas. Por isso, denotando por V o nmero de vrtices, tem-se 2 A = 3V . Pela Frmula de Euler, sabe-se que (3)

F +V = A + 2.
Usando (1), (2) e (3) para eliminar F, A e V em (4), obtm-se

(4)

Fi +
i

iFi iFi
i

= i

+ 2.

Aps desembaraar de denominadores, um clculo simples leva igualdade

Millenium

147

(6 i )Fi = 12 .
i

Como a soma 12, alguma das parcelas (6 i )Fi maior do que zero e portanto, para algum i, i < 6 . Ou seja, existe pelo menos um pas no mapa cujo nmero de pases com os quais faz fronteira inferior a 6. Consequentemente, o conjunto de configuraes da Figura 25 constitui um conjunto inevitvel de configuraes de qualquer mapa pentacromtico normal, i.e., todo o mapa pentacromtico normal contm pelo menos uma destas configuraes.

Figura 25 4) Provar que nenhum mapa penta normal e mnimo pode conter um pas com menos de seis pases vizinhos, completaria a demonstro de que no pode existir nenhum mapa pentacromtico, visto que isto contradiz 3), j estabelecido. Neste ponto, Kempe enganou-se, mas grande parte do seu raciocnio estava correcto e contribuiu para a posterior demonstrao de Apple e Haken. Com o objectivo de provar 4), Kempe quis provar que as quatro configuraes da Figura 25, que j se viu constituirem um conjunto inevitvel, eram redutveis. Uma configurao diz-se redutvel se no poder fazer parte de um mapa pentacromtico normal mnimo. Portanto, a ideia de Kempe era provar que qualquer mapa pentacromtico normal mnimo no tem nenhum pas com menos de seis pases vizinhos. O erro da demonstrao de Kempe estava precisamente na prova de que a ltima das configuraes redutvel!

Millenium

148

Para concluir que a primeira das configuraes da Figura 25 redutvel, suponhamos que temos um mapa M pentacromtico normal mnimo do qual faz parte essa configurao. Seja A o pas que, na representao da figura, tem a forma de crculo. Denotemos por M* o mapa obtido de M, removendo o pas A, como ilustrado na Figura 26.

Figura 26 claro que, sendo M normal, tambm M* o ; como M* tem um pas a menos do que M e suposto M ser um mapa pentacromtico mnimo, conclui-se que M* no pode ser pentacromtico, ou seja bastam quatro cores para colorir M*. Mas, nesse caso, tambm para M s so necessrias quatro cores, para isso bastando que A tenha uma das duas cores que no entram na colorao de B e C. Isto contraditrio com a hiptese de que M pentacromtico. Por conseguinte a configurao estudada no faz parte de nenhum mapa pentacromtico normal mnimo. Quanto segunda configurao da Figura 25, pode usar-se um processo anlogo para concluir que redutvel e que, portanto, no no faz parte de nenhum mapa pentacromtico normal mnimo. A prova de que a terceira configurao redutvel menos simples, mas tambm aqui a prova de Kempe estava correcta. A falha de Kempe foi na demonstrao de que a quarta configurao da Figura 25 era redutvel. Como j foi referido, o erro foi descoberto por Heawood.

Millenium 7. A demonstrao de Appel e Haken Como acabmos de ver, para provar o Teorema das Quatro Cores basta encontrar um conjunto de configuraes tal que: i. O conjunto inevitvel, i. e., qualquer mapa pentacromtico normal contm pelo menos uma dessas configuraes. ii. Todas as configuraes do conjunto so redutveis. Perante a descoberta do erro da demonstrao, feita por Heawood, abriam-se claramente dois caminhos: 1) Tentar chegar a uma demonstrao correcta de que a quarta configurao da Figura 25 era realmente redutvel. 2) Tentar encontrar um outro conjunto inevitvel de configuraes e mostrar que todas essas configuraes eram redutveis. No tendo sido possvel provar 1), numerosos matemticos enveredaram por 2). Vrios aficionados do problema criaram programas para, usando computadores, construir conjuntos inevitveis de configuraes. Fizeram tambm programas para averiguar se uma dada configurao ou no redutvel. Mas estes programas eram muito complicados e demasiado longos. Finalmente, em Junho de 1976, Appel e Haken conseguiram provar o Teorema das Quatro Cores. Eles construiram um conjunto inevitvel de 1482 configuraes redutveis. Tinham continuado e aperfeioado o trabalho que vinha sendo feito nesse domnio com a ajuda de computadores, sobretudo na linha das ideias de Heeshe sobre o assunto.

149

Millenium Ficava ento provado o Teorema das Quatro Cores. Todo o grafo planar sem lacetes admite uma colorao dos vrtices com apenas quatro cores. A demonstrao de que aquele conjunto de quase um milhar e meio de configuraes inevitvel, mas sobretudo a demonstrao de que as suas configuraes so redutveis, envolveram clculos enormes. Muitos desses clculos foram feitos mo; mas grande parte deles foi feita por computadores, envolvendo cerca de 1200 horas de tempo de clculo em computador. Koch deu uma contribuio importante nos clculos computacionais.

150

8. Depois da demonstrao de Appel e Haken Mas a demonstrao de Appel e Haken no foi aceite por todos os matemticos. Foram levantadas vrias dvidas, principalmente por duas razes: A) Parte da demonstrao de Appel e Haken usa um computador e no pode ser verificada mo. B) Mesmo a parte dos clculos da demonstrao feitos mo muito complicada e morosa, portanto de crer que nunca ningum fez uma verificao completa e independente dos autores destes clculos. Perante tanta controvrsia, um grupo de matemticos, Neil Robertson, Daniel P. Sanders, Paul Seymour e Robin Thomas, mais para a sua prpria paz de conscincia, como eles dizem, decidiram em 1993 estudar a demonstrao de Appel e Haken, com o intuito de se convencerem da sua validade. Mas acabaram por desistir. Verificar a parte computacional requereria uma enorme quantidade de programao, e, alm disso, teriam de introduzir mo no computador a descrio de 1478 grafos. E essa no era a parte mais controversa da demonstrao. Em vez de verificar a demonstrao de Appel e Haken, decidiram ento tentar provar o Teorema por si prprios e acabaram por obter

Millenium uma demonatrao bastante mais simples, se bem que ainda envolvendo muitos clculos. A ideia base da prova a mesma que a de Apple e Haken. Mas, em vez de 1478, determinam um conjunto inevitvel de 633 configuraes redutveis. Robertson, Sanders, Seymour e Thomas conseguiram reduzir a resoluo do problema a dimenses consideravelmente mais manejveis do que as de Apple e Haken. No entanto, permanece em aberto a questo: Ser possvel encontrar uma demonstrao do Teorema das Quatro Cores mais simples? Mais precisamente, ser possvel encontrar uma demonstrao cujos clculos subjacentes tenham uma dimenso humanamente atingvel sem ajuda de computadores?

151

Referncias [AH] K. Appel and W. Haken, Every planar map is four colorable. Part I. Discharging, Illinois J. Math., vol. 21, 1977, 429-490. [AHK] K. Appel, W. Haken and J. Koch, Every planar map is four colorable. Part II. Reducibility, Illinois J. Math., vol. 21, 1977, 491-567. [B] [F] [M] [O] [R] David Barnette, Map coloring, polyhedra, and the four color problem, The Dolciani Mathematical Expositions 8, 1983 Rudolf Fritsch, Gerda Fritsch, The four color theorem: history, topological foundations, and the idea of proof, Springer-Verlag New York, Inc., 1998 Miguel de Guzmn, Contos com contas, Gradiva 1991 Oyestein Ore, The four-color problem, New York: Academic Press, 1967 Gerhard Ringel, Map color theorem, Berlin/Heidelberg/New York: Springer-Verlag, 1974 [RSST] N. Robertson, D. Sanders, P. Seymour, R. Thomas, A new proof of the Four-Colour Theorem, Electronic Research announcements of the Am. Math. Soc., Vol. 2, Number 1, 1996