Caminho euleriano: diferenças entre revisões
Conteúdo apagado Conteúdo adicionado
Linha 3:
Um '''Caminho Euleriano''' é um caminho em um [[grafo]] que visita cada aresta apenas uma vez. Com caso especial, um '''Circuito Euleriano''' é um caminho Euleriano que começa e termina no mesmo vértice. O conceito foi introduzido por [[Leonard Euler]] para a resolução do famoso problema das [[sete pontes de Königsberg]] em [[1736]].
Grafos que possuem um '''circuito''' Euleriano são chamados '''Grafos Eulerianos'''. Uma das principais condições para um grafo ser Euleriano é que todos os vértices precisam ser de grau par. Esta condição é também suficiente. Euler provou que uma condição necessária para a existência de circuitos eulerianos é de que todos os vértices tenham grau par, e afirmou, sem prova de que grafos conexos com todos os vértices pares tem um circuito Euleriano. A primeira prova completa desta última afirmação foi publicada em 1873 por [[:en:Carl Hierholzer|Carl Hierholzer]].<ref>{{citar livro|autor=BIGGS, N. L.; LLOYD, E. K.; WILSON, R. J.|título=Graph Theory 1736-1936|local=Oxford|editora=Clarendon Press|ano=1976|página-8-9|id=ISBN 0-19-853901-0}}</ref>
Há, ainda, grafos com caminhos Eulerianos se houver 2 vértices de grau ímpar. Nesse caso, ao se acrescentar uma aresta ligando estes dois vértices, o novo grafo passa a ser Euleriano.
| |||