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.