루프불변성이 뭔가요?

[ksy(124.153)]

인트로덕션 투 알고리즘 책에 나오는건데...

루프를 돌아도 변하지 않고 참 이뜻인가요?

[좃문가(1.228)]

어떤 명제 P(i)가 i에 대한 루프 내의 특정 위치에서 항상 참