本周一直在读此文章1，但直到今天都未将其中的证明过程彻底地、完全地澄清。主要是自己对于该文提出的算法没有直观上的感觉与理解，从而只是在抽象符号的纯逻辑推演上尝试重现文章的证明过程。这一点就与之前杨振宁先生提到的只会照着文章所述的逻辑推导，但却不理解、更不会变通的状态是一样的。很显然，自己并未真正理解 sequence partition 算法。但对于这种直观的、直觉的理解，一般的纯数学文章似乎为了行文的简洁而有意地将其舍弃。所以，仅限于文章的文字本身照本宣科是不行的，必须查阅更多的文献相互佐证、补充大量背景信息，并从不同的渠道获得不同形式的相关信息资源。这样才算是带着问题，有目的地学习。

  1. Olstad, B., & Manne, F. (Nov./1995). Efficient partitioning of sequences, 44(11), 1322–1326. http://dx.doi.org/10.1109/12.475128 ↩