Теоретическая информатика

Очень похоже на мой ранее опубликованный вопрос . На этот раз, однако, график является ненаправленным. Данный Неориентированный граф граммGG без каких - либо множественных ребер или петель, Исходная вершина sss , Целевая вершина Ttt , Максимальная длина пути Lll , Я ищу грамм'G′G' - подграф GGG который содержит любую вершину …

12 ds.algorithms  graph-algorithms  shortest-path 

Содержится в-между каждым уровнем многочлена иерархии различные классы сложности, в том числе Δ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} . Из-за отсутствия лучшей терминологии я буду ссылаться на эти и любые другие как промежуточные классы между уровнями iii и i+1i+1i+1 в иерархии полиномов. Для целей этого вопроса, …

12 cc.complexity-theory  polynomial-hierarchy 

Остаточные автоматы в конечном состоянии (RFSA, определенные в [DLT02]) - это NFA, которые имеют некоторые общие черты с DFA. В частности, для каждого обычного языка всегда существует канонический RFSA минимального размера, а язык, распознаваемый каждым государством в RFSA, является остаточным, как и в DFA. Однако, хотя минимальные состояния DFA формируют …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Есть ли в очереди с целочисленным приоритетом, которая использует слов пробела со следующими операциями, все в наихудшем времени и без доступа к случайности:O(n)O(n)O(n) createEmptyQueueв для некоторой константы с .O(lgcU)O(lgcU)O(lg^c U)ccc insertв .O(1)O(1)O(1) deleteMinδ минO(δmin)O(δmin)O(\delta_{\min})δminδmin\delta_{\min} Кроме того, после того как ключ был подвергнут воздействию a , все дальнейшие вставки имеют значение …

12 ds.data-structures 

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

12 cg.comp-geom  na.numerical-analysis  markov-chains 

Эта статья доказывает, что в игре с дверями и прижимными плитами PSPACE сложно определить, может ли аватар (игрока) достичь определенного места. Это подтверждается сокращением от TQBF , а длина полученных решений экспоненциально зависит от количества универсальных квантификаторов в формуле. Есть ли сокращение от машины NPSPACE до такой игры, для которой …

12 reductions  nondeterminism  pspace 

Этот вопрос мотивирован этим постом, Можете ли вы определить сумму двух перестановок за полиномиальное время? и мой интерес к вычислительным свойствам перестановок. Разностная последовательность перестановки чисел формируется путем нахождения разности между каждыми двумя соседними числами в перестановке . Другими словами,a1,2, ...Na1,a2,…ana_1, a_2, \ldots a_n1 , 2 , … n + …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

У меня действительно большой недетерминированный конечный автомат, и мне нужно преобразовать его в DFA. По большому счету я имею в виду более 40 000 штатов. До сих пор я провел несколько экспериментов и запрограммировал алгоритм по умолчанию, который выполняет поиск в таблице (как описано здесь ), но даже после оптимизации …

12 dfa 

Знаем ли мы, что иерархия не разрушается ( 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. Кроме того, есть стандартная ссылка на тот факт , что С …

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

В настоящее время я занимаюсь исследованиями Формального языка, в которых участвуют классы языков выше обычного, но ниже контекста. Я смотрю на такие вещи, как машины с множеством счетчиков с ограниченным обращением, счетчики с одним стеком, детерминированные КЛЛ и т. Д. Мне интересно, знает ли кто-нибудь хорошую книгу или обзорную статью, …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Учитывая детерминированную игру с нулевой суммой частичной информации только с конечным числом состояний, чьи возможные результаты [проиграть, сыграть, выиграть] со значениями [-1,0, + 1] соответственно, какова сложность аппроксимации значения такого игра аддитивно в ?ϵϵ\epsilon В частности, я не могу придумать какой-либо алгоритм для этого. Остальная часть этого поста целиком посвящена …

12 cc.complexity-theory  gt.game-theory 

Это интересный вопрос, который я нашел в Интернете. Для данного массива, содержащего n чисел (без информации о них), мы должны предварительно обработать массив за линейное время, чтобы мы могли вернуть k наименьших элементов за время O (k), когда нам дано число 1 <= k <= n Я обсуждал эту проблему …

12 sorting 

Какая связь между PLSPLS\mathsf{PLS} и APXAPX\mathsf{APX} ? Другими словами, аппроксимируются ли задачи, допускающие локальный поиск за полиномиальное время? Означают ли приближенные задачи оптимизации алгоритм локального поиска вообще?

12 cc.complexity-theory  approximation-algorithms 

Сглаженный анализ был применен много раз, чтобы понять время выполнения точных алгоритмов для многих задач, таких как линейное программирование и k-средних. В этой области есть довольно общие результаты, например, Хейко Рёглин и Бертольд Вёкинг, Сглаженный анализ целочисленного программирования , 2005. Некоторые из этих общих результатов, кажется, полагаются на леммы об …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Я ищу небольшой граф которого векторное хроматическое число меньше хроматического числа, .GGGχv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) ( имеет векторное хроматическое число если существует присваивание , где векторы, связанные с соседними вершинами, интуитивно находятся далеко друг от друга. Требование . Например, для вершин треугольника.)GGGqqqx:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle x(v), x(w)\rangle \leq -1/(q-1)q=3q=3q=3 Хроматическое число вектора …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring