[Forside] [Hovedområder] [Perioder] [Udannelser] [Alle kurser på en side]
Deltagerne vil efter kurset have detaljeret kendskab til grundlæggende resultater og teknikker i Kompleksitetsteori og et grundlag for at forstå emner og resultater ud over de, der behandles i kurset. Kursets arbejdsform vil også træne deltagernes evne til at formidle og kommunikere faglige problemstillinger og til at læse og forstå videnskabelige artikler.
Udarbejdelse af forelæsningsnoter samt aflevering af 4-5 opgavesæt.
Kompleksitetsteori er studiet af effektiv beregning og fundamentale begrænsninger heraf. Teorien sætter en istand til på en præcis måde at opstille spørgsmål herom og give kvalificerede svar på disse. Eksempler på sådanne spørgsmål er: Hvor meget tid og plads kræves for at løse konkrete beregningsproblemer? Kan brugen af tilfældighed eller massiv parallelisme gøre beregninger signifikant hurtigere? Hvor godt kan optimeringsproblemer vi ikke er istand til at løse eksakt approximeres? Kurset vil give en fundamental indføring i klassiske resultater i kompleksitetsteori og herefter behandle (udvalgte) nyere resultater og områder.
Kombinatorisk Søgning
Kristoffer Arnsfelt Hansen
Forelæsninger
Annonceres senere
http://www.daimi.au.dk/~arnsfelt/CT08
Deltagerne skal ved afslutningen af kurset kunne:
Datalogisk Institut
Mundtlig eksamen (30 minutter) uden forberedelse,
7-skala, intern censur