STOC '94 Proceedings of the twenty-sixth annual ACM symposium on Theory of computing
Algorithmic complexity in coding theory and the minimum distance problem
STOC '97 Proceedings of the twenty-ninth annual ACM symposium on Theory of computing
On the complexity of database queries (extended abstract)
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Linear-time register allocation for a fixed number of registers
Proceedings of the ninth annual ACM-SIAM symposium on Discrete algorithms
The parameterized complexity of database queries
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Fixed-parameter complexity in AI and nonmonotonic reasoning
Artificial Intelligence
Information Processing Letters
Connections between cutting-pattern sequencing, VLSI Design, and flexible machines
Computers and Operations Research
Parameterized complexity for the database theorist
ACM SIGMOD Record
The inapproximability of non-NP-hard optimization problems
Theoretical Computer Science
Parameterized complexity of finding subgraphs with hereditary properties
Theoretical Computer Science
Embeddings of k-Connected Graphs of Pathwidth k
SWAT '00 Proceedings of the 7th Scandinavian Workshop on Algorithm Theory
Fast Fixed-Parameter Tractable Algorithms for Nontrivial Generalizations of Vertex Cover
WADS '01 Proceedings of the 7th International Workshop on Algorithms and Data Structures
The Inapproximability of Non NP-hard Optimization Problems
ISAAC '98 Proceedings of the 9th International Symposium on Algorithms and Computation
Fixed-Parameter Complexity in AI and Nonmonotonic Reasoning
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
Describing Parameterized Complexity Classes
STACS '02 Proceedings of the 19th Annual Symposium on Theoretical Aspects of Computer Science
Parameterized Complexity of Finding Subgraphs with Hereditary Properties
COCOON '00 Proceedings of the 6th Annual International Conference on Computing and Combinatorics
Some Prospects for Efficient Fixed Parameter Algorithms
SOFSEM '98 Proceedings of the 25th Conference on Current Trends in Theory and Practice of Informatics: Theory and Practice of Informatics
Vertex Cover: Further Observations and Further Improvements
WG '99 Proceedings of the 25th International Workshop on Graph-Theoretic Concepts in Computer Science
Analogs and Duals of teh MAST Problem for Sequences and Trees
ESA '98 Proceedings of the 6th Annual European Symposium on Algorithms
Preprocessing of intractable problems
Information and Computation
On the parametric complexity of schedules to minimize tardy tasks
Theoretical Computer Science - Australasian computer science
Algorithms for vertex-partitioning problems on graphs with fixed clique-width
Theoretical Computer Science
The Directed Steiner Network Problem is Tractable for a Constant Number of Terminals
FOCS '99 Proceedings of the 40th Annual Symposium on Foundations of Computer Science
Pure Nash equilibria: hard and easy games
Proceedings of the 9th conference on Theoretical aspects of rationality and knowledge
Describing parameterized complexity classes
Information and Computation
The turing way to parameterized complexity
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
The k-feature set problem is W[2]-complete
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
Solving large FPT problems on coarse-grained parallel machines
Journal of Computer and System Sciences - Special issue on Parameterized computation and complexity
A multiple-population evolutionary approach to gate matrix layout
International Journal of Systems Science
Abduction in well-founded semantics and generalized stable models via tabled dual programs
Theory and Practice of Logic Programming
Smaller coresets for k-median and k-means clustering
SCG '05 Proceedings of the twenty-first annual symposium on Computational geometry
Reconstructing Phylogenetic Networks Using Maximum Parsimony
CSB '05 Proceedings of the 2005 IEEE Computational Systems Bioinformatics Conference
The intractability of computing the Hamming distance
Theoretical Computer Science
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover
Discrete Applied Mathematics
The complexity of maximum matroid-greedoid intersection and weighted greedoid maximization
Discrete Applied Mathematics - Special issue: Efficient algorithms
The complexity of homomorphism and constraint satisfaction problems seen from the other side
Journal of the ACM (JACM)
A survey on knowledge compilation
AI Communications
Computational properties of argument systems satisfying graph-theoretic constraints
Artificial Intelligence
Efficient policy analysis for administrative role based access control
Proceedings of the 14th ACM conference on Computer and communications security
Size-change termination with difference constraints
ACM Transactions on Programming Languages and Systems (TOPLAS)
The complexity of fixed-parameter problems: guest column
ACM SIGACT News
Minimal proper interval completions
Information Processing Letters
A fixed-parameter algorithm for the directed feedback vertex set problem
STOC '08 Proceedings of the fortieth annual ACM symposium on Theory of computing
Efficient algorithms for counting parameterized list H-colorings
Journal of Computer and System Sciences
A fixed-parameter algorithm for the directed feedback vertex set problem
Journal of the ACM (JACM)
Parameterized Learnability of k-Juntas and Related Problems
ALT '07 Proceedings of the 18th international conference on Algorithmic Learning Theory
Efficient Algorithms for Fixed-Precision Instances of Bin Packing and Euclidean TSP
APPROX '08 / RANDOM '08 Proceedings of the 11th international workshop, APPROX 2008, and 12th international workshop, RANDOM 2008 on Approximation, Randomization and Combinatorial Optimization: Algorithms and Techniques
Structural Tractability of Propagated Constraints
CP '08 Proceedings of the 14th international conference on Principles and Practice of Constraint Programming
Efficient algorithms for clique problems
Information Processing Letters
On the parameterized complexity of multiple-interval graph problems
Theoretical Computer Science
A heuristic approach for the max-min diversity problem based on max-clique
Computers and Operations Research
The complexity of the matroid–greedoid partition problem
Theoretical Computer Science
Parameterized Complexity for Domination Problems on Degenerate Graphs
Graph-Theoretic Concepts in Computer Science
Approximability and Parameterized Complexity of Minmax Values
WINE '08 Proceedings of the 4th International Workshop on Internet and Network Economics
Derivation of algorithms for cutwidth and related graph layout parameters
Journal of Computer and System Sciences
Scheduling with conflicts: online and offline algorithms
Journal of Scheduling
Symbolic reachability analysis for parameterized administrative role based access control
Proceedings of the 14th ACM symposium on Access control models and technologies
Easy and hard coalition resource game formation problems: a parameterized complexity analysis
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Running tree automata on probabilistic XML
Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Randomized algorithms for the loop cutset problem
Journal of Artificial Intelligence Research
Pure Nash equilibria: hard and easy games
Journal of Artificial Intelligence Research
Parameterized learnability of juntas
Theoretical Computer Science
A tractability result for reasoning with incomplete first-order knowledge bases
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Query evaluation over probabilistic XML
The VLDB Journal — The International Journal on Very Large Data Bases
Fast fixed-parameter tractable algorithms for nontrivial generalizations of vertex cover
Discrete Applied Mathematics
The complexity of maximum matroid-greedoid intersection and weighted greedoid maximization
Discrete Applied Mathematics - Special issue: Efficient algorithms
Problems on RNA secondary structure prediction and design
ICALP'03 Proceedings of the 30th international conference on Automata, languages and programming
Bounded tree-width and CSP-related problems
ISAAC'07 Proceedings of the 18th international conference on Algorithms and computation
Proceedings of the twenty-ninth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Pure Nash equilibria: complete characterization of hard and easy graphical games
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Tractability in Value-based Argumentation
Proceedings of the 2010 conference on Computational Models of Argument: Proceedings of COMMA 2010
Other complexity classes and measures
Algorithms and theory of computation handbook
Algorithms and theory of computation handbook
Extended dynamic subgraph statistics using h-index parameterized data structures
COCOA'10 Proceedings of the 4th international conference on Combinatorial optimization and applications - Volume Part I
Improved approximations for hard optimization problems via problem instance classification
Rainbow of computer science
Kernel bounds for disjoint cycles and disjoint paths
Theoretical Computer Science
Feedback vertex set in mixed graphs
WADS'11 Proceedings of the 12th international conference on Algorithms and data structures
Journal of Combinatorial Optimization
Journal of Computer and System Sciences
On spanning galaxies in digraphs
Discrete Applied Mathematics
Applying modular decomposition to parameterized bicluster editing
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
Fixed-parameter approximation: conceptual framework and approximability results
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
The parameterized complexity of enumerating frequent itemsets
IWPEC'06 Proceedings of the Second international conference on Parameterized and Exact Computation
A memetic algorithm with bucket elimination for the still life problem
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
A parameterized complexity tutorial
LATA'12 Proceedings of the 6th international conference on Language and Automata Theory and Applications
Book review: Invitation to fixed-parameter algorithms
Computer Science Review
Discrete Optimization
Extended dynamic subgraph statistics using h-index parameterized data structures
Theoretical Computer Science
Constraint optimization problems and bounded tree-width revisited
CPAIOR'12 Proceedings of the 9th international conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
The birth and early years of parameterized complexity
The Multivariate Algorithmic Revolution and Beyond
A basic parameterized complexity primer
The Multivariate Algorithmic Revolution and Beyond
FPT suspects and tough customers: open problems of downey and fellows
The Multivariate Algorithmic Revolution and Beyond
NSS'12 Proceedings of the 6th international conference on Network and System Security
Proof systems and transformation games
Annals of Mathematics and Artificial Intelligence
Hi-index | 0.01 |
For many fixed-parameter problems that are trivially soluable in polynomial-time, such as ($k$-)DOMINATING SET, essentially no better algorithm is presently known than the one which tries all possible solutions. Other problems, such as ($k$-)FEEDBACK VERTEX SET, exhibit fixed-parameter tractability: for each fixed $k$ the problem is soluable in time bounded by a polynomial of degree $c$, where $c$ is a constant independent of $k$. We establish the main results of a completeness program which addresses the apparent fixed-parameter intractability of many parameterized problems. In particular, we define a hierarchy of classes of parameterized problems $FPT \subseteq W[1] \subseteq W[2] \subseteq \cdots \subseteq W[SAT] \subseteq W[P]$ and identify natural complete problems for $W[t]$ for $t \geq 2$. (In other papers we have shown many problems complete for $W[1]$.) DOMINATING SET is shown to be complete for $W[2]$, and thus is not fixed-parameter tractable unless INDEPENDENT SET, CLIQUE, IRREDUNDANT SET and many other natural problems in $W[2]$ are also fixed-parameter tractable. We also give a compendium of currently known hardness results as an appendix.