If you are designing describing and proving correct an algorithm using loop invariants, the following is the list the things must consider. Specification: Define the problem (pre and post conditions): likely defined by the problem. Define Loop Invariant: It needs to be a picture of what is true every time the algorithm is at the … Read More →
↧