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