Institutional Repository
| combinatorial optimization problem reduction and algorithm derivation | |
| Zheng Yu-Jun; Xue Jin-Yun; Ling Hai-Feng | |
| 2011 | |
| Source | Ruan Jian Xue Bao/Journal of Software
 |
| ISSN | 10009825 |
| Volume | 22Issue:9Pages:1985-1993 |
| English Abstract | 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. |
| Indexed Type | EI |
| Keyword | Algorithms Combinatorial Optimization Optimization |
| Department | (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 |
| Language | 中文 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/13721 |
| Collection | 基础软件与系统重点实验室 |
| Recommended Citation 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. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 组合优化问题简约与算法推演.pdf（582KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment