Ore plus Turán
Ore in 1961 determined the maximum number of edges in graphs not containing a Hamiltonian cycle, and Turán in 1941 found the maximum number of edges in graphs not containing a $K_{r+1}$. Motivated by the work of Adamus in 2009 and Ferrero and Lesniak in 2018 on the maximum number of edges in $r$-partite non-Hamiltonian graphs, we find the maximum number of edges in $K_{r+1}$-free non-Hamiltonian graphs. We determine the extremal graphs, which are different for $n \ge 26$ with $r \ge 3$, for small values of $n$ with $r \in \{4,5\}$, and for all values of $n$ with $r=2$. In the first case we show that the same graphs achieve the maximum number of $t$-cliques for every $t \ge 2$. Both the edge and clique results are proved via extremal theorems for graphs satisfying a condition on low-degree vertices related to Pósa's theorem, which we apply more broadly in a second paper. Both extend from Hamiltonicity to chorded pancyclicity.