Теория сложности (старая трешовая версия) — различия между версиями
м (→Лекция 1) |
м (→Практика 2) |
||
| Строка 21: | Строка 21: | ||
*[[NP-полнота задачи о выполнимости булевой формулы в форме КНФ]] | *[[NP-полнота задачи о выполнимости булевой формулы в форме КНФ]] | ||
*[[NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]] | *[[NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ]] | ||
| + | *[[NP-полнота задачи о клике]] | ||
| + | *[[NP-полнота задачи о независимом множестве]] | ||
| + | *[[NP-полнота задачи о вершинном покрытии]] | ||
== Лекция 3 == | == Лекция 3 == | ||
Версия 12:48, 19 марта 2010
Содержание
Лекция 1
- Класс DSPACE
- Класс DTIME
- Теорема о емкостной иерархии
- Теорема о временной иерархии
- Сведение по Карпу
- Сведение по Куку
- Класс P
- Класс NP
- Класс coNP
Практика 1
Лекция 2
Практика 2
- Понятие NP-трудной и NP-полной задачи
- NP-полнота задачи BH1N
- NP-полнота задачи о выполнимости булевой формулы в форме КНФ
- NP-полнота задачи о выполнимости булевой формулы в форме 3-КНФ
- NP-полнота задачи о клике
- NP-полнота задачи о независимом множестве
- NP-полнота задачи о вершинном покрытии
Лекция 3
Практика 3
- NP-полнота задач о гамильтоновом цикле и пути в графах
- NP-полнота задачи о сумме подмножества
- NP-полнота задачи о рюкзаке
