The Computer Journal Advance Access originally published online on August 10, 2007
The Computer Journal 2008 51(1):39-59; doi:10.1093/comjnl/bxm036
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||
On Parameterized Intractability: Hardness and Completeness
Department of Computer Science, Texas A&M University, College Station, TX 77843, USA
* Corresponding author: chen{at}cs.tamu.edu
Received 25 August 2006; revised 2 November 2006
We study the theory and techniques developed in the research of parameterized intractability, emphasizing on parameterized hardness and completeness that imply (stronger) computational lower bounds for natural computational problems. Moreover, the fundamentals of the structural properties in parameterized complexity theory, relationships to classical complexity theory and more recent developments in the area are also introduced.
Key Words: Parameterized computation fixed parameter tractability W-hierarchy exact algorithm lower bound