Formalne podejście do analizy programów

Notacja dużego O stała się istotną częścią wywiadów związanych z kodowaniem. Wymyśl rozwiązanie, zakoduj je, a następnie uzasadnij złożoność Big-O. Wywiady te doprowadziły do ​​spostrzeżenia, że ​​Big-O jest miarą dokładnego czasu wykonania programu, odbiegającą od pierwotnej definicji.

W tym artykule wyjaśnię, skąd bierze się ta rozbieżność i jak można bardziej formalnie przeanalizować najlepszy i najgorszy przypadek algorytmu, używając big-Oh…