每个程序员都应该会点形式化证明
本文以 lower_bound 为例说明如何用安全性与活性分析、数学归纳法来推导并验证二分搜索实现。
标签
查看归入当前术语的文章。
本文以 lower_bound 为例说明如何用安全性与活性分析、数学归纳法来推导并验证二分搜索实现。
在老赵的博客上看到这样一道题,觉得非常有意思,难度适中,非常适合作面试题。试着用自己的方法解释清楚这道题的解法。
很多人都不明白,不同的编程语言具有不同的表述能力,这就是我们为什么有了汇编之后还需要更高级的编程语言。在软件规模愈发庞大的现在,C 和 C++ 语言表述能力的不足越发的明显了。我们应该尽可能的选用高级的编程语言完成我们的任务,在需要性能的地方,使用 Profiling,而不是在…
在面试中经常考到,实际项目中也经常需要面临这样一个问题,即如何判断一个整数操作是否发生了溢出。C# 语言提供了 checked 关键字用于处理这一问题,在 C 语言中我们可以使用内嵌汇编语句来检查溢出。
面试中经常会问面向对象技术中的三大特征,但是却没有一本书把这三个特征讲透彻,这里尝试综合几本书中的内容,从不同角度理解这三大特征。
一棵二叉搜索树中,有一个节点不满足二叉搜索树的性质,找出这一节点。