Информатика

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

11 algorithms  integers  randomness  random-number-generator 

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

11 graph-theory  combinatorics  probability-theory  random-graphs 

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

11 computability  check-my-proof 

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

11 logic 

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

11 computability  terminology  decision-problem 

Дано следующее рекурсивное уравнение 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 , то есть nlogn∈O(n1−ε)nlog⁡n∈O(n1−ε)n\log n \in O(n^{1-\varepsilon}) или nlogn ∈ Θ ( n )nlog⁡n∈Θ(n)n\log n \in \Theta(n) . Два случая …

11 proof-techniques  asymptotics  recurrence-relation  master-theorem 

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

11 algorithms  optimization  computational-geometry 

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

11 algorithms  algorithm-analysis  randomized-algorithms 

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

11 algorithms  reference-request  education  bioinformatics 

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

11 proof-techniques  semantics  arrays  hoare-logic  software-verification 

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

11 machine-learning  artificial-intelligence 

Предположим, мне дан конечный набор точек на плоскости, и меня просят нарисовать дважды дифференцируемую кривую через , чтобы ее периметр был как можно меньше. Предполагая, что и , я могу формализовать эту проблему следующим образом: С ( Р ) р я р я = ( х я , у я …

11 complexity-theory  np-hard  optimization  computable-analysis 

Я работаю над языком выражения, основанным на генеалогии ML, поэтому, естественно, требуется вывод типа> :) Теперь я пытаюсь расширить решение на основе ограничений для определения типов, основанное на простой реализации в EOPL (Фридман и Ванд), но они элегантно обходят алгебраические типы данных. То, что у меня есть, работает плавно; если …

11 programming-languages  type-theory  functional-programming  inductive-datatypes  typing 

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

11 terminology  security  stack-inspection 

Это домашнее задание из книги Уди Манбера. Любой намек был бы хорош :) Я должен показать, что: n(log3(n))5=O(n1.2)n(log3⁡(n))5=O(n1.2)n(\log_3(n))^5 = O(n^{1.2}) Я попытался использовать теорему 3.1 книги: c > 0 a > 1f(n)c=O(af(n))f(n)c=O(af(n))f(n)^c = O(a^{f(n)}) (для , )c>0c>0c > 0a>1a>1a > 1 Substituing: (log3(n))5= O (3log3( н)) = O ( n …

11 asymptotics  landau-notation  mathematical-analysis