주어진 비교 결과를 활용하여 알 수 없는 전체 순서를 효율적으로 찾는 알고리즘을 제시한다.
관계적 매개변수성을 사용하여 안정적인 병합 정렬 함수를 새로운 방식으로 특성화하고, 이를 통해 병합 정렬의 정확성을 증명할 수 있다.