Компьютеры и трудность - Википедия - Computers and Intractability

Компьютеры и непреодолимость: руководство по теории NP-полноты
Гарей, Джонсон, Несговорчивость, cover.jpg
АвторМайкл Р. Гарей и Дэвид С. Джонсон
СтранаСоединенные Штаты
Языканглийский
СерииСерия книг по математическим наукам
ПредметИнформатика
ЖанрУчебник
ИздательВ. Х. Фриман и компания
Дата публикации
1979
Тип СМИРаспечатать
Страницых + 338
ISBN0-7167-1045-5
OCLC247570676
519.4
Класс LCQA76.6 .G35

В Информатика, более конкретно теория сложности вычислений, Компьютеры и непреодолимость: руководство по теории NP-полноты влиятельный учебник Майкл Гэри и Дэвид С. Джонсон.[1]Это была первая книга исключительно по теории NP-полнота и вычислительная трудоемкость.[2] В книге есть приложение, в котором содержится подробный сборник NP-полных задач (который был обновлен в последующих изданиях книги). В настоящее время книга в некоторых отношениях устарела, поскольку в ней не рассматриваются более свежие разработки, такие как Теорема PCP. Тем не менее, он все еще издается и считается классическим: в исследовании 2006 г. CiteSeer поисковая система назвала книгу наиболее цитируемым справочником в литературе по информатике.[3]

Открытые проблемы

В другом приложении к книге были представлены задачи, для которых не было известно, являются ли они NP-полными или в P (или ни то, ни другое). Проблемы (с их первоначальными названиями):

  1. Изоморфизм графов
    Эта проблема известна как NP, но неизвестно, является ли она NP-полной.
  2. Гомеоморфизм подграфа (для фиксированного графика ЧАС)
  3. Род графа
  4. Завершение хордового графа
  5. Хроматический индекс[4]
  6. Проблема четности связующего дерева[5]
  7. Размер частичного заказа
  8. Трехпроцессорное планирование с ограничением приоритета
    Эта проблема оставалась открытой по состоянию на 2016 год.[6]
  9. Линейное программирование
  10. Полная унимодульность[7]
  11. Составное число
    Известно, что проверка составности выполняется в P, но сложность тесно связанных целочисленная факторизация проблема остается открытой.
  12. Триангуляция минимальной длины[8]
    Проблема 12 известна как NP-сложная, но неизвестно, относится ли она к NP.

Прием

Вскоре после выхода книга получила положительные отзывы авторитетных исследователей в области теоретической информатики.

В своем обзоре Рональд В. Книга рекомендует книгу «всем, кто хочет узнать о предмете NP-полноты», и он явно упоминает «чрезвычайно полезное» приложение с более чем 300 NP-трудными вычислительными задачами. Он заключает: «Информатике нужно больше книг, подобных этой».[9]

Гарри Р. Льюис хвалит математическую прозу авторов: «Книга Гэри и Джонсона представляет собой исчерпывающее, ясное и практическое изложение NP-полноты. Во многих отношениях трудно представить себе лучшее рассмотрение предмета». Кроме того, он считает приложение «уникальным» и «отправной точкой в ​​попытках показать, что новые проблемы являются NP-полными».[10]

Спустя двадцать три года после выхода книги Лэнс Фортноу, главный редактор журнала научный журнал Сделки по вычислительной теории, заявляет: «Я считаю« Гэри и Джонсон »единственной самой важной книгой на книжной полке в моем офисе. Эта книга должна быть у каждого компьютерного ученого. [...] У Гэри и Джонсона есть лучшее введение в вычислительную сложность, которое я когда-либо видел. видимый." [11]

Смотрите также

Рекомендации

  1. ^ Гарей, М.; Джонсон, Д.С. (1979). Виктор Клее (ред.). Компьютеры и непреодолимость: руководство по теории NP-полноты. Серия книг по математическим наукам. Сан-Франциско, Калифорния: W.H. Freeman and Co., стр.х + 338. ISBN  0-7167-1045-5. МИСТЕР  0519066.
  2. ^ Юрис Хартманис (1982). «Компьютеры и непреодолимость: руководство по теории NP-полноты, рецензия на книгу». SIAM Обзор. 24 (1): 90–91. Дои:10.1137/1024022. JSTOR  2029450.
  3. ^ «Самые цитируемые статьи в области компьютерных наук - сентябрь 2006 г. (CiteSeer.Continuity)». Получено 2007-11-03.
  4. ^ НП-полный: Холиер, Ян (ноябрь 1981 г.). «NP-полнота раскраски краев». SIAM Журнал по вычислениям. 10 (4): 718–720. Дои:10.1137/0210055.
  5. ^ В P: Lovász, L. Lovász, L .; Сос, В. (ред.). Алгебраические методы в теории графов, том II (Colloquium Szeged, 1978). Colloquia Mathematica Societatis János Bolyai, 25. Северная Голландия. С. 495–517.
  6. ^ ван Беверн, Рене; Бредерек, Роберт; Бюльто, Лоран; Комусевич, Кристиан; Талмон, Нимрод; Вегингер, Герхард Дж. (2016). «Задачи планирования с ограничением приоритета, параметризованные шириной частичного порядка». DOOR 2016: Дискретная оптимизация и исследование операций. Конспект лекций по информатике. 9869. Springer-Verlag. С. 105–120. arXiv:1605.00901. Дои:10.1007/978-3-319-44914-2_9.
  7. ^ В P: Сеймур, П. Д. (июнь 1980 г.). «Разложение обычных матроидов» (PDF). Журнал комбинаторной теории, серия B. 28 (3): 305–359. Дои:10.1016/0095-8956(80)90075-1.
  8. ^ NP-сложно: Мульцер, Вольфганг; Роте, Гюнтер (2008), «Триангуляция с минимальным весом является NP-сложной», Журнал ACM, 55 (2), ст. 11, arXiv:cs.CG/0601002, Дои:10.1145/1346330.1346336, МИСТЕР  2417038
  9. ^ Рональд В. Книга. Обзор: Компьютеры и непреодолимость: руководство по теории NP-полноты Бык. Амер. Математика. Soc. (Н.С.), 3(2), стр. 898–904, 1980.
  10. ^ Гарри Р. Льюис, Обзор: Компьютеры и сложность: руководство по теории NP-полноты, Журнал символической логики, Vol. 48(2), с. 498–500, 1983.
  11. ^ Лэнс Фортноу, Великие книги: компьютеры и несговорчивость: руководство по теории NP-полноты Майкла Р. Гэри и Дэвида С. Джонсона. Блог о вычислительной сложности, 30 августа 2002 г.