Loop Invariant: Difference between revisions
Jump to navigation
Jump to search
| Line 8: | Line 8: | ||
The loop invariant method is a technique that can be used to prove [[Algorithms#Algorithm_Correctness|algorithm correctness]]. | The loop invariant method is a technique that can be used to prove [[Algorithms#Algorithm_Correctness|algorithm correctness]]. | ||
<font color=darkkhaki>TODO, [https://www.amazon.com/Introduction-Algorithms-3rd-MIT-Press/dp/0262033844/ref=sr_1_2?ie=UTF8&qid=1533440533&sr=8-2 CLRS] pages 18 - 20.</font> | |||
<font color= | |||
Latest revision as of 18:48, 9 November 2021
Internal
Overview
The loop invariant method is a technique that can be used to prove algorithm correctness.
TODO, CLRS pages 18 - 20.