== include(page="template/taskheader" task_id="atena") ==

În Grecia antică, reţeaua stradală a oricărui oraş era formată din intersecţii legate prin drumuri bidirecţionale, construite în aşa fel încât din orice intersecţie să se poată ajunge în oricare altă intersecţie, direct sau indirect, trecând prin alte intersecţii. De asemenea, între oricare două intersecţii ale unui oraş existau cel mult un drum direct şi nu existau drumuri de la o intersecţie la ea însăşi.
 
Se ştie că în acele vremuri, reţeaua stradală a oraşului Atena avea $N{~1~}$ intersecţii, legate prin $M{~1~}$ drumuri bidirecţionale, în timp ce reţeaua stradală a oraşului Sparta avea $N{~2~}$ intersecţii, legate prin $M{~2~}$ drumuri bidirecţionale. Intersecţiile din Atena se consideră numerotate cu numere de la $1$ la $N{~1~}$, în timp ce intersecţiile din Sparta se consideră numerotate cu numere de la $N{~1~} + 1$ la $N{~1~} + N{~2~}$.
 
Pericle, regele Atenei, a decis să afle în ce măsură reţeaua de străzi a Spartei este asemănătoare cu reţeaua de străzi a oraşului Atena. În acest scop, el i-a cerut unuia dintre matematicienii atenieni, Parmenide, să afle dacă reţeaua de străzi a Spartei este inclusă în reţeaua de străzi a Atenei.
 
 

Poveste şi cerinţă...

h2. Date de intrare