【摘 要】
：
针对目前求解0-1背包问题算法的优缺点，开发了一种新的非递归算法。从计算0-1背包问题最优值的递归方程出发，使用形式推导技术及序列抽象数据类型。在开发出循环不变式的同时，归
【机 构】
：
江西师范大学计算机信息工程学院,中国科学院软件研究所计算机科学国家重点实验室
【基金项目】
：
江西省教育厅科研基金资助项目(GJJ08156)
论文部分内容阅读
针对目前求解0-1背包问题算法的优缺点，开发了一种新的非递归算法。从计算0-1背包问题最优值的递归方程出发，使用形式推导技术及序列抽象数据类型。在开发出循环不变式的同时，归纳得到用抽象程序设计语言Apla描述的非递归算法，并形式化证明了其正确性，在相关工具及部件库的支持下进一步得到C＋＋程序。理论分析和实验结果表明，该算法的时间耗费受背包容量变化的影响很小，是一种有效的方案。
其他文献
本文针对临床发病率高的心血管疾病—高血压,选取中药杜仲叶作为研究对象。根据市场和临床需求,将其提取物制备成口服固体制剂—滴丸,以求达到速效、减少服用剂量及提高药物
<正>一、比例法根据化学计量数与ΔH的绝对值成正比求算。例10.3mol的气态高能燃料乙硼烷(B2H6)在氧气中燃烧,生成固态三氧化二硼和液态水,放出649.5kJ热量,写出其热化学方程
采用文献引文网络分析可视化软件CitespaceⅡ对SSCI中有关"空间失配"主题的研究文献进行分析,判明国外"空间失配"的研究热点和趋势。研究热点主要是空间失配带来的各种问题以
高折射率环氧光学树脂设计制备方法主要包括三类:通过有机或无机化合物在环氧光学树脂中引入硫、卤素等高折光指数原子;在环氧光学树脂中引入芳环等高折光指数化学基团;由两
<正>1.热化学方程式的书写及含义例1已知在1×105Pa、298K下,2molH2完全燃烧生成水蒸气放出484kJ热量。下列热化学方程式书写正确的是()
<正>鉴赏戏剧,品味人物语言至关重要。《雷雨》第二幕中周朴园与鲁侍萍相认一场戏中,周朴园用了11个"哦"字:①哦,三十年前你在无锡?②哦,很远了,提起来大家都忘了。③哦。④
菏泽经济欠发达,与山东其它地区特别是东部沿海地区形成强烈反差。但菏泽牡丹文化已成为菏泽的一个亮点,极具地方特色。随着现代社会人们物质生活水平的日益提高,精神生活的
20世纪《三国演义》作者、成书年代及版本问题的探讨一直是研究的热点之一,有各种分歧的认识、观点、说法等。进入21世纪以来,研究者对这些问题的关注仍不减以往,仅我国大陆
滇池是我国水体富营养化程度最为严重的湖泊之一,不仅制约了昆明市乃至整个云南省社会经济的可持续发展,而且严重影响了其流域数百万人民的生活质量,受到国家和云南省政府的
以福州市为例，对市域范围内的市辖区及8个县市的建设用地进行集约利用水平综合评价。根据土地集约利用的内涵，建立了建设用地集约利用指标体系。采用主成分分析方法，对各县