归并排序是一种基于分治策略的经典排序算法，通过递归地将数组拆分为更小的子数组，排序后再合并，最终实现整体有序。其时间复杂度为O(n log n)，适用于大规模数据排序。