关于本博客风格的声明

本博客风格，是题目以及算法正确性论证集合的混合。

我争取做到出现过的算法和数据结构全部都有其正确性论证。

注意，这里的算法正确性论证是数学上的严格证明，而不是通俗易懂的比喻（因为它们往往只适合描述算法执行过程而不适合论证一个算法的正确性）。

为什么这么关注数学证明呢？因为在高中时代我对于绝大多数算法都只是知其然而不知其所以然，所以在大学希望可以打破这一界限。而且论证算法本身实际上也是一个非常有趣的过程，是对自己能力的一种锻炼。因此我努力给出数学上的证明。