Az Ore-tétel azt mondja, hogy ha egy $G$ egyszerű, $n \geq 3$ csúcsú gráfban bármely $V_1$ és $V_j$ nem szomszédos csúcsra $d(V_i) + d(V_j) \geq n$ teljesül, akkor a gráfban van Hamilton kör. Megnézem az erről a képletről szóló tananyagot Ezt a képletet még az alábbi kurzusainkban is megtalálod: Diszkrét matematika / Gráfok bejárása és gráfalgoritmusok / Dirac-tétel és Ore-tétel, a Hamilton kör elégséges feltételei Bevezetés a számításelméletbe 2 / Gráfok bejárása és gráfalgoritmusok / Dirac-tétel és Ore-tétel, a Hamilton kör elégséges feltételei Számítástudomány alapjai / Gráfok bejárása és gráfalgoritmusok / Dirac-tétel és Ore-tétel, a Hamilton kör elégséges feltételei Alkalmazott matematika 2 / Minimális feszítőfa, Dijkstra-algoritmus, keresések / Dirac-tétel és Ore-tétel, a Hamilton kör elégséges feltételei Az Ore-tétel egy feltétel Hamilton kör létezésére.