Förening av grafer

Grafunion är en operation på grafer som resulterar i en graf vars vertex- och kantuppsättningar är sammansättningar av spets- och kantuppsättningarna för de ursprungliga graferna. Med andra ord inkluderar den resulterande grafen alla kanter och hörn som finns i de ursprungliga graferna [1] .

Operationen med att kombinera grafer, såväl som en liknande operation för uppsättningar, betecknas vanligtvis med symbolen :

Alltså om

sedan

där är uppsättningen av hörn, är uppsättningen av kanter på grafen.

Se även

Anteckningar

  1. Swami M. (1984), sid. 21.

Länkar