区间合并问题类的统一建模与动态规划求解框架OA
针对动态规划中一类尚未被形式化研究的问题,提出区间合并动态规划问题的概念,并为区间合并动态规划问题开发了建模和动态规划求解的统一形式化框架.深入分析区间合并动态规划问题的本质特征,刻画区间合并动态规划问题的代数语义,借助形式化方法分划与递推(PAR)进行问题的通用形式化规约描述和算法形式化推导,从而设计出求解区间合并动态规划问题的通用泛型算法.通过选取典型区间合并动态规划问题实例进行建模和求解,展示了统一形式化框架的有效性和适用性,可为动态规划领域相关算法的形式化构造提供参考.
石海鹤;龚嘉盈;熊潇;靳梦;杜人增;石海鹏
江西师范大学人工智能学院,江西南昌330022 高性能计算江西省重点实验室(江西师范大学),江西南昌330022江西师范大学人工智能学院,江西南昌330022江西师范大学人工智能学院,江西南昌330022江西师范大学人工智能学院,江西南昌330022南昌航空大学软件学院,江西南昌330063江西师范大学人工智能学院,江西南昌330022
信息技术与安全科学
区间合并通用泛型算法代数语义建模动态规划分划与递推(PAR)方法
《华中科技大学学报(自然科学版)》 2026 (6)
P.108-113,6
国家自然科学基金资助项目(62062039)江西省自然科学基金资助项目(20212BAB202017).
评论