How many homeomorphically distinct graphs exist such that they contain a path that is both Eulerian and Hamiltonian?
Definitions:
-
A
walk
on a graph is a sequence
(
v
0
,
e
1
,
v
1
,
e
2
,
v
2
,
…
,
e
k
,
v
k
)
, where
v
0
,
v
1
,
…
,
v
k
are vertices of the graph,
e
1
,
e
2
,
…
,
e
k
are edges of the graph, and
e
i
=
{
v
i
−
1
,
v
i
}
for all
i
=
1
,
2
,
…
,
k
.
-
An
Eulerian path
is a walk that uses each edge exactly once. That is,
e
1
,
e
2
,
…
,
e
k
are all distinct, and they are exactly the edges of the graph in some order.
-
A
Hamiltonian path
is a walk that uses each vertex exactly once. That is,
v
0
,
v
1
,
…
,
v
k
are all distinct, and they are exactly the vertices of the graph in some order.
-
A
subdivision
of an edge
e
=
{
u
,
v
}
in a graph gives a modified version of the graph, having an additional vertex
w
and two additional edges
{
u
,
w
}
,
{
v
,
w
}
, and missing the original edge
e
. A subdivision of a graph is the result of subdividing any number of the edges of the graph. (An edge that's the result of some earlier subdivision may still be subdivided.)
-
Two graphs
G
,
G
′
are
homeomorphic
if there is some graph
H
that is both isomorphic to a subdivision of
G
and isomorphic to a subdivision of
G
′
. Informally, if
G
and
G
′
are drawn with vertices as invisible points and edges as arcs, then two homeomorphic graphs "look the same." Two graphs are
homeomorphically distinct
if they are not homeomorphic.
Consider the graph with 1 vertex V and no edges. there is a single path on this graph, the path just containing V .
Now, consider the simple graph with 2 vertices V 1 , V 2 , and a single edge between them. this graph again contains a path from V 1 to V 2 that is both a Hamiltonian and Eulerian path.
Adding one path and one edge to the end of this graph produces a homeomorphism to the base case, thus are not homeomorphically distinct, when continued.
Now, consider a graph that contains a cycle. Any Eulerian path must visit at least one of the vertices in the cycle twice, meaning the path must be not Hamiltonian. Alternatively, any Hamiltonian path must skip one of the edges in the cycle, thus meaning the path is not Eulerian. Thus, there is no graph that contains a cycle that has a path that is simultaneously Eulerian, and Hamiltonian.
Any graph other than these cannot have a Eulerian path, as said graph must have > 1 singularly connected sub-graphs. Thus, there are only two homeomorphically distinct graphs that contain a path that is both Hamiltonian and Eulerian.