Изоморфные графы – существует взаимно однозначное соответствие между множествами их вершин или биекция, сохраняющая отношение смежности. Изоморфизм графов G и H: G @ H.
Например:
Заданы два графа
.Определить изоморфизм
.
Решение:
Граф
изоморфен графу
,потому что существует биекция
,сохраняющая отношение смежности.

| a
| b
| c
| d
|
|
|
|
|
|
Например: следующиеграфы изоморфны друг другу.


Граф
изоморфно вложимв граф
, если граф
является изоморфным некоторому порожденному подграфу графа G.
Например: граф
изоморфно вложим в граф G.
Например: граф
изоморфно вложим в
.