Информатика

Я реализую Наивный алгоритм Байеса для категоризации текста с лапласовским сглаживанием. У меня проблема в том, что вероятность приближается к нулю, потому что я умножаю много маленьких дробей. Следовательно, вероятность в конечном итоге дает ноль. Это потому, что в документах и ​​учебных наборах есть несколько слов. Из-за этого я не …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Я написал этот код на Python и подумал, а может ли он просто не завершиться (при условии, что у нас было бесконечное количество памяти / времени и нет предела глубины рекурсии). Интуитивно вы думаете, что он заканчивается, поскольку в какой-то момент вам повезет , а если он не закончится, у …

10 trees  probability-theory  termination 

Из этой ссылки: Строгий позитив Строгое условие позитивности исключает такие объявления, как data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Почему А отрицательный? Также почему Б разрешено? Я понимаю, почему C …

10 type-theory  inductive-datatypes 

Я пытался выяснить, разрешима ли проблема остановки для трехмерных одномерных клеточных автоматов. Определение Пусть обозначает конфигурацию системы на временном шаге i . Более формально f : A ∗ × N → A ∗ , где A - алфавит.е( ш , я )f(w,i)f(w,i)яiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Определение. Сотовый автомат остановился в …

10 computability  decision-problem  halting-problem  cellular-automata 

Self Types - это расширение исчисления конструкций [1], которое позволяет языку выражать алгебраические типы данных, закодированные с помощью кодировки Скотта. Кодирование Скотта предоставляет возможность сопоставления с образцом O(1), что является одним из основных мотиваторов для включения индуктивных определений в CC. Тем не менее, Self Types создают гораздо более простую и …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

Отказ от ответственности: я знаю, что есть похожие вопросы уже здесь и на Stackoverflow. Но они все о столкновениях, о которых я не прошу. Мой вопрос: почему столкновительный меньше LookUp O(1)в первую очередь? Давайте предположим, что у меня есть эта хеш-таблица: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 …

10 complexity-theory  hash  hash-tables  performance 

Я учусь конвертировать NFA в DFA и хочу убедиться, что все делаю правильно. Очевидно, что возвращение в другом направлении - это не вещь. Кто-нибудь знает алгоритм проверки, что DFA эквивалентен NFA?

10 automata  finite-automata  proof-techniques  nondeterminism 

Если P=NPP=NP\mathbf{P} = \mathbf{NP} , то есть L=NLL=NL\mathbf{L} = \mathbf{NL} ? Я задаю этот вопрос, потому что для других недетерминированных классов кажется, что P=NPP=NP\mathbf{P} = \mathbf{NP} всегда устанавливает, что они равны своим детерминированным аналогам.

10 complexity-theory  p-vs-np 

Для заданного набора точек и радиуса . Что представляет собой сложность поиска точки с большим числом точек на расстоянии, меньшем, чем . Например, тот, который максимизирует ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Алгоритм грубой силы будет проходить через каждую точку и подсчитывать количество точек, которые находятся …

10 algorithms  complexity-theory  computational-geometry 

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

10 complexity-theory  np-hard  np  np-intermediate 

Это, вероятно , глупая мысль, но предположим , что у нас есть компьютер , который запрограммирован для выполнения бесконечную последовательность расчетов и предположим , что расчет занимает 1 / 2 я секунд. Тогда этот компьютер может выполнять бесконечное количество вычислений за конечное время.ithithi^\text{th}1/2i1/2i1/2^i Почему это невозможно? Существует ли нижняя граница …

10 computability  computation-models 

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

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

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

10 type-theory  applied-theory 

Я читал «Операционные системы» Гальвина и натолкнулся на следующую строчку: Однако не все небезопасные государства находятся в тупике. Небезопасное состояние может привести к тупику Может кто-нибудь объяснить, пожалуйста, как тупик! = Небезопасное состояние? Я также поймал ту же самую линию здесь Если безопасной последовательности не существует, то система находится в …

10 operating-systems  deadlocks 

После прочтения достижений Google Deepmind в играх Atari , я пытаюсь понять q-learning и q-network, но я немного запутался. Путаница возникает в концепции дисконтного фактора. Краткое резюме того, что я понимаю. Глубокая сверточная нейронная сеть используется для оценки значения оптимального ожидаемого значения действия. Сеть должна минимизировать функцию потерь где равно …

10 artificial-intelligence  neural-networks  reinforcement-learning