ADTutorium

Hier können bis Samstag, 18. Januar 2014, Fragen zum Modul "Algorithmen & Datenstrukturen" gesammelt werden. Wir werden diese Fragen dann im Tutorium am Dienstag, 21. Januar 2014, um 16 Uhr in F-132 bearbeiten.

Fragen

1. Wie geht man an einen formalen Beweis eines Algorithmus ran?

2. Zu Folie 289 (Part2) Bi-direktionaler Dijsktra. Wann gilt ein Knoten als ausgewählt? Welchen Knoten wählt Dijsktra aus wenn 2 Knoten einen gleichen Key besitzen?