Preface |
|
xi | |
Acknowledgments |
|
xiv | |
|
|
1 | (12) |
|
|
1 | (5) |
|
1.2 Kernelization: Formal Definition |
|
|
6 | (7) |
|
|
13 | (242) |
|
|
15 | (17) |
|
2.1 Trivial Kernelization |
|
|
16 | (2) |
|
|
18 | (3) |
|
2.3 Feedback Arc Set in Tournaments |
|
|
21 | (1) |
|
2.4 Dominating Set in Graphs of Girth at Least 5 |
|
|
22 | (3) |
|
2.5 Alternative Parameterization for Vertex Cover |
|
|
25 | (3) |
|
|
28 | (4) |
|
|
32 | (18) |
|
3.1 Priorities for Max Leaf Subtree |
|
|
33 | (7) |
|
3.2 Priorities for Feedback Vertex Set |
|
|
40 | (10) |
|
|
50 | (11) |
|
|
51 | (1) |
|
4.2 Vertex Cover and Dual Coloring |
|
|
52 | (3) |
|
4.3 Maximum Satisfiability |
|
|
55 | (2) |
|
4.4 Longest Cycle Parameterized by Vertex Cover |
|
|
57 | (4) |
|
|
61 | (23) |
|
|
61 | (4) |
|
5.2 Cluster Vertex Deletion: Bounding the Number of Cliques |
|
|
65 | (1) |
|
5.3 Weighted Expansion Lemma |
|
|
66 | (4) |
|
5.4 Component Order Connectivity |
|
|
70 | (3) |
|
|
73 | (11) |
|
|
84 | (21) |
|
6.1 The Theorem of Nemhauser and Trotter |
|
|
84 | (5) |
|
6.2 2-SAT of Minimum Weight |
|
|
89 | (3) |
|
6.3 Reduction of Min-Weight-2-IP to Min-Ones-2-SAT |
|
|
92 | (4) |
|
6.4 Component Order Connectivity |
|
|
96 | (9) |
|
|
105 | (16) |
|
7.1 Hypertrees and Partition-Connectedness |
|
|
105 | (3) |
|
|
108 | (6) |
|
7.3 Max-Internal Spanning Tree |
|
|
114 | (7) |
|
|
121 | (12) |
|
|
121 | (1) |
|
|
122 | (1) |
|
|
123 | (1) |
|
8.4 Domination in Degenerate Graphs |
|
|
124 | (4) |
|
8.5 Domination in Ki,j-Free Graphs |
|
|
128 | (5) |
|
|
133 | (31) |
|
|
133 | (6) |
|
|
139 | (8) |
|
|
147 | (11) |
|
|
158 | (6) |
|
|
164 | (19) |
|
|
164 | (5) |
|
10.2 Cut-Flow Data Structure |
|
|
169 | (4) |
|
10.3 Kernel for Odd Cycle Transversal |
|
|
173 | (10) |
|
11 Representative Families |
|
|
183 | (34) |
|
11.1 Introduction to Representative Sets |
|
|
183 | (2) |
|
11.2 Computing Representative Families |
|
|
185 | (6) |
|
11.3 Kernel for Vertex Cover |
|
|
191 | (1) |
|
|
192 | (7) |
|
|
199 | (3) |
|
11.6 Combinatorial Approach |
|
|
202 | (15) |
|
|
217 | (20) |
|
|
218 | (4) |
|
12.2 Max-Lin-2 above Average |
|
|
222 | (9) |
|
|
231 | (6) |
|
|
237 | (18) |
|
13.1 Preliminaries on Planar Graphs |
|
|
237 | (1) |
|
13.2 Simple Planar Kernels |
|
|
238 | (5) |
|
13.3 Planar Feedback Vertex Set |
|
|
243 | (12) |
|
|
255 | (102) |
|
14 Introduction to Treewidth |
|
|
257 | (40) |
|
14.1 Properties of Tree Decompositions |
|
|
259 | (3) |
|
|
262 | (3) |
|
14.3 Nice Tree Decompositions |
|
|
265 | (3) |
|
|
268 | (11) |
|
|
279 | (7) |
|
14.6 Obstructions to Bounded Treewidth |
|
|
286 | (11) |
|
15 Bidimensionality and Protrusions |
|
|
297 | (19) |
|
15.1 Bidimensional Problems |
|
|
298 | (3) |
|
15.2 Separability and Treewidth Modulators |
|
|
301 | (5) |
|
15.3 Protrusion Decompositions |
|
|
306 | (3) |
|
15.4 Kernel for Dominating Set on Planar Graphs |
|
|
309 | (7) |
|
|
316 | (41) |
|
16.1 Boundaried Graphs and Finite Integer Index |
|
|
319 | (4) |
|
16.2 Which Problems Have Finite Integer Index? |
|
|
323 | (4) |
|
16.3 A General Reduction Rule |
|
|
327 | (6) |
|
16.4 Kernelization in Quadratic Running Time |
|
|
333 | (7) |
|
16.5 Linear Time Algorithm |
|
|
340 | (17) |
|
|
357 | (70) |
|
|
359 | (18) |
|
|
360 | (6) |
|
|
366 | (3) |
|
17.3 Examples of Compositions |
|
|
369 | (8) |
|
|
377 | (12) |
|
|
379 | (2) |
|
18.2 SAT Parameterized by the Number of Variables |
|
|
381 | (2) |
|
18.3 Colored Red-Blue Dominating Set |
|
|
383 | (6) |
|
19 Polynomial Parameter Transformation |
|
|
389 | (9) |
|
19.1 Packing Paths and Cycles |
|
|
390 | (2) |
|
19.2 Red-Blue Dominating Set |
|
|
392 | (6) |
|
20 Polynomial Lower Bounds |
|
|
398 | (14) |
|
20.1 Weak Cross-Composition |
|
|
398 | (3) |
|
20.2 Lower Bound for Vertex Cover |
|
|
401 | (3) |
|
20.3 Lower Bound for d-Hitting Set |
|
|
404 | (4) |
|
|
408 | (4) |
|
21 Extending Distillation |
|
|
412 | (15) |
|
21.1 Oracle Communication Protocol |
|
|
412 | (2) |
|
21.2 Hardness of Communication |
|
|
414 | (4) |
|
21.3 Lower Bounds for Point Line Cover |
|
|
418 | (6) |
|
21.4 Lower Bounds Using Co-Nondeterminism |
|
|
424 | (1) |
|
21.5 AND-Distillations and AND-Compositions |
|
|
425 | (2) |
|
PART IV BEYOND KERNELIZATION |
|
|
427 | (40) |
|
|
429 | (11) |
|
|
431 | (1) |
|
22.2 Planar Longest Cycle |
|
|
431 | (9) |
|
|
440 | (27) |
|
|
441 | (14) |
|
|
455 | (2) |
|
23.3 Partial Vertex Cover |
|
|
457 | (1) |
|
23.4 Connected Vertex Cover |
|
|
458 | (3) |
|
|
461 | (6) |
Appendix A Open Problems |
|
467 | (7) |
|
|
467 | (2) |
|
A.2 Structural Kernelization Bounds |
|
|
469 | (2) |
|
A.3 Deterministic Kernels |
|
|
471 | (1) |
|
|
472 | (2) |
Appendix B Graphs and SAT Notation |
|
474 | (3) |
Appendix C Problem Definitions |
|
477 | (6) |
References |
|
483 | (22) |
Author Index |
|
505 | (5) |
Index |
|
510 | |