外存归并排序的基本思想和内存归并排序基本思想一样。外存排序必须以块为单位进行调度，一分为二不再是最经济的分法，而是应当把数组首先划分成能在内存中放下的大小，也就是形成M/B个列表，相当于每一份划分可以放在内存当中分别进行排序，而对于所有划分，分开的每个队列都能在内存当中分成一块，然后在内存中进行归并。设计一个程序体现外存归并排序的基本算法思想并量化验证算法复杂度。