Вопросы с тегом «survey»

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

61 reference-request  ho.history-overview  topology  survey 

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

55 proofs  survey  examples 

В настоящее время я пишу обзор теорем иерархии на TCS. В поисках соответствующих статей я заметил, что иерархия является фундаментальной концепцией не только в TCS и математике, но и во многих науках, от теологии и социологии до биологии и химии. Видя, что объем информации огромен, я надеюсь, что смогу попросить …

42 cc.complexity-theory  reference-request  big-list  survey 

Кажется, что теория геометрической сложности требует больших знаний математики, таких как алгебраическая геометрия, теория представлений. Хотя я учусь на CS и не занимаюсь классами очень абстрактной и чистой математики, мне интересна эта программа. Есть ли список «минимальных знаний» для изучения этой теории? Этот список включает в себя конспекты лекций CS …

38 reference-request  big-list  survey  gct 

О каких недостающих темах в Википедии вы бы хотели, чтобы там была статья? Это могут быть вопиющие упущения или просто темы, которые, по вашему мнению, должны иметь статью. Одна тема на ответ, пожалуйста, чтобы можно было проголосовать за наиболее разыскиваемых. Обновление 5/2/2017 : Шучи Чавла возглавляет усилия по улучшению охвата …

26 soft-question  big-list  survey 

Я ищу книгу о продвинутых структурах данных, которая выходит за рамки того, что описано в стандартных учебниках, таких как Cormen, Leiserson, Rivest и Stein "Введение в алгоритмы". Книга, которую можно использовать для преподавания курса для выпускников по продвинутым структурам данных, таким как курс Advanced Data Structures Эрика Демайна и MIT …

24 soft-question  ds.data-structures  survey  books 

Прогнозировать фондовый рынок сложно! Может ли TCS сделать это мнение более формальным? Недавно я начал немного думать о финансах, и мне было интересно, как знание TCS может помочь. Хедж-фонды и инвестиционные фирмы, кажется, все время используют алгоритмическую торговлю, машинное обучение и ИИ, но результатов TCS, похоже, немного. В частности, я …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

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

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

Было бы неплохо собрать список условий, которые подразумевают, что язык L без контекста является регулярным, то есть условия вида: «если данный CFG / PDA имеет свойство P, то его языки являются регулярными» Свойство P не должно характеризовать CFG, генерирующие регулярные языки. Кроме того, P не должен быть разрешимым, и P …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

Пусть - булева функция с чувствительностью s ( f ) и чувствительностью блока b s ( f ) .еffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) Гипотеза о чувствительности блока чувствительности утверждает, что существует такое , что ∀ f , b s ( f ) ≤ s ( f ) c .с …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

Есть ли обзор (из бумаги, главы книги, учебника, ссылок, ...) семантики различных функций языка программирования? Первоначально я был поражен возможностями D здесь http://www.digitalmars.com/d/2.0/comparison.html Я хотел бы посмотреть, что я мог бы получить отсюда, хотя я задал похожий вопрос по stackoverflow и понимаю, что эти два сайта имеют разные перспективы. Очень …

12 reference-request  pl.programming-languages  survey 

Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы порекомендовать какие-либо книги или …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Я ищу ресурсы (желательно справочник) по сложным темам в алгоритмах (темам, выходящим за рамки учебников по алгоритмам, таким как CLRS и DPV). Тип материала, который можно использовать для преподавания таких тем в курсе алгоритмов, как курс Эрика Демейна и Дэвида Каргера « Расширенные алгоритмы» . Ресурсы, которые дают обзор области …

11 ds.algorithms  reference-request  survey  books 

К настоящему времени имеется множество результатов по разделителям в графах, от плоского разделителя, разделителя деревьев, ограниченных графов ширины дерева, ограниченного рода родов и т. Д., И т. Д., И т. Д., И т. Д. Есть ли какой-нибудь хороший обновленный обзор по этому поводу и их применениям?

11 reference-request  graph-algorithms  survey 

Существуют ли конкретные (или богатые источники) примеры применения -адических чисел в информатике?пpp

11 survey