计算机应用研究
計算機應用研究
계산궤응용연구
APPLICATION RESEARCH OF COMPUTERS
2008年
3期
681-683
,共3页
分划递推方法%形式化推导%时间复杂度%递归方程式
分劃遞推方法%形式化推導%時間複雜度%遞歸方程式
분화체추방법%형식화추도%시간복잡도%체귀방정식
对在长期的算法研究中提出的PAR方法和PAR平台引入时间谓词加以扩展,不仅可以形式化推导出顺序查找和二分查找问题的算法程序,而且这两个问题关于时间复杂度的递归方程式也可同步且自然地推导得到.这为开发并验证高效率的算法开辟了一条新途径.
對在長期的算法研究中提齣的PAR方法和PAR平檯引入時間謂詞加以擴展,不僅可以形式化推導齣順序查找和二分查找問題的算法程序,而且這兩箇問題關于時間複雜度的遞歸方程式也可同步且自然地推導得到.這為開髮併驗證高效率的算法開闢瞭一條新途徑.
대재장기적산법연구중제출적PAR방법화PAR평태인입시간위사가이확전,불부가이형식화추도출순서사조화이분사조문제적산법정서,이차저량개문제관우시간복잡도적체귀방정식야가동보차자연지추도득도.저위개발병험증고효솔적산법개벽료일조신도경.
