分划递推方法相关硕士博士期刊学术论文 - 搜论网

分划递推方法相关论文

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

对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且......

期刊

分划递推方法形式化推导时间复杂度递归方程式 PAR（partition-and-recur） approach formally deduce t

看过本文同时还关注