Самая большая головоломка в информатике: P против NP скачать в хорошем качестве

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

Есть ли пределы возможностей компьютеров? Насколько сложна задача, слишком сложная для вычислений? Вопрос о том, насколько сложно решить задачу, лежит в основе важной области компьютерной науки, называемой вычислительной сложностью. Теоретики вычислительной сложности хотят знать, какие задачи практически решаемы с помощью хитроумных алгоритмов, а какие действительно трудно, возможно, даже практически невозможно, решить компьютерам. Эта сложность лежит в основе так называемой проблемы P против NP, одного из самых сложных и важных вопросов во всей математике и науке. Это видео охватывает широкий круг тем, включая: историю компьютерной науки, как транзисторные электронные компьютеры решают задачи, используя булевы логические операции и алгоритмы, что такое машина Тьюринга, различные классы задач, сложность схем и развивающуюся область метасложности, в которой исследователи изучают самореферентную природу вопросов сложности. Представляем учёного-компьютерщика Скотта Ааронсона (прим. ред.: он также является членом совета директоров журнала Quanta). Посетите его блог: https://scottaaronson.blog/ Читайте сопутствующую статью о метасложности в журнале Quanta: https://www.quantamagazine.org/comple... 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) ПОСЕТИТЕ наш сайт: https://www.quantamagazine.org Подпишитесь на нас в Facebook:   / quantanews   Подпишитесь на нас в Twitter:   / quantamagazine   Quanta Magazine — независимое издание, поддерживаемое Фондом Саймонса: https://www.simonsfoundation.org/