Algorithmic problems from Timus