== include(page="template/taskheader" task_id="harti") ==
Lorena, surioara Mirunei, a învăţat recent la cercul de informatică că orice hartă poate fi colorată folosind maxim patru culori. Cum fetiţa nu s-a lăsat convinsă în lipsa unei demonstraţii ea a petrecut ultimele două săptămâni încercând să găsească un contraexemplu. Într-un final, plictisită de atâta muncă fără rezultate, a decis ca se va mulţumii cu a demonstra proprietatea pe un caz mult mai particular. Astfel s-a născut următoarea problemă:

Fie un graf planar cu noduri de forma $(x{~i~}, y{~i~}$ în care orice muchie $u-v$ respectă una dintre următoarele condiţii:

Fie un graf planar cu noduri de forma $(x{~i~}, y{~i~})$ în care orice muchie $u-v$ respectă una dintre următoarele condiţii:

* $x{~v~} = x{~u~}$
* $y{~v~} = y{~u~}$