Main field(s) of study and in-depth level:
Computer Science A1N
Fail (U), Pass (3), Pass with credit (4), Pass with distinction (5)
The Faculty Board of Science and Technology
120 credits including 30 credits in mathematics including an introduction to linear algebra (Linear Algebra and Geometry I or the equivalent) and basic logic (Algebra I, Basic Course in Mathematics, or the equivalent), and 45 credits in computer science. Participation in Algorithms and Data Structures II. Proficiency in English equivalent to the Swedish upper secondary course English 6.
On completion of the course, the student should be able to:
analyse NP-completeness of an algorithmic problem;
use advanced algorithm analysis methods, such as amortised analysis and probabilistic analysis;
use advanced algorithm design methods in order to approach hard algorithmic problems in a pragmatic way, such as by using randomised algorithms (such as universal hashing), approximation algorithms, stochastic local search (such as simulated annealing and tabu search), integer programming, propositional satisfiability (SAT), and SAT modulo theories (SMT).
present and discuss topics related to the course content orally and in writing with a skill appropriate for the level of education.
NP-completeness. Advanced techniques in algorithm analysis and design such as amortised and probabilistic analysis, universal hashing, integer programming, simulated annealing, tabu search, propositional satisfiability (SAT). Connections to modern research in algorithmics.
Lectures, lessons and exercises.
Written and oral presentation of assignments and written and oral exam.
If there are special reasons for doing so, an examiner may make an exception from the method of assessment indicated and allow a student to be assessed by another method. An example of special reasons might be a certificate regarding special pedagogical support from the disability coordinator of the university.
The course cannot be included in a degree together with the courses Algorithms and data structures (DV)3/III (1DL104, 1DL113, 1DL030) and Advanced algorithmics (1DL480).