摘要
使用归纳过程说明算法的演化 ,建立了一阶语言语句集和算法的关系 ,并提出了启发式的归纳规则 .还提出了算法分析的概率式研究方法 .这种方法为有效算法的设计和自动算法设计提供了工具 .
The inductive process is used to specify the evolution of algorithm. 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.
出处
《软件学报》
EI
CSCD
北大核心
2001年第4期493-498,共6页
Journal of Software
基金
国家自然科学基金&&
关键词
算法演化
归纳推理
极限
计算机
Formal logic
Heuristic methods
Inference engines
Numerical analysis
Optimization
Specifications
