###
DOI:
Journal of Software:2001.12(4):493-498

算法演化的形式归约及其性质
栾尚敏,李未
(中国科学院软件研究所,北京 100080;北京航空航天大学计算机科学与工程系,北京 100083)
Formal Specification for Evolution of Algorithm and Its Properties
LUAN Shang-min,LI Wei
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2657   Download 2599
Received:March 29, 1999    Revised:April 24, 2000
> 中文摘要: 使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具.
中文关键词: 算法演化  归纳推理  极限
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.
文章编号:     中图分类号:    文献标志码:
基金项目:This project is supported by the National Natural Science Foundation of China under Grant No.19992895 (国家自然科学基金). This project is supported by the National Natural Science Foundation of China under Grant No.19992895 (国家自然科学基金).
Foundation items:
Reference text:

栾尚敏,李未.算法演化的形式归约及其性质.软件学报,2001,12(4):493-498

LUAN Shang-min,LI Wei.Formal Specification for Evolution of Algorithm and Its Properties.Journal of Software,2001,12(4):493-498