The bidimensionality theory and its algorithmic applications
This paper surveys the theory of bidimensionality. This theory characterizes a broad range of
graph problems ('bidimensional') that admit efficient approximate or fixed-parameter …
graph problems ('bidimensional') that admit efficient approximate or fixed-parameter …
Solving connectivity problems parameterized by treewidth in single exponential time
For the vast majority of local problems on graphs of small tree width (where by local we
mean that a solution can be verified by checking separately the neighbourhood of each …
mean that a solution can be verified by checking separately the neighbourhood of each …
[HTML][HTML] Deterministic single exponential time algorithms for connectivity problems parameterized by treewidth
It is well known that many local graph problems, like Vertex Cover and Dominating Set, can
be solved in time 2 O (tw)| V| O (1) for graphs G=(V, E) with a given tree decomposition of …
be solved in time 2 O (tw)| V| O (1) for graphs G=(V, E) with a given tree decomposition of …
Planar graphs have bounded queue-number
We show that planar graphs have bounded queue-number, thus proving a conjecture of
Heath et al.[66] from 1992. The key to the proof is a new structural tool called layered …
Heath et al.[66] from 1992. The key to the proof is a new structural tool called layered …
Subexponential parameterized algorithms on bounded-genus graphs and H-minor-free graphs
We introduce a new framework for designing fixed-parameter algorithms with
subexponential running time---2 O (√ k) n O (1). Our results apply to a broad family of graph …
subexponential running time---2 O (√ k) n O (1). Our results apply to a broad family of graph …
Parameterized complexity and approximation algorithms
D Marx - The Computer Journal, 2008 - ieeexplore.ieee.org
Approximation algorithms and parameterized complexity are usually considered to be two
separate ways of dealing with hard algorithmic problems. In this paper, our aim is to …
separate ways of dealing with hard algorithmic problems. In this paper, our aim is to …
[LIBRO][B] Descriptive complexity, canonisation, and definable graph structure theory
M Grohe - 2017 - books.google.com
Descriptive complexity theory establishes a connection between the computational
complexity of algorithmic problems (the computational resources required to solve the …
complexity of algorithmic problems (the computational resources required to solve the …
Some recent progress and applications in graph minor theory
In the core of the seminal Graph Minor Theory of Robertson and Seymour lies a powerful
theorem capturing the``rough''structure of graphs excluding a fixed minor. This result was …
theorem capturing the``rough''structure of graphs excluding a fixed minor. This result was …
A survey on approximation in parameterized complexity: Hardness and algorithms
Parameterization and approximation are two popular ways of co** with NP-hard
problems. More recently, the two have also been combined to derive many interesting …
problems. More recently, the two have also been combined to derive many interesting …
Digraph measures: Kelly decompositions, games, and orderings
We consider various well-known, equivalent complexity measures for graphs such as
elimination orderings, k-trees and cops and robber games and study their natural …
elimination orderings, k-trees and cops and robber games and study their natural …