Информатика

Нам дан массив со всеми a [ i ] > 0 .a [ 1 … n ]a[1…n]a[1 \ldots n]a [ i ] > 0a[i]>0a[i]>0 Теперь нам нужно найти сколько различных сумм могут быть сформирована из ее подрешеток (где подмассив представляет собой непрерывный диапазон массива, т.е. [ J ... K ] …

12 arrays  substrings  suffix-array 

Я не знаю, было ли это шуткой, но однажды я прочитал то, что упоминалось как формальное определение файла в системе управления версиями, такой как git, hg или svn. Это было что-то вроде математического объекта, такого как гомеоморфизм. Это была шутка или действительно теория информатики о системах управления версиями и математике …

12 terminology  reference-request 

Недавно я понял, что существует некоторая связь между теорией Расселла и системами типов, как, например, в Haskell. На самом деле, некоторые из обозначений типов в Хаскеле, похоже, имеют предшественники в теории типов. Но, IMHO, мотивация Рассела в 1908 году состояла в том, чтобы избежать парадокса Рассела, и я не уверен, …

12 programming-languages  type-theory 

Я пытаюсь решить эту проблему, и я действительно борюсь. Монотонная булева формула представляет собой формулу в логике высказываний , где все литералы являются положительными. Например, (x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) является монотонной булевой функцией С другой стороны, что-то вроде (x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)(x1∨x2∨x3)∧(¬x1∨x3)∧(¬x1∨x5)\qquad (x_1 …

12 complexity-theory  np-complete  satisfiability 

Почему преобразование Лапласа не популярно для свертки при обработке изображений? Большинство учебников конвертируют только преобразования Фурье.

12 history  image-processing 

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

12 algorithms  trees 

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

12 algorithms  computational-geometry  tiling 

Меняется ли сложность задачи с полной NP-сложностью или NP-полной (как, например, определено здесь ), когда ее вход является унарным, а не двоичным? Какая разница, если вход сильно NP-сложной задачи является унарным? Я имею в виду, если я возьму, к примеру, проблему рюкзака со слабой NP-полной, она является NP-полной при двоичном …

12 complexity-theory  time-complexity  np-complete 

Я понимаю, что контекстно-свободные грамматики могут использоваться для представления контекстно-свободных языков. Это может иметь неоднозначность. У нас также есть нормальные формы, такие как нормальная форма Хомского и Грейбаха . Я не мог понять необходимость этого. Почему они важны в теории языков? Все учебники, о которых я говорил, рассказывают об этих …

12 formal-languages  context-free  formal-grammars  normal-forms 

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

12 machine-learning 

У меня есть это очень простое «доказательство» для NP = CoNP, и я думаю, что где-то сделал что-то неправильно, но я не могу найти, что не так. Кто-нибудь может мне помочь? Пусть A - некоторая проблема в NP, и пусть M - решающий фактор для A. Пусть B - дополнение, …

12 complexity-theory  p-vs-np  check-my-proof  np 

Скажем, L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^* . Тогда как мы можем доказать, что L∗L∗L^* регулярно? Если LLL регулярно, то, конечно, L∗L∗L^* также регулярно. Если LLL конечно, то оно регулярно и снова L∗L∗L^* регулярно. Также я заметил, что для L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p \text{ is a …

12 formal-languages  regular-languages 

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

12 terminology  compilers  functional-programming 

Итак, я знаю, что проверка того, является ли обычный язык рRR подмножеством обычного языка SSS , разрешима, поскольку мы можем преобразовать их оба в DFA, вычислить R ∩ S¯R∩S¯R \cap \bar{S} , а затем проверить, является ли этот язык пустым. Однако, поскольку это требует преобразования в DFA, возможно, что DFA …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Говорят, что теория вычислимости также называется теорией рекурсии. Почему это так называется? Почему рекурсия имеет такое большое значение?

12 computability  terminology  history