A perihamiltonian is a nonhamiltonian graph for which every edge-contracted subgraph is Hamiltonian.
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 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
,
the complete bipartite graph
is perihamiltonian (Fabrici et al. 2021).
The numbers of 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
.