Loop Invariant

Internal

• Algorithms
• Mathematical Induction

Overview

The loop invariant method is a technique that can be used to prove algorithm correctness.

TODO, CLRS pages 18 - 20.