TimSort算法相關

今天看Java的Collection.sort（）的源碼，發現採用的是TimSort.sort(),就在網上查了下，發現一個不錯的文章。 原鏈接如下：http://www.freebuf.com/vuls/62129.html     如何找出Timsort算法和玉兔月球車中的Bug？   0×00 背景 形式化方法（Formal Methods）在我們一般人眼中是非常高大上的東西，最多也就是當年

>>阅读原文<<