沃莱顿公园的长椅，每一条都藏着一个故事，每一条都存着一份思念。
原文：
雷神小动，刺云雨零耶，君将留？
雷神小动，虽不零，吾将留妹留者。
日文：
鸣神の 少しとよみて さし昙り 雨も降らんか 君を留めん
鸣神の 少しとよみて 降らずとも 我は止まらん 妹し留めば
译文：
隐约雷鸣 阴霾天空 但盼风雨来 能留你在此
隐约雷鸣 阴霾天空 即使天无雨 我亦留此地
— 雷神短歌 《万叶集》
昨晚，小平问我如何对大文件进行分割。虽然目前她没有对大文件进行排序的需求，但我想以后很可能会用到。
我想了一个解决方法，是先将大文件分割为若干子文件，然后将各子文件分别加载在内存中进行排序，最后将各排好序的子文件合并为大文件。但是这种方法要求各子文件之间的大小已经确定。以升序为例，即对于子文件 f1, f2, ..., fn，要求 any(f1) <= any(f2) <= ... <= any(fn)，这样最好的简单合并才能确保所有记录的有序。
因此，我提出，在划分子文件前，要先遍历大文件一次，统计各数值出现的次数，然后按分布来确定几个分割的阈值，再遍历大文件各条记录，按阈值划分子文件。
以上我的解决方案是可行的，但是我想应该不是最优的，对于子文件的划分有些麻烦。我想看看别人是怎么解决大文件排序问题的，因此这个问题应该很典型了。然后我发现了外部排序，这是和内部排序相对的存在，我以前竟然不知道，看来还是对数据结构及算法学的不够系统。