TimSort算法相关

今天看Java的Collection.sort（）的源码，发现采用的是TimSort.sort(),就在网上查了下，发现一个不错的文章。 原链接如下：http://www.freebuf.com/vuls/62129.html     如何找出Timsort算法和玉兔月球车中的Bug？   0×00 背景 形式化方法（Formal Methods）在我们一般人眼中是非常高大上的东西，最多也就是当年

>>阅读原文<<