ADTutorium: Unterschied zwischen den Versionen
Zur Navigation springen
Zur Suche springen
(→Fragen) |
(→Fragen) |
||
| Zeile 4: | Zeile 4: | ||
1. Wie geht man an einen formalen Beweis eines Algorithmus ran? | 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? | |||
Version vom 17. Januar 2014, 21:40 Uhr
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?