| 栾尚敏,李未.算法演化的形式归约及其性质.软件学报,2001,12(4):493-498 |
| 算法演化的形式归约及其性质 |
| Formal Specification for Evolution of Algorithm and Its Properties |
| 投稿时间：1999-03-29 修订日期：2000-04-24 |
| DOI： |
| 中文关键词: 算法演化 归纳推理 极限 |
| 英文关键词:evolution of algorithm inductive inference limit |
| 基金项目:This project is supported by the National Natural Science Foundation of China under Grant No.19992895 (国家自然科学基金). |
|
| 摘要点击次数: 3158 |
| 全文下载次数: 2919 |
| 中文摘要: |
| 使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具. |
| 英文摘要: |
| 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. |
|
HTML 下载PDF全文 查看/发表评论 下载PDF阅读器 |
