Dijkstra 证明
来源:互联网 发布:捷速扫描文字识别软件 编辑:程序博客网 时间:2024/05/16 01:13
正如uva136题目(题目大意:所有只由2,3,5因子的乘积的数按小到大排列:1 2 3 4 5 6 8 9......,求第1500个数的大小)一样
[1][2][3][4][5][6][8],第8个数肯定是由前面7个数中的某一个*2或*3或*5得到的,即为:5*2或3*3或2*5之一。
Dijkstra同样如此,不仅由于最短路径本身就具有最优子结构(最短路径中的一段路径一定是最短的),而且还由于Dijkstra算法是计算到源点最短路径由小到大排列序列的原因。
[0][1][2][3][4][5][6][7][8][9],当0-4号节点的最短距离确定之后(并且访问每一个节点时,更新后继节点的距离,所以5号当前值节点是经过0-4号节点中最短的),由于是由小到大的排列,另外一个证明也就不言而喻了,5号节点到源点0的最短距离不可能是经过6-9号节点,因为6-9号节点当前的距离都比5号大,更不用说再加上6-9号到5号之间的距离。当然6-9号的距离有可能还会变小,但肯定是大于5号当前值的(更新于5号之后)。
总结:为了能将问题尽量的转化为具有子问题特征,常常按照某一特征衡量问题的“辈份”,才使得问题容易解决;如字符串越后面的辈份越低,dijkstra中距离越长的辈份越低,等等。
- Dijkstra 证明
- Dijkstra 简要证明
- 迪杰斯特拉(Dijkstra)算法描述及其正确性证明
- Dijkstra和Prim算法 【含数学证明】
- 关于dijkstra的贪心思想的正确性的证明
- Dijkstra 算法 -方法、算法、代码和正确性的证明
- 详解Dijkstra算法(含数学证明和优化)
- 证明
- 互联网IP路由的逐跳全局最优化原则-Dijkstra算法证明
- 单源有权图的最短路径 Dijkstra算法(证明不能解决负权边)7.1.2
- Floyd算法(事实证明只会SPFA和Dijkstra还是不够啊)
- dijkstra
- dijkstra
- Dijkstra
- Dijkstra
- DIJKSTRA
- DIJKSTRA
- Dijkstra
- android 命令行输出日志
- 使用PXE+DHCP+Apache+Kickstart无人值守安装CentOS5.8 x86_64
- eclipse修改字体
- differences between dp , sp, px, pt
- tomcat下配置https环境
- Dijkstra 证明
- [leetcode]Best Time to Buy and Sell Stock
- oracle中高水位(HWM)的问题
- 十进制转换为十六进制
- [leetcode]Best Time to Buy and Sell Stock II
- 9 STL算法
- Ubuntu sudo 免密码之 sudoers 修改
- 不借助库函数 字符串逆转
- 【源码】java中图片和Base64互相转换源码