가사
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ý.
