Информатика

Вкратце: как системы типов классифицируются в академическом контексте; в частности, где я могу найти авторитетные источники, в которых четко различаются различные типы систем типов? В некотором смысле, проблема в этом вопросе не в том, что я не могу найти ответ, а скорее в том, что я могу найти слишком много, …

23 reference-request  programming-languages  type-theory 

Кто-то, кого я знаю, планирует внедрить текстовый редактор в ближайшем будущем, что побудило меня задуматься о том, какие структуры данных бывают быстрыми для текстового редактора. Наиболее часто используемые конструкции - это, по-видимому, канаты или зазоры . Деревья Van Emde Boas - это почти самые быстрые очереди с приоритетами, если вы …

23 data-structures 

EPAL, язык четных палиндромов, определяется как язык, генерируемый следующей однозначной контекстно-свободной грамматикой: S→aaS→aaS \rightarrow a a S→bbS→bbS \rightarrow b b S→aSaS→aSaS \rightarrow a S a S→bSbS→bSbS \rightarrow b S b EPAL - это «проклятие» многих алгоритмов синтаксического анализа: мне еще не приходилось сталкиваться с каким-либо алгоритмом синтаксического анализа однозначных CFG, …

23 formal-languages  formal-grammars  parsers 

Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Эта проблема взята из интервьюstreet.com Нам дан массив целых чисел который представляет линейных сегментов, так что конечными точками сегмента являются и . Представьте, что от вершины …

23 algorithms  probability-theory 

Недавно я читал об алгоритмах проверки на сходство и читал, что проблема в P-полноте . Кроме того, следствием этого является то, что эта проблема или любая P-полная проблема вряд ли будут иметь эффективные параллельные алгоритмы. Какая интуиция стоит за этим последним утверждением?

23 complexity-theory  parallel-computing 

Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . «Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для всех возможных пар ввода программы не может существовать» Могу ли я найти …

23 computability  formal-methods  halting-problem  software-verification 

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

23 asymptotics  didactics 

Этот вопрос был перенесен из Математического стека Exchange, потому что на него можно ответить в Информатике стека Exchange. Мигрировал 3 года назад . Я пытался найти алгоритм, чтобы найти максимальное покрытие вершинных циклов ориентированного графа то есть набор непересекающихся циклов, которые содержат все вершины в G с максимально возможным количеством …

23 graph-theory  algorithms 

Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Migrated 7 лет назад . В этой статье в Википедии о проблеме Клика в теории графов вначале говорится, что проблема нахождения клики размера K в графе G является NP-полной: Клики также изучались …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Как следует из названия, на прошлых выходных я потратил пару часов, пытаясь обдумать класс языков, сопоставляемых с Perl-совместимыми регулярными выражениями, за исключением любого оператора сопоставления, который позволяет выполнять произвольный код внутри шаблона . Если вы не знаете, что такое PCRE, прочитайте это и это . Проблема в том, что ресурсы, …

23 formal-languages  regular-expressions 

Я ищу некоторые подсказки в вопросе, заданном моим инструктором. Итак, я только что выяснил, что это решение проблемы :Н Р - с о м п л е т еNP-complete\sf{NP\text{-}complete} На графе есть ли связующее дерево в которое содержит точный набор качестве листьев. Я понял, что мы можем доказать, что это …

23 complexity-theory  graphs  np-complete 

В радикальной сортировке мы сначала сортируем по наименьшей значащей цифре, затем сортируем по второй наименьшей значащей цифре и так далее и получаем отсортированный список. Теперь, если у нас есть список из чисел, нам нужно бит, чтобы различать эти числа. Таким образом, количество проходов сортировки по основанию будет . Каждый проход …

23 algorithms  sorting 

Когда Big O впервые использовался в информатике и когда он стал стандартом? На этой странице Википедии цитируются Кнут, Большой Омикрон, Большая Омега и Большая Тета , SIGACT, апрель-июнь 1976 года, но начало этой статьи гласит: Большинство из нас привыкли к идее использования обозначения для обозначения любой функции, величина которой ограничена …

22 asymptotics  history 

Я знаю, что в императивных языках программирования цикла while-do достаточно в качестве конструкции потока управления, чтобы сделать язык Тьюринга завершенным (что касается потока управления - конечно, нам также нужна неограниченная память и некоторые операторы ...) , Суть моего вопроса такова: имеет ли цикл do-while ту же вычислительную мощность, что и …

22 programming-languages  turing-completeness  loops  imperative-programming 

Для заданного взвешенного неориентированного графа G: Какие условия должны выполняться, чтобы для G было несколько минимальных остовных деревьев? Я знаю, что MST уникален, когда все веса различны, но вы не можете полностью изменить это утверждение. Если на графике есть несколько ребер с одинаковым весом, может быть несколько MST, но также …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree