Parameterized complexity and exact algorithms Theory of computing mathematics