For 1 ≤ ` < k, an `-overlapping cycle is a k-uniform hypergraph in which, for some cyclic vertex ordering, every edge consists of k consecutive vertices and every two consecutive edges share exactly ` vertices. A k-uniform hypergraph H is `-Hamiltonian saturated, 1 ≤ ` ≤ k − 1, if H does not contain an `-overlapping Hamiltonian cycle C (k) n (`) but every hypergraph obtained from H by adding on...