A perihamiltonian graph is a nonhamiltonian graph with at least one edge, for which every edge contraction produces a Hamiltonian graph.
With the convention that the singleton graph is considered Hamiltonian,
the path graph
is perihamiltonian since its only edge contraction is
.
Equivalently, a nonhamiltonian graph with at least one edge
is perihamiltonian iff, for every edge
of
, at least one of the vertex-deleted graphs
or
is Hamiltonian. Every
hypohamiltonian graph is perihamiltonian,
and every perihamiltonian graph is traceable.
For every integer
, the complete
bipartite graph
is perihamiltonian (Fabrici et al. 2021).
The numbers of unlabeled perihamiltonian graphs on , 2, ... vertices
are 0, 1, 0, 0, 1, 0, 4, 0, 43, 2, 1730, 25, ... (OEIS A392751;
House of Graphs), where the second term counts
.