This course provides an introduction to theoretical computer science, which is a strong research area at KTH. You will meet some of our research results in the course.
You will learn more about algorithm design and see some pretty complicated, but very useful, algorithms. The complexity part of the course is about how to investigate which problems can be solved (in reasonable time) with the help of computers, which problems take an unreasonably long time and which cannot be solved with a computer at all.
Problems that are too difficult to solve accurately can sometimes be solved approximately. You will see examples of some approximation algorithms and some problems that are so difficult that they cannot even be approximated in a reasonable time.
Select the semester and course offering above to get information from the correct course syllabus and course offering.
Design principles of algorithms: Decomposition, greedy algorithms, dynamic programming, local and exhaustive search. Algorithm analysis. Approximation algorithms and heuristics. Applications with algorithms for problems on sets, graphs, arithmetic and geometry. Implementation of algorithms.
Data structures: Review of hash tables and heaps; balanced trees, Bloom filters. Use and implementation of data structures. Computability and complexity: The concept of reduction, the complexity classes P (polynomial time) and NP (non-deterministic polynomial time). NP-complete problems, undecidable problems. Coping with computationally intractable problems. Terminology in Swedish and English.
After completion of the course, students should be able to:
in order to
No information inserted
Completed courses in all of the following areas:
Active participation in a course offering where the final examination is not yet reported in LADOK is considered equivalent to completion of the course. This applies only to students who are first-time registered for the prerequisite course offering or have both that and the applied-for course offering in their individual study plan.
For some of the labs in the course, a more efficient programming language than Python has to be used, hence knowledge of Java or C/C++ is recommended.
A student who only has studied discrete mathematics in SF1671 will need to take SF1688 in parallel to DD2350. The discrete math course DD1610 is considered as equivalent to SF1662 regarding admission requirements.
Probability theory and statistics corresponding to SF1901 is recommended. Logic corresponding to DD1350/DD1351 is recommended but not necessary.
No information inserted
Algorithm Design by Kleinberg-Tardos, Pearson, 2014, ISBN 978-1292023946.
A, B, C, D, E, FX, F
Based on recommendation from KTH’s coordinator for disabilities, the examiner will decide how to adapt an examination for students with documented disability.
The examiner may apply another examination format when re-examining individual students.
The requirements for E/pass for the components MAS1, MAS2 and TEN1 can be completed via supplementary examination for students receiving grade Fx. A passed individual lab assignment can be credited in later course offerings if the assignment is unchanged.
An approved grade can be raised for MAS1 and MAS2. For LAB1, only grades B and C can be raised.
Further information about the course can be found on the Course web at the link below. Information on the Course web will later be moved to this site.
Course web DD2350Computer Science and Engineering
Second cycle
DD2440 Advanced Algorithms, DD2442 Seminars in Theoretical Computer Science, DD2445 Complexity Theory, DD2448 Foundations of Cryptography, and DD2458 Problem Solving and Programming under Pressure.
Viggo Kann (viggo@kth.se)
Grading critera will be published at the start of the course.
The course has replaced DD1352. DD2350 cannot be combined with DD1352, DD2352, or DD2354.
In this course, the EECS code of honor applies, see:
http://www.kth.se/en/eecs/utbildning/hederskodex