Язык находится в если существует машина Тьюринга для пространства журналов, которая решает язык с полиномиальным количеством рекомендаций.Л / р о л уL/поLYL/poly Смотрите здесь для получения дополнительной информации: https://en.wikipedia.org/wiki/L/poly Вопрос Каковы последствия ?п⊆L / p o l...
Учитывая входов , мы строим сеть случайной сортировки с воротами, итеративно выбирая две переменные с и добавляя вентиль компаратора, который меняет их, если .x 0 , … , x n - 1 m x i , x j i < j x i > x jnnnx0,…,xn−1x0,…,xn−1x_0, \ldots, x_{n-1}mmmxi,xjxi,xjx_i, x_ji<ji<ji <...
В чем сложность определения, содержит ли интервал натуральных чисел простое число? Вариант решета Эратосфена дает алгоритм, где L является длина интервала и ~ Шкуры поли-логарифмические факторы в исходной точке интервала; мы можем сделать лучше (с точки зрения L только)?O~(L)O~(L)\tilde...
Рассмотрим следующую проблему решения Входные данные : монотонный CNF ΦΦ\Phi и монотонный DNF ΨΨ\Psi . Вопрос : Φ→ΨΦ→Ψ\Phi \to \Psi тавтология? Определенно вы можете решить эту проблему в O(2n⋅poly(l))O(2n⋅poly(l))O(2^n \cdot \mathrm{poly}(l)) -time, где nnn - количество переменных в Φ→ΨΦ→Ψ\Phi \to...
Есть ли категория патчей, которая выглядит примерно так: Объекты являются строками в некотором базовом алфавите Морфизмы - это скрипты редактирования ("diffs" или "patches") между строками Я заинтересован в следующих вопросах: Есть ли категорическое понятие минимального сценария редактирования?...
Недавно я узнал о гипотезе Жадности о самой короткой проблеме суперструн . В этой задаче нам дан набор строк и мы хотим найти самую короткую суперструну то есть такую, чтобы каждая как подстрока .s1,…,sns1,…,sns_1,\dots, s_n ssssisis_isss Эта задача является NP-трудной, и после длинной серии работ...
У меня есть набор данных, который представляет собой ряд объектов, расположенных в двумерной сетке. Я знаю, что у меня строгий порядок, увеличивающийся по мере того, как вы идете слева направо в каждом ряду, и увеличивающийся сверху вниз в каждом столбце. Например, 1 2 3 4 6 7 5 8 9 Можно ли...
Пэли графы Р д являются те, вершина которого-множество задается конечным полем GF (Q) для степеней простых чисел q≡1 (мод 4), и где две вершины смежны тогда и только тогда , когда они отличаются на 2 для некоторых a ∈ GF (q). В случае, когда q простое, конечное поле GF (q) - это просто множество...
Благодаря Immerman и Szelepcsényi известно, что если f = Ω ( log ) (даже для непространственных конструктивных функций).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) В той же статье Иммерман заявляет, что переменная иерархия пространства...
Какие проблемы реального мира были решены с использованием генетического алгоритма? В чем проблема? Какой фитнес-тест используется для решения этой
Проще говоря: как соотносятся машины Тьюринга с оракулами и семействами однородных цепей с оракулами? Как последние определяются для получения той же вычислительной модели для данной машины оракула Тьюринга? Это может быть элементарный вопрос, но не очевидно, где искать, и я из тех людей, которым...
Легко проверить, что при заданной d-размерной сетке целочисленных точек {1,…,n}d{1,…,n}d\{1,\ldots,n\}^d с регулярной смежностью можно найти разделитель размера nd−1nd−1n^{d-1} (просто выберите любой средней гиперплоскости и удалите все ее вершины). Также не сложно (но определенно не сразу)...
После обсуждения нижних границ для 3SAT [ 1 ] мне интересно, каковы основные результаты нижней границы, сформулированные как компромиссы пространства-времени. Я исключаю такие результаты, как, например, теорема Савича; хорошая статья будет сосредоточена на одной проблеме и ее границах. Примером...
Это вопрос, навеянный проблемой H-свободного разреза . Для данного графа разбиение его множества вершин на частей является -свободным, если не индуцирует копию для всех , .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots, V_rHHHG[Vi]G[Vi]G[V_i]HHHiii1≤i≤r1≤i≤r1 \leq i \leq r Я хочу рассмотреть следующий...
Неравенства типа Чернова используются, чтобы показать, что вероятность того, что сумма независимых случайных величин значительно отклоняется от ожидаемого значения, экспоненциально мала в ожидаемом значении и отклонении. Существует ли неравенство типа Чернова для любой суммы попарно независимых...
Итак, у меня есть около 100-200 очень разреженных квадратных логических матриц с длиной стороны ~ несколько десятков, и мне нужно вычислить их произведение. Я знаю, что, если я умножу их поочередно, продукт, как правило, останется разреженным на каждом этапе. Существуют ли какие-либо алгоритмы...
В статье « Квантовые случайные прогулки идут экспоненциально быстрее» ( arXiv: quant-ph / 0205083 ) Кемпе дает понятие времени удара для квантовых блужданий (в гиперкубе), которое не очень популярно в литературе по квантовым блужданиям. Это определяется следующим образом: Один выстрел Квантовый...
В статье под названием «Об отрицании в общей эталонной строке и случайной модели Oracle» Рафаэль Пасс пишет: Мы отмечаем, что при проверке безопасности в соответствии со стандартным определением нулевого знания в модели RO [Random Oracle], симулятор имеет два преимущества по сравнению с симулятором...
Как следует из названия, каково правильное определение -tree? Есть несколько работ, в которых говорится о k- деревьях и частичных k- деревьях как об альтернативных определениях для графов с ограниченной шириной дерева, и я видел много, казалось бы, неправильных определений. Например, по крайней...
Чонг, Хан и Лэм показали, что ненаправленное соединение через st-соединение может быть решено с помощью EREW PRAM за с помощью O ( m + n ) процессоров. Какой самый известный параллельный алгоритм для направленной st-связности ? Пожалуйста, укажите время работы, детерминированный / рандомизированный...