Информатика

Предположим, что у нас есть множество DDD и каждый член DDD является парой данных и ключей. Нам нужна структура данных, которая бы поддерживала следующие операции: Вставьте (d,k)(d,k)(d,k) в DDD , Удалить член eee (не нужно искать, чтобы найти eee , например, eee указывает на члена в DDD ), MostFrequent, который …

14 algorithms  data-structures  abstract-data-types 

Классическое приложение «разделяй и властвуй» заключается в решении следующей проблемы: Учитывая массив различных сопоставимых элементов, подсчитайте количество пар инверсии в массиве: пар ( i , j ), таких что a [ i ] > a [ j ] и i < j .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Один из …

14 algorithms  reference-request  arrays 

Я пытаюсь научить себя использованию зубров. На странице man bison (1) говорится о зубре: Создайте детерминированный LR или обобщенный анализатор LR (GLR) с использованием таблиц LALR (1), IELR (1) или канонических LR (1). Что такое IELR-парсер? Все соответствующие статьи, которые я нашел во всемирной паутине, оплачиваются.

14 formal-languages  terminology  formal-grammars  parsers 

У меня есть ряд связанных вопросов по этим двум темам. Во- первых, большинство текстов сложности только замазывать класс NCNC\mathbb{NC} . Есть ли хороший ресурс, который более подробно освещает исследования? Например, то, что обсуждает все мои вопросы ниже. Кроме того, я предполагаю, что NCNC\mathbb{NC} все еще видит значительный объем исследований из-за …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

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

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Интересно, почему следующий язык находится в ?RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} (Я знаю, что это в так …

14 computability  undecidability 

Учитывая массив из целых чисел, каждый элемент в массиве может быть увеличен на фиксированное число с некоторой вероятностью , . Я должен найти ожидаемое количество перестановок, которые будут иметь место для сортировки массива с помощью пузырьковой сортировки .AAANNNbbbp[i]p[i]p[i]0≤i&lt;n0≤i&lt;n0 \leq i < n Я пробовал следующее: Вероятность для элемента для может …

14 algorithms  algorithm-analysis  sorting  average-case 

Согласно статье в Википедии , L в означает «сканирование слева направо», а «R» означает «крайний правый вывод». Однако в оригинальной статье Кнута по грамматике L R ( k ) он определяет язык L R ( k ) (на стр. 610) как язык, который «переводим слева направо с ограничением k ».L …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

У меня есть эти вопросы из старого экзамена, который я пытаюсь решить. Для каждой задачи, вход является кодирование некоторой машины Тьюринга MMM . Для целого числа c&gt;1c&gt;1c>1 и следующих трех задач: Правда ли, что для каждого входа xxx M не передает |x|+c|x|+c|x|+c позиции при работе на xxx ? Верно ли, …

14 computability  turing-machines  undecidability 

Если граф GGG связен и не имеет пути длиной больше kkk , докажите, что каждые два пути в GGG длины kkk имеют хотя бы одну общую вершину. Я думаю, что эта общая вершина должна быть в середине обоих путей. Потому что, если это не так, то мы можем иметь путь …

14 graph-theory  graphs  combinatorics 

Здесь известная проблема. Для массива A[1…n]A[1…n]A[1\dots n] натуральных чисел выведите наименьшее натуральное число, которого нет в массиве. Проблема может быть решена в O(n)O(n)O(n) пространстве и времени: прочитать массив, отслеживать в O(n)O(n)O(n) пространстве, произошло ли 1,2,…,n+11,2,…,n+11,2,\dots,n+1 , отсканировать наименьший элемент. Я заметил, что вы можете обменять пространство на время. Если у …

14 complexity-theory  time-complexity  space-complexity 

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

14 complexity-theory  np-complete  reductions  linear-programming 

Я пытаюсь решить следующую проблему покрытия. Есть передатчиков с зоной покрытия 1 км и n приемников. Определите в O ( n log n ), что все приемники охвачены любым передатчиком. Все приемники и передатчики представлены своими координатами x и y .NNnNNnO ( n logн )О(Nжурнал⁡N)O(n\log n)ИксИксxYYy Самое продвинутое решение, которое …

14 algorithms  computational-geometry  search-problem 

Какие устройства и их соединения используются вместе с квантовыми процессорами? Совместимы ли они с аппаратными устройствами, такими как кэш-память, оперативная память, диски современных компьютеров?

14 computer-architecture  quantum-computing 

В большинстве учебных пособий по лямбда-исчислению приводится пример, в котором положительные целые и логические значения могут быть представлены функциями. Как насчет -1 и я?

14 data-structures  lambda-calculus  integers  real-numbers