Вопросы с тегом «big-list»

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

563 reference-request  big-list  ds.data-structures  functional-programming 

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

454 big-list  soft-question 

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

358 ds.algorithms  soft-question  ds.data-structures  big-list 

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

229 reference-request  soft-question  big-list  books 

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

218 big-list  open-problem 

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

140 soft-question  big-list 

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

128 cc.complexity-theory  np-hardness  big-list  np-intermediate 

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

113 reference-request  soft-question  big-list 

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

112 ds.algorithms  reference-request  big-list  lower-bounds 

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

99 reference-request  big-list  books 

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

90 soft-question  big-list  conferences 

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

80 reference-request  soft-question  big-list 

Пожалуйста, перечислите примеры, где теорема из математики, которая обычно не считалась применимой в информатике, была впервые использована для доказательства результата в информатике. Лучшими примерами являются те, где связь не была очевидной, но как только она была обнаружена, это, безусловно, «правильный путь» сделать это. Это противоположное направление вопроса Приложения ТКС к …

74 reference-request  soft-question  big-list  topology 

Я практикующий программист, и я пишу обзор алгебраических структур для личного исследования и пытаюсь привести примеры того, как эти структуры используются в теоретической информатике (и, в меньшей степени, в других областях компьютерных наук). , В рамках теории групп я встречал синтаксические моноиды для формальных языков и моноиды трассировки и истории …

67 reference-request  big-list  big-picture  algebra 

Какие алгоритмы законной полезности просто слишком сложны для реализации? Позвольте мне прояснить: я не ищу алгоритмы, такие как текущий асимптотический алгоритм оптимального умножения матриц (Coppersmith-Winograd), который разумно реализовать, но имеет константу, которая делает его бесполезным на практике. Я ищу алгоритмы, которые могли бы иметь практическую ценность, но настолько сложны для …

67 ds.algorithms  ds.data-structures  big-list  implementation