D1
Algorithms & Complexity

Department 1: Algorithms and Complexity

The Algorithms and Complexity Department is headed by Prof. Danupon Nanongkai, PhD.

The department investigates a broad range of theoretical and practical aspects of modern algorithmics. We design new algorithms and algorithmic techniques, analyze their efficiency and the quality of their solutions, develop provably efficient and correct software, and package our programs in software libraries. The strength of our approach lies in the fact that we consider these aspects in unity and not in isolation.

Research Areas

Algorithmic Game Theory

In the problems we consider in this group, we usually try to optimize some goal function while dealing with selfish agents that may have separate and conflicting goals, and that may lie to us in order to improve their own goal function. In algorithmic mechanism design, we ensure that it is in the best interest of the agents to tell us the truth. We also examine the price of anarchy and price of stability for various problems.

Clustering
Distributed Computing

Broadly speaking, distributed computing concerns systems that consist of multiple agents that act based on local information. The main challenge is typically how agents gain access to sufficient information to collaboratively solve a task quickly, despite limits on communication, faults, or inaccurate data.

Fine-Grained Complexity and Algorithm Design

Fine-grained Complexity Theory is the design of reductions that prove running time lower bounds assuming a plausible complexity-theoretic conjecture such as the Strong Exponential Time Hypothesis. In this area the design of efficient algorithms goes hand in hand with proving fine-grained lower bounds: our goal is to prove matching upper and lower bounds, thus establishing best-possible algorithms (with the correct constants in the exponent).

Graph Algorithms

Our long-term vision is to develop techniques for designing efficient graph algorithms and use them to understand graph data.  We currently focus on algorithms that work across many models of computation, such as dynamic, distributed, streaming, parallel, and quantum algorithms. We aim to achieve two goals simultaneously: (i) solutions to notorious long-standing open problems, and (ii) efficient algorithms that can fully exploit both the features of modern computing devices and the characteristics of contemporary data.

Optimization

Many real world applications are naturally formulated as combinatorial optimization problems, i.e. problems of finding the best solution(s) out of a finite set. Various methods have been developed to tackle such problems: integer programming, fixed-parameter tractable and exact algorithms, approximation algorithms and combinatorial algorithms, among others. D1 works on applying these methods to various problems from different areas, ranging from bioinformatics to geometry, to scheduling, and several others.

Parameterized Algorithms and Complexity

Parameterized complexity analyzes how different parameters of the input influence the complexity of hard algorithmic problems. The general goal is to show with fixed-parameter tractability results that the combinatorial explosion can be confined to certain well-defined parameters, or to understand why such algorithms are not possible.

Overview

People

Who is Who? - Secretaries, Researchers, Students, Guests, Former Staff Members, Former Students, and Former Guests.

Research

What we work on, who works in which area, and the most recent Biennial Report.

Offers

Positions, Long Term Visits, Postdoc Positions, Ph.D. Applications, Internships and other Offers.

Teaching

Lectures, Seminars, Bachelor and Master Theses.

Quantum Lecture Series
Virtual Theory Seminar
Talks & Events

Seminar program, Advanced Mini Courses.

Publications

PhD Theses, Diploma Theses, Publications of Group Members.

ADFOCS

Advanced Course on the Foundations of Computer Science

HDT 2017

6th Workshop on Advances in Distributed Graph Algorithms