Input: n개 수들의 수열 (a1, a2, ..., an) Output: a’1 0 and A[i] > key A[j + 1] = A[i] i = i - 1 A[i + 1] = key 입력은 정렬하려는 n개의 수열이 들어있는 배열 A[1...n]이다. 인덱스 j는 카드를 쥔 손으로 가져가 정렬할 현재 카드를 나타낸다. 부분 배열 A[1...j - 1]은 현재 손에 쥔 정렬된 카드고 나머지 부분 배열 A[j + 1...n]은 아직 탁자에 쌓여 있는 카드다. 루프 불변성을 확인해보자. (루프불변성 참고) 2024.04.12 - [프로그래밍 공부] - [알고리즘] 루프 불변성 초기조건: 루프의 첫 반복이 시작되기 전, 즉 j = 2일 때 루프 불변성이 성립하는지 살펴본다. 이때 부분배열 A[1...j - ..