Theoretical Computer Science 2022 — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Bbauwens (обсуждение | вклад) |
Bbauwens (обсуждение | вклад) |
||
Строка 18: | Строка 18: | ||
= Course Materials = | = Course Materials = | ||
− | The main reference for the first 4 lectures is Sipser's book "Introduction to the theory of computation", chapters 1, 2–7. | + | The main reference for the first 4 lectures is Sipser's book "Introduction to the theory of computation", 3rd edition, chapters 1, 2–7. Also, Mertens and Moore, The Nature of Computation, 2011. |
<!-- If you need some background in math, consider these two sources:<br> | <!-- If you need some background in math, consider these two sources:<br> | ||
Строка 39: | Строка 39: | ||
|| 02.03 || The class NP and NP-completeness || [https://www.dropbox.com/s/90m0yxt62f02mmm/classNP.pdf?dl=0 notes] | || 02.03 || The class NP and NP-completeness || [https://www.dropbox.com/s/90m0yxt62f02mmm/classNP.pdf?dl=0 notes] | ||
|- | |- | ||
− | || 02.03 || Circuits, proof of the Levin-Cook theorem, more reductions || [https://www.dropbox.com/s/nen161dakmq3646/circuits.pdf?dl=0 circuits] [https://www.dropbox.com/s/wlrssw0q1tfx49p/moreReductions.pdf?dl=0 reductions] | + | || 02.03 || Circuits, proof of the Levin-Cook theorem (see also Mertens&Moore chapter 5, more reductions || [https://www.dropbox.com/s/nen161dakmq3646/circuits.pdf?dl=0 circuits] [https://www.dropbox.com/s/wlrssw0q1tfx49p/moreReductions.pdf?dl=0 reductions] |
|- | |- | ||
|| 16.03 || PSPACE, PSPACE-hardness, EXP, BPP, Polynomial time hierarchy || | || 16.03 || PSPACE, PSPACE-hardness, EXP, BPP, Polynomial time hierarchy || |
Версия 21:25, 9 марта 2022
Содержание
Classes
Wednesdays 18:10–21:00, on zoom
Teacher: Bruno Bauwens
For practical information join the telegram group
Grading
Exam: 40%
Homework: 20%
Project: 40%
There are 2 homeworks with deadlines: 23.02, 09.03 before the lecture
Course Materials
The main reference for the first 4 lectures is Sipser's book "Introduction to the theory of computation", 3rd edition, chapters 1, 2–7. Also, Mertens and Moore, The Nature of Computation, 2011.
Video | Summary | Notes |
---|---|---|
19.01 | Regular languages: (non)deterministic automata and their equivalence, pumping lemma, closure properties | lecture 1 |
25.01 | Turing machines and register machines | lecture 2 |
09.02 | undecidability of: Halting program, Wang tiling, Fractran Godel's incompleteness theorems | lecture 3.A 3.B |
16.02 | The classes P, EXP, PSPACE, EXPSPACE. Dynamic programming. Time and space hierarchy theorems. | seminar |
23.02 | Holliday | |
02.03 | The class NP and NP-completeness | notes |
02.03 | Circuits, proof of the Levin-Cook theorem (see also Mertens&Moore chapter 5, more reductions | circuits reductions |
16.03 | PSPACE, PSPACE-hardness, EXP, BPP, Polynomial time hierarchy | |
23.03 | Parameterized complexity (1): the class FPT and kernelization | |
30.03 | Parameterized complexity (2): W-hierarchy, graph domination | |
13.04 | Projects | |
20.04 | Exam |
Office hours
Person | Monday | Tuesday | Wednesday | Thursday | Friday |
---|---|---|---|---|---|
Bruno Bauwens, S834, Zoom | 14:00-20:00 |
Warn me in advance by email.