Информатика

Отказ от ответственности: я биолог, извините за (возможно) основной вопрос, сформулированный в таких грубых выражениях. Я не уверен, стоит ли мне задавать этот вопрос здесь или на DS / SC, но CS - самый большой из трех, так что здесь. (После того, как я написал, мне пришло в голову, что …

9 machine-learning  probability-theory 

Мы можем сформировать DFA, принимающий двоичные числа, делимые на nnn . Например, DFA, принимающий двоичные числа, делимые на 2, может быть сформирован следующим образом: Аналогично, DFA, принимающий двоичные числа, делимые на 3, может быть сформирован следующим образом: Мы можем следовать четко определенной процедуре для формирования этих типов DFA. Однако может …

9 regular-languages  automata  finite-automata  regular-expressions 

Мы иногда слышим: «Swift не выполняет классическую (отслеживание) GC, он использует ARC». Но я не уверен, что в семантике Swift есть что-то, что требует подсчета ссылок. Кажется, что можно использовать собственный компилятор Swift и среду выполнения, чтобы использовать трассировку GC. Так что же такое «счетчик ссылок» в Swift? Реализация Apple …

9 semantics  garbage-collection 

Предположим, у меня есть две функции FFF и GGG и я заинтересован в определении F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Предположим, что мои функции состоят из элементарных функций (полиномов, экспонент, логарифмов и тригонометрических функций), но не, скажем, из ряда Тейлора. Эта проблема разрешима? Если нет, то так ли это? (Я спрашиваю, потому …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Пусть входная строка будет задана как . Затем, если NFA в настоящее время находится в состоянии (и прочитал входной алфавит ), то перед чтением следующего входного символа NFA разделяется на два NFA, один из которых находится в состоянии а другой - в , если происходит переход тип . Если существует …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

Существует ли характеристика графов, множество ребер которых разлагается в несвязное объединение совершенных совпадений? Одним из тривиальных классов таких графов являются регулярные -двойственные графы. Их набор ребер разложится на непересекающихся идеальных совпадений. ( н , н ) дddd( н , н )(N,N)(n,n)ddd

9 graph-theory  graphs 

Я пытаюсь измерить много не избыточной (фактической) информации, содержащейся в моем файле. Некоторые называют это количеством энтропии. Конечно, существует стандарт p (x) log {p (x)}, но я думаю, что Шеннон рассматривал его только с точки зрения передачи по каналу. Следовательно, формула требует размер блока (скажем, в битах, обычно 8). Для …

9 entropy 

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

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

В алгоритме Уэлча-Берлекампа для декодирования кодов Рида-Соломона каждому дается список точек представляющих сообщение с ошибками на в неизвестных местах (и задается алгоритму). Выходными данными является полином, проходящий через все заданные точки, кроме тех, в которых произошли ошибки.(ai,bi)(ai,bi)(a_i, b_i)eeebibib_ieee Метод предполагает решение системы линейных уравнений вида biE(ai)=Q(ai)biE(ai)=Q(ai)b_i E(a_i) = Q(a_i) для …

9 algorithms  error-correcting-codes 

На странице википедии здесь довольно хорошо описан алгоритм CDCL (и, похоже, фотографии были взяты из слайдов, созданных Шарадом Маликом в Принстоне). Тем не менее, при описании того, как откатить все, что он говорит, это «до соответствующей точки». MiniSAT также использует вариант алгоритма CDCL, поэтому я прочитал эту статью, Похоже, они …

9 machine-learning  satisfiability  sat-solvers  backtracking 

Добрый вечер! На самом деле я прохожу стажировку в Национальном архиве Франции и столкнулся с ситуацией, которую хотел решить, используя графики ... I. Пыльная ситуация Мы хотим оптимизировать расположение книг моей библиотеки в соответствии с их высотой, чтобы минимизировать стоимость их архива. Высота и толщина книг известны. Мы уже расположили …

9 algorithms  graphs  optimization  packing 

Таким образом, существует алгоритм преобразования терминов лямбда-исчисления в комбинаторную логику с использованием комбинаторов SK. Это производит вещи, которые взрываются в размере. Я хотел бы знать больше об этом взрыве в размере. Однако я не могу придумать лучшего алгоритма. Я слышал, что функциональные языки практически компилируются в комбинаторы, поэтому кажется, что …

9 lambda-calculus  functional-programming  combinatory-logic 

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

9 turing-machines  finite-automata 

Я думаю об унарных языках LkLkL_k , где LkLkL_k - множество всех слов, длина которых равна сумме kkk квадратов. Формально: Легко показать, что L 1 = { a n 2 ∣ n ∈ N 0 } не является регулярным (например, с леммой Пампинга). Кроме того, мы знаем, что каждое натуральное …

9 formal-languages  regular-languages 

Я слышал несколько возможных объяснений, поэтому я хотел бы получить надежную ссылку. Обновление 05.19: Меня интересует этот вопрос, потому что один из моих студентов написал в своей диссертации, что название происходит от объяснения ниже (1). До сих пор я думал / слышал, что это происходит из объяснения (2). Я бы …

9 terminology  reference-request  history