Foreword |
|
xi | |
Preface |
|
xiii | |
Acknowledgments |
|
xv | |
I How: Methods |
|
1 | (192) |
|
|
3 | (56) |
|
1.1 When We Add and When We Subtract |
|
|
3 | (3) |
|
|
3 | (1) |
|
|
4 | (2) |
|
|
6 | (8) |
|
1.2.1 The Product Principle |
|
|
6 | (3) |
|
1.2.2 Using Several Counting Principles |
|
|
9 | (1) |
|
1.2.3 When Repetitions Are Not Allowed |
|
|
10 | (4) |
|
|
14 | (6) |
|
1.3.1 The Division Principle |
|
|
14 | (3) |
|
|
17 | (3) |
|
1.4 Applications of Basic Counting Principles |
|
|
20 | (15) |
|
|
20 | (7) |
|
1.4.2 Properties of Binomial Coefficients |
|
|
27 | (4) |
|
1.4.3 Permutations With Repetition |
|
|
31 | (4) |
|
1.5 The Pigeonhole Principle |
|
|
35 | (4) |
|
|
39 | (1) |
|
|
40 | (1) |
|
|
41 | (5) |
|
1.9 Solutions to Exercises |
|
|
46 | (8) |
|
1.10 Supplementary Exercises |
|
|
54 | (5) |
|
2 Direct Applications of Basic Methods |
|
|
59 | (66) |
|
2.1 Multisets and Compositions |
|
|
59 | (4) |
|
|
59 | (3) |
|
|
62 | (1) |
|
|
63 | (7) |
|
2.2.1 Stirling Numbers of the Second Kind |
|
|
63 | (2) |
|
2.2.2 Recurrence Relations for Stirling Numbers of the Second Kind |
|
|
65 | (4) |
|
2.2.3 When the Number of Blocks Is Not Fixed |
|
|
69 | (1) |
|
2.3 Partitions of Integers |
|
|
70 | (13) |
|
2.3.1 Nonincreasing Finite Sequences of Integers |
|
|
70 | (2) |
|
2.3.2 Ferrers Shapes and Their Applications |
|
|
72 | (3) |
|
2.3.3 Excursion: Euler's Pentagonal Number Theorem |
|
|
75 | (8) |
|
2.4 The Inclusion-Exclusion Principle |
|
|
83 | (16) |
|
2.4.1 Two Intersecting Sets |
|
|
83 | (3) |
|
2.4.2 Three Intersecting Sets |
|
|
86 | (4) |
|
2.4.3 Any Number of Intersecting Sets |
|
|
90 | (9) |
|
|
99 | (3) |
|
|
102 | (1) |
|
|
103 | (1) |
|
|
104 | (4) |
|
2.9 Solutions to Exercises |
|
|
108 | (12) |
|
2.10 Supplementary Exercises |
|
|
120 | (5) |
|
|
125 | (68) |
|
|
125 | (5) |
|
3.1.1 Generalized Binomial Coefficients |
|
|
125 | (2) |
|
3.1.2 Formal Power Series |
|
|
127 | (3) |
|
3.2 Warming Up: Solving Recursions |
|
|
130 | (11) |
|
3.2.1 Ordinary Generating Functions |
|
|
130 | (8) |
|
3.2.2 Exponential Generating Functions |
|
|
138 | (3) |
|
3.3 Products of Generating Functions |
|
|
141 | (19) |
|
3.3.1 Ordinary Generating Functions |
|
|
142 | (12) |
|
3.3.2 Exponential Generating Functions |
|
|
154 | (6) |
|
3.4 Excursion: Composition of Two Generating Functions |
|
|
160 | (13) |
|
3.1.1 Ordinary Generating Functions |
|
|
160 | (5) |
|
3.4.2 Exponential Generating Functions |
|
|
165 | (8) |
|
3.5 Excursion: A Different Type of Generating Function |
|
|
173 | (1) |
|
|
174 | (1) |
|
|
175 | (1) |
|
|
176 | (3) |
|
3.9 Solutions to Exercises |
|
|
179 | (11) |
|
3.10 Supplementary Exercises |
|
|
190 | (3) |
II What: Topics |
|
193 | (204) |
|
|
195 | (60) |
|
|
195 | (9) |
|
4.2 The Cycle Structure of Permutations |
|
|
204 | (13) |
|
4.2.1 Stirling Numbers of the First Kind |
|
|
204 | (8) |
|
4.2.2 Permutations of a Given Type |
|
|
212 | (5) |
|
4.3 Cycle Structure and Exponential Generating Functions |
|
|
217 | (5) |
|
|
222 | (10) |
|
4.4.1 Counting Permutations with Respect to Inversions |
|
|
227 | (5) |
|
|
232 | (1) |
|
|
233 | (1) |
|
|
234 | (5) |
|
4.8 Solutions to Exercises |
|
|
239 | (12) |
|
4.9 Supplementary Exercises |
|
|
251 | (4) |
|
|
255 | (80) |
|
5.1 Counting Trees and Forests |
|
|
258 | (2) |
|
|
258 | (2) |
|
5.2 The Notion of Graph Isomorphisms |
|
|
260 | (5) |
|
5.3 Counting Trees on Labeled Vertices |
|
|
265 | (13) |
|
|
274 | (4) |
|
|
278 | (5) |
|
|
278 | (1) |
|
|
279 | (4) |
|
5.5 When the Vertices Are Not Freely Labeled |
|
|
283 | (9) |
|
|
283 | (5) |
|
|
288 | (4) |
|
5.6 Excursion: Graphs on Colored Vertices |
|
|
292 | (13) |
|
5.6.1 Chromatic Polynomials |
|
|
294 | (7) |
|
5.6.2 Counting k-colored Graphs |
|
|
301 | (4) |
|
5.7 Graphs and Generating Functions |
|
|
305 | (6) |
|
5.7.1 Generating Functions of Trees |
|
|
305 | (1) |
|
5.7.2 Counting Connected Graphs |
|
|
306 | (1) |
|
5.7.3 Counting Eulerian Graphs |
|
|
307 | (4) |
|
|
311 | (2) |
|
|
313 | (1) |
|
|
314 | (5) |
|
5.11 Solutions to Exercises |
|
|
319 | (11) |
|
5.12 Supplementary Exercises |
|
|
330 | (5) |
|
|
335 | (62) |
|
6.1 Extremal Graph Theory |
|
|
335 | (21) |
|
|
335 | (5) |
|
|
340 | (4) |
|
6.1.3 Graphs Excluding Cycles |
|
|
344 | (10) |
|
6.1.4 Graphs Excluding Complete Bipartite Graphs |
|
|
354 | (2) |
|
|
356 | (10) |
|
6.2.1 Hypergraphs with Pairwise Intersecting Edges |
|
|
357 | (7) |
|
6.2.2 Hypergraphs with Pairwise Incomparable Edges |
|
|
364 | (2) |
|
6.3 Something Is More Than Nothing: Existence Proofs |
|
|
366 | (7) |
|
|
367 | (1) |
|
6.3.2 Excluding Monochromatic Arithmetic Progressions |
|
|
368 | (1) |
|
6.3.3 Codes Over Finite Alphabets |
|
|
369 | (4) |
|
|
373 | (1) |
|
|
374 | (1) |
|
|
375 | (6) |
|
6.7 Solutions to Exercises |
|
|
381 | (12) |
|
6.8 Supplementary Exercises |
|
|
393 | (4) |
III What Else: Special Topics |
|
397 | (114) |
|
|
399 | (40) |
|
7.1 Hypergraphs with Symmetries |
|
|
399 | (7) |
|
7.2 Finite Projective Planes |
|
|
406 | (5) |
|
7.2.1 Excursion: Finite Projective Planes of Prime Power Order |
|
|
409 | (2) |
|
7.3 Error-Correcting Codes |
|
|
411 | (7) |
|
|
411 | (3) |
|
7.3.2 Codes from Hypergraphs |
|
|
414 | (1) |
|
|
415 | (3) |
|
7.4 Counting Symmetric Structures |
|
|
418 | (9) |
|
|
427 | (1) |
|
|
428 | (1) |
|
|
429 | (1) |
|
7.8 Solutions to Exercises |
|
|
430 | (5) |
|
7.9 Supplementary Exercises |
|
|
435 | (4) |
|
8 Sequences in Combinatorics |
|
|
439 | (30) |
|
|
439 | (3) |
|
|
442 | (11) |
|
8.2.1 Log-Concavity Implies Unimodality |
|
|
442 | (3) |
|
8.2.2 The Product Property |
|
|
445 | (2) |
|
|
447 | (6) |
|
8.3 The Real Zeros Property |
|
|
453 | (4) |
|
|
457 | (1) |
|
|
458 | (1) |
|
|
458 | (2) |
|
8.7 Solutions to Exercises |
|
|
460 | (6) |
|
8.8 Supplementary Exercises |
|
|
466 | (3) |
|
9 Counting Magic Squares and Magic Cubes |
|
|
469 | (42) |
|
9.1 An Interesting Distribution Problem |
|
|
469 | (1) |
|
9.2 Magic Squares of Fixed Size |
|
|
470 | (15) |
|
|
471 | (3) |
|
9.2.2 The Function Hn(r) for Fixed n |
|
|
474 | (11) |
|
9.3 Magic Squares of Fixed Line Sum |
|
|
485 | (5) |
|
9.4 Why Magic Cubes Are Different |
|
|
490 | (3) |
|
|
493 | (2) |
|
|
495 | (1) |
|
|
496 | (3) |
|
9.8 Solutions to Exercises |
|
|
499 | (10) |
|
9.9 Supplementary Exercises |
|
|
509 | (2) |
A The Method of Mathematical Induction |
|
511 | (4) |
|
|
511 | (2) |
|
|
513 | (2) |
Bibliography |
|
515 | (6) |
Index |
|
521 | (4) |
Frequently Used Notation |
|
525 | |