Re: colorindo mapas

["Nicolau C. Saldanha" <nicolau@xxxxxxxxxxxxxx>]

On Sat, 2 Sep 2000, josimat wrote:

> Olá pessoal!  Alguém poderia me dizer se o problema do mapa das quatro cores
> já foi resolvido?  "Provar que apenas quatro cores são suficientes para
> colorir qualquer mapa, no plano ou na esfera, com regiões limítrofes
> recebendo cores diferentes." Numa parte da demonstração realmente se utilizou
> o computador?  JOSIMAR
> 

O problema certamente já foi resolvido e na primeira solução
o uso de computador foi essencial: era necessário testar
um número grande de casos. Não me lembro de ter ouvido
falar de outra solução sem uso de computador. []s, N.