TIN093/DIT600 Algorithms, spring version, 2017