1. Introduction to Algorithms: Verification, Complexity, and Searching
1: Chapter Overview
2: Algorithms
3: Sequential Search
4: Sequential Search Algorithm
5: Binary Search
6: Binary Search -- the idea
7: Binary Search Algorithm
8: Binary Search Code
9: Tracing Specific Binary Search Algorithms
10: Issues of Proof
11: Correctness and Loop Invariants
12: Loop Invariants - Sequential Search
13: Loop Invariants - Binary Search
14: Computational Complexity
15: Asymptotic Relations and Notation
16: Algorithm Complexity
17: Algorithm Complexity - Loops
18: Algorithm Complexity - Loops with Break
19: Algorithm Complexity - Loops in Sequence
20: Algorithm Complexity - Loops Nested
21: Algorithm Complexity - Sequential Search (Simplified)
22: Algorithm Complexity - Sequential Search
23: Algorithm Complexity - Binary Search
Copyright notice: The source documents, rendered pages, and content
in this course are proprietary and may not be copied without express written
permission of the author. (C) 2012 R.C. Lacher, Florida State University.
|