Izomorfismus (graf)

Tento článek potřebuje úpravy.

Můžete Wikipedii pomoci tím, že ho vylepšíte. Jak by měly články vypadat, popisují stránky Vzhled a styl, Encyklopedický styl a Odkazy.

---

Konkrétní problémy: definice uvádí matem. symboly bez vysvětlení jejich významu; vysvětlit symboly a celý pojem též slovně, uvést příklad izomorf. grafů (viz wiki-en)

V teorii grafů řekneme, že jsou dva grafy izomorfní, pokud ${\displaystyle \exists \ F\colon V(G)\to V(G'):\{x,y\}\in E(G)\Leftrightarrow \{f(x),f(y)\}\in E(G')}$.

Graf je jedním z příkladů množiny (vrcholů) a nějaké relace (množiny hran) na této množině, proto se opět jedná o zvláštní případ obecné definice izomorfismu.

Izomorfismus zachovává všechny důležité vlastnosti grafu – zobrazuje každý podgraf na izomorfní podgraf, cestu opět na cestu, kružnici opět na kružnici, izomorfní graf lze obarvit stejným způsobem, jako původní graf.