Дан фильтр Блума размером N битов и K хэш-функций, из которых установлены M-биты (где M <= N) фильтра. Можно ли приблизить количество элементов, вставленных в фильтр Блума? Простой пример Я обдумывал следующий пример, предполагая, что BF состоит из 100 битов и 5 хэш-функций, где установлены 10...
Существуют ли разрешимые проблемы, такие, что для любого алгоритма, который решает проблему, мы можем дать ограничение по времени как функцию длины n входного экземпляра? Я пришел к этому вопросу, потому что думал о следующем: Предположим, у нас есть рекурсивно перечислимая, но неразрешимая...
Существует линейный алгоритм времени для равномерного разбиения текста на строки максимальной ширины. Он использует SMAWK (или Knuth & Plass) и «равномерно» означает: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness Существует ли алгоритм или вогнутая функция стоимости для алгоритма,...
Я надеюсь, что кто-то знает ссылку на это, поэтому мне не нужно читать литературу ... Рассмотрим последовательность чисел . Думайте о последовательности как о n - 1 интервалах [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ x n - 1 , x n ] . Ясно, что исходная последовательность является битовой, если любая...
Арора и Барак показывают, что можно выразить как B P ⋅ N P, то есть набор языков, которые имеют рандомизированные сокращения до 3SAT. M A также является естественным рандомизированным обобщением N P в том смысле, что вы заменяете детерминированный верификатор на...
В книге A = B Петковсека, Уилфа и Цайльбергера описаны алгоритмы вычисления различных сумм биномов. AFAIK, эти алгоритмы все еще совершенствуются разными авторами. Знаете ли вы, где мы можем найти самые современные реализации этих алгоритмов? А знаете ли вы, существуют ли реализации в некоторых...
MPA (многопробельный автомат) - это 2DFA (двусторонний детерминированный конечный автомат), который может использовать произвольное количество камешков (на самом деле самое большее камешков на заданном входе - вход записывается на ленту между двумя концами -маркер как ). Во время вычисления MPA...
Я скорее специалист по квантовой оптике, чем специалист по квантовой информации, и занимаюсь главным образом уравнениями мастера. Меня интересует форма оператор-сумма, и я хотел бы получить ошибки в этой форме для небольшой квантовой системы, которую я моделирую. Подвох: Квантовая система...
Если вам дан набор частичных заказов, топологическая сортировка скажет вам, есть ли расширение коллекции до общего заказа (в данном случае расширение представляет собой общий заказ, соответствующий каждому из частичных заказов). Я встретил вариант: Зафиксируем множество . Вам даны...
Определение «проблемы» , чтобы быть алгоритм принимает натуральное число и возвращает 0 или 1 , который возвращает 1 , по меньшей мере , одной п ∈ N . Любое такое n называется «решением» AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Определите «универсальный решатель проблем» как алгоритм принимающий...
Дан ориентированный граф с n узлами, такими, что каждая вершина имеет ровно два исходящих ребра, и натуральное число N, закодированное в двоичном виде, две вершины s и t, Я хочу посчитать количество (не обязательно простых) путей от s до t в течение N шагов. Это # P-сложная проблема? Или вообще, в...
Мы знаем, например, из Koutis-Miller-Peng (на основе работы Spielman & Teng), что мы можем очень быстро решить линейные системы Ax=bAx=bA x = b для матриц AAA которые представляют собой матрицу Лапласа графа для некоторого разреженного графа с неотрицательными весами ребер , Теперь (первый...
Известно, что нижняя граница общего противника характеризует сложность квантового запроса благодаря прорывной работе Reichardt et al. Та же самая линия работы также устанавливает связи со структурой программы span для разработки квантовых алгоритмов. Многие интересные квантовые алгоритмы, включая...
Скажем, у нас есть функция , такая, что ∑ x ∈ Z n 2 f ( x ) 2 = 1 (поэтому мы можем думать о { f ( x ) 2 } x ∈ Z n 2 как о распределении) , Естественно определить энтропию такой функции следующим образом: H ( f ) = - ∑ x ∈ Z n 2 f ( xf:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to...
Если нам даны две строки размером и , стандартное вычисление расстояния редактирования Левенштейна выполняется с помощью динамического алгоритма с временной сложностью и пространственной сложностью . (Некоторые улучшения могут быть сделаны в зависимости от расстояния редактирования , но мы не...
Ищу ограничение на энтропии суммы двух независимых дискретных случайных величин и . Естественно, Однако применительно к сумме независимых бернуллиевских случайных величин это дает Другими словами, граница увеличивается линейно с при многократном применении. Однако поддерживается для набора размера...
Здесь: http://www.planarity.org/Klein_elementary_graph_theory.pdf (в главе «Вложения») дано определение комбинаторного вложения плоского графа. (с определением граней и т. д.) Хотя это можно легко использовать для любого графа, они определяют планарный граф как граф, для которого выполняется...
Может ли кто-нибудь привести пример двух эквивалентных (распознающих один и тот же язык) минимальных недетерминированных автоматов (NFA), которые не являются...
В продолжение Каков пример Монады, которая является Альтернативой, но не МонадПлюс? : Предположим, является монадой. Каковы отношения betweem м будучи Alternative , а MonadPlusCatch и MonadPlusDistr ? mmmmmmДля каждой из шести возможных пар я хотел бы иметь либо доказательство того, что одно...
В рекурсивных типах Wadler бесплатно! [1], он продемонстрировал два типа и , и утверждал, что они двойственны . В частности, он указал, что тип является не двойственным прежним. Кажется, что рассматриваемая двойственность отличается от дуальности Де Моргана в логике. Интересно, как определяется...