Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Book-advanced-algorithms.pdf
Скачиваний:
275
Добавлен:
27.03.2016
Размер:
5.11 Mб
Скачать

334

Глава 6. ОСНОВЫ ТЕОРИИ СЛОЖНОСТИ ВЫЧИСЛЕНИЙ

6.6Диаграмма классов сложности

В этом разделе постараемся кратко резюмировать информацию по классам сложности задач, встречавшихся в разделе 6.

Мы свели их в единую диаграмму на рис. 6.19, где стрелками изобразили отношения вложенности, а жирными линиями — эквивалентность.

Разумеется, мы не ставили целью отобразить все классы сложности — это вряд ли возможно на одной диаграмме, т.к. сейчас насчитывается не менее четырехсот различных классов сложности (см. [Aar07], «Зоопарк Классов Сложности», где упоминается о примерно пятистах классах).

Упражнение 6.6.1. Покажите, что если NP coRP, то NP coZPP.

6.6. ДИАГРАММА КЛАССОВ СЛОЖНОСТИ

335

Рис. 6.19: Иерархия некоторых классов сложности

Заключение

Книга основана на двух курсах лекций, читавшихся авторами в течение нескольких лет для студентов 4- го и 6-го курсов Московского физико-технического института: «Сложность комбинаторных алгоритмов»

и«Эффективные алгоритмы». Основное внимание уделено рассмотрению вычислительно трудных задач

исовременных подходов к их решению.

Книга состоит из двух частей: первая посвящена методам разработки и анализа алгоритмов решения конкретных задач, вторая — теории сложности.

В первой части описаны современные подходы к решению вычислительно трудных задач — разработка эффективных приближенных алгоритмов с оценками точности, вероятностных алгоритмов, алгоритмов, эффективных при анализе в среднем.

Во второй части представлены классические понятия сложности вычислений, классы сложности, теория NP-полноты, PCP-теорема и ее следствия для доказательства неаппроксимируемости ряда задач, понятия сводимостей, сохраняющих аппроксимации.

Книга предназначена для студентов и аспирантов, специализирующихся по прикладной математике.

336

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]