`merge sort`是一种使用分治法策略的排序算法，它将问题分解为更小的子问题来解决，因此选项B正确。选项A错误，因为`merge sort`是稳定的排序算法。选项C错误，因为`merge sort`的时间复杂度是O(n log n)。选项D错误，因为`merge sort`需要额外的存储空间来合并子数组。