Информатика

11
Как обращаться с массивами во время корректных проверок в стиле Хоара

В дискуссии вокруг этого вопроса Жиль правильно упоминает, что любое доказательство правильности алгоритма, использующего массивы, должно доказывать, что нет доступа к массиву вне пределов; в зависимости от модели времени выполнения это может вызвать ошибку времени выполнения или доступ к...

11
Резкая концентрация для выбора с помощью случайного разделения?

Обычный простой алгоритм для нахождения медианного элемента в массиве из чисел:нAAANnn Пример элементов из с заменой на БN3 / 4n3/4n^{3/4}AAAВBB Сортируйте и найдите элементы ранга и из| Б | ± √ВBB lrB| Б | ± n--√|B|±n|B|\pm \sqrt{n}LllрrrВBB Убедитесь , что и находятся на противоположных сторонах...

11
Распределите объекты в кубе так, чтобы они имели максимальное расстояние между собой

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

11
Если A является отображением, приводимым к B, то дополнение A является отображением, приводимым к дополнению B

Я готовлюсь к своему выпускному экзамену по теории вычислений и пытаюсь найти правильный способ ответить на вопрос, верно ли это утверждение для ложного. По определению из можно построить следующее заявление,≤m≤m\leq_m w∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw∈A⟺f(w)∈B→w∉A⟺f(w)∉Bw \in A \iff f(w) \in B \rightarrow w...

11
Можем ли мы показать, что язык не является вычислимо перечислимым, показывая, что для него нет верификатора?

Одним из определений вычислимо перечислимого (ce, эквивалентного рекурсивно перечислимому, эквивалентного полуразрешимому) множества является следующее: A⊆Σ∗A⊆Σ∗A \subseteq \Sigma^* означает, что существует разрешимый язык (называемый верификатором) st для всех ,V⊆Σ∗V⊆Σ∗V\subseteq...

11
Пример разумности & Полнота Inference

Правильный ли следующий пример о том, является ли алгоритм вывода правильным и полным ? Предположим, у нас есть стебли игл a, b, c в стоге сена, а также алгоритм вывода, предназначенный для поиска игл. звук - получаются только иглы a, b и c. завершено - иглы a, b и c получены. Другое сено также...

11
Хеширование с использованием деревьев поиска вместо списков

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

11
подмножества бесконечных рекурсивных множеств

Недавний экзаменационный вопрос звучал так: AAA - бесконечное рекурсивно перечислимое множество. Докажите, что имеет бесконечное рекурсивное подмножество.AAA Пусть бесконечное рекурсивное подмножество . Должен ли иметь подмножество, которое не является рекурсивно перечислимым?CCCAAACCC Я ответил 1....

11
Предварительная обработка массива для подсчета элемента в срезе (сокращение до RMQ?)

Для массива натуральных чисел ≤ k , где k - константа, я хочу ответить на O ( 1 ) запросов вида: «сколько раз m появляется в массиве между индексами i и j "?a1,…,ana1,…,ana_1,\ldots,a_n≤k≤k\leq kkkkO(1)O(1)O(1)mmmiiijjj Массив должен быть предварительно обработан за линейное время. В частности, я...

11
Основная теорема не применима?

Дано следующее рекурсивное уравнение T(n)=2T(n2)+nlognT(n)=2T(n2)+nlog⁡n T(n) = 2T\left(\frac{n}{2}\right)+n\log nмы хотим применить основную теорему и отметить, что nlog2(2)=n.nlog2⁡(2)=n. n^{\log_2(2)} = n. Теперь мы проверим первые два случая для ε>0ε>0\varepsilon > 0 , то есть...

11
Количество клики в случайных графах

Существует семейство случайных графов с узлов ( из - за Гилберт ). Каждый возможный край независимо друг от друга вставляется в с вероятностью . Пусть быть числом клик размера в .п О ( п , р ) р Х к к G ( п , р )G ( n , p )G(n,p)G(n, p)NnnG ( n , p )G(n,p)G(n, p)пppИксКXkX_kКkkG ( n , p )G(n,p)G(n,...

11
Можете ли вы указать язык программирования без реализации?

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

11
Наиболее эффективный алгоритм печати 1-100 с использованием заданного генератора случайных чисел

Нам дан генератор случайных чисел, RandNum50который генерирует случайное целое число равномерно в диапазоне 1–50. Мы можем использовать только этот генератор случайных чисел для генерации и печати всех целых чисел от 1 до 100 в случайном порядке. Каждое число должно приходить ровно один раз, и...

11
-алгебра в качестве входных данных для алгоритма

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

11
Минимизировать максимальную составляющую суммы векторов

Я хотел бы кое-что узнать об этой задаче оптимизации: для заданных неотрицательных целых чисел aя , J , Kai,j,ka_{i,j,k} найдите функцию еff минимизирующую выражение МаксимумКΣяaя , ж( я ) , кmaxk∑iai,f(i),k\max_k \sum_i a_{i,f(i),k} Пример, использующий другую формулировку, может прояснить...

11
Могут ли лучшие SAT-решатели вычислять простые числа?

Современные SAT-решатели очень хороши в решении многих реальных примеров экземпляров SAT. Тем не менее, мы знаем, как генерировать сложные: например, использовать сокращение от факторинга до SAT и давать числа RSA в качестве входных данных. Возникает вопрос: что если я возьму простой пример...

11
Ограничено пространство для выбора алгоритма?

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

11
Предлагая уточнения типов

На работе мне было поручено вывести некоторую информацию о типах динамического языка. Я переписываю последовательности операторов во вложенные letвыражения, например так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x then {...

11
Есть

Итак, у меня есть этот вопрос, чтобы доказать утверждение: O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... Мне не нужно знать, как это доказать, просто, на мой взгляд, это не имеет смысла, и я думаю, что это должно быть .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Насколько я понимаю, - это набор всех...

11
Графики, которые заставляют DFS и BFS обрабатывать узлы в одном и том же порядке

Для некоторых графиков алгоритмы поиска DFS и BFS обрабатывают узлы в одном и том же порядке при условии, что они оба начинаются на одном и том же узле. Два примера - графы, которые являются путями, и графы в форме звезды (деревья глубины с произвольным числом детей). Есть ли способ классификации...