Аноним

Гомоморфизм графа: различия между версиями

Материал из WikiGrapp
нет описания правки
Нет описания правки
Нет описания правки
 
Строка 1: Строка 1:
'''Гомоморфизм графа''' (''[[Homomorphism of a graph]]'') - преобразование [[граф|графа]], представляющее последовательность его [[гомоморфизм элементарный|элементарных гомоморфизмов]].
'''Гомоморфизм графа''' (''[[Homomorphism of a graph]]'') преобразование [[граф|графа]], представляющее последовательность его [[гомоморфизм элементарный|элементарных гомоморфизмов]].
Гомоморфизмом является, в частности, каждый ''[[изоморфизм графов|изоморфизм]]''. Гомоморфизм может рассматриваться как функция  
Гомоморфизмом является, в частности, каждый ''[[изоморфизм графов|изоморфизм]]''. Гомоморфизм может рассматриваться как функция  


Строка 6: Строка 6:
такая, что если [[смежные вершины|вершины <math>u</math> и <math>v</math> смежны]] в <math>G</math>, то вершины <math>\varphi(u)</math> и <math>\varphi(v)</math> смежны в <math>G'</math>. Говорят также, что <math>\varphi</math> есть гомоморфизм графа <math>G</math> на граф <math>G'</math>. Граф <math>G'</math> называется ''гомоморфным образом'' графа <math>G</math> и обозначается <math>\varphi G</math>.
такая, что если [[смежные вершины|вершины <math>u</math> и <math>v</math> смежны]] в <math>G</math>, то вершины <math>\varphi(u)</math> и <math>\varphi(v)</math> смежны в <math>G'</math>. Говорят также, что <math>\varphi</math> есть гомоморфизм графа <math>G</math> на граф <math>G'</math>. Граф <math>G'</math> называется ''гомоморфным образом'' графа <math>G</math> и обозначается <math>\varphi G</math>.
==Литература==
==Литература==
[Харари]
* Харари Ф. Теория графов. —  М.: Мир, 1973.