Os algoritmos de ordenação são um conjunto de instruções que recebem um conjunto de itens, como entrada, organizando-os em uma ordem específica. O algoritmo de ordenação, que tem como ideia básica particionar o problema em vários subproblemas, resolvê-los por meio da recursividade e após todos os subproblemas terem sido resolvidos efetuar a união das resoluções dos subproblemas é denominado: