Grafuri asociate unui graf

Fie graful G=(V,E). Graful G′=(V,E′), cu E′⊆E este un graf parțial al grafului G. Se
observă că acesta se poate obține prin eliminarea unor muchii/ arce din graful inițial.
Numărul grafurilor parțiale ale lui G este 2|E| (pentru fiecare muchie avem două variante:
o ștergem sau nu).
Graful G′′=(V′′,E′′) cu V′′⊆V și ′E′′ mulțimea tuturor muchiilor/ arcelor din E cu ambele
extremități în ′′V′′ se numește subgraf al lui G. Acesta poate fi obținut eliminând unele
noduri din G, împreună cu toate muchiile incidente la acestea. Numărul de subgrafuri ale
lui G este 2|V|−1 (numărul submulțimilor lui V, excluzând mulțimea vidă, deoarece graful
nu poate avea 0 noduri).
Un subgraf parțial este, după cum îi spune și numele, un subgraf din care s-au eliminat
niște muchii.

Graful complementar unui graf neorientat G are aceeași mulțime de vârfuri, dar
mulțimea muchiilor conține doar muchiile care nu apar în G.

Pentru un graf orientat G, graful GT=(V,ET) se numește graful transpus al lui �G

Lanț, ciclu, drum, circuit

Într-un graf neorientat, un lanț este o secvență de noduri [x1,x2,…,xk], cu proprietatea că

oricare două noduri consecutive din secvență sunt adiacente. Extremitatea inițială a lanțului
este x1, iar cea finală xk. Lungimea unui lanț este numărul muchiilor din care este compus,
deci k−1.

Un lanț este elementar dacă nu conține de mai multe ori același nod. Un lanț se
numește simplu dacă nu conține de mai multe ori aceeași muchie. Se observă că orice lanț
elementar este automat și simplu. Un ciclu este un lanț simplu pentru care extremitatea
inițială este aceeași cu cea finală. Ciclul este elementar dacă nu conține de mai multe ori
același nod (cu excepția extremităților).

Similar sunt definite și drumurile (pentru grafurile orientate): Un drum este o secvență de
noduri (x1,x2,…,xk) cu proprietatea că pentru oricare două noduri
consecutive xi și xi+1 există arcul (xi,xi+1). În plus, ciclul se va numi de fapt circuit.

Un lanț/ drum/ ciclu/ circuit se numește hamiltonian dacă trece prin fiecare nod al grafului
exact o singură dată. Un lanț/ drum/ ciclu/ circuit se numește eulerian dacă trece prin fiecare
dintre muchiile/ arcele grafului exact o singură dată.