Behörighetskrav

120 hp varav 30 hp matematik inkl. en introduktion till linjär algebra (Linjär algebra och geometri I) och grundläggande logik (Algebra I eller Baskurs i matematik), och 45 hp datavetenskap. Genomgången Algoritmer och datastrukturer II. Engelska 6. (Med en svensk kandidatexamen uppfylls kravet på engelska.)

Mål

Efter godkänd kurs ska studenten kunna

• analysera NP-fullständighet för algoritmiska problem;
• använda avancerade algoritmanalysmetoder inom områden som amorterad analys och probabilistisk analys;
• använda avancerade algoritmdesignmetoder för att pragmatiskt kunna arbeta med svåra algoritmiska problem, t ex genom att använda randomiserade algoritmer (såsom universal hashing), approximeringsalgoritmer, stokastisk lokal sökning (såsom simulated annealing och tabu search), heltalsprogrammering, satslogisk satisfierbarhet (SAT) och SAT modulo teorier (SMT).
• presentera och diskutera material relaterat till kursens innehåll muntligt och skriftligt med för utbildningsnivån lämplig färdighet.

Innehåll

NP-fullständighet. Avancerade tekniker inom algoritmanalys och design såsom amorterad och probabilistisk analys, universal hashing, heltalsprogrammering, simulated annealing, tabu search, satisfierbarhet (SAT). Anknytning till modern forskning inom algoritmik.

Undervisning

Föreläsningar, lektioner och övningar.

Examination

Muntlig och skriftlig redovisning av uppgifter samt muntlig och skriftlig tentamen.

Om särskilda skäl finns får examinator göra undantag från det angivna examinationssättet och medge att en enskild student examineras på annat sätt. Särskilda skäl kan t.ex. vara besked om särskilt pedagogiskt stöd från universitetets samordnare för studenter med funktionsnedsättning.

Övergångsbestämmelser

Kursen kan ej tillgodoräknas i examen tillsammans med kurserna Algoritmer och datastrukturer (DV)3/III (1DL104, 1DL113, 1DL030) och Avancerad algoritmik (1DL480).