Теория сложности

Что такое теория сложности и почему она так важна для информатики? Теория сложности изучает, сколько времени, памяти или других ресурсов требуется для решения алгоритмических задач. Она составляет основу для понимания того, что компьютеры могут выполнять ― и что даже при лучших алгоритмах принципиально недостижимо. От классических классов P и NP через редукции, NP-полноту и задачи приближений до интерактивных систем доказательства, PCP-теории и коммуникационной сложности эта книга пошагово вводит в ключевые концепции теоретической информатики. Вместо недетерминизма сложность здесь определяется через рандомизированные алгоритмы. Люсьен Сина объясняет не только теорию, но и передаёт лежащие в её основе идеи и интуиции. Многочисленные примеры, доказательства и задачи с решениями помогают углубить материал и развить собственное чувство границ эффективно вычислимого. Книга идеально подходит для студентов информатики, преподавателей, исследователей и всех, кто ищет основательный и одновременно доступный вход в теорию сложности. Она продолжает ряд работ автора ― «Алгоритмы и структуры данных», «Теоретическая информатика», «Логика: основы, проблема P против NP и информационно-теоретические перспективы» и «Объектно-ориентированное программирование на Java» ― и вместе с ними образует связную учебно-справочную серию, охватывающую путь от фундаментальных исследований до практического программирования. Теория сложности показывает, насколько глубоко теория и практика информатики переплетены ― и почему знание границ возможного часто становится первым шагом к их творческому расширению.