+\exercises
+
+\ex{Vrcholové pokrytí grafu je mno¾ina vrcholù, která obsahuje alespoò jeden
+vrchol z~ka¾dé hrany. (Chceme na køi¾ovatky rozmístit strá¾níky tak, aby ka¾dou
+ulici alespoò jeden hlídal.) Uka¾te vzájemné pøevody mezi problém nezávislé
+mno¾iny a problémem \uv{Existuje vrcholové pokrytí velikosti nejvý¹e~$k$?}.}
+
+\ex{Zesilte ná¹ pøevod SATu na nezávislou mno¾inu tak, aby vytváøel grafy
+s~maximálním stupnìm~4.}
+
+\ex{Doka¾te \NP-úplnost problému $\bf Ax=b$ z~katalogu.}
+
+\exx{Doka¾te \NP-úplnost problému barvení grafu z~katalogu.}
+
+\ex{Uka¾te, ¾e barvení grafu jednou nebo dvìma barvami je snadné.}
+
+\ex{Pøeveïte batoh na dva loupe¾níky a opaènì.}
+
+\ex{Doka¾te \NP-úplnost problému batohu.}
+
+\ex{Pokud bychom definovali \P-úplnost analogicky k~\NP-úplnosti, které
+problémy z~\P{} by byly \P-úplné?}
+
+\exx{Doka¾te lemma o~vztahu mezi problémy z~\P{} a hradlovými sítìmi
+pomocí výpoèetního modelu RAM.}
+
+\endexercises
+