Verified Analysis of Random Binary Tree Structures

This work is a case study of the formal verification and complexity analysis of some famous probabilistic algorithms and data structures in the proof assistant Isabelle/HOL. In particular, we consider the expected number of comparisons in randomised quicksort, the relationship between randomised qui...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	Journal of automated reasoning Ročník 64; číslo 5; s. 879 - 910
Hlavní autoři:	Eberl, Manuel, Haslbeck, Max W., Nipkow, Tobias
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Dordrecht Springer Netherlands 01.06.2020 Springer Nature B.V
Témata:	Algorithms Artificial Intelligence Binary system Computer Science Data structures Mathematical Logic and Formal Languages Mathematical Logic and Foundations Randomization Symbolic and Algebraic Manipulation Theorem proving Randomised algorithms Binary search trees Quicksort Interactive theorem proving Isabelle Randomised data structures
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!