Proving Divide and Conquer Complexities in Isabelle/HOL

The Akra–Bazzi method (Akra and Bazzi in Comput Optim Appl 10(2):195–210, 1998 . doi: 10.1023/A:1018373005182 ), a generalisation of the well-known Master Theorem, is a useful tool for analysing the complexity of Divide and Conquer algorithms. This work describes a formalisation of the Akra–Bazzi m...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 58; číslo 4; s. 483 - 508
Hlavní autor:	Eberl, Manuel
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.04.2017
Témata:	Algorithms Artificial Intelligence Automated reasoning Automation Complexity Computer Science Derivation Mathematical Logic and Formal Languages Mathematical Logic and Foundations Symbolic and Algebraic Manipulation Texts Theorem proving Theorems Divide and Conquer algorithms Isabelle/HOL Akra–Bazzi Master Theorem Landau symbols Recurrences Complexity
ISSN:	0168-7433, 1573-0670
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!