Se numeste graf orientat o pereche ordonata de multimi G={X,U} unde X este o mul time finita si nevida de elemente numite

de obicei varfuri(noduri) si U este o m ultime finita de perechi ordonate. Fiecare pereche este formata din doua elem. din X si se numeste de obicei arc. Se considera un arc (x,y) E U, x si y fiind extremitatiile arcului. Mai mult, x se numeste extremitate initiala, iar y extremitate finala. Un arc porneste de la extremitatea initiala si ajunge la extremitatea finala. Doua noduri x si y se numesc adiacente daca exista un arc intre ele indiferent d e sensul sau. Doua arce se numesc incidente daca au o extremitate comuna. Se numeste matricea de adiacenta a unui graf orientat o matrice cu nr de linii s i coloane egal cu nr de noduri si elementele definite astfel: a[i][j] { 1 daca e xista arc de la i la j si 0 daca nu exista arc de la i la j. Obs 1: Daca nu exista bucle, matricea de adiacenta are 0 pe diagonala principala . Obs 2: Matricea de adiacenta nu este simetrica. (adica daca exista nod de la x l a y, nu inseamna ca trebuie sa existe si de la y la x) obs 3; Numarul de valori 1 din matricea de adiacenta este egal cu nr de arce din graf. Se numeste grad exterior al unui nod x nr de arce care pornesc din nodul x. Se n oteaza cu d+(x); Se numeste grad interior al unui nod x nr de arce care ajung in nodul x. Se note aza cu d-(x); Se numeste lant intr-un graf orientat o multime de arce L=(u1,u2,u3,...,uk) cu p roprietatea ca oricare doua arce vecine in multime au o extremitate comuna. Obs: La un lant nu conteaza sensul arcelor. Se numeste lant elementar un lant care are toate nodurile distincte. Se numeste drum intr-un graf orientat un sir de noduri D={z1,z2,z3,...,zk} cu pr oprietatea ca oricare doua noduri consecutive sunt adiacente, adica arcele z1,z2 ;...;zk-1,zk Se numeste drum elementar un drum care are nodurile distincte doua cate doua. Se numeste circuit un lant L={z1,z2,...,zk} cu proprietatea ca primul si ultimul nod sunt identice si arcele z1,z2;z2,z3;...;zk-1,zk sunt distincte doua cate do ua. Se numeste circuit elementar un circuit cu nodurile distincte doua cate doua cu exceptia primului si ultimului nod. gama+(x)={yEX|(x,y)EU}- multimea succesorilor lui x(multimea nodurilor ce sunt e xtremitati finale ale arcelor ce pleaca din nodul x) gama-(x)={yEX|(y,x)EU}- multimea predecesorilor lui x(multimea nodurilor ce sunt extremitati initiale ale arcelor ce intra in nodul x) omega+(x)={u=(x,y)|uEU}- multimea arcelor ce ies din nodul x omega-(x)={u=(x,y)|uEU}- multimea arcelor ce intra in nodul x obs: cardinalul gama+=cardinalul omega+=gradul exterior; cardinal gama-=cardinal omega-=gradul interior un graf se numeste complet daca oricare doua noduri distincte sunt adiacente. se numeste graf turneu un graf cu proprietatea ca intre oricare doua noduri dist incte exista un arc si numai unul. teorema: orice graf turneu contine un drum elementar care trece prin toate nodur ile grafului