算法及其时间复杂度可同步形式化推导的方法

• 作者: 王昌晶 薛锦云
• 来源期刊: 计算机应用研究
• 关键词: 分划递推方法 形式化推导 时间复杂度 递归方程式
• 年，卷（期）: 2008,（3）
• 所属期刊栏目: 算法研究探讨
• 页码范围: 681-683
• 页数: 3页
• 分类号: TP301.6
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2008.03.010

摘要

对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	中国科学院软件研究所	77	745	15.0	23.0
5	王昌晶	中国科学院软件研究所	5	39	4.0	5.0