Гомоморфизм графа

Материал из WikiGrapp
Версия от 16:19, 6 октября 2009; Glk (обсуждение | вклад) (Создана новая страница размером '''Гомоморфизм графа''' (''Homomorphism of a graph'') - преобразование графа, представляющ...)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)

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

[math]\displaystyle{ \varphi : G \rightarrow G' }[/math]

такая, что если вершины [math]\displaystyle{ u }[/math] и [math]\displaystyle{ v }[/math] смежны в [math]\displaystyle{ G }[/math], то вершины [math]\displaystyle{ \varphi(u) }[/math] и [math]\displaystyle{ \varphi(v) }[/math] смежны в [math]\displaystyle{ G' }[/math]. Говорят также, что [math]\displaystyle{ \varphi }[/math] есть гомоморфизм графа [math]\displaystyle{ G }[/math] на граф [math]\displaystyle{ G' }[/math]. Граф [math]\displaystyle{ G' }[/math] называется гомоморфным образом графа [math]\displaystyle{ G }[/math] и обозначается [math]\displaystyle{ \varphi G }[/math].

Литература

[Харари]