História do problema das quatro cores

Resumo

O Problema das Quatro Cores trata da determinação do número mínimo de cores necessárias para colorir um mapa, de países reais ou imaginários, de forma a que países com fronteira comum tenham cores diferentes. Em 1852, Francis Guthrie conjecturou que 4 era esse número mínimo. Somente após mais de cem anos, em 1976, se conseguiu provar que realmente a conjectura estava certa, obtendo-se o chamado Teorema das Quatro Cores. Neste trabalho, começa-se por fazer uma apresentação do problema, dá-se uma breve história dos seus desenvolvimentos. Depois são relembrados alguns conceitos e propriedades sobre grafos e mostra-se como a Teoria dos Grafos relaciona-se com o Problema das Quatro Cores.