combinatorial optimization problem reduction and algorithm derivation

	combinatorial optimization problem reduction and algorithm derivation
	Zheng Yu-Jun; Xue Jin-Yun; Ling Hai-Feng
	2011
发表期刊	Ruan Jian Xue Bao/Journal of Software
ISSN	10009825
卷号	22 期号:9 页码:1985-1993
摘要	A unified algebraic model is used to represent optimization problems, which uses a transformational approach that starts from an initial problem specification and reduces it into sub-problems with less complexity. The model then constructs the problem reduction graph (PRG) describing the recurrence relations between the problem, and derives an algorithm with its correctness proof hand-in-hand. A prototype system that implements the formal algorithm development process mechanically is also designed. This approach significantly improves the automation of algorithmic program design and helps to understand inherent characteristics of the algorithms. ©2011, Institute of Software, the Chinese Academy of Sciences. All rights reserved.
收录类别	EI
关键词	Algorithms Combinatorial Optimization Optimization
部门归属	(1) The State Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China; (2) Provincial Key Laboratory of High Performance Computing, Jiangxi Normal University, Nanchang 330027, China; (3) School of Management and Engineering, Nanjing University, Nanjing 210093, China
语种	中文
内容类型	期刊论文
URI标识	http://ir.iscas.ac.cn/handle/311060/13721
专题	基础软件与系统重点实验室
推荐引用方式 GB/T 7714	Zheng Yu-Jun,Xue Jin-Yun,Ling Hai-Feng. combinatorial optimization problem reduction and algorithm derivation[J]. Ruan Jian Xue Bao/Journal of Software,2011,22(9):1985-1993.
APA	Zheng Yu-Jun,Xue Jin-Yun,&Ling Hai-Feng.(2011).combinatorial optimization problem reduction and algorithm derivation.Ruan Jian Xue Bao/Journal of Software,22(9),1985-1993.
MLA	Zheng Yu-Jun,et al."combinatorial optimization problem reduction and algorithm derivation".Ruan Jian Xue Bao/Journal of Software 22.9(2011):1985-1993.

条目包含的文件
文件名称/大小	文献类型	版本类型	开放类型	使用许可
组合优化问题简约与算法推演.pdf（582KB）			开放获取	--	请求全文