• Eulerian path is a path in a finite graph that visits every edge exactly once.
  • Similarly, an Eulerian circuit or Eulerian cycle is an Eulerian path that starts and ends on the same vertex.
  • A graph that contains a Eulerian cycle is called a Eulerian graph.

Theorems

  • A connected graph is eulerian if and only if it is even^[every vertex of G has positive even degree].
  • Let be a graph, and let and be two distinct vertices of G. There is an Eulerian path from to if, and only if, is connected, and have odd degree, and all other vertices of have positive even degree.^[question 1]

  • Proposition: in graph that has a Eulerian cycle that is also Hamiltonian cycle, is 2-regular.
    Proof: . is Eulerian and Hamiltonian cycle, and are all the graph edges, and each one appear once time, therefore . now because Eulerian cycle all degere are even, and because hamiltonian cycle, there’s no vertex with 0 degree, therefore, , therefore is 2-regular.
  • Proposition: in graph that has a Eulerian cycle that is also Hamiltonian cycle, is cycle graph. Proof: there is hamiltonian cycle, thus is connected, therefore, according to the previous proposition and question 1.2, it follows that is cycle graph.