Projects - Tom van Dijk's Marie Curie Individual Fellowship started in April 2020

15-Jun-2020

Tom van Dijk's Marie Curie project PIGGY started in April 2020.

Among others, the main objective of the project is to either:

• reason how parity games separate P and NP by being solved in at least quasi-polynomial time 
• find an algorithm that solves parity games in polynomial time

In order to achieve those goals, Tom studies how algorithms reason about parity games by looking specifically at so-called tangles and how their presence in parity games can make solving for any particular solver "hard".

Further information about the project can be found here. Good luck Tom with your project!