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 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?