A variation of a theorem by Pósa
arXiv:1804.05829
Abstract
A graph is -hamiltonian if for any linear forest of with edges, can be extended to a hamiltonian cycle of . We give a sharp upper bound for the maximum number of cliques of a fixed size in a non--hamiltonian graph. Furthermore, we prove stability for the bound: if a non--hamiltonian graph contains almost the maximum number of cliques, then it must be a subgraph of one of two examples.