How to Think about Algorithms
Material type: TextLanguage: English Publication details: New York Cambridge University Press 2008Description: xiii, 448pISBN: 9780521614108 (pbk)Subject(s): Algorithms | Invariants | Recursion theory | MathematicsCurrent library | Home library | Call number | Materials specified | Status | Date due | Barcode |
---|---|---|---|---|---|---|
IMSc Library | IMSc Library | 510.6 EDM (Browse shelf (Opens below)) | Available | 61279 |
Browsing IMSc Library shelves Close shelf browser (Hides shelf browser)
510.6 EBB Mathematical logic | 510.6 EBB Finite Model Theory | 510.6 EBB Finite Model theory | 510.6 EDM How to Think about Algorithms | 510.6 EIJ Logic and information flow | 510.6 EIS Computations in Algebraic Geometry with Macaulay 2 | 510.6 END Mathematical Introduction to Logic |
Iterative algorithms: measures of progress and loop invariants
Examples using more-of-the-input loop invariants
Abstract data types
Narrowing the search space: binary search
Iterative sorting algorithms
Euclid's GCD algorithm
The loop invariant for lower bounds
Abstractions, techniques, and theory
Some simple examples of recursive algorithms
Recursion on trees
Recursive images
Parsing with context-free grammars
Definition of optimization problems
Graph search algorithms
Network flows and linear programming
Greedy algorithms
Recursive backtracking
Dynamic programming algorithms
Examples of dynamic programs
Reductions and NP-completeness
Randomized algorithms
Existential and universal quantifiers
Time complexity
Logarithms and exponentials
Asymptotic growth
Adding-made-easy approximations
Recurrence relations
A formal proof of correctness
"This book presents insights, notations, and analogies to help the novice describe and think about algorithms like an expert. Jeff Edmonds provides both the big picture and easy step-by-step methods for developing algorithms, while avoiding the common pitfalls. Paradigms such as loop invariants and recursion help to unify a huge range of algorithms into a few meta-algorithms. Part of the goal is to teach the students to think abstractly."--Jacket
There are no comments on this title.