T型他A类克拉-B类azzi定理与M（M）阿斯特定理

曼纽尔·埃贝尔 🌐

2015年7月14日

摘要

本文包含Akra-Bazzi方法的形式化基于Leighton的证明。这是对众所周知的分析分治算法复杂性的主定理。我们还包括基于Akra-Bazzi定理，比Akra-Bazzi公式更容易应用自身。

还有一些便于应用主定理的证明方法包括。有关形式化和证明方法，见随附论文（即将出版）。

许可证

许可协议

话题

会话Akra_Bazzi

取决于

使用者

引用

× 
@第{Akra_Bazzi-AFP条，作者={曼纽尔·埃伯尔}，title={Akra-Bazzi定理和主定理}，journal={正式证据存档}，月={7月}，年份={2015年}，注释={\url{https://isa-afp.org/entries/Akra_Bazzi.html},形式证明开发}，ISSN={2150-914x}，}
下载

下载

× 下载最新版本

旧版本：