IB002 Algoritmy a datové struktury I
3. cvičení: Algoritmy a korektnost - KAPITOLA 2
POZOR bude se probírat Kapitola 2 sbírky!
Obsah:
Cvičení se zabývá dokazováním korektnosti algoritmů, hledáním typických algoritmických chyb a jejich odstraňování. Jsou zadefinovány základní pojmy, které se k dokazování budou požívat během celého semestru.
Po tomto cvičení byste měli být schopni zjistit, zdali je algoritmus korektní (vzhledem k zadaným vstupním a výstupním podmínkám). Pokud je korektní, měli byste tento fakt zvládnout dokázat. Pokud není, musíte být schopni uvést příklad vstupu, pro který algoritmus není korektní (a opravit jej).
Implementační zadání:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2022/IB002/um/ducv/du03_binary_search.py
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2022/IB002/um/ducv/cv03_bugs_zadani.py
Implementační řešení:
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/jaro2022/IB002/um/ducv/cv03_bugs_reseni.py
Doplňkové materiály:
k DU: