Advertisements
Advertisements
Question
What is the relationship between loop invariant, loop condition, and the input-output recursively?
Short Note
Solution
A loop invariant is a condition [among program variables] that is necessarily true immediately before and immediately after, each iteration of a loop. A loop invariant is some condition that holds for every iteration of the loop.
shaalaa.com
Loop Invariant
Is there an error in this question or solution?
