První sada

1.	Řekneme, že číslo je prosté, pokud jeho dekadický zápis neobsahuje dvě stejné cifry. Sestavte predikát, který k danému prostému číslu najde nejmenší větší prosté číslo. 

2.	Najděte komponenty souvislosti v neorientovaném grafu a mosty v nich. Most je hrana, jejíž vypuštění vede k rozpadu komponenty na dvě.

Druhá sada

1.	Kanonická reprezentace obecného stromu pomocí binárního stromu je binární strom, v němž dva „binární synové“ mají význam „prvorozený syn“ a „mladší bratr“ v obecném stromě. Vytvořte predikát, který z kanonické binární reprezentace obecného stromu T vytvoří seznam prvků, který by vznikl průchodem do šířky stromu T.

2.	Najděte minimální kostru v neorientovaném grafu s kladně ohodnocenými hranami.