Twierdzenie: Każde drzewo decyzyjne,
odpowiadające algorytmowi poprawnie sortującemu n elementów, ma wysokość D(n lg2n).
Liczba permutacji n elementów wynosi n!
Drzewo o wysokości h nie może mieć więcej niż 2h liści
n! < 2h h > lg2 (n!)
nf = (n/e) n e = 2.71828... h > Ig2 (n/e) n = n lg2 n-n lg2e = Q (n lg2 n)
Wvkład 11 Prosj amowame komputerów I 38