Escolar Documentos
Profissional Documentos
Cultura Documentos
As Pontes de Königsberg
A cidade alemã de Königsberg (hoje Kaliningrado) possuía sete pontes
sobre o rio Pregel. As pessoas se perguntavam se seria possível
atravessar cada ponte apenas uma vez e retornar ao ponto de origem.
Ninguém conseguia encontrar tal percurso, até que, em 1736, o
matemático suíço Leonhard Euler provou que tal rota não existia. Seu
trabalho, publicado pela Academia de Ciências de St. Petersburg
(Academiae Scientiarum Imperialis Petropolitanae), foi o primeiro
trabalho que definia um problema deste tipo. O que ele fez foi, em suas
próprias palavras: "... formulei o problema geral: qualquer que seja a
disposição e divisão do rio, onde que quer as pontes estejam, alguém
pode descobrir se é ou não possível atravessar cada ponte exatamente
uma vez?".
Teorema de Euler:
Prova:
Teorema 2:
Prova:
Teorema 3:
Prova:
Teorema 4:
Em um grafo orientado conexo não pseudo-simétrico, o número mínimo
de caminhos que particionam o conjunto de arcos é igual a:
onde
Para criar um grafo euleriano, é preciso duplicar arcos entre nós com
polaridade positiva e negativa, de maneira que cada nó termine com
polaridade zero. Este balanceamento de arcos entrando e saindo tem o
mesmo objetivo de ter grau par nos grafos não-direcionados: qualquer
entrada em um nó precisa ter saída.