Logic and
Theory of
Discrete Systems

Informatik 7

Algorithmic Model Theory and Parameterized Complexity

Martin Grohe
Collaboration with Yijia Chen (Shanghai Jia Tong University) and Jörg Flum (Freiburg University)

This is a long-running joint project on various topics in the areas of parameterized complexity theory and algorithmic model theory. The collaboration mainly consists of visits by Yijia Chen in Germany. Last year, he visited Aachen for two weeks in the summer. We mainly worked on the parameterized complexity of counting problems and made progress towards a complete classification of subgraph-counting problems with regards to their parameterized complexity.

Funding: Sino German Center for Research Promotion