Se numeste *graf bipartit* un graf $G$ ale carui noduri pot fi partitionate in doua multimi disjuncte $A$ si $B$ astfel incat oricare muchie uneste un nod din $A$ si un nod din $B$. Cu alte cuvinte, nu exista doua nuduri $i$ si $j$ din aceeasi multime astfel incat sa existe muchie intre ele.

Fie $G$ un graf bipartit. Numim *cuplaj* o submultime de muchii <tex>M \subset E</tex> (unde $E$ este multimea muchiilor grafului) cu proprietatea ca &forall; $i$ &isin; $A$ exista cel mult o muchie in $M$ incidenta in $i$. Spunem ca $i$ este *cuplat* de cuplajul $M$ daca exista o muchie in $M$ incidenta in $i$. In caz contrar spunem ca $i$ este *necuplat*. Numim *cuplaj maxim* o multime $M$ de cardinal maxim, adica nu exista nicio alta multime $M'$ cu $|M'| &gt; |M|$ (unde cu $|M|$ am notat cardinalul multimii $M$).

Fie $G=(V,E)$ un graf bipartit. Numim *cuplaj* o submultime de muchii <tex>M \subset E</tex> cu proprietatea ca &forall; $i$ &isin; $V$ exista cel mult o muchie in $M$ incidenta in $i$. Spunem ca $i$ este *cuplat* de cuplajul $M$ daca exista o muchie in $M$ incidenta in $i$. In caz contrar spunem ca $i$ este *necuplat*. Numim *cuplaj maxim* o multime $M$ de cardinal maxim, adica nu exista nicio alta multime $M'$ cu $|M'| &gt; |M|$ (unde cu $|M|$ am notat cardinalul multimii $M$).

h2. Cerinta