[종만북] 05. 알고리즘의 정당성 증명 (미완)

 05. 알고리즘의 정당성 증명

5.1 도입 5.2 수학적 귀납법과 반복문 불변식

알고리즘의 증명을 공부해야 하는 가장 큰 이유는 많은 경우 증명이 알고리즘을 유도하는 데 결정적인 통찰을

담고 있기 때문이다. 결정적으로 필요한 깨달음이 증명에 담겨 있는 경우가 많다. 이를 통해 나중에 자신이 설계한 알고리즘의 정당성을 더 쉽게 증명할 수 있는 직관 같은 것이 생긴다.

증명부를 소홀히 여기지 마시고 이들을 모두 공부하기 바랍니다.

---

수학적 귀납법

 

4. 

 

5. 

 

6. 

 

 

---

.2

1. 

 

2. 

 

3. 

 

4. 

 

5. 

 

6. 

 

 

---

.3

1. 

 

2. 

 

3. 

 

4. 

 

5. 

 

6.