Course notes

Weekly summary and slides, exercises from class

In the lecture on September 1st (see slides), we discussed motivation for parameterized algorithms and relation to Operation Research. Then we looked at the preprocessing rules for Vertex Cover as in Chapter 1 of the textbook.

In the lecture on September 3rd (see slides), we discussed dynamic programming and in particular the algorithm for Steiner tree, see also Chapter~6.1.2 from the textbook.

The first exercise sheet was given out. Please prepare solutions until Wednesday next week.

In the lecture on September 10th, we discussed solutions to the first exercise set. For the dynamic programming exercise, see also Dynamic Program for Vertex Coloring.

In the lecture on September 11rd, we recalled basics from complexity theory by discussing the complexity questions from the first exercise sheet.

The second exercise sheet was given out. Please prepare solutions until Wednesday next week.

The lecture on September 17th unexpectedly did not happen.

In the lecture on September 18th, we started with the topic Kernelization and Preprocessing (see slides). We covered Chapters 2.1 (formal definitions), 2.2.1 (Vertex Cover), and 2.2.3 (Edge Clique Cover) from the textbook. In the second half, we discussed solutions to exercise sheet 2.

The third exercise sheet was given out. Please prepare solutions until Friday next week.

Project

In the project, you will work together in teams of 2 on a board game inspired problem. The possible settings can be found here. Each team will be given a different setting based on preferences they submit (details to follow). Your tasks are:

  1. Formally define your problem and possibly variants (including parameterizations) of it and write an ILP model for it.
  2. Develop an initial algorithm based on reduction rules, branching strategies, or dynamic programming. It should be a correct and sensible algorithm, but formal guarantees on running time, etc. are not required.
  3. Evaluate the complexity of your problem and variants, by showing NP-hardness and possibly hardness with respect to some parameters.
  4. Choice between: (a) Establish some non-trivial theoretical result for your problem, for example FPT algorithm with respect to some parameters (b) implement an algorithmic idea and run experiments

Remarks: