Algoritmer og Datastrukturer
Formål:Målet med kurset er at give deltagerne kendskab til algoritmer og datastrukturer samt erfaring i systematisk udvikling og analyse heraf.
Indhold:Datastrukturer: lister, træer, hashtabeller, skip-lister
Dataabstraktioner: stakke, køer, prioritetskøer, ordbøger, mængder
Algoritmer: søgning, sortering, selektion, fletning, mønstergenkendelse
Grafalgoritmer: grafgennemløb, sammenhængsegenskaber, topologisk sortering,
udspændende træer, korteste veje, transitiv lukning
Paradigmer: del-og-kombiner, dynamisk programmering, grådighed
Analyse og syntese: worstcase, amortiseret og forventet udførelsestid;
udsagn, invarianter, gyldighed, terminering og korrekthed
Undervisere:Erik Meineche Schmidt og Gerth Stølting Brodal
Litteratur:Oplyses senere
Eksamensform
4-timers skriftlig eksamen, som bedømmes efter 13-skalaen. Ekstern censur.
Sprog:Dansk
Credits:10 ECTS
SemesterForår