Голосарій курсу

Нехай $G_1=(V_1, E_1)$ та $G_2=(V_2, E_2)$ – прості графи, а  $\varphi : V_1 \rightarrow V_2$ – бієкція.

Якщо для будь - яких вершин $u$ та $v$ графа $G_1$ їх образи $\varphi(u)$ та $\varphi(v)$  суміжні в $G_2$  тоді й лише тоді, коли $u$ та $v$  суміжні в $G_1$ , то цю бієкцію називають ізоморфізмом графа $G_1$  на граф $G_2$ .

Якщо такий ізоморфізм існує, то графи  $G_1$ та  $G_2$ називають ізоморфними та записують $G_1\simeq G_2$.