알고리즘1

루프 불변성(loop invariant)는 어떤 알고리즘이 잘 동작하는지 증명하기 위해 사용된다.루프 불변성은 세가지 단계로 이루어진다.1\. 초기조건(Initialization)첫번째 루프가 시작하기 전 루프 불변성이 참이어야 한다.2\. 유지조건(Maintenanc