算法演化的形式归约及其性质

• 作者: 李未 栾尚敏
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 算法演化 归纳推理 极限
• 年，卷（期）: 2001,（4）
• 页码范围: 393-498
• 页数: 6页
• 分类号: TP301
• 字数: 1024字
• 语种: 中文

摘要

使用归纳过程说明算法的演化,建立了一阶语言语句集和算法的关系,并提出了启发式的归纳规则.还提出了算法分析的概率式研究方法.这种方法为有效算法的设计和自动算法设计提供了工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李未	北京航空航天大学计算机科学与工程系	23	113	7.0	10.0
2	栾尚敏	中国科学院软件研究所	12	95	5.0	9.0