W twierdzeniu Cormena 3.1 mówi to

Na przykładnajlepszy przypadek czas pracysortowanie przez wstawianie jestbig-omega (n), natomiastnajgorszy przypadek czas pracySortowanie przez wstawianie jestBig-oh (n ^ 2). Czas przebiegu sortowania wstawki spada zatem międzybig-omega (n) iBigoh (n ^ 2)

Teraz, jeśli spojrzymy na ćwiczenie 3.1-6, zadaje to pytanie

Udowodnij, że czas działania algorytmu wynosiBig-theta (g (n)) iff jegonajgorszy przypadek czas pracy toBig-oh (g (n)) i jegonajlepszy przypadek czas pracy toduża-omega (g (n))

Czy jestem jedynym, który widzi tutaj sprzeczność.To znaczy, jeśli przestrzegamy pytania, które trzeba udowodnić, dochodzimy do wniosku, że dla asymptotycznie mocniejszych granic (f (n) = Big-theta (g (n))) musimy miećf (n) = duża-omega (g (n)) dla algorytmunajlepszy przypadek iBig-oh (g (n)) w jegonajgorszy przypadekAle w przypadku sortowania Insertionnajlepszy przypadek złożoność czasubig-omega (n) inajgorszy przypadek złożoność czasuBig-oh (n ^ 2)