https://algospot.com/judge/problem/read/JLIS 현재 이 문제를 풀고 있는데 이문제의 해법으로 재귀식의 정의를 lis(index): index에서 시작하는 가장 긴 부분증가수열 로...
1. 반복문 진입시에 불변식이 성립함을 보인다. 2. 반복문 내용이 불변식을 깨뜨리지 않음을 보인다. 3. 반복문 종료시에 불변식이 성립하면 항상 우리가...
태그: 반복문, 알고리즘, 불변식, 정당성, 종만북, 귀납법, 정렬, 문제해결전략, invariant, algorithm
... 지금은 STL까지 했는데 자료구조를 먼저 하고 종만북을 시작하는게 좋을까요? 조언 부탁드립니다. 네, 어떤 책으로 공부하든 알고리즘은 자료구조를 선행하고 난 뒤...