Project for computation complexity course (set coverage)