Acknowledgements |
|
xiii | |
Preface |
|
xv | |
Course Outlines |
|
xix | |
|
Part 1 Classical Algorithms |
|
|
|
Chapter 1 Efficient Multiplication |
|
|
3 | (18) |
|
|
3 | (1) |
|
1.2 Babylonian Multiplication |
|
|
4 | (1) |
|
|
5 | (1) |
|
|
6 | (2) |
|
|
8 | (1) |
|
1.6 Eigenvalues, Eigenvectors and the Fibonacci Numbers |
|
|
9 | (2) |
|
|
11 | (10) |
|
Chapter 2 Efficient Multiplication, II |
|
|
21 | (26) |
|
2.1 Binomial Coefficients |
|
|
21 | (1) |
|
|
22 | (2) |
|
|
24 | (2) |
|
2.4 From the Pascal to the Sierpinski Triangle |
|
|
26 | (2) |
|
2.5 The Euclidean Algorithm |
|
|
28 | (7) |
|
|
35 | (12) |
|
Part 2 Introduction to Linear Programming |
|
|
|
Chapter 3 Introduction to Linear Programming |
|
|
47 | (20) |
|
|
48 | (2) |
|
|
50 | (1) |
|
3.3 Calculus Review: Local versus Global |
|
|
51 | (3) |
|
3.4 An Introduction to the Diet Problem |
|
|
54 | (1) |
|
3.5 Solving the Diet Problem |
|
|
55 | (4) |
|
3.6 Applications of the Diet Problem |
|
|
59 | (1) |
|
|
60 | (7) |
|
Chapter 4 The Canonical Linear Programming Problem |
|
|
67 | (16) |
|
|
68 | (2) |
|
4.2 Canonical Forms and Quadratic Equations |
|
|
70 | (1) |
|
4.3 Canonical Forms in Linear Programming: Statement |
|
|
71 | (2) |
|
4.4 Canonical Forms in Linear Programming: Conversion |
|
|
73 | (2) |
|
4.5 The Diet Problem: Round 2 |
|
|
75 | (1) |
|
4.6 A Short Theoretical Aside: Strict Inequalities |
|
|
76 | (1) |
|
4.7 Canonical is Not Always Best |
|
|
77 | (1) |
|
|
78 | (1) |
|
|
79 | (4) |
|
Chapter 5 Symmetries and Dualities |
|
|
83 | (12) |
|
5.1 Tic-Tac-Toe and a Chess Problem |
|
|
83 | (4) |
|
5.2 Duality and Linear Programming |
|
|
87 | (1) |
|
5.3 Appendix: Fun Versions of Tic-Tac-Toe |
|
|
88 | (2) |
|
|
90 | (5) |
|
Chapter 6 Basic Feasible and Basic Optimal Solutions |
|
|
95 | (12) |
|
6.1 Review of Linear Independence |
|
|
95 | (1) |
|
6.2 Basic Feasible and Basic Optimal Solutions |
|
|
96 | (1) |
|
6.3 Properties of Basic Feasible Solutions |
|
|
97 | (2) |
|
6.4 Optimal and Basic Optimal Solutions |
|
|
99 | (1) |
|
6.5 Efficiency and Euclid's Prime Theorem |
|
|
100 | (2) |
|
|
102 | (5) |
|
Chapter 7 The Simplex Method |
|
|
107 | (14) |
|
7.1 The Simplex Method: Preliminary Assumptions |
|
|
107 | (1) |
|
7.2 The Simplex Method: Statement |
|
|
108 | (1) |
|
7.3 Phase II implies Phase I |
|
|
109 | (1) |
|
7.4 Phase II of the Simplex Method |
|
|
110 | (3) |
|
7.5 Run-time of the Simplex Method |
|
|
113 | (1) |
|
|
113 | (2) |
|
|
115 | (6) |
|
Part 3 Advanced Linear Programming |
|
|
|
Chapter 8 Integer Programming |
|
|
121 | (22) |
|
8.1 The Movie Theater Problem |
|
|
122 | (3) |
|
8.2 Binary Indicator Variables |
|
|
125 | (1) |
|
|
126 | (2) |
|
8.4 Truncation, Extrema and Absolute Values |
|
|
128 | (2) |
|
8.5 Linearizing Quadratic Expressions |
|
|
130 | (1) |
|
8.6 The Law of the Hammer and Sudoku |
|
|
131 | (3) |
|
|
134 | (1) |
|
|
135 | (8) |
|
Chapter 9 Integer Optimization |
|
|
143 | (10) |
|
|
143 | (3) |
|
|
146 | (1) |
|
9.3 Solving Integer Programs: Branch and Bound |
|
|
147 | (3) |
|
|
150 | (3) |
|
Chapter 10 Multi-Objective and Quadratic Programming |
|
|
153 | (8) |
|
10.1 Multi-Objective Linear Programming |
|
|
153 | (1) |
|
10.2 Quadratic Programming |
|
|
154 | (1) |
|
10.3 Example: Quadratic Objective Function |
|
|
155 | (1) |
|
10.4 Removing Quadratic (and Higher Order) Terms in Constraints |
|
|
156 | (1) |
|
|
157 | (1) |
|
|
157 | (4) |
|
Chapter 11 The Traveling Salesman Problem |
|
|
161 | (8) |
|
11.1 Integer Linear Programming Version of the TSP |
|
|
161 | (3) |
|
11.2 Greedy Algorithm to the TSP |
|
|
164 | (1) |
|
11.3 The Insertion Algorithm |
|
|
165 | (1) |
|
|
166 | (1) |
|
|
167 | (2) |
|
Chapter 12 Introduction to Stochastic Linear Programming |
|
|
169 | (10) |
|
12.1 Deterministic and Stochastic Oil Problems |
|
|
170 | (1) |
|
12.2 Expected Value approach |
|
|
171 | (1) |
|
|
172 | (2) |
|
12.4 Probabilistic Constraints |
|
|
174 | (1) |
|
|
175 | (4) |
|
Part 4 Fixed Point Theorems |
|
|
|
Chapter 13 Introduction to Fixed Point Theorems |
|
|
179 | (22) |
|
13.1 Definitions and Uses |
|
|
179 | (2) |
|
|
181 | (1) |
|
13.3 Real Analysis Preliminaries |
|
|
182 | (2) |
|
13.4 One-Dimensional Fixed Point Theorem |
|
|
184 | (2) |
|
13.5 Newton's Method versus Divide and Conquer |
|
|
186 | (2) |
|
13.6 Equivalent Regions and Fixed Points |
|
|
188 | (3) |
|
|
191 | (10) |
|
Chapter 14 Contraction Maps |
|
|
201 | (20) |
|
|
201 | (1) |
|
14.2 Fixed Points of Contraction Maps |
|
|
202 | (3) |
|
14.3 Introduction to Differential Equations |
|
|
205 | (3) |
|
14.4 Real Analysis Review |
|
|
208 | (2) |
|
14.5 First Order Differential Equations Theorem |
|
|
210 | (3) |
|
14.6 Examples of Picard's Iteration Method |
|
|
213 | (2) |
|
|
215 | (6) |
|
Chapter 15 Sperner's Lemma |
|
|
221 | (18) |
|
15.1 Statement of Sperner's Lemma |
|
|
221 | (3) |
|
15.2 Proof Strategies for Sperner's Lemma |
|
|
224 | (2) |
|
15.3 Proof of Sperner's Lemma |
|
|
226 | (2) |
|
|
228 | (3) |
|
|
231 | (8) |
|
Chapter 16 Brouwer's Fixed Point Theorem |
|
|
239 | (16) |
|
16.1 Bolzano-Weierstrass Theorem |
|
|
239 | (1) |
|
16.2 Barycentric Coordinates |
|
|
240 | (1) |
|
16.3 Preliminaries for Brouwer's Fixed Point Theorem |
|
|
241 | (3) |
|
16.4 Proof of Brouwer's Fixed Point Theorem |
|
|
244 | (1) |
|
|
245 | (4) |
|
|
249 | (6) |
|
|
|
Chapter 17 Gale-Shapley Algorithm |
|
|
255 | (12) |
|
|
255 | (2) |
|
|
257 | (1) |
|
17.3 Gale-Shapley Algorithm |
|
|
258 | (3) |
|
|
261 | (1) |
|
|
262 | (2) |
|
|
264 | (3) |
|
Chapter 18 Interpolating Functions |
|
|
267 | (16) |
|
18.1 Lagrange Interpolation |
|
|
268 | (2) |
|
|
270 | (2) |
|
18.3 Chebyshev Polynomials and Interpolation |
|
|
272 | (2) |
|
|
274 | (4) |
|
|
278 | (5) |
|
Chapter 19 The Four Color Problem |
|
|
283 | (20) |
|
|
284 | (2) |
|
|
286 | (7) |
|
19.3 Birkhoff and the Modern Proof |
|
|
293 | (1) |
|
|
294 | (3) |
|
19.5 Computational Improvements |
|
|
297 | (4) |
|
|
301 | (2) |
|
Chapter 20 The Kepler Conjecture |
|
|
303 | (14) |
|
|
303 | (3) |
|
|
306 | (2) |
|
20.3 Challenges in Proving the Kepler Conjecture |
|
|
308 | (2) |
|
20.4 Local Density Inequalities |
|
|
310 | (3) |
|
20.5 Computer-Aided Proof |
|
|
313 | (2) |
|
|
315 | (2) |
Bibliography |
|
317 | (6) |
Index |
|
323 | |