A generalization of Ore's Theorem involving neighborhood unions

AbstractLet G be a graph of order n. Settling conjectures of Chen and Jackson, we prove the following generalization of Ore's Theorem: If G is 2-connected and |N(u)∪N(v)|⩾12n for every pair of nonadjacent vertices u,v, then either G is hamiltonian, or G is the Petersen graph, or G belongs to one of three families of exceptional graphs of connectivity 2