Учитывая детерминированную игру с нулевой суммой частичной информации только с конечным числом состояний, чьи возможные результаты [проиграть, сыграть, выиграть] со значениями [-1,0, + 1] соответственно, какова сложность аппроксимации значения такого игра аддитивно в ?ϵϵ\epsilon В частности, я не...
Знаем ли мы, что иерархия не разрушается ( T C 0 d ⊊ T C 0 d + 1 для всех d )?Т С0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd В записи Zoo для TC0TC0\mathsf{TC^0} упоминается только расстояние между глубиной 2 и 3. Кроме того, есть стандартная ссылка на...
Это интересный вопрос, который я нашел в Интернете. Для данного массива, содержащего n чисел (без информации о них), мы должны предварительно обработать массив за линейное время, чтобы мы могли вернуть k наименьших элементов за время O (k), когда нам дано число 1 <= k <= n Я обсуждал эту...
Можем ли мы доказать точный результат концентрации на сумме независимых экспоненциальных случайных величин, т.е. пусть - независимые случайные величины, такие что . Пусть . Можем ли мы доказать оценки вида . Это следует непосредственно, если мы используем дисперсионную форму границ Чернова и,...
Этот вопрос мотивирован этим постом, Можете ли вы определить сумму двух перестановок за полиномиальное время? и мой интерес к вычислительным свойствам перестановок. Разностная последовательность перестановки чисел формируется путем нахождения разности между каждыми двумя соседними числами в...
У меня действительно большой недетерминированный конечный автомат, и мне нужно преобразовать его в DFA. По большому счету я имею в виду более 40 000 штатов. До сих пор я провел несколько экспериментов и запрограммировал алгоритм по умолчанию, который выполняет поиск в таблице (как описано здесь ),...
Какие конкретные и убедительные приложения для оценки объема выпуклых многогранников того типа, которые рассматривались в более поздних статьях о методах случайного блуждания? В этих работах по оценке объема упоминается численная интеграция как одна из причин. Какие примеры интегралов, которые люди...
Эта статья доказывает, что в игре с дверями и прижимными плитами PSPACE сложно определить, может ли аватар (игрока) достичь определенного места. Это подтверждается сокращением от TQBF , а длина полученных решений экспоненциально зависит от количества универсальных квантификаторов в формуле. Есть ли...
Есть ли в очереди с целочисленным приоритетом, которая использует слов пробела со следующими операциями, все в наихудшем времени и без доступа к случайности:O(n)O(n)O(n) createEmptyQueueв для некоторой константы с .O(lgcU)O(lgcU)O(lg^c U)ccc insertв .O(1)O(1)O(1) deleteMinδ...
Остаточные автоматы в конечном состоянии (RFSA, определенные в [DLT02]) - это NFA, которые имеют некоторые общие черты с DFA. В частности, для каждого обычного языка всегда существует канонический RFSA минимального размера, а язык, распознаваемый каждым государством в RFSA, является остаточным, как...
Содержится в-между каждым уровнем многочлена иерархии различные классы сложности, в том числе ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k , и ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P} . Из-за отсутствия лучшей терминологии я буду ссылаться на эти и любые другие как...
Недавно я начал много читать о сложности доказательств, и мне очень понравилось то, что я читал. Я действительно хотел бы узнать больше об этом, но мне трудно найти хороший материал для начинающих. Кто-нибудь сможет порекомендовать некоторые...
Очень похоже на мой ранее опубликованный вопрос . На этот раз, однако, график является ненаправленным. Данный Неориентированный граф граммGG без каких - либо множественных ребер или петель, Исходная вершина sss , Целевая вершина Ttt , Максимальная длина пути Lll , Я ищу грамм'G′G' - подграф GGG...
Я пытаюсь понять, к какому классу сложности относится следующая проблема: Экспонирующая полиномиальная корневая проблема (EPRP) Пусть - многочлен с deg ( p ) ≥ 0 с коэффициентами, взятыми из конечного поля G F ( q ), где q - простое число, а r - примитивный корень для этого поля. Определите...
Каковы известные пределы разрешимости сравнения скорости роста функций из ? Я здесь думаю о разрешимости таких вопросов, как «Является ли x x ∼ 2 ⌊ x lg ( x + 2 ) ⌋ ?» или «Является ли 2 lg ∗ x ∈ O ( lg lg x ) ?».N→NN→N\mathbb{N} \to \mathbb{N}xx∼2⌊xlg(x+2)⌋xx∼2⌊xlg(x+2)⌋x^x \sim 2^{\lfloor x \lg...
Я ищу библиографические ссылки для следующего алгоритма / проблемы: я назвал его "BiSelect" или "t-ary Select" или "Select in Union of Sorted Arrays", но я предполагаю, что он был представлен ранее под другим именем? проблема Рассмотрим следующую проблему: Для заданных непересекающихся...
Я прочитал статью Фрейда «Алгебраически полные категории» в известной книге Como90, и у меня есть два вопроса о понятии алгебраической компактности, которое он определил в этой статье. (Если вы не знакомы с определением, вот оно: категория называется алгебраически компактной, если каждый...
Экземпляр: неориентированный граф с двумя выделенными вершинами s ≠ t и целым числом k ≥ 2 .GGGs≠ts≠ts\neq tk≥2k≥2k\geq 2 Вопрос: существует ли путь в G , такой, что путь касается не более k вершин? (Вершина затрагивается путем, если вершина находится либо на пути, либо имеет соседа на...
Определение «алгебраической посета» в непрерывных решетках и доменов , Определение I-4,2, говорит , что для всех ,x ∈ Lx∈Lx \in L множество должно быть направленным множеством, иA ( x ) = ↓ x ∩ K( Л )A(x)=↓x∩K(L)A(x) = {\downarrow} x \cap K(L) .х = ⨆ ( ↓ х ∩ К( Л )x=⨆(↓x∩K(L)x = \bigsqcup...
Свойство графа называется наследственным, если оно замкнуто относительно удаления вершин (т. Е. Все индуцированные подграфы наследуют это свойство). Свойство графа называется аддитивным, если оно замкнуто относительно взятия непересекающихся объединений. Нетрудно найти свойства, которые являются...