| 算法演化的形式归约及其性质 |
| |
| 引用本文： | 栾尚敏,李未.算法演化的形式归约及其性质[J].软件学报,2001,12(4):493-498. |
| |
| 作者姓名： | 栾尚敏 李未 |
| |
| 作者单位： | 1. 中国科学院软件研究所,
2. 北京航空航天大学计算机科学与工程系, |
| |
| 基金项目： | This project is supported by the National Natural Science Foundation of China under Grant No.19992895 (国家自然科学基金). |
| |
| 摘 要： | 使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具.
|
| 关 键 词： | 算法演化 归纳推理 极限 |
| 收稿时间： | 1999/3/29 0:00:00 |
| 修稿时间： | 1999年3月29日 |
Formal Specification for Evolution of Algorithm and Its Properties |
| |
| LUAN Shang-min and LI Wei.Formal Specification for Evolution of Algorithm and Its Properties[J].Journal of Software,2001,12(4):493-498. |
| |
| Authors: | LUAN Shang-min and LI Wei |
| |
| Abstract: | The inductive process is used to specify the evolution of algorithm in this paper. The relationship between a set of sentences of first-order language and an algorithm is established and inductive rules for heuristics are presented. A probabilistic approach to algorithm analysis is also presented. This approach provides a tool for design of efficient algorithm and automatic algorithm design. |
| |
| Keywords: | evolution of algorithm inductive inference limit |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
