루프 불변성 ( loop invariant )

 루프 불변성의 개념이 계속 헷갈린다... for 문에 들어가는 3개의 식과 비슷한 의미 인거 같긴 한데...

이걸 계속 알아보다가 다음의 3개의 글을 찾았다. 루프 불변성에 대해서 알아보고 있다면 다음 글들이 도움이 될것 같다.


http://blog.naver.com/soonchan86/130023452408

http://kin.naver.com/detail/detail.php?d1id=1&dir_id=10104&eid=SNrxjFB+YKL9IbR5XPWfyWcgQZksjxXC&qb=bG9vcCBpbnZhcmlhbnQ=&pid=fnNHoloi5UlssvNPEO0sss--364302&sid=SPc5opUv90gAADcell4

http://en.wikipedia.org/wiki/Loop_invariant

루프 불변성은 알고리즘이 정확한지를 귀납법을 통해서 증명하는 것이라고 한다.

loop를 돌면서 항상 참인 코드가 실행되는것인가 뭐 그런거 같은데...

좀더 알아볼 필요가 있을거 같다