码迷,mamicode.com
首页 > 其他好文 > 详细

关于本博客风格的声明

时间:2019-10-31 13:42:14      阅读:89      评论:0      收藏:0      [点我收藏+]

标签:题目   这一   nbsp   严格   博客   算法   关注   strong   高中   

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

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

 

 

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

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

关于本博客风格的声明

标签:题目   这一   nbsp   严格   博客   算法   关注   strong   高中   

原文地址:https://www.cnblogs.com/Golden-Elf/p/11770465.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!