Depois da pernaça que faz amanhã um ano (não fui ver e nem consigo imaginar como é que de Paradoxos, Charadas e Problemas se chegou aí...), este tão interessante tópico secou.
Lembrei-me dele a propósito do mapa abaixo que está nas páginas no "
Projeto Concelho Ourem" e que representa a sua divisão em freguesias (as actuais, pois em breve serão menos cinco).

A colorização do mapa é um exemplo do
Teorema da Quatro Cores (
aqui em inglês , mais desenvolvido).
Um teorema de formulação simples...
...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...
mas que ainda não conseguiu ser demostrado por métodos algorítmicos...
edit: Por acaso vendo bem, o mapa não é nada um exemplo deste teorema, pois utiliza cinco cores...