첫 칸 비교 누락
`[3, 1, 2]`에서 내부 루프가 0번 인덱스를 건너뛰면 앞 구간 불변식이 깨집니다.
기초 정렬 반례 설계
버블, 선택, 삽입 정렬은 같은 O(N^2)라도 안정성, 쓰기 횟수, 거의 정렬된 입력에서 확인해야 할 실패 지점이 다릅니다.
조기 종료 조건 오판
한 패스에서 교환이 없을 때만 멈춰야 하며, 비교 범위를 줄이는 순서를 로그로 확인합니다.
안정성 요구 충돌
최소값 교환은 쓰기 횟수를 줄이지만 같은 키의 원래 순서를 뒤집을 수 있습니다.
최소
빈 배열, 길이 1, 길이 2 역순을 먼저 통과시킵니다.
중복
`(값, 원래 순번)` 쌍으로
안정성을
확인합니다.
분포
거의 정렬, 역순, 중복 다량을 분리해 비교·교환 수를
기록합니다.
학습 구현과 실전 정렬 분리
기초 정렬은 경계 감각을 훈련하는 도구입니다. 큰 입력 처리에서는 내장 정렬을 기본값으로 두고, 직접 구현은 불변식 설명과 반례 검증에 초점을 맞춥니다.