There are many classical problems in P whose time complexities have not been improved over the past decades. Recent studies of "Hardness in P" have revealed that, for several of such problems, the current fastest algorithm is the best possible under some complexity assumptions. To bypass this difficulty, the concept of "FPT inside P" has been introduced. For a problem with the current best time complexity O(n^c), the goal is to design an algorithm running in k^{O(1)}n^{c\u27} time for a parameter k and a constant c\u27<c. In this paper, we investigate the complexity of graph problems in P parameterized by tree-depth, a graph parameter related to tree-width. We show that a simple divide-and-conquer method can solve many graph problems, incl...
This thesis studies dynamic programming algorithms and structural parameters used when solving compu...
Dynamic programming on various graph decompositions is one of the most fundamental techniques used i...
In this paper we take a closer look at the parameterized complexity of existsforall SAT, the prototy...
International audienceRecently, hardness results for problems in P were achieved using reasonable co...
Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard op...
We study the design of fixed-parameter algorithms for problems already known to be solvable in polyn...
Dynamic programming on path and tree decompositions of graphs is a technique that is ubiquitous in t...
We study the design of fixed-parameter algorithms for problems already known to be solvable in polyn...
In this thesis we present several results relating to treedepth. First, we provide the fastest linea...
International audienceRecently, hardness results for problems in P were achieved using reasonable co...
A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by...
We propose a general approach to modelling algorithmic paradigms for the exact solution of NP-hard p...
We propose a general approach to modelling algorithmic paradigms for the exact solution of NP-hard p...
Linear rankwidth is a linearized variant of rankwidth, introduced by Oum and Seymour [Approximating ...
We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when p...
This thesis studies dynamic programming algorithms and structural parameters used when solving compu...
Dynamic programming on various graph decompositions is one of the most fundamental techniques used i...
In this paper we take a closer look at the parameterized complexity of existsforall SAT, the prototy...
International audienceRecently, hardness results for problems in P were achieved using reasonable co...
Parameterized complexity theory has enabled a refined classification of the difficulty of NP-hard op...
We study the design of fixed-parameter algorithms for problems already known to be solvable in polyn...
Dynamic programming on path and tree decompositions of graphs is a technique that is ubiquitous in t...
We study the design of fixed-parameter algorithms for problems already known to be solvable in polyn...
In this thesis we present several results relating to treedepth. First, we provide the fastest linea...
International audienceRecently, hardness results for problems in P were achieved using reasonable co...
A breakthrough result of Cygan et al. (FOCS 2011) showed that connectivity problems parameterized by...
We propose a general approach to modelling algorithmic paradigms for the exact solution of NP-hard p...
We propose a general approach to modelling algorithmic paradigms for the exact solution of NP-hard p...
Linear rankwidth is a linearized variant of rankwidth, introduced by Oum and Seymour [Approximating ...
We show that some natural problems that are XNLP-hard (which implies W[t]-hardness for all t) when p...
This thesis studies dynamic programming algorithms and structural parameters used when solving compu...
Dynamic programming on various graph decompositions is one of the most fundamental techniques used i...
In this paper we take a closer look at the parameterized complexity of existsforall SAT, the prototy...