186.855 Fixed-Parameter Algorithms and Complexity
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2020W, VU, 2.0h, 3.0EC, to be held in blocked form

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Distance Learning

Learning outcomes

After successful completion of the course, students are able to understand the theory of parameterized complexity and fixed-parameter tractability in sufficient depth to read and follow latest developments in the area and, crucially, to analyze problems they encounter from the parameterized viewpoint. First and foremost, this includes the ability to obtain asymptotically efficient algorithms and strong lower bounds for problems of interest.

Subject of course

Fixed-parameter algorithms provide a powerful approach for efficiently solving many NP-hard problems by exploiting structural aspects of problem instances in terms of a problem parameter. This course provides an overview of the main techniques for developing fixed-parameter algorithms (including bounded search trees, kernelization, color coding, modulators) as well as the fundamentals of parameterized complexity theory (such as the Weft-hierarchy, XP and para-NP-hardness, kernelization lower bounds) which allows to provide strong evidence that certain problems cannot be solved by a fixed-parameter algorithm.

Teaching methods

The core of the course consists of a series of blocked lectures which explore advanced topics in the studied area. The lectures are held in an informal, seminar-like setting and are highly interactive - students are expected to actively engage in what's going on. Every new method and technique introduced during the lecture is demonstrated on several examples.

Mode of examination

Written and oral

Additional information

The course will be held in online format - via zoom - and will be blocked in January 2021. More information will be provided at an initial zoom meeting on Thursday January 7, at 13:00. The link will be provided to all registered students in December.

 

Lectures are expected to take place on the following days:

  • Thursdays on January 7, 14, 21, at 13:00-16:30
  • Mondays on January 11, 18, 25, at 12:30-16:00

Zoom link for first lecture:

https://tuwien.zoom.us/j/97427602538?pwd=TGNmem0wUXV5VkJ1bWs5a2t0M0ZFZz09

Meeting ID: 974 2760 2538
Password: 2WEZHXFg

Lecturers

Institute

Examination modalities

The grading is based on a two-step evaluation process. In the first and mandatory part, each student is expected to select a recent research paper (based on guidance from the lecturer) from the considered area, read it, and prepare a presentation of its contents. This is sufficient to pass the course with a basic grade. Students who want a good grade take an oral exam where they demonstrate their understanding of the topics covered in the lecture.

Course registration

Begin End Deregistration end
02.01.2021 00:01 14.01.2021 23:59 14.01.2021 23:59

Curricula

Literature

No lecture notes are available.

Previous knowledge

This course requires basic knowledge on the design and analysis of algorithms as well as basic complexity theory. Knowledge of the topics covered in the Algorithmics course is an advantage.

Preceding courses

Language

English