Информатика

Я читал в Википедии, что объединение - это процесс решения проблемы выполнимости. В то же время я знаю, что такие решатели называются «решателями SAT» или «решателями SMT». Так это разные имена для одного и того же? Если вы говорите, что они разные, пожалуйста, укажите на недостатки в моем лечении.

10 terminology  sat-solvers  unification 

Означает ли принятие, что ТМ будет читать и распознавать символ из ячейки, с которой он в данный момент читает? И это тот случай, когда ТМ останавливается, если вход разрешим?

10 terminology  turing-machines  undecidability 

Как доказать, что ожидаемая высота случайно построенного бинарного дерева поиска с узлами составляет ? В CLRS Введение в алгоритмы есть доказательство (глава 12.4), но я его не понимаю.O ( log n )nnnO(logn)O(log⁡n)O(\log n)

10 data-structures  algorithm-analysis  binary-trees  search-trees  average-case 

Я ищу специальность в теоретической информатике; в частности, меня интересуют теория сложности и теория вероятностных автоматов. Когда я заканчиваю учебу в течение одного года, какие продвинутые курсы по математике (например, теория Галуа или гармонический анализ), по вашему мнению, было бы полезно взять на следующие два семестра? Почему?

10 complexity-theory  automata  education 

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

10 logic  automated-theorem-proving 

В Википедии дается реализация восходящей схемы динамического программирования для расстояния редактирования. Это не следует определению полностью; внутренние ячейки вычисляются следующим образом: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] + 1, // a deletion d[i, j-1] …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

Предположим, что - обычный язык над упорядоченным алфавитом. Создан ли язык, беря каждое слово в и сортируя его всегда как обычный язык?LLLLLL

10 formal-languages  regular-languages 

Какова сложность вычисления ?nn2,n∈Nnn2,n∈Nn^{n^2},\;n \in \mathbb{N}

10 complexity-theory  integers  number-theory 

\newcommand\ldotd{\mathinner{..}} Учитывая, что A[1..n]A[1..n]A[1\ldotd n] являются целыми числами, такими, что 0≤A[k]≤m0≤A[k]≤m0\le A[k]\le m для всех 1≤k≤n1≤k≤n1\le k\le n , и вхождением каждого число, кроме определенного числа в A[1..n]A[1..n]A[1\ldotd n] является нечетным числом. Попробуйте найти число, вхождение которого является четным числом. Существует алгоритм Θ(nlogn)Θ(nlog⁡n)\Theta(n\log n) : мы сортируем A[1..n]A[1..n]A[1\ldotd n] на …

10 algorithms  search-algorithms 

Я не уверен, принадлежит ли этот вопрос здесь, и я прошу прощения, если нет. Что я хочу сделать, так это разработать программный способ, с помощью которого я могу вероятностно определить, принадлежит ли данная строка «сумке строк». Например, если у меня есть сумка из 10 000 названий городов США, а затем …

10 algorithms  reference-request  string-metrics 

Вопрос в упражнении 1.9 из книги Арора-Барака « Вычислительная сложность - современный подход» : Определите машину Тьюринга в ОЗУ как машину Тьюринга с оперативной памятью. Мы формализуем это следующим образом: У машины есть бесконечный массив A, который инициализируется для всех пробелов. Он обращается к этому массиву следующим образом. Одна из …

10 complexity-theory  turing-machines  machine-models  simulation 

Есть ли формальное определение средней высоты бинарного дерева? У меня есть вопрос по нахождению средней высоты двоичного дерева с помощью следующих двух методов: Естественным решением может быть определение средней длины всех возможных путей от корня до листа, то есть AVH1( Т) = 1# листья в Т⋅ ∑V лист Тглубина( v …

10 graph-theory  terminology  combinatorics  binary-trees 

Адреса IPv6 в форме 862A:7373:3386:BF1F:8D77:D3D2:220F:D7E0гораздо сложнее запомнить или даже расшифровать, чем 4 октета IPv4. Там уже была попытка смягчить это, делая IPv6 - адрес как - то более запоминающимся. Существует ли намеренно слабая хеш-функция, которую можно было бы обратить вспять, чтобы обнаружить, что фраза, скажем: «Это относительно мягко и легко …

10 cryptography  computer-networks  hash  user-interface 

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

10 automata  pushdown-automata 

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

10 computability  neural-networks