[KİTAP][B] Algorithms, measures and upper bounds for satisfiability and related problems

M Wahlström - 2007 - search.proquest.com
The topic of exact, exponential-time algorithms for NP-hard problems has received a lot of
attention, particularly with the focus of producing algorithms with stronger theoretical …

Parameterized complexity of vertex cover variants

J Guo, R Niedermeier, S Wernicke - Theory of Computing Systems, 2007 - Springer
Important variants of theVERTEX COVER problem (among others, CONNECTED VERTEX
COVER, CAPACITATED VERTEX COVER, and MAXIMUM PARTIAL VERTEX COVER) …

Crown structures for vertex cover kernelization

FN Abu-Khzam, MR Fellows, MA Langston… - Theory of Computing …, 2007 - Springer
Crown structures in a graph are defined and shown to be useful in kernelization algorithms
for the classic vertex cover problem. Two vertex cover kernelization methods are discussed …

[PDF][PDF] FPT is P-Time Extremal Structure I.

V Estivill-Castro, MR Fellows, MA Langston… - ACiD, 2005 - Citeseer
FPT is P-Time Extremal Structure I Page 1 FPT is P-Time Extremal Structure I VLADIMIR
ESTIVILL-CASTRO 1 , MICHAEL FELLOWS 2 , MICHAEL LANGSTON 3 , FRANCES …

Enumerate and expand: Improved algorithms for connected vertex cover and tree cover

D Mölle, S Richter, P Rossmanith - Theory of Computing Systems, 2008 - Springer
We present a new method of solving graph problems related to Vertex Cover by
enumerating and expanding appropriate sets of nodes. As an application, we obtain …

Partial vs. Complete Domination: t-Dominating Set

J Kneis, D Mölle, P Rossmanith - … Conference on Current Trends in Theory …, 2007 - Springer
We examine the parameterized complexity of t-Dominating Set, the problem of finding a set
of at most k nodes that dominate at least t nodes of a graph G=(V, E). The classic NP …

[HTML][HTML] Exact algorithms and applications for tree-like weighted set cover

J Guo, R Niedermeier - Journal of Discrete Algorithms, 2006 - Elsevier
We introduce an NP-complete special case of the Weighted Set Cover problem and show its
fixed-parameter tractability with respect to the maximum subset size, a parameter that …

Vertex cover problem parameterized above and below tight bounds

G Gutin, EJ Kim, M Lampis, V Mitsou - Theory of Computing Systems, 2011 - Springer
We study the well-known Vertex Cover problem parameterized above and below tight
bounds. We show that two of the parameterizations (both were suggested by Mahajan et al …

Innovative computational methods for transcriptomic data analysis: A case study in the use of FPT for practical algorithm design and implementation

MA Langston, AD Perkins, AM Saxton… - The Computer …, 2008 - ieeexplore.ieee.org
Tools of molecular biology and the evolving tools of genomics can now be exploited to study
the genetic regulatory mechanisms that control cellular responses to a wide variety of …

Parameterized proof complexity

S Dantchev, B Martin, S Szeider - Computational Complexity, 2011 - Springer
We propose a proof-theoretic approach for gaining evidence that certain parameterized
problems are not fixed-parameter tractable. We consider proofs that witness that a given …