Book contents
- Frontmatter
- Contents
- Preface
- Introduction
- Part One Iterative Algorithms and Loop Invariants
- 1 Iterative Algorithms: Measures of Progress and Loop Invariants
- 2 Examples Using More-of-the-Input Loop Invariants
- 3 Abstract Data Types
- 4 Narrowing the Search Space: Binary Search
- 5 Iterative Sorting Algorithms
- 6 Euclid's GCD algorithm
- 7 The Loop Invariant for Lower Bounds
- Part Two Recursion
- Part Three Optimization Problems
- Part Four Appendix
- Part five Exercise Solutions
- Index
1 - Iterative Algorithms: Measures of Progress and Loop Invariants
Published online by Cambridge University Press: 05 June 2012
- Frontmatter
- Contents
- Preface
- Introduction
- Part One Iterative Algorithms and Loop Invariants
- 1 Iterative Algorithms: Measures of Progress and Loop Invariants
- 2 Examples Using More-of-the-Input Loop Invariants
- 3 Abstract Data Types
- 4 Narrowing the Search Space: Binary Search
- 5 Iterative Sorting Algorithms
- 6 Euclid's GCD algorithm
- 7 The Loop Invariant for Lower Bounds
- Part Two Recursion
- Part Three Optimization Problems
- Part Four Appendix
- Part five Exercise Solutions
- Index
Summary
- Type
- Chapter
- Information
- How to Think About Algorithms , pp. 5 - 28Publisher: Cambridge University PressPrint publication year: 2008