O Teorema das 4 cores, cuja a resolução e o entendimento é de nível muito fácil, não apresenta a mesma facilidade para demonstração. O mesmo, necessita ainda, até os dias de hoje, da ajuda de um computador para efetuar todos os cálculos necessários. Pois nenhum humano, desde a criação do problema em 1852, não conseguiu achar uma fórmula suficiente que banisse a ajuda da máquina.
O problema em si é muito fácil de entender:
Dado um mapa plano, dividido em regiões, quatro cores são suficientes para colori-lo de forma a que regiões vizinhas não partilhem a mesma cor.
Apresentado a De Morgan( o criados das Leis de Morgan), diz-se possível preencher todo e qualquer mapa com apenas 4 cores distintas. De modo que dois vizinhos não possuam a mesma cor, e que para serem vizinhos é necessário apenas uma reta em comum.
Mostramos a resolução da imagem acima, a seguir:
Logo, um problema de origem fascinante e facilmente entendido, ainda não consegue ser demonstrado por cálculos sem a ajuda de um computador.
Incrível não?
Nenhum comentário:
Postar um comentário