PHÂN TÍCH CÁC GIẢI THUẬT SẮP XẾP

Loop invariant là điều kiện cần đúng ngay trước khi bắt đầu vòng lặp và ngay sau mỗi lần lặp của vòng lặp. Trường hợp xấu nhất: khi dãy được sắp xếp theo chiều ngược lại, mỗi phần tử Ai được so sáng với mỗi phần tử của mảng con đã sắp.