Project assignment for the Analysis and Synthesis of Algorithms course @ IST 2013