Теоретическая информатика

Со времени выхода книги Криса Окасаки «Чисто функциональные структуры данных» 1998 года я не видел слишком много новых интересных чисто функциональных структур данных; Я могу назвать только несколько: IntMap (также изобретен Окасаки в 1998 году, но не представлен в этой книге) Пальцевые деревья (и...

Этот вопрос (вдохновленный) / (позорно украденный) похож на вопрос в MathOverflow , но я ожидаю, что ответы здесь будут совсем другими. У всех нас есть любимые статьи в наших соответствующих областях теории. Время от времени каждый находит бумагу настолько поразительной (например, важной,...

Пол Эрдос говорил о «Книге», где Бог хранит самое элегантное доказательство каждой математической теоремы. Это даже вдохновило книгу (которая, я думаю, теперь в ее 4-м издании): Доказательства из Книги . Если бы у Бога была подобная книга для алгоритмов, какой алгоритм (ы), как вы думаете, был бы...

Чтобы продемонстрировать важность алгоритмов (например, для студентов и преподавателей, которые не занимаются теорией или даже из совершенно разных областей), иногда полезно иметь под рукой список примеров, где основные алгоритмы были развернуты в коммерческих, государственных и или широко...

Я пересматривал Теорию вычислений для забавы, и этот вопрос меня мучил некоторое время (забавно, никогда не думал об этом, когда я изучал Теорию автоматов в моем старшекурснике). Итак, «почему» мы точно изучаем детерминированные и недетерминированные конечные автоматы (DFA / NFAs)? Итак, вот...

Норберт Блум недавно опубликовал 38-страничное доказательство того, что . Это правильно?п≠ NпP≠NPP \ne NP Также по теме: где еще (в интернете) обсуждается его правильность? Примечание: фокус этого текста вопроса со временем изменился. Смотрите вопрос комментарии для...

[ Хронология ] Этот вопрос имеет тот же дух, что и газеты должны читать все, и какие видео должны смотреть все . Он просит замечательных книг в различных областях теоретической информатики. Книги могут быть ориентированы на математику, но вы можете найти это замечательно для компьютерного ученого....

Википедия перечислены только две проблемы под «нерешенных проблем в области информатики» : P = NP? Существование односторонних функций Какие еще основные проблемы следует добавить в этот список? Правила: Только одна проблема в ответе Предоставьте краткое описание и любые соответствующие ссылки...

У Стэнфордского университета теперь есть канал на Youtube с бесплатным доступом к HD-видео с полным курсом по всем вопросам, от динамических систем до квантовой запутанности. Больше конференций и семинаров снимают на видео свои выступления. Какие видео онлайн, о которых вы думаете, все должны...

Предположим, Марио ходит по поверхности планеты. Если он начнет идти из известного места в определенном направлении на заранее определенное расстояние, как быстро мы сможем определить, где он остановится? PPPsssPPPvvvpppℓℓ\ellPPPPPP PPPsssvvvℓℓ\ell PPPO(1)O(1)O(1)ℓℓ\ellPPP (На практике длина пути...

Факторинг и изоморфизм графов - это проблемы в NP, которые, как известно, не находятся в P и не являются NP-полными. Каковы некоторые другие (достаточно разные) естественные проблемы, которые разделяют это свойство? Искусственные примеры, полученные непосредственно из доказательства теоремы...

После прочтения Daniel Apon в вопрос , я начал думать , что это может быть полезно (особенно для молодых ученых и аспирантов , как я) , чтобы задать более широкий и более общий вопрос таким образом , мы можем извлечь из опыта более старших исследователей. Итак, вот вопрос: Какие практики вы нашли...

Перестановка двух строк формируется путем встраивания символов в новую строку, сохраняя символы каждой строки в порядке. Например, MISSISSIPPIэто перетасовка MISIPPи SSISI. Позвольте мне назвать строковый квадрат, если это тасование двух одинаковых строк. Например, ABCABDCDквадратный, потому что...

Там было несколько вопросов с той же схемой, что и этот: Какие документы должен прочитать каждый Какие книги должен прочитать каждый Каковы последние книги TCS, проекты которых доступны онлайн какие видео должны смотреть все Я не хотел публиковать еще один, но конспект лекций Джеффа Эриксона об...

Теоретическая информатика предоставила несколько примеров «цены абстракции». Два самых выдающихся из них - это устранение и сортировка по Гауссу. А именно: Известно, что исключение Гаусса является оптимальным для, скажем, вычисления определителя, если вы ограничиваете операции строками и столбцами...

Я изучил несколько частей теории категорий. Это, безусловно, другой взгляд на вещи. (Очень грубое резюме для тех, кто этого не видел: теория категорий дает способы выражения всех видов математического поведения исключительно в терминах функциональных отношений между объектами. Например, такие вещи,...

После публикации « Что должны читать все книги» я заметил, что есть недавние книги, черновики которых доступны в Интернете. Например, в статье « Алгоритмы аппроксимации» вышеприведенного поста цитируется книга 2011 года (еще не опубликованная) под названием «Разработка алгоритмов аппроксимации» . Я...

В последние годы было разработано множество алгоритмов поиска путей, которые могут вычислять лучший путь в ответ на изменения графика гораздо быстрее, чем A * - что это такое и чем они отличаются? Они для разных ситуаций, или некоторые устаревшие? Это те, которые я смог найти до сих пор: Д * (1994)...

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

Я хотел бы попросить помощи в составлении списка как можно большего количества конференций и семинаров, связанных с TCS. Моя главная мотивация для этого состоит в том, чтобы планировать возможное освещение в блоге более теоретических мест - поиск корреспондентов, посещающих эти мероприятия, которые...