![](https://img-blog.csdnimg.cn/20201014180756913.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
算法分析
dazhi316
这个作者很懒,什么都没留下…
展开
-
循环不变量(Loop invariant)
循环不变量:S是一个语句,已知循环while C do E当此循环满足以下条件,即:在任何循环开始前,语句S和C都为真,而且在循环结束后,S仍为真,那么S就是循环不变量原创 2010-11-12 09:07:00 · 6615 阅读 · 1 评论 -
多项式大于小于
<br />在算法分析导论中,看到了多项式大于和多项式小于这个概念,简单的查了一下:<br /> <br />f(x)多项式大于g(x):<br />存在实数e>0,使得f(x)>g(x)*n^e<br /> <br />f(x)多项式小于g(x):<br />存在实数e>0,使得f(x)<g(x)*n^e原创 2010-11-15 08:53:00 · 5903 阅读 · 1 评论 -
递归树
<br /><br />递归树<br /> 递归树的结点有两个域,如下图: <br /><br /> T(size)指问题大小为size时,函数的复杂度。nonrec.cost指问题大小为size时的非递归代价。<br /> 根结点的每个子结点都代表了这个问题分拆的一个子问题的复杂度。就这样递归地分解问题。一直到达叶子结点,也就是base-case.在前面的讨论中,我们没有涉及base-case,在使用递归树分析复杂度时,我们假设base-case的复杂度为1。<br />转载 2011-05-23 08:30:00 · 7584 阅读 · 1 评论 -
Dijkstra算法为什么权值不能是负值
Dijkstra算法当中将节点分为已求得最短路径的集合(记为S)和未确定最短路径的个集合(记为U),归入S集合的节点的最短路径及其长度不再变更,如果边上的权值允许为负值,那么有可能出现当与S内某点(记为a)以负边相连的点(记为b)确定其最短路径时,它的最短路径长度加上这条负边的权转载 2011-07-28 11:19:37 · 6790 阅读 · 1 评论