Графовый морфизм

Материал из WEGA
Перейти к навигации Перейти к поиску

Графовый морфизм (Graph morphism) — отображение [math]\displaystyle{ f: \, G \rightarrow G' }[/math], представляющее пару [math]\displaystyle{ (f_{V}: \, V \rightarrow V', f_{E}: \, E \rightarrow E') }[/math], сохраняющее структуру графа, смежность и метки вершин.

Литература

  • Workshop. Herrsching, 1994 // Lect. Notes Comp. Sci., 1995, vol. 903.