Просмотр кода страницы Ядро (теория графов)

== Определение ==
Граф <math>C</math> является '''ядром''', если любой гомоморфизм <math>f:C \to C</math> является [[Изоморфизм графов|изоморфизмом]], то есть это биекция вершин <math>C</math>.

'''Ядро''' графа <math>G</math> — это граф <math>C</math>, такой, что
# существует [[гомоморфизм]] из <math>G</math> в <math>C</math>
# существует [[гомоморфизм]] из <math>C</math> в <math>G</math>
# с этими свойствами граф <math>C</math> минимален.

Говорят, что два графа гомоморфно эквивалентны, если они обладают изоморфными ядрами.