作者：王昌晶 薛锦云形式化推导高可信组合优化
摘要：0-1背包问题是经典的组合优化问题与NP完全问题，具有重要的应用价值与理论意义．本文使用PAR（Partitionand Recurrence）方法形式化推导了0-1背包问题的高效动态规划算法程序．通过类比分析，该问题的若干变形问题的算法也可推导得到，算法通过PAR平台的自动生成系统转换成可执行语言程序并运行通过，保证了该类0-1背包问题算法的正确性和可靠性．本文主要的贡献是将PAR方法推广到能处理带约束条件的组合优化类问题，大大扩展了PAR方法的应用范围，为形式化开发高效高可信组合优化类算法开辟了一条新途径．
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
《武汉大学学报·理学版》（CN：42-1674/N）是一本有较高学术价值的大型双月刊，自创刊以来，选题新奇而不失报道广度，服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《武汉大学学报·理学版》是自然科学综合性学术期刊，主要刊登数学、计算机科学、物理学、空间物理学、化学、环境科学、生命科学等学科的最新研究成果。
杂志详情
