Na afloop van de cursus kan de student de efficiëntie analyseren van diverse algoritmen en is in staat NP-compleetheid van diverse problemen te bewijzen.

Complexiteit gaat over de efficiëntie van algoritmen. Aan de ene kant worden voor concrete algoritmen methoden gepresenteerd waarmee deze efficiëntie kan worden vastgesteld, in het bijzonder door het analyseren van de onderliggende recurrente betrekkingen. Aan de andere kant wordt voor diverse problemen aannemelijk gemaakt dat er geen efficiënte algoritmen voor bestaan door te laten zien dat ze NP-volledig zijn.