Un graf

este o pereche

, unde

- multime de puncte, iar

- o multime de perechi de puncte.

X

. Vom identifica o muchie cu cele doua capete ale sale adica scriem o muchie sub forma

unde

si

sunt varfuri.
Un graf

este simplu daca si numai daca nu contine "bucle" (o muchie de tipul

este o bucla).
Un multigraf este un graf in care putem avea mai multe muchii intre

puncte.

varfuri se numesc alaturate daca si numai daca

Pentru

, notam

multimea vecinilor lui

. Pentru

, notam

- gradul lui

.
Teorema 1: Pentru un graf

,

.
Demonstratie: La adaugarea unei muchii, fiecare din cele

varfuri ale sale "primeste" cate un vecin.
Un graf G pentru care fiecare muchie are o directie se numeste graf directionat.
Pentru un varf

, notam

multimea varfurilor care nu sunt vecine, din care exista o muchie ce "porneste" din

si ajunge in acel punct (aceste varfuri se numesc outvecini). Pentru

, notam

ca fiind multimea varfurilor din care porneste o muchie spre

9aceste varfuri se numesc invecini). Pentru

, notam

numit outgradul lui

si

numit ingradul lui

.
Teorema 2:

Demonstratie: La adaugarea unei muchii, unul dintre varfuri "primeste" un outvecin, iar celalalt un invecin.
Problema: La o intrunire politica, anumiti oameni dau mana. Demonstrati ca numarul de persoane ce au efectuat un numar impari de strangeri de mana este par.
Demonstratie: Se aplica teorema 1.
Exemple de grafuri:
1. Graful complet cu

varfuri


- multimea varfurilor lui

,

- multimea muchiilor lui

.

,


2. Graful bipartit cu

varfuri



|


drepte
3. Poligonul cu

varfuri



Un drum e o secventa de varfuri

astfel incat

, ...,

Un drum simplu este un drum in care orice varf nu se repeta. Lungimea unui drum este numarul de muchii pe care il foloseste.
Un ciclu este un drum, nu neaparat simplu, in care primul si ultimul varf coincid.
Un ciclu simplu este un ciclu in care DOAR primul si ultimul varf coincid.
Lungimea unui ciclu este numarul de muchii pe care il foloseste.
Problema: Intr-o tara avem

orase si unele dintre ele sunt conectate prin zboruri cu sens unic, astfel incat din orice oras, efectuand aceste zboruri, sa nu putem ajunge inapoi. Demonstrati ca se poate completa reteaua de zboruri astfel incat intre oricare 2 orase sa existe un zbor si proprietatea de mai inainte sa fie pastrata.
Lema ajutatoare: Exista

, astfel incat

. Demonstratie: Presupunem contrariul, deci

avem ca

.
Un drum directionat este o secventa

, astfel incad

, ...,

.
Un ciclu directionat ...