文档简介
标签：
01
背包问题的一种新解法
针对目前求解0-1 背包问题算法的优缺点，开发了一种新的非递归算法。从计算0-1 背包问题最优值的递归方程出发，使用形式推导技术及序列抽象数据类型。在开发出循环不变式的同时，归纳得到用抽象程序设计语言Apla 描述的非递归算法，并形式化证明了其正确性，在相关工具及部件库的支持下进一步得到C++程序。理论分析和实验结果表明，该算法的时间耗费受背包容量变化的影响很小，是一种有效的方案。关键词：0-1 背包问题；非递归算法；循环不变式
评论
加载更多
推荐下载
查看更多
精选文集
相关视频
-
财哥说钛丝
-
直播回放： Keysight 小探头，大学问，别让探头拖累你的测试结果！
-
控制系统仿真与CAD
-
MIT 6.622 Power Electronics
-
直播回放：基于英飞凌AIROC™ CYW20829低功耗蓝牙芯片的无线组网解决方案
-
直播回放：ADI & WT·世健MCU痛点问题探索季：MCU应用难题全力击破！
推荐帖子
精选电路图
-
离子检测器电路分析
-
一个简单的立体声平衡指示器电路
-
分享一个电网倾角计电路
-
使用NE555和磁簧开关的橱柜照明电路
-
电谐波图形均衡器示意图
-
一种构建12V和230V双直流电源的简单方法
