Zbiór rozspajający (egde-cut) – zbiór krawędzi, których usunięcie

Zbiór rozspajający (egde-cut) – zbiór krawędzi, których usunięcie
spowoduje, że graf G nie będzie już spójny.
Rozcięcie grafu (minimal edge-cut) – zbiór rozspajający, którego
żaden podzbiór właściwy nie jest już zbiorem rozspajającym.
Most (cut-edge/bridge) – rozcięcie będące pojedynczą krawędzią
Zbiór rozdzielający (vertex-cut)– zbiór wierzchołków, których
usunięcie spowoduje, że graf G nie będzie już spójny.
Wierzchołek rozcinający (cut-vertex/cutpoint)– zbiór rozdzialający
składający się z jednego wierzchołka
Automorfizm – izomorfizm z grafu G na niego samego.
Graf wierzchołkowo przechodni – graf w którym dla każdej pary
wierzchołków u, v istnieje automorfizm mapujący u na v
Graf krawędziowo przechodni – graf w którym dla każdej pary
krawędzi d, e istnieje automorfizm mapujący d na e
Orbita wierzchołkowa- klasa abstrakcji wierzchołków grafu, które
mogą być zmapowane na siebie w pewnym automorfizmie
(wszystkie wierzchołki w tej samej orbicie mają takie same stopnie)
Orbita krawędziowa -klasa abstrakcji krawędzi grafu, które mogą
być zmapowane na siebie w pewnym automorfizmie
(wszystkie krawędzie w tej samej orbicie mają takie samy pary
stopni wierzchołków na swoich krańcach)
Podgraf indukowany wierzchołkowo grafu G - graf powstały
przez usunięcie z grafu G wierzchołków oraz wszystkich
wychodzących z nich i wchodzących do nich krawędzi. Inaczej
mówiąc jest to graf, którego zbiór wierzchołków jest zawarty w
zbiorze wierzchołków grafu G, a zbiór krawędzi składa się ze
wszystkich krawędzi grafu G, których oba końce należą do zbioru
wierzchołków nowo powstałego grafu.
Podgraf indukowany krawędziowo grafu G - graf, którego zbiór
krawędzi D jest zawarty w zbiorze krawędzi grafu G, zaś
wierzchołkami są te wierzchołki z G, które są incydentne
przynajmniej z jedną krawędzią z D.
Sumą (union) dwóch grafów G1=(V(G1), E(G1)) i G2=(V(G2), E(G2))
przy założeniu, że V(G1) i V(G2) są rozłączne, jest graf G1 ∪ G2
o zbiorze wierzchołków V(G1) ∪ V(G2) i zbiorze krawędzi
E(G1) ∪ E(G2)
Iloczyn kartezjański grafów G i H - GxH – graf, którego zbiór
wierzchołków to VGxH=VGxVH, zaś zbiór krawędzi to suma (union):
EgxH=(VGxEH)∪(EGxVH).
Krańcami krawędzi (u,d) są (u,x) I (u,y) dla krawędzi d=(x,y) z grafu
H. Krańcami krawędzi (e,w) są (u,w) I (v,w) dla krawędzi e=(u,v) z
grafu G.