Loop Invariants

Programming Questions
1

I am reading about loop invariants and I don’t understand one thing:

For algorithm

r = c 
while r > 0:
r = 31 * r % 73

Is r < 73 loop invariant?

Answer in the book says yes, but from what I understand loop invariant needs to be true before program enters the loop.
And we can set r to 74 for example so before the loop invariant isn’t true only inside and after the loop it will stay true.

2

I agree with you. Maybe there’s some mention of c before this? Or maybe it’s just an error in the textbook. All textbooks have errors somewhere.

3

@andy The loop invariant here is r > 0. Next, the code should be formatted as follows in Python:

r = c
while r > 0:
  r = 31 * r % 73

Note: If c is set to 74, the invariant is true when entering the while loop. For example, 74 > 0 is true.