Este algoritmo segue o princípio da divisão e conquista e quando os arranjos possuem tamanho mínimo são intercalados recursivamente até que voltem a formar apenas uma arranjo com todos os elementos ordenados, para ocorrer essa ordenação o algoritmo se baseia em comparações. Uma desvatagem sua é a necessidade de espaço de memória adicional para se alocar o arranjo auxiliar.

Complexidade:
Melhor Caso: Θ(n lg n);
Caso Médio: Θ(n lg n);
Pior Caso: Θ(n lg n).

Veja também:
Implementação desse algoritmo!
Desempenho desse algoritmo!