문제해결기법 알고리즘의 정당성 증명 수학적 귀납법은 반복적인 구조를 갖는 명제들을 증명하는 데 유용하게 사용되는 증명 기법입니다. 단계 나누기: 증명하고 싶은 사실을 여러 단계로 나눕니다. 첫 단계 증명: 첫 단계에서 증명하고 싶은 내용이 성립합을 보입니다. 귀납 증명: 어떤 한 단계에서 증명하고 싶은 내용이 성립한다면, 다음 단계에서도 성립하는지 보입니다. 귀납법을 이용해 알고리즘의 정당성을 증명할 때는 반복문 불변식이라는 ... 알고리즘문제해결기법문제해결기법 최적화 문제 결정 문제로 바꿔 풀기 최적화 문제를 결정 문제로 바꾼 뒤, 이것을 이분법을 이용해 해결하는 방법은 굉장히 유용한 디자인 원칙 중 하나입니다. 최적화 문제의 반환 값은 대개 실수나 정수이므로 답의 경우의 수가 무한한 데 반해, 결정 문제는 두 가지 답만이 있을 수 있습니다. 다음은 여행하는 외판원 문제를 최적화 문제와 결정 문제로 표현한 것입니다. optimize(G) optimize(G)=그래프 G의 모든 정점을... 문제해결기법문제해결기법
알고리즘의 정당성 증명 수학적 귀납법은 반복적인 구조를 갖는 명제들을 증명하는 데 유용하게 사용되는 증명 기법입니다. 단계 나누기: 증명하고 싶은 사실을 여러 단계로 나눕니다. 첫 단계 증명: 첫 단계에서 증명하고 싶은 내용이 성립합을 보입니다. 귀납 증명: 어떤 한 단계에서 증명하고 싶은 내용이 성립한다면, 다음 단계에서도 성립하는지 보입니다. 귀납법을 이용해 알고리즘의 정당성을 증명할 때는 반복문 불변식이라는 ... 알고리즘문제해결기법문제해결기법 최적화 문제 결정 문제로 바꿔 풀기 최적화 문제를 결정 문제로 바꾼 뒤, 이것을 이분법을 이용해 해결하는 방법은 굉장히 유용한 디자인 원칙 중 하나입니다. 최적화 문제의 반환 값은 대개 실수나 정수이므로 답의 경우의 수가 무한한 데 반해, 결정 문제는 두 가지 답만이 있을 수 있습니다. 다음은 여행하는 외판원 문제를 최적화 문제와 결정 문제로 표현한 것입니다. optimize(G) optimize(G)=그래프 G의 모든 정점을... 문제해결기법문제해결기법