Информатика

Я читал в Википедии и некоторых других текстах, которые Проблема остановки [...] разрешима для линейных ограниченных автоматов (LBA) [и] детерминированных машин с конечной памятью. Но ранее было написано, что проблема остановки - неразрешимая проблема, и поэтому TM не может ее решить! Так как LBA определены как тип TM, разве это …

13 turing-machines  automata  undecidability  halting-problem  linear-bounded-automata 

Общеизвестно, что «корреляция не равна причинности», но машинное обучение, кажется, почти полностью основано на корреляции. Я работаю над системой оценки успеваемости учащихся по вопросам, основанным на их прошлых выступлениях. В отличие от других задач, таких как поиск в Google, это не похоже на систему, в которую легко играть, поэтому причинно-следственная …

13 machine-learning  statistics 

Предположим , P≠NPP≠NPP\neq NP . Что мы можем сказать о границах выполнения всех NP-полных задач? т. е. каковы наиболее узкие функции L,U:N→NL,U:N→NL,U:\mathbb{N}\to\mathbb{N} для которых мы можем гарантировать, что оптимальный алгоритм для любой NP-полной задачи выполняется во времени, по крайней мере, ω(L(n))ω(L(n))\omega(L(n)) и не более чем o(U(n))o(U(n))o(U(n)) на входе длины nnn …

13 complexity-theory  time-complexity  np-complete  p-vs-np 

Я читал статью Википедии о сложности Колмогорова ( благодаря этому вопросу ), в которой говорится: Можно показать, что колмогоровская сложность любой строки не может быть более чем на несколько байтов больше, чем длина самой строки. Зачем вам когда-либо что-то большее, чем сама строка, чтобы описать это?

13 kolmogorov-complexity 

Я хотел бы привести пример квин в чистом лямбда-исчислении . Я был довольно удивлен, что я не мог найти один, прибегая к помощи. На странице квин есть списки квин для многих «настоящих» языков, но не для лямбда-исчисления. Конечно, это означает определение того, что я имею в виду под квинем в …

13 lambda-calculus 

Функциональное программирование имеет очень элегантное Lambda Calculus и его варианты в качестве теории резервного копирования. Есть ли такая вещь для ООП? Что такое абстракция для объектно-ориентированной модели?

13 terminology  lambda-calculus  functional-programming  object-oriented 

Я ищу эффективный алгоритм для следующей задачи или доказательства NP-твердости. Пусть Σ - множество, а A ⊆ P ( Σ ) - множество подмножеств Σ . Найдите последовательность w ∈ Σ ∗ наименьшей длины, такую, что для каждого L ∈ A найдется такое k ∈ N , что { w …

13 algorithms  formal-languages  encoding-scheme 

Используя следующий рекурсивный алгоритм Фибоначчи: def fib(n): if n==0: return 0 elif n==1 return 1 return (fib(n-1)+fib(n-2)) Если я введу число 5, чтобы найти fib (5), я знаю, что это выведет 5, но как мне проверить сложность этого алгоритма? Как рассчитать соответствующие шаги?

13 algorithms  time-complexity  recursion 

Есть ли какой-нибудь естественный или заметный способ связать или связать математические группы и формальные языки CS или какую-то другую основную концепцию CS, например машины Тьюринга? Я ищу ссылки / приложения. Однако обратите внимание, что я знаю о связи между полугруппами и языками CS (а именно через конечные автоматы ). (Эта …

13 formal-languages  reference-request  automata  discrete-mathematics  group-theory 

Я читал о различиях между сериализуемостью и линеаризуемостью , которые являются критериями согласованности для реплицируемых систем, таких как реплицируемые базы данных. Однако я не знаю, в каких случаях потребуется линеаризуемость, даже если она сильнее, чем сериализуемость. Не могли бы вы придумать сценарии, где такое сильное свойство действительно было бы необходимо?

13 concurrency  databases 

Пусть язык L ⊆ Σ ∗L⊆Σ∗\mathcal{L} \subseteq \Sigma^* регулярный. Факторизация LL\mathcal{L} - это максимальная пара ( X , Y )(X,Y)(X,Y) наборов слов с X ⋅ Y ⊆ LX⋅Y⊆LX \cdot Y \subseteq \mathcal{L} X ≠ ∅ ≠ YX≠∅≠YX \neq \emptyset \neq Y , где X ⋅ Y = { x yX⋅Y={xyX …

13 algorithms  regular-languages  optimization 

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

13 compilers  parsing 

Есть бункеров, то я й бин содержит я шары. Шары имеют п цветы, есть а я шары цвета я . Пусть m = ∑ n i = 1 a i .NNnяяiaяaяa_iNNnaяaяa_iяяiм = ∑Nя = 1aямзнак равноΣязнак равно1Naяm=\sum_{i=1}^n a_i Обмен - это взять мяч из одной корзины и поменять мяч из …

13 algorithms  complexity-theory  balls-and-bins 

Я пытаюсь понять, что подразумевается под «детерминистическим» в выражениях, таких как «детерминистическая контекстно-свободная грамматика». (Есть более детерминированные «вещи» в этой области). Я был бы признателен за пример более, чем самое сложное объяснение! Если возможно. Мой основной источник путаницы - неспособность понять, чем это свойство грамматики отличается от (не) двусмысленности. Самое …

13 context-free  formal-grammars  parsers 

Функция максимального сдвига занятого бобра имеет известные значения для n ≤ 4 . Есть ли какая-то основная, структурная причина, по которой немыслимо, что мы когда-нибудь найдем S ( n ) для n > 4 ? Что такого отличного в n = 4 от n = 5 ? Или n = …

13 computability  busy-beaver