归并排序是建立在归并操作上的一种有效的排序算法，该算法是采用（ ）的一个非常典型的应用。