Preface |
|
v | (2) |
Acknowledgements |
|
vii | (6) |
|
|
xiii | |
|
1 Computers, Complexity, and Intractability from the Parametric Point of View |
|
|
1 | (20) |
|
|
1 | (1) |
|
1.2 The Role of Computational Complexity in Modern Science |
|
|
2 | (3) |
|
1.3 The Story of Dr. O, Continued |
|
|
5 | (1) |
|
1.4 Reworking the Foundations of Computational Complexity |
|
|
6 | (1) |
|
1.5 A Deal with the Devil |
|
|
7 | (1) |
|
1.6 How Parameters Arise in Practice |
|
|
8 | (3) |
|
1.7 A Distinctive Positive Toolkit |
|
|
11 | (2) |
|
|
13 | (1) |
|
1.9 The Barometer of Parametric Intractability |
|
|
14 | (4) |
|
1.10 Structural Aspects of Parameterized Complexity |
|
|
18 | (1) |
|
1.11 An Overview of Current Research Horizons |
|
|
19 | (2) |
I Parameterized Tractability |
|
21 | (204) |
|
|
23 | (6) |
|
2.1 Fixed-Parameter Tractability |
|
|
23 | (3) |
|
|
26 | (3) |
|
3 Some Ad Hoc Methods: The Methods of Bounded Search Tree and Problem Kernel |
|
|
29 | (20) |
|
3.1 The Method of Bounded Search Trees |
|
|
29 | (10) |
|
|
29 | (6) |
|
3.1.2 Heuristic Improvements, Shrinking the Search Tree |
|
|
35 | (4) |
|
3.2 The Method of Reduction to a Problem Kernel |
|
|
39 | (10) |
|
|
39 | (4) |
|
3.2.2 Hereditary Properties and Leizhen Cai's Theorem |
|
|
43 | (6) |
|
4 Optimization Problems, Approximation Schemes, and Their Relation with FPT |
|
|
49 | (12) |
|
4.1 Optimization Problems |
|
|
49 | (1) |
|
4.2 How FPT and Optimization Problems Relate |
|
|
50 | (4) |
|
4.3 The Classes MAXSNP, MIN F(+)Pi(1)(h), and FPT |
|
|
54 | (7) |
|
5 The Advice View Revisited and LOGSPACE |
|
|
61 | (6) |
|
6 Methods via Automata and Bounded Treewidth |
|
|
67 | (76) |
|
6.1 Classical Automata Theory |
|
|
67 | (32) |
|
6.1.1 Deterministic Finite Automata |
|
|
67 | (2) |
|
6.1.2 Nondeterministic Finite Automata |
|
|
69 | (7) |
|
|
76 | (4) |
|
6.1.4 The Myhill-Nerode Theorem and the Method of Test Sets |
|
|
80 | (9) |
|
6.1.5 Classical Tree Automata |
|
|
89 | (10) |
|
|
99 | (6) |
|
|
105 | (8) |
|
6.4 Parse Trees for Graphs of Bounded Treewidth and an Analog of the Myhill-Nerode Theorem |
|
|
113 | (17) |
|
|
130 | (8) |
|
|
130 | (6) |
|
6.5.2 Implementing Courcelle's Theorem |
|
|
136 | (2) |
|
|
138 | (2) |
|
6.7 Notes on MS(1) Theory |
|
|
140 | (3) |
|
7 Well-Quasi-Orderings and the Robertson-Seymour Theorems |
|
|
143 | (68) |
|
|
143 | (13) |
|
|
156 | (13) |
|
7.2.1 Thomas' Lemma Fails for Path Decompositions |
|
|
164 | (5) |
|
7.3 The Graph Minor Theorem for Bounded Treewidth |
|
|
169 | (9) |
|
|
178 | (3) |
|
7.5 Connections with Automata Theory and Boundaried Graphs |
|
|
181 | (8) |
|
7.6 A Sketch of the Proof of the Graph Minor Theorem |
|
|
189 | (3) |
|
7.7 Immersions and the Nash-Williams Conjecture |
|
|
192 | (2) |
|
7.8 Applications of the Obstruction Principle and WQO's |
|
|
194 | (7) |
|
7.9 Effectivizations of Obstruction-Based Methods |
|
|
201 | (10) |
|
7.9.1 Effectivization by Self-Reduction |
|
|
202 | (3) |
|
7.9.2 Effectivization by Obstruction Set Computation |
|
|
205 | (6) |
|
8 Miscellaneous Techniques |
|
|
211 | (14) |
|
|
211 | (4) |
|
8.2 Bounded-Width Subgraphs, the Plehn-Voigt Theorem, and Induced Subgraphs |
|
|
215 | (5) |
|
|
220 | (5) |
II Parameterized Intractability |
|
225 | (126) |
|
|
227 | (8) |
|
10 The Basic Class W[ 1] and an Analog of Cook's Theorem |
|
|
235 | (20) |
|
11 Some Other W[ 1]-Hardness Results |
|
|
255 | (28) |
|
|
283 | (32) |
|
|
315 | (16) |
|
14 Fixed Parameter Analogs of PSPACE and k-Move Games |
|
|
331 | (10) |
|
15 Provable Intractability: The Class X P |
|
|
341 | (10) |
III Structural and Other Results |
|
351 | (88) |
|
16 Another Basis for the W-Hierarchy, the Tradeoff-Theorem, and Randomized Reductions |
|
|
353 | (10) |
|
17 Relationships with Classical Complexity and Limited Nondeterminism |
|
|
363 | (14) |
|
17.1 Classical Complexity |
|
|
363 | (6) |
|
17.2 Nondeterminism in P, LOGNP, and the Cai-Chen Model and Other Models |
|
|
369 | (8) |
|
18 The Monotone and Antimonotone Collapse Theorems: MONOTONE W[ 2t + 1] = W[ 2t] and ANTIMONOTONE W[ 2t + 2] = W[ 2t + 1] |
|
|
377 | (12) |
|
19 The Structure of Languages Under Parameterized Reducibilities |
|
|
389 | (50) |
|
|
389 | (26) |
|
|
415 | (24) |
IV Appendix |
|
439 | (50) |
|
A A Problem Compendium and Guide to W-Hierarchy Completeness, Hardness, and Classification; and Some Research Horizons |
|
|
441 | (40) |
|
|
441 | (10) |
|
|
451 | (1) |
|
|
452 | (1) |
|
|
453 | (5) |
|
|
458 | (2) |
|
|
460 | (1) |
|
|
460 | (3) |
|
|
463 | (2) |
|
|
465 | (1) |
|
|
466 | (1) |
|
|
467 | (1) |
|
A.12 W[ t]-Hard, for All t, in W[ P] |
|
|
468 | (1) |
|
A.13 W[ t]-Hard, for All t |
|
|
468 | (5) |
|
|
473 | (1) |
|
|
473 | (3) |
|
A.16 AW[ *] = AW[ 1] = AW[ t]-Complete |
|
|
476 | (2) |
|
|
478 | (1) |
|
|
478 | (1) |
|
|
479 | (1) |
|
|
480 | (1) |
|
|
480 | (1) |
|
|
481 | (8) |
|
B.1 A Lineup of FPT Suspects |
|
|
481 | (2) |
|
B.2 A Lineup of Tough Customers |
|
|
483 | (3) |
|
B.3 Connections Between Classical and Parameterized Complexity |
|
|
486 | (1) |
|
|
486 | (1) |
|
B.5 Structural Issues and Analogs of Classical Results |
|
|
487 | (1) |
|
B.6 The FPT Toolkit and Further Business with the Devil |
|
|
487 | (2) |
References |
|
489 | (28) |
Index |
|
517 | |