Информатика

При наличии не зависящей от контекста грамматики G существует недетерминированный автомат Pushdown N, который принимает именно тот язык, который принимает G. (и наоборот) Там может также существовать детерминированный магазинный автомат D , который принимает именно язык G принимает слишком. Это зависит от грамматики. По какому алгоритму на произведениях G мы …

22 automata  context-free  pushdown-automata 

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

22 computability  approximation  data-compression  kolmogorov-complexity 

Задание формальных языков с помощью формальных грамматик является частой задачей: нам нужны грамматики не только для описания языков, но также для их анализа или даже для правильной науки . Во всех случаях важно, чтобы грамматика под рукой была правильной , то есть генерировала именно нужные слова. Мы часто можем спорить …

22 formal-languages  formal-grammars  proof-techniques  reference-question 

Машина Тьюринга, которая возвращается в ранее обнаруженное состояние со своей головкой чтения / записи в той же ячейке той же самой ленты, будет зациклена. Такая машина не останавливается. Может ли кто-нибудь привести пример никогда не останавливавшейся машины, которая не зацикливается?

22 computability  turing-machines  halting-problem 

Есть ли какой-нибудь "естественный" язык, который неразрешим? под «естественным» я подразумеваю язык, определяемый непосредственно свойствами строк, а не с помощью машин и их эквивалентов. Другими словами, если язык выглядит как где - это ТМ, DFA (или регулярное выражение), КПК (или грамматика) и т. Д., То это не естественно. Однако , …

22 formal-languages  automata  computability  undecidability 

Пусть G=(V,E)G=(V,E)G=(V,E) некоторый полный взвешенный неориентированный граф. Построим второй граф G′=(V,E′)G′=(V,E′)G'=(V, E') , добавив ребра одно за другим из в . Добавим края дляEEEE′E′E'Θ(|V|)Θ(|V|)\Theta(|V|)G′G′G' всего. Каждый раз, когда мы добавляем одно ребро (u,v)(u,v)(u,v) к E′E′E' , мы рассматриваем кратчайшие расстояния между всеми парами в (V,E′)(V,E′)(V, E') и (V,E′∪{(u,v)})(V,E′∪{(u,v)})(V, E' \cup …

22 algorithms  graphs  graph-theory  shortest-path 

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

22 algorithms  randomized-algorithms  sorting 

Этот вопрос был перенесен из теоретического обмена стеков информатики, поскольку на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . Я ищу математические теории, которые имеют дело с описанием формальных языков (набор строк) в целом, а не только грамматических иерархий.

22 formal-languages  formal-grammars 

Было много ажиотажа по поводу JIT-компиляторов для таких языков, как Java, Ruby и Python. Чем JIT-компиляторы отличаются от компиляторов C / C ++ и почему компиляторы, написанные для Java, Ruby или Python, называются JIT-компиляторами, а компиляторы C / C ++ просто называются компиляторами?

22 compilers 

В предыдущем вопросе было определение деревьев с балансом веса и вопрос, касающийся красно-черных деревьев. Этот вопрос, чтобы задать тот же вопрос, но для деревьев AVL . Вопрос в том, что, учитывая определение μμ\mu сбалансированных деревьев, как в другом вопросе, Существует ли такое μ>0μ>0\mu \gt 0 , чтобы все достаточно большие …

22 data-structures  binary-trees  search-trees  balanced-search-trees  avl-trees 

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

22 data-structures  machine-learning 

Предположим , что . N P I - класс задач в N P, которых нет ни в P, ни в N P -твердых. Вы можете найти список проблем предположительно N P I здесь .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Теорема Ладнера говорит нам, что если то существует бесконечная иерархия задач N P I …

22 complexity-theory  np-hard 

Согласно этой странице , алгоритм Дейкстры - это просто BFS с очередью приоритетов. Неужели это так просто? Думаю, нет.

22 algorithms  graphs  shortest-path 

Исходный алфавит: { а , б , в , д, е , е}{a,b,c,d,e,f}\{a, b, c, d, e, f\} Кодовый алфавит: { 0 , 1 }{0,1}\{0, 1\} а : 0101a:0101a\colon 0101 б : 1001b:1001b\colon 1001 с : 10c:10c\colon 10 d: 000d:000d\colon 000 е : 11e:11e\colon 11 е: 100f:100f\colon 100 Я думал, …

21 encoding-scheme 

Так что я понимаю идею, что решение проблемы определяется как Есть ли путь P такой, что стоимость ниже, чем C? и вы можете легко проверить это, проверив полученный вами путь. Однако что, если нет пути, который соответствует этим критериям? Как бы вы проверили ответ «нет», не решив проблему TSP с …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman