Foreword |
|
xiii | |
Preface |
|
xvii | |
Acknowledgments |
|
xix | |
Introduction |
|
1 | (2) |
|
1 A Glorious Beginning: Bertrand's Postulate |
|
|
3 | (15) |
|
1.1 Binomial Coefficients |
|
|
3 | (2) |
|
|
5 | (1) |
|
1.3 The Unique Factorization Theorem |
|
|
6 | (1) |
|
|
6 | (1) |
|
1.5 Erdos's Proof of Bertrand's Postulate |
|
|
7 | (3) |
|
|
7 | (1) |
|
1.5.2 A Formula for e(p, N) |
|
|
8 | (1) |
|
1.5.3 An Upper Bound on pe(P,N) |
|
|
8 | (1) |
|
1.5.4 Splitting the Left-Hand Side of (1.9) |
|
|
8 | (1) |
|
1.5.5 Putting the Pieces Together |
|
|
9 | (1) |
|
1.6 Proof of Bertrand's Original Conjecture |
|
|
10 | (1) |
|
1.7 Earlier Proofs of Bertrand's Postulate |
|
|
11 | (2) |
|
|
11 | (1) |
|
|
12 | (1) |
|
|
12 | (1) |
|
1.8 Further Results and Problems Concerning Primes |
|
|
13 | (5) |
|
|
13 | (1) |
|
1.8.2 Small Gaps between Consecutive Primes |
|
|
13 | (1) |
|
1.8.3 Large Gaps between Consecutive Primes |
|
|
14 | (1) |
|
1.8.4 Primes in Arithmetic Progressions |
|
|
15 | (1) |
|
1.8.5 On revient toujours a ses premieres amours |
|
|
15 | (3) |
|
2 Discrete Geometry And Spinoffs |
|
|
18 | (18) |
|
2.1 The Happy Ending Theorem |
|
|
18 | (4) |
|
2.2 The Sylvester--Gallai Theorem |
|
|
22 | (2) |
|
2.3 A De Bruijn--Erdos Theorem |
|
|
24 | (3) |
|
2.4 Other Proofs of the De Bruijn--Erdos Theorem |
|
|
27 | (9) |
|
|
27 | (2) |
|
|
29 | (1) |
|
|
30 | (1) |
|
2.4.4 Basterfield, Kelly, Conway |
|
|
31 | (5) |
|
|
36 | (15) |
|
3.1 Ramsey's Theorem for Graphs |
|
|
36 | (2) |
|
|
38 | (5) |
|
3.3 A More General Version of Ramsey's Theorem |
|
|
43 | (1) |
|
3.4 Applications to the Happy Ending Theorem |
|
|
44 | (2) |
|
3.5 Ramsey's Theorem in Its Full Generality |
|
|
46 | (1) |
|
3.6 A Self-Centered Supplement: Self-Complementary Graphs |
|
|
47 | (4) |
|
|
51 | (8) |
|
4.1 A-Systems of Erdos and Rado |
|
|
51 | (2) |
|
4.2 Ramsey's Theorem and Weak A-Systems |
|
|
53 | (2) |
|
|
55 | (4) |
|
|
59 | (23) |
|
|
59 | (4) |
|
5.1.1 A Simple Proof of Sperner's Theorem |
|
|
60 | (2) |
|
5.1.2 The Bollobas Set Pairs Inequality |
|
|
62 | (1) |
|
5.2 The Erdos--Ko--Rado theorem |
|
|
63 | (6) |
|
5.2.1 A Simple Proof of the Erdos--Ko--Rado Theorem |
|
|
65 | (1) |
|
5.2.2 Extremal Families in the Erdos--Ko--Rado Theorem |
|
|
66 | (3) |
|
|
69 | (6) |
|
5.3.1 A Lower Bound on T(n, k) |
|
|
70 | (2) |
|
5.3.2 Turan Numbers and Steiner Systems |
|
|
72 | (2) |
|
5.3.3 An Upper Bound on T(n, k) |
|
|
74 | (1) |
|
|
75 | (2) |
|
5.5 Chromatic Number of Hypergraphs |
|
|
77 | (5) |
|
6 Van Der Waerden's Theorem |
|
|
82 | (15) |
|
|
82 | (5) |
|
6.1.1 Van der Waerden's proof of W(3, 2) ≥ 325 |
|
|
83 | (1) |
|
6.1.2 Van der Waerden's proof of W(3, 3)≥ MN with M = 7(2 · 37 + 1) and N = M(2 · 3M + 1) |
|
|
84 | (2) |
|
6.1.3 Van der Waerden's proof of W(4,2) ≥ MN with M = 3/2W(3, 2) and N = 3/2W(3, 2W) |
|
|
86 | (1) |
|
|
87 | (4) |
|
|
87 | (1) |
|
6.2.2 An Overview of the Proof |
|
|
88 | (1) |
|
6.2.3 C(1, d) Holds for All d |
|
|
89 | (1) |
|
6.2.4 C(k, d) with All d Implies C(k + 1, 1) |
|
|
90 | (1) |
|
6.2.5 C(k, d) Implies C(k, d + 1) |
|
|
90 | (1) |
|
6.3 Van der Waerden Numbers |
|
|
91 | (2) |
|
|
91 | (1) |
|
|
92 | (1) |
|
|
92 | (1) |
|
|
93 | (1) |
|
|
94 | (3) |
|
|
97 | (17) |
|
|
97 | (4) |
|
|
97 | (1) |
|
|
98 | (1) |
|
7.1.3 Proof of Theorem 7.2 |
|
|
99 | (2) |
|
7.1.4 Turan's Theorem and Turan Numbers |
|
|
101 | (1) |
|
7.2 The Erdos--Stone Theorem |
|
|
101 | (4) |
|
7.3 The Erdos--Stone--Simonovits Formula |
|
|
105 | (1) |
|
|
106 | (5) |
|
7.4.1 An Erdos--Simonovits conjecture |
|
|
106 | (1) |
|
7.4.2 When F Is a Complete Bipartite Graph |
|
|
107 | (2) |
|
7.4.3 When Every Subgraph of F Has a Vertex of Degree at Most r |
|
|
109 | (1) |
|
|
110 | (1) |
|
|
111 | (1) |
|
7.6 Beyond Turan Functions |
|
|
112 | (2) |
|
|
114 | (11) |
|
8.1 The Friendship Theorem |
|
|
114 | (4) |
|
8.2 Strongly Regular Graphs |
|
|
118 | (7) |
|
|
125 | (26) |
|
|
125 | (1) |
|
9.2 The Unbearable Weakness of the Bound Χ ≤ ω |
|
|
126 | (2) |
|
9.3 The End of Hajos's Conjecture |
|
|
128 | (4) |
|
9.4 Graphs with a Large Chromatic Number and No Triangles |
|
|
132 | (4) |
|
|
132 | (1) |
|
|
133 | (1) |
|
|
133 | (1) |
|
|
134 | (1) |
|
|
135 | (1) |
|
9.5 Graphs with a Large Chromatic Number and No Short Cycles |
|
|
136 | (6) |
|
9.6 An Upper Bound on the Chromatic Number |
|
|
142 | (3) |
|
9.7 Small Subgraphs Do Not Determine Chromatic Number |
|
|
145 | (6) |
|
10 Thresholds Of Graph Properties |
|
|
151 | (24) |
|
|
152 | (10) |
|
10.1.1 The Inclusion-Exclusion Principle and Bonferroni Inequalities |
|
|
153 | (2) |
|
10.1.2 Lemma on Isolated Vertices |
|
|
155 | (2) |
|
10.1.3 Lemma on a Single Nontrivial Component |
|
|
157 | (5) |
|
10.1.4 Proof of Theorem 10.1 |
|
|
162 | (1) |
|
|
162 | (5) |
|
|
163 | (1) |
|
10.2.2 Proof of Theorem 10.7 |
|
|
164 | (3) |
|
10.3 Evolution of Random Graphs and the Double Jump |
|
|
167 | (3) |
|
10.4 Finite Probability Theory |
|
|
170 | (5) |
|
|
175 | (17) |
|
11.1 A Theorem That Involves Degrees of Vertices |
|
|
175 | (7) |
|
11.1.1 An Algorithmic Proof of Theorem 11.4 |
|
|
179 | (2) |
|
11.1.2 A Digression: Testing the Hypothesis of Theorem 11.2 |
|
|
181 | (1) |
|
11.2 A Theorem That Involves Connectivity and Stability |
|
|
182 | (5) |
|
11.3 Hamilton Cycles in Random Graphs |
|
|
187 | (5) |
|
Appendix A A FEW TRICKS OF THE TRADE |
|
|
192 | (23) |
|
|
192 | (2) |
|
|
192 | (1) |
|
A.1.2 Cauchy--Bunyakovsky--Schwarz Inequality |
|
|
192 | (1) |
|
A.1.3 Jensen's Inequality |
|
|
193 | (1) |
|
A.2 Factorials and Stirling's Formula |
|
|
194 | (2) |
|
A.3 Asymptotic Expressions for Binomial Coefficients |
|
|
196 | (2) |
|
A.4 The Binomial Distribution |
|
|
198 | (3) |
|
A.5 Tail of the Binomial Distribution |
|
|
201 | (4) |
|
A.6 Tail of the Hypergeometric Distribution |
|
|
205 | (4) |
|
A.7 Two Models of Random Graphs |
|
|
209 | (6) |
|
Appendix B DEFINITIONS, TERMINOLOGY, NOTATION |
|
|
215 | (3) |
|
|
215 | (1) |
|
|
216 | (1) |
|
|
217 | (1) |
|
|
217 | (1) |
|
|
218 | (8) |
|
|
218 | (1) |
|
|
219 | (1) |
|
|
220 | (1) |
|
|
220 | (1) |
|
|
220 | (2) |
|
|
222 | (4) |
Bibliography |
|
226 | (18) |
Index |
|
244 | |