|
|
|
xv | |
| Preface |
|
xvii | |
|
|
|
1 | (26) |
|
1.1 Some Combinatorial Examples |
|
|
1 | (12) |
|
1.2 Sets, Relations, and Proof Techniques |
|
|
13 | (2) |
|
1.3 Two Principles of Enumeration |
|
|
15 | (3) |
|
|
|
18 | (2) |
|
1.5 Systems of Distinct Representatives |
|
|
20 | (7) |
|
|
|
22 | (1) |
|
|
|
23 | (2) |
|
|
|
25 | (2) |
|
2 Fundamentals of Enumeration |
|
|
27 | (18) |
|
2.1 Permutations and Combinations |
|
|
27 | (2) |
|
2.2 Applications of P(n, k) And |
|
|
29 | (3) |
|
2.3 Permutations and Combinations of Multisets |
|
|
32 | (4) |
|
2.4 Applications and Subtle Errors |
|
|
36 | (2) |
|
|
|
38 | (7) |
|
|
|
39 | (2) |
|
|
|
41 | (1) |
|
|
|
42 | (3) |
|
|
|
45 | (20) |
|
|
|
45 | (1) |
|
3.2 Some Definitions and Easy Examples |
|
|
45 | (3) |
|
3.3 Events and Probabilities |
|
|
48 | (4) |
|
3.4 Three Interesting Examples |
|
|
52 | (2) |
|
|
|
54 | (1) |
|
|
|
55 | (1) |
|
3.7 The Probabilities in Poker |
|
|
56 | (1) |
|
3.8 The Wild Card Poker Paradox |
|
|
57 | (8) |
|
|
|
58 | (2) |
|
|
|
60 | (2) |
|
|
|
62 | (3) |
|
4 The Pigeonhole Principle and Ramsey's Theorem |
|
|
65 | (22) |
|
4.1 The Pigeonhole Principle |
|
|
65 | (1) |
|
4.2 Applications of the Pigeonhole Principle |
|
|
66 | (3) |
|
4.3 Ramsey's Theorem---The Graphical Case |
|
|
69 | (3) |
|
|
|
72 | (2) |
|
|
|
74 | (3) |
|
4.6 Bounds on Ramsey Numbers |
|
|
77 | (4) |
|
4.7 The General Form of Ramsey's Theorem |
|
|
81 | (6) |
|
|
|
81 | (1) |
|
|
|
82 | (2) |
|
|
|
84 | (3) |
|
5 The Principle of Inclusion and Exclusion |
|
|
87 | (16) |
|
|
|
87 | (2) |
|
|
|
89 | (4) |
|
5.3 Combinations with Limited Repetitions |
|
|
93 | (2) |
|
|
|
95 | (8) |
|
|
|
98 | (1) |
|
|
|
99 | (2) |
|
|
|
101 | (2) |
|
6 Generating Functions and Recurrence Relations |
|
|
103 | (18) |
|
|
|
103 | (4) |
|
|
|
107 | (5) |
|
6.3 From Generating Function to Recurrence |
|
|
112 | (1) |
|
6.4 Exponential Generating Functions |
|
|
113 | (8) |
|
|
|
115 | (2) |
|
|
|
117 | (1) |
|
|
|
118 | (3) |
|
7 Catalan, Bell, and Stirling Numbers |
|
|
121 | (22) |
|
|
|
121 | (1) |
|
|
|
122 | (4) |
|
7.3 Stirling Numbers of the Second Kind |
|
|
126 | (5) |
|
|
|
131 | (1) |
|
7.5 Stirling Numbers of the First Kind |
|
|
132 | (3) |
|
7.6 Computer Algebra and Other Electronic Systems |
|
|
135 | (8) |
|
|
|
137 | (2) |
|
|
|
139 | (1) |
|
|
|
140 | (3) |
|
8 Symmetries and the Polya-Redfield Method |
|
|
143 | (20) |
|
|
|
143 | (1) |
|
|
|
144 | (6) |
|
8.3 Permutations and Colorings |
|
|
150 | (1) |
|
8.4 An Important Counting Theorem |
|
|
151 | (3) |
|
8.5 The Polya and Redfield Theorem |
|
|
154 | (9) |
|
|
|
158 | (1) |
|
|
|
159 | (1) |
|
|
|
160 | (3) |
|
|
|
163 | (14) |
|
|
|
163 | (1) |
|
9.2 Examples and Definitions |
|
|
164 | (2) |
|
|
|
166 | (2) |
|
9.4 Isomorphism and Cartesian Products |
|
|
168 | (3) |
|
9.5 Extremal Set Theory: Sperner's and Dilworth's Theorems |
|
|
171 | (6) |
|
|
|
175 | (1) |
|
|
|
176 | (1) |
|
|
|
176 | (1) |
|
10 Introduction to Graph Theory |
|
|
177 | (16) |
|
|
|
177 | (3) |
|
10.2 Paths and Cycles in Graphs |
|
|
180 | (3) |
|
10.3 Maps and Graph Coloring |
|
|
183 | (10) |
|
|
|
187 | (2) |
|
|
|
189 | (1) |
|
|
|
190 | (3) |
|
|
|
193 | (30) |
|
11.1 Euler Walks and Circuits |
|
|
193 | (5) |
|
11.2 Application of Euler Circuits to Mazes |
|
|
198 | (2) |
|
|
|
200 | (4) |
|
|
|
204 | (4) |
|
|
|
208 | (15) |
|
|
|
214 | (4) |
|
|
|
218 | (3) |
|
|
|
221 | (2) |
|
|
|
223 | (18) |
|
|
|
223 | (1) |
|
12.2 The Venn Diagram Code |
|
|
224 | (2) |
|
12.3 Binary Codes, Weight, and Distance |
|
|
226 | (3) |
|
|
|
229 | (3) |
|
|
|
232 | (2) |
|
12.6 Codes and the Hat Problem |
|
|
234 | (1) |
|
12.7 Variable-Length Codes and Data Compression |
|
|
235 | (6) |
|
|
|
237 | (1) |
|
|
|
238 | (1) |
|
|
|
239 | (2) |
|
|
|
241 | (24) |
|
|
|
241 | (4) |
|
|
|
245 | (6) |
|
13.3 Idempotent Latin Squares |
|
|
251 | (2) |
|
13.4 Partial Latin Squares and Subsquares |
|
|
253 | (2) |
|
|
|
255 | (10) |
|
|
|
259 | (3) |
|
|
|
262 | (1) |
|
|
|
263 | (2) |
|
14 Balanced Incomplete Block Designs |
|
|
265 | (20) |
|
|
|
266 | (4) |
|
|
|
270 | (2) |
|
14.3 Symmetric Balanced Incomplete Block Designs |
|
|
272 | (2) |
|
14.4 New Designs from Old |
|
|
274 | (2) |
|
|
|
276 | (9) |
|
|
|
279 | (2) |
|
|
|
281 | (1) |
|
|
|
282 | (3) |
|
15 Linear Algebra Methods in Combinatorics |
|
|
285 | (20) |
|
15.1 Recurrences Revisited |
|
|
285 | (2) |
|
15.2 State Graphs and the Transfer Matrix Method |
|
|
287 | (7) |
|
15.3 Kasteleyn's Permanent Method |
|
|
294 | (11) |
|
|
|
299 | (2) |
|
|
|
301 | (1) |
|
|
|
302 | (3) |
|
Appendix A Sets; Proof Techniques |
|
|
305 | (20) |
|
AA.1 Sets and Basic Set Operations |
|
|
305 | (8) |
|
AA.2 The Principle of Mathematical Induction |
|
|
313 | (2) |
|
AA.3 Some Applications of Induction |
|
|
315 | (2) |
|
AA.4 Binary Relations on Sets |
|
|
317 | (8) |
|
|
|
319 | (1) |
|
|
|
320 | (5) |
|
Appendix B Matrices and Vectors |
|
|
325 | (14) |
|
|
|
325 | (3) |
|
B.2 Vector and Matrix Products |
|
|
328 | (2) |
|
|
|
330 | (2) |
|
|
|
332 | (7) |
|
|
|
333 | (1) |
|
|
|
334 | (5) |
|
Appendix C Some Combinatorial People |
|
|
339 | (8) |
| Solutions to Set A Exercises |
|
347 | (30) |
| Hints for Problems |
|
377 | (6) |
| Solutions to Problems |
|
383 | (24) |
| References |
|
407 | (10) |
| Index |
|
417 | |