|
|
1 | (10) |
|
|
11 | (142) |
|
|
11 | (2) |
|
Fundamentals of Mathematics |
|
|
13 | (83) |
|
|
13 | (17) |
|
Combinatorics, Counting, and Graph Theory |
|
|
30 | (16) |
|
Boolean Functions and Formulae |
|
|
46 | (9) |
|
Algebra and Number Theory |
|
|
55 | (27) |
|
|
82 | (14) |
|
Fundamentals of Algorithmics |
|
|
96 | (57) |
|
Alphabets, Words, and Languages |
|
|
96 | (3) |
|
|
99 | (17) |
|
|
116 | (21) |
|
Algorithm Design Techniques |
|
|
137 | (16) |
|
|
153 | (100) |
|
|
153 | (3) |
|
Pseudo-Polynomial-Time Algorithms |
|
|
156 | (18) |
|
|
156 | (2) |
|
Dynamic Programming and Knapsack Problem |
|
|
158 | (3) |
|
Maximum Flow Problem and Ford-Fulkerson Method |
|
|
161 | (11) |
|
|
172 | (2) |
|
|
174 | (6) |
|
|
174 | (1) |
|
Applicability of Parameterized Complexity |
|
|
175 | (3) |
|
|
178 | (2) |
|
|
180 | (9) |
|
|
180 | (1) |
|
Applications for Max-Sat and TSP |
|
|
181 | (6) |
|
|
187 | (2) |
|
Lowering Worst Case Complexity of Exponential Algorithms |
|
|
189 | (5) |
|
|
189 | (1) |
|
Solving 3SAT in Less than 2n Complexity |
|
|
190 | (4) |
|
|
194 | (20) |
|
Introduction and Basic Concept |
|
|
194 | (4) |
|
Examples of Neighborhoods and Kernighan-Lin's Variable-Depth Search |
|
|
198 | (5) |
|
Tradeoffs Between Solution Quality and Complexity |
|
|
203 | (11) |
|
Relaxation to Linear Programming |
|
|
214 | (35) |
|
|
214 | (2) |
|
Expressing Problems as Linear Programming Problems |
|
|
216 | (7) |
|
|
223 | (10) |
|
Rounding, LP-Duality and Primal-Dual Method |
|
|
233 | (16) |
|
|
249 | (4) |
|
|
253 | (94) |
|
|
253 | (1) |
|
|
254 | (12) |
|
Concept of Approximation Algorithms |
|
|
254 | (5) |
|
Classification of Optimization Problems |
|
|
259 | (1) |
|
Stability of Approximation |
|
|
260 | (4) |
|
Dual Approximation Algorithms |
|
|
264 | (2) |
|
|
266 | (55) |
|
|
266 | (2) |
|
Cover Problems, Greedy Method, and Relaxation to Linear Programming |
|
|
268 | (8) |
|
Maximum Cut Problem and Local Search |
|
|
276 | (3) |
|
Knapsack Problem and PTAS |
|
|
279 | (9) |
|
Traveling Salesperson Problem and Stability of Approximation |
|
|
288 | (25) |
|
Bin-Packing, Scheduling, and Dual Approximation Algorithms |
|
|
313 | (8) |
|
|
321 | (22) |
|
|
321 | (2) |
|
Reduction to NP-Hard Problems |
|
|
323 | (2) |
|
Approximation-Preserving Reductions |
|
|
325 | (9) |
|
Probabilistic Proof Checking and Inapproximability |
|
|
334 | (9) |
|
|
343 | (4) |
|
|
347 | (92) |
|
|
347 | (2) |
|
Classification of Randomized Algorithms and Design Paradigms |
|
|
349 | (20) |
|
|
349 | (2) |
|
Classification of Randomized Algorithms |
|
|
351 | (14) |
|
Paradigms of Design of Randomized Algorithms |
|
|
365 | (4) |
|
Design of Randomized Algorithms |
|
|
369 | (50) |
|
|
369 | (1) |
|
Quadratic Residues, Random Sampling, and Las Vegas |
|
|
370 | (5) |
|
Primality Testing, Abundance of Witnesses, and One-Sided-Error Monte Carlo |
|
|
375 | (17) |
|
Some Equivalence Tests, Fingerprinting, and Monte Carlo |
|
|
392 | (7) |
|
Randomized Optimization Algorithms for Min-Cut |
|
|
399 | (8) |
|
Max-Sat, Random Sampling, and Relaxation to Linear Programming with Random Rounding |
|
|
407 | (8) |
|
3SAT and Randomized Multistart Local Search |
|
|
415 | (4) |
|
|
419 | (16) |
|
|
419 | (2) |
|
Derandomization by the Reduction of the Probability Space Size |
|
|
421 | (4) |
|
Reduction of the Size of the Probability Space and Max-EkSat |
|
|
425 | (3) |
|
Derandomization by the Method of Conditional Probabilities |
|
|
428 | (2) |
|
Method of Conditional Probabilities and Satisfiability Problems |
|
|
430 | (5) |
|
|
435 | (4) |
|
|
439 | (30) |
|
|
439 | (2) |
|
|
441 | (11) |
|
|
441 | (4) |
|
|
445 | (4) |
|
|
449 | (3) |
|
|
452 | (14) |
|
|
452 | (8) |
|
Adjustment of Free Parameters |
|
|
460 | (6) |
|
|
466 | (3) |
|
A Guide to Solving Hard Problems |
|
|
469 | (42) |
|
|
469 | (1) |
|
Taking over an Algorithmic Task or a Few Words about Money |
|
|
470 | (1) |
|
Combining Different Concepts and Techniques |
|
|
471 | (3) |
|
Comparing Different Approaches |
|
|
474 | (2) |
|
Speedup by Parallelization |
|
|
476 | (9) |
|
|
485 | (14) |
|
|
485 | (1) |
|
|
486 | (8) |
|
|
494 | (5) |
|
|
499 | (12) |
References |
|
511 | (22) |
Index |
|
533 | |