Самая большая загадка в информатике: P против NP Quanta Magazine

Оригинальное название: Biggest Puzzle in Computer Science: P vs. NP Ссылка на оригинальное видео: Дата публикации оригинала: 1 декабря 2023 г. Переведенное описание: Есть ли ограничения на возможности компьютеров? Насколько сложно слишком сложно для вычислений? Вопрос о том, насколько сложно решить задачу, лежит в основе важной области информатики, называемой сложностью вычислений. Теоретики вычислительной сложности хотят знать, какие проблемы практически разрешимы с помощью умных алгоритмов, а какие действительно трудны, а может быть, даже практически невозможны для компьютеров. Эта сложность является центральной в так называемой проблеме P и NP, одном из самых сложных и важных вопросов во всей математике и естественных науках. Это видео охватывает широкий спектр тем, в том числе: историю информатики, то, как электронные компьютеры на основе транзисторов решают проблемы с использованием булевых логических операций и алгоритмов, что такое машина Тьюринга, различные классы задач, сложность схем и развивающаяся область. метасложности, где исследователи изучают самореферентную природу сложных вопросов. В роли ученого-компьютерщика Скотта Ааронсона (полное раскрытие информации: он также является членом правления журнала Quanta). Посетите его блог: Прочтите сопутствующую статью о метасложности в журнале Quanta Magazine: 00:00 Введение в проблему P и NP. 02:16 Введение в вычислительную сложность 02:30​ Как компьютеры решают проблемы? 03:02 Алан Тьюринг и машины Тьюринга 04:05 Джордж Буль и булева алгебра 05:21 Клод Шеннон и изобретение транзисторов 06:22 Джон фон Нейман и изобретение универсального электронного компьютера 07:05 Алгоритмы и их пределы 08:22 Открытие разных классов вычислительных задач 08:56 Объяснение проблем с полиномом P 09:56 Объяснение экспоненциальных проблем NP 11:36 Последствия, если P = NP 12:48 Открытие NP Полные задачи 13:45 Задача о рюкзаке и задача коммивояжера 14:24 Определена задача логической выполнимости (SAT) 15:32 Теория сложности цепей 16:55 Барьер естественных доказательств 17:36 Метасложность 18:12 Проблема минимального размера схемы (MCSP) - ПОСЕТИТЕ наш сайт: - ПОСТАВЬТЕ нам НРАВИТСЯ на Facebook: - СЛЕДУЙТЕ за нами в Твиттере: Журнал Quanta — редакционно независимое издание, поддерживаемое Фондом Саймонса: