DD2446 Complexity Theory 6.0 credits

Komplexitetsteori

Advanced course in computer science focusing on modern complexity theory.

Offering and execution

Course offering missing for current semester as well as for previous and coming semesters

Course information

Content and learning outcomes

Course contents *

The fundamental goal of complexity theory is to classify problems according to the amount of resources needed to solve them. Complexity classes are classes of problems that in some respect demand the “same” amount of resources. The most basic resources studied are time and space. A complete problem for a complexity class is a problem that can be viewed as the hardest problem in the class.

Among the topics treated in the course are: Complexity classes: L, NL, P, NP, PSPACE, etc, Reductions and completeness, Cooks' theorem. Approximability, Randomized algorithms and Interactive proofs (IP).

Intended learning outcomes *

After a completed course, the student should be able to

  • define basic complexity classes such as P, NP, PSPACE, L, NL and NC,
  • formulate complete problems for each complexity class and show problems complete by reductions,
  • prove basic theorems about complexity measures and be able to reason about complexity theoretic concepts,
  • read research articles within complexity theory to the extent of understanding the main contribution of the paper.

Course Disposition

No information inserted

Literature and preparations

Specific prerequisites *

No information inserted

Recommended prerequisites

One of the courses 2D1352/DD1352 Algorithms, Data Structures, and Complexity or 2D1354/DD2354 Algorithms and Complexity or the equivalent.

Equipment

No information inserted

Literature

To be announced at least 4 weeks before course start at course web page. 07/08: S. Arora and B. Barak Computational Complexity: A Modern Approach, Cambridge University Press.

Examination and completion

Grading scale *

A, B, C, D, E, FX, F

Examination *

  • ÖVN1 - Hand in Task, 6.0 credits, Grading scale: 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.

In this course all the regulations of the code of honor at the School of Computer science and Communication apply, see: http://www.kth.se/csc/student/hederskodex/1.17237?l=en_UK.

Other requirements for final grade *

Written exercises (ÖVN1; 6 university credits).

Opportunity to complete the requirements via supplementary examination

No information inserted

Opportunity to raise an approved grade via renewed examination

No information inserted

Examiner

Jakob Nordström

Further information

Course web

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 DD2446

Offered by

CSC/Computer Science

Main field of study *

Computer Science and Engineering, Information Technology, Information and Communication Technology

Education cycle *

Second cycle

Add-on studies

Please discuss with the instructor.

Contact

Jakob Nordström, http://www.csc.kth.se/~jakobn/

Ethical approach *

  • All members of a group are responsible for the group's work.
  • In any assessment, every student shall honestly disclose any help received and sources used.
  • In an oral assessment, every student shall be able to present and answer questions about the entire assignment and solution.

Supplementary information

The course is given in English unless all course participants understand Swedish.

The course is given every second year.