7. Hamilton kör/út Flashcards
Hamilton út/kör:
Egy tetszőleges G gráf minden pontját pontosan egyszer tartalmazó útját/körét Hamilton útnak ill. Hamilton körnek nevezzük.
Triviális algoritmus sebessége
Vizsgáljuk meg a csúcsok összes lehetséges permutációját: éleken keresztül be lehet e járni a csúcsokat ebben a sorrendben. Ez n csúcs esetén persze $O (n!) = O ((\frac{n}{e})^n) >O (2^n)$ lassú algoritmus ami “természetesen” már közepes méretű gráfoknál is használhatatlan.
NP teljes probléma:
NP(Nondeterministic polinomial) teljes egy probléma, ha a következő igaz rá: “ha erre a problémára lenne gyors algoritmus, akkor a világ összes problémájára lenne gyors algoritmus”. Hamilton körök keresése NP teljes probléma, csak $O(2^n)$ lassú algoritmusok ismertek rá. De van algoritmus Hamilton utakra.
Elvágó pontrendszerek:
Ha egy $G$ gráfban van $k$ db olyan csúcs, hogy e csúcsokat a hozzájuk tartozó élekkel együtt $G$-ből elhagyva a gráf $k$-nál több komponensre esik szét, akkor a gráfban nincs Hamilton kör.
Erősen elvágó pontrendszer
Ha egy $G$ gráfban van $k$ db olyan csúcs, hogy e csúcsokat a hozzájuk tartozó élekkel együtt $G$-ből elhagyva a gráf $k+1$-nél több komponensre esik szét, akkor a gráfban nincs Hamilton út.
Dirac Gábor tétele
Ha egy egyszerű gráfban minden pont foka
$δ(v) ≥ \frac{|V|}{2}$
ahol a V a gráf csúcsainak halmaza, |V | ≥ 3, akkor a gráfban van Hamilton-kör.
Ore tétele
Ha egy egyszerű gráfban tetszőleges, $u,v∈V$ csúcsok fokszámainak összege legalább annyi, mint a csúcsok(össz) száma, vagyis
$δ(u) + δ(v) ≥ |V |$,
ahol a $V$ a gráf csúcsainak halmaza, $|V | ≥ 3$, akkor a gráfban van Hamilton-kör.