Invarianty a asymptotická složitost

Průběh cvičení

• Prošli jsme společně minulý úkol.
• Na dvou příkladech jsme si zkusili důkaz korektnosti jednoduchého algoritmu invariantem cyklu
  • Test prvočíselnosti.
  • Výpis prvočísel menších nebo rovných zadanému n.
• Ná pár příkladech jsme si osvěžili asymptotickou složitost
  • 6 ⋅ n² + 36n ∈ Θ(n²)
  • 10ⁿ ∈ O(n!) (po domluvě zůstalo na doma)

Domácí úkol 4

• Čtvrtý zápočtový domácí úkol najdete zde.
• Termín odevzdání je začátek popříštího cvičení (příští cvičení některým skupinám odpadá).
• Pokud na cvičení nemůžete přijít, pošlete úkol do začátku cvičení mailem.

Další cvičení

Na další cvičení si nachystejte věci, které Vám nejsou jasné. Máme prostor na cvičení spíše konzultačního charakteru, využijte toho.