- 博客(2)
- 资源 (2)
- 收藏
- 关注
原创 临界区域
最近要考操作系统了。有同学问我关于临界区域的问题,他还问了度娘。我看了百度百科(临界区),那么多人参与编辑,真是无语。与其这样,还不如翻译一下wiki(Critical section)!
2012-12-31 23:01:22 508
原创 递归算法的证明与设计
主1:关于递归算的证明是证明算法的正确性。证明所需工具:数学归纳法。证明分为两个步骤: 1、证明该算法对于任意有意义的输入都可以返回。 2、证明该算法对于任意有意义的输入它的返回都是正确的。 总结,对于任意有意义的输入都可以返回正确的结果。例子:Hanoi(汉诺)塔问题:void hanoi(int n,char s,char
2012-12-12 18:31:52 2909 1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人