거의 정렬된 입력
앞쪽 정렬 구간 불변식을 유지합니다. 비교 연산자가 안정성 요구와 맞는지 확인합니다.
기초 정렬은 불변식과 입력 분포 검증
같은 `O(N^2)`라도 이동, 교환, 비교 비용이 다르므로 학습 목표에 맞는 관찰 지점을 고릅니다.
인접 swap 추적
패스마다 끝 원소가 확정됩니다. 조기 종료 플래그가 실제로 동작하는지 봅니다.
쓰기 횟수 관찰
매 패스 최소값을 고릅니다. 안정 정렬이 아니라는 점을 반례로 확인합니다.
빈 배열루프 진입 전 기저 입력을 확인합니다.
중복 키동일 값의 상대 순서가 필요한지 봅니다.
역순 입력최악 이동 횟수와 경계 조건을 드러냅니다.
원본 보존제자리 정렬과 사본 정렬 계약을 분리합니다.