Графовый морфизм
Материал из WikiGrapp
Графовый морфизм (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.
