Информатика

Вот гипотеза для регулярных выражений: Для регулярного выражения пусть длина | R | быть количеством символов в нем, игнорируя скобки и операторы. Например | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2ррR| R ||р||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|знак равно|(0∪1)*|знак равно2|0 …

25 formal-languages  regular-languages  regular-expressions 

Я ищу структуру данных, которая поддерживает эффективный приблизительный поиск ключей (например, расстояние Левенштейна для строк), возвращая максимально возможное совпадение для клавиши ввода. Наилучшей структурой данных, которую я нашел до сих пор, являются деревья Буркхарда-Келлера , но мне было интересно, существуют ли другие / лучшие структуры данных для этой цели. Изменить: …

25 data-structures  strings  efficiency 

Какой-то парень сказал следующее: Любой, кто пытается генерировать случайные числа детерминистскими средствами, конечно же, живет в состоянии греха. Это всегда означает, что вы не можете генерировать истинные случайные числа только с помощью компьютера. И он сказал, что когда компьютеры были эквивалентны размеру одного микропроцессора Intel 8080 (~ 6000 клапанов). Компьютеры …

25 randomness  data-compression  entropy  random-number-generator 

Я не совсем понимаю, почему при ротации в структуре данных Splay Tree учитывается не только родительский узел рейтингового узла, но и прародитель (операция zig-zag и zig-zig). Почему следующее не работает: Когда мы вставляем, например, новый узел в дерево, мы проверяем, вставляем ли мы в левое или правое поддерево. Если мы …

25 algorithms  data-structures  binary-trees  search-trees 

Моя проблема в том, как я могу доказать, что грамматика однозначна? У меня есть следующие грамматики: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Мне интересно, есть ли какие-либо эксперименты, которые показывают существование или отсутствие корреляции между использованием динамического языка (такого как Python, Ruby, или даже языков, которые работают на платформе Java, таких как Groovy, Clojure) над статический язык (например, C / C ++) и разница в производительности.

25 programming-languages  empirical-research  software-engineering 

Очевидно, что в NP нет неразрешимых проблем. Однако, согласно Википедии : NP - это совокупность всех задач решения, для которых в случаях, когда ответ «да», есть [... доказательства, которые] проверяются за полиномиальное время с помощью детерминированной машины Тьюринга. [...] Говорят, что проблема в NP, если и только если существует верификатор …

25 complexity-theory  computability  undecidability  decision-problem 

Я ищу алгоритм для распределения значений из списка, чтобы результирующий список был как можно более «сбалансированным» или «равномерно распределенным» (в кавычках, потому что я не уверен, что это лучший способ описать его ... позже я предоставлю способ измерить, если результат лучше, чем другие). Итак, для списка: [1, 1, 2, 2, …

25 algorithms  optimization  sorting  approximation 

Одним из гиперпараметров для сетей LSTM является температура. Что это такое?

25 machine-learning  neural-networks 

Если бы кто-то создал универсальный квантовый компьютер, это имело бы какое-то значение для проблемы P против NP?

25 complexity-theory  complexity-classes  quantum-computing 

Предполагая, что P NP, NP-полные проблемы «трудно решить, но есть ответы, которые легко проверить». Имеет ли смысл рассматривать противоположные, то есть проблемы, для которых легко вычислить правильный ответ, но трудно проверить произвольное предполагаемое решение?≠≠\neq Я думаю, что такая проблема подразумевает либо: Экспоненциально много «правильных» ответов для любого заданного входа, потому …

25 complexity-theory 

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

24 algorithms  parallel-computing 

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

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

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

24 graphs  graph-theory  spanning-trees 

Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка. Давайте возьмем два примера: Если сегодня понедельник, то завтра вторник. Это верно . Но если мы скажем: Если …

24 terminology  logic  first-order-logic  propositional-logic