Route inspection problem

(Please forgive my poor english)

In order of a graph to have a closed eulian path, it will certainly have to be connected.

So supose we have a connected graph G = (V, E), the following statements are equal:

1) All vertices in G have even valense. 2) G consist of the edges from a disjoint union of some cycles,

   and the vertices from these cycles.

3) G has an eulian path.

1) => 2) can be shown by induction on the number of cycles. 2) => 3) can also be shown by induction on the number of cycles, and 3) => 1) should be imediate.

A semi Eulian path (a path which is not closed but use all edges of G and all vertices of G just once) exists if and only if G is connected and exactly two vertices have non-even valence.

---

Hamiltonian Cycles

There are no clear way (that i know of at least) to see if a given graph has a hamiltonian cycle, it mostly boils down to check if it have a lot of edges.

All graphs G=(V, E) with n = |V| >= 3 have a hamiltonian cycle if and only if

v, u \in V : v != u => valence(v) + valence(u) >= n

(the valence of every two vertices which are not edge connected is more than or equal to the number of vertices in the graph).

It should, however, be noted, that this is only a condition that /ensure/ that a hamiltonian cycle exist, we cannot conclude the other way. For an examply of a graph where this condition fails but which certainly have a hamiltonian cycle, think of a cycle of more than 4 vertices (you can just travel around the edge, but the sum of every two non-edgejoined vertices is only 4).