재귀 알고리즘의 정확성 증명

(틀린 부분이 있다면 지적 감사하겠습니다.) 우리는 알고리즘을 얼마나 제대로 이해하고 쓸까? 알고리즘을 정확히 이해하고 쓰는것과 그렇지 않은 것에는 많은 차이가 있다. 오늘은 재귀의 예를 소개하고, 그 정확성을 증명해보고자 한다. 1. 합 구하기 1부터 x 까지의 합을 구하는 프로그램을 작성해보자. unsigned int sum(unsigned int x){ int i, s; s = 0; for(i=1;i8... 이런식으로 가다가 0이 되고, 0을 리턴하면 다시 쭉~~~ 올라와 1부터 10까지 더해진다고 지금껏 이해했다. sum(3) -> sum(2) -> sum(1) -> sum(0) 6 3 1 0 리턴 물론 틀린말은 아니다! 당연한 소리이고, 이런식으로 생각하는 게 이상하지 않다. 그렇지만 이렇게 하..

2022.09.03