Uge 10

Forelæsninger

Mandag den 3/3-2008, kl 14-16

• Transitionssystemer [HS] Kap. 2: Eksempler på korrekthedsbeviser.

Fredag den 7/3-2008, kl. 12-14

• Union-Find [CLRS] Kap. 21.1-21.3
  Amortiseret analyse [CLRS] Kap. 17

Øvelser

[CLRS] Exercises 13.1-5, 13.1-6, 13.2-2, 13.3-2 Problems 13-2
Opgave 5, Opgave 8, Opgave 9, Opgave 10,

Obligatorisk afleveringsopgave

[CLRS] Exercises 13.2-4