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

Q & A для теоретических компьютерных ученых и исследователей в смежных областях

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

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

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

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

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

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

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

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

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

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

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

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

11
Как тяжело расставлять строки?
Перестановка двух строк формируется путем встраивания символов в новую строку, сохраняя символы каждой строки в порядке. Например, MISSISSIPPIэто перетасовка MISIPPи SSISI. Позвольте мне назвать строковый квадрат, если это тасование двух одинаковых строк. Например, ABCABDCDквадратный, потому что это перетасовка ABCDи ABCD, но строка ABCDDCBAне квадрат. Существует ли быстрый алгоритм для определения ...

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

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

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.