루트 불변성
2022. 4. 7. 01:27ㆍC++/알고리즘
루트 불변성: 알고리즘이 타당한 이유를 쉽게 이해할 수 있도록 하기 위해 사용된다.
초기조건 : 루프가 첫 번째 반복을 시작하기 전에 루프 불변성이 참이어야 한다.
유지조건 : 루프의 반복이 시작되기 전에 루프 불변성이 참이었다면 다음 반복이 시작되기 전까지도 계속 참이어야 한다.
종료조건: 루프가 종료될 때 그 불변식이 알고리즘의 타당성을 보이는데 도움이 될 유용한 특성을 가져야 한다.
'C++ > 알고리즘' 카테고리의 다른 글
| 이진탐색(binary search) (0) | 2022.04.19 |
|---|---|
| 버블 정렬(bubble sort) (0) | 2022.04.19 |
| 삽입 정렬 - 1 (0) | 2022.04.06 |
| 자료구조 (0) | 2022.04.06 |
| 알고리즘 (0) | 2022.04.06 |