Definice a vlastnosti algoritmu

Verse: Poslouchej, začneme s definicí, co algoritmus znamená, Konečná množina instrukcí, jasný plán má. Konečnost, obecnost, determinovanost k tomu, Algoritmus s výstupem, to je základ, žádný rozruch v domě. Chorus: Rekurzivní volání, když se sám sebe zná, Podmínka pro ukončení, to je ta pravá hra. Hladový algoritmus, hledá lokální cíl, Obchodní cestující, batoh plný výzev, to je styl. Verse: Rozděl a panuj, problém rozdělí na kousky, Quicksort a binární vyhledávání, tyhle kroky jsou bystrý. Pravděpodobnostní algoritmus, náhodu využívá, Monte Carlo vzorkování, řešení optimalizuje, jak to má být. Chorus: Dynamické programování, části problému řeší, Výsledky využívá, složitější úkol z toho pleší. Heuristické metody, přesnost nehledají, Přibližné řešení, když čas nemají. Verse: Metody zrychlení, paměť na úkor času, Optimalizace kódu, a hardware, to je v sázce. Odstranění rekurze, opakující výpočty pryč, Optimalizace zdrojového kódu, to je ten správný klíč. Chorus: Verifikace programů, predikáty musí být, Správnost programu dokázat, na tomhle záleží. Testování najde chyby, verifikace je spraví, Parciální a totální korektnost, na tohle se ptáví. Verse: Metody zrychlení, paměť na úkor času, Optimalizace kódu, a hardware, to je v sázce. Odstranění rekurze, opakující výpočty pryč, Optimalizace zdrojového kódu, to je ten správný klíč. Chorus: Verifikace programů, predikáty musí být, Správnost programu dokázat, na tomhle záleží. Testování najde chyby, verifikace je spraví, Parciální a totální korektnost, na tohle se ptáví. Bridge: Související predikáty, vstupní a výstupní jsou, Vstupní filtr, jaká data projdou. Výstupní říká stav, při ukončení běhu, Tohle jsou základy, které musíš znát do vleku. Outro: Související vektory, vstupní, programový, výstupní, Proměnné a data, to je nutný. Tohle je rap o algoritmech, teď jsi připravený, Na otázky z kódování, žádné pochybnosti, kámo, jsi neporazitelný.