Graf mieszany
Z Wikipedii
Graf mieszany – graf, który w teorii grafów definiowany jest jako zbiory tworzące uporządkowaną trójkę. Pierwszy z nich zawiera wierzchołki grafu, drugi składa się z krawędzi nieskierowanych mających postać par nieuporządkowanych oraz trzeci obejmujący krawędzie skierowane czyli pary uporządkowane.
Definicja matematycznie mówi, że graf mieszany G to uporządkowana trójka G:=(V,E,A) spełniająca następujące warunki:
- V to zbiór wierzchołków,
- E jest zbiorem nieuporządkowanych par wierzchołków, nazywanych krawędziami,
- A to zbiór uporządkowanych par nazywanych krawędziami skierowanymi.
Graf mieszany jest połączeniem grafu nieskierowanego oraz skierowanego.
Zwykle zakłada się, że zbiory V, E, A są skończone. Większość twierdzeń teorii grafów poprawnych dla skończonej ilości krawędzi i wierzchołków okazuje się nieprawdziwa dla grafów nieskończonych.