Texts in Theoretical Computer Science An EATCS Series
ACDHJ Hartmanis, T Henzinger, JHNJT Leighton… - 2006 - Springer
Classical complexity theory analyzes and classifies problems by the amount of a resource,
usually time or space, that is required by algorithms solving them. It was a fundamental idea …
usually time or space, that is required by algorithms solving them. It was a fundamental idea …
On acyclic conjunctive queries and constant delay enumeration
G Bagan, A Durand, E Grandjean - International Workshop on Computer …, 2007 - Springer
We study the enumeration complexity of the natural extension of acyclic conjunctive queries
with disequalities. In this language, a number of NP-complete problems can be expressed …
with disequalities. In this language, a number of NP-complete problems can be expressed …
Faster algebraic algorithms for path and packing problems
I Koutis - … : 35th International Colloquium, ICALP 2008, Reykjavik …, 2008 - Springer
We study the problem of deciding whether an n-variate polynomial, presented as an
arithmetic circuit G, contains a degree k square-free term with an odd coefficient. We show …
arithmetic circuit G, contains a degree k square-free term with an odd coefficient. We show …
[PDF][PDF] Improved algorithms for path, matching, and packing problems
We develop new and improved randomized and deterministic algorithmic techniques for
path, matching, and packing problems. Our randomized algorithms are based on a new …
path, matching, and packing problems. Our randomized algorithms are based on a new …
Algorithm engineering for color-coding with applications to signaling pathway detection
Color-coding is a technique to design fixed-parameter algorithms for several NP-complete
subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been …
subgraph isomorphism problems. Somewhat surprisingly, not much work has so far been …
Greedy localization, iterative compression, and modeled crown reductions: new FPT techniques, an improved algorithm for set splitting, and a novel 2 k kernelization …
The two objectives of this paper are:(1) to articulate three new general techniques for
designing FPT algorithms, and (2) to apply these to obtain new FPT algorithms for Set …
designing FPT algorithms, and (2) to apply these to obtain new FPT algorithms for Set …
Randomized divide-and-conquer: Improved path, matching, and packing algorithms
We propose a randomized divide-and-conquer technique that leads to improved
randomized and deterministic algorithms for NP-hard path, matching, and packing problems …
randomized and deterministic algorithms for NP-hard path, matching, and packing problems …
[PDF][PDF] Parameterized algorithmics: A graph-theoretic approach
H Fernau - 2005 - Citeseer
Parameterized Algorithmics: A Graph-Theoretic Approach Page 1 Parameterized Algorithmics:
A Graph-Theoretic Approach Henning Fernau Universität Tübingen, WSI für Informatik, Sand …
A Graph-Theoretic Approach Henning Fernau Universität Tübingen, WSI für Informatik, Sand …
Divide-and-color
J Kneis, D Mölle, S Richter, P Rossmanith - Graph-Theoretic Concepts in …, 2006 - Springer
We introduce divide-and-color, a new technique for the solution of hard graph problems. It is
a combination of the well-known divide-and-conquer paradigm and color-coding [2]. Our …
a combination of the well-known divide-and-conquer paradigm and color-coding [2]. Our …
An overview of techniques for designing parameterized algorithms
C Sloper, JA Telle - The Computer Journal, 2008 - academic.oup.com
A survey of the most important and general techniques in parameterized algorithm design is
given. Each technique is explained with a meta-algorithm, its use is illustrated by examples …
given. Each technique is explained with a meta-algorithm, its use is illustrated by examples …