O Teorema das Quatro Cores é um problema de análise real?

Resumo

O Teorema das Quatro Cores (T4C) foi conjecturado em 1852 e afirma que qualquer mapa planar pode ser colorido com quatro cores de forma que nenhuma região adjacente tenha a mesma cor. Após 125 anos de tentativas, o teorema foi finalmente comprovado em 1977, utilizando métodos computacionais. Todas as demonstrações atualmente aceitas são derivadas do trabalho original de Appel e Haken. Apesar dos esforços para resolver este problema terem levado ao desenvolvimento de novos ramos da matemática, uma prova analítica permanece indefinida.

Buscando por uma demonstração analítica, este artigo reformula o problema das quatro cores como um problema de Análise Real no plano R². As informações contidas nos MAPAS são expressas como um Sistema de Igualdades e Desigualdades, como feito anteriormente por Jansen J. U. O uso de conceitos rudimentares de Análise Real e Análise Combinatória reduz a complexidade da análise e conduz a uma solução geral de MAPAS com qualquer número de cores.

Este artigo é um aprimoramento de um anterior escrito por este autor, sendo apenas esta referência intencionalmente citada.