и N L o g T i m e - два самых маленьких класса сложности, которые мы имеем. (Обратите внимание, что логарифмическая иерархия времени L H равна A C 0, и это первые два уровня L H ).DLogTimeDLogTime\mathsf{DLogTime}NLogTimeNLogTime\mathsf{NLogTime}LHLH\mathsf{LH}AC0AC0\mathsf{AC}^0LHLH\mathsf{LH}...
Недавно я изучал введение в голографические алгоритмы. Я столкнулся с некоторыми комбинаторными объектами, которые называются пфаффианцами. Я не очень много знаю о них на данный момент и натолкнулся на некоторые неожиданные способы их использования. Например, я узнал, что их можно использовать для...
Покрытие Vertex может быть легко уменьшено до Независимого набора и наоборот. Однако в контексте параметризованной сложности Независимый набор сложнее, чем Vertex Cover. Ядро с вершин существует для Vertex Cover, но независимое множество W 1 жестких.2k2k2k Как меняется характер Независимого...
-hierarchy представляет собой иерархию классов полностью в параметризованном сложности, см Сложности Зоопарк определений. Альтернативное определение определяет используя взвешенную определимость для логики первого порядка, см. Учебник Флума и Гроэ...
Известно , что если NP⊆P/PolyNP⊆P/PolyNP\subseteq P/Poly то многочлен иерархии коллапсирует ΣP2Σ2P\Sigma_2^{P} и MA=AMMA=AMMA = AM . Какие самые сильные коллапсы могут произойти, если ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq...
Если предположить, что NP! = CoNP, то для проблемы полного завершения coNP нет сертификата полиномиального размера. Но как насчет субэкспоненциального размера сертификата? Особенно для coSAT, есть ли субэкспоненциальное доказательство размера, чтобы доказать, что формула неудовлетворительна? Если...
Пусть - мажоритарная функция, т.е. f ( x ) = 1 тогда и только тогда, когда ∑ n i = 1 x i > n / 2 . Мне было интересно, есть ли простое доказательство следующего факта (под «простым» я подразумеваю не полагаться на вероятностный метод, как это сделал Valiant 84, или на сортировку сетей;...
То, что я называю подсчетом, - это проблема, заключающаяся в том, чтобы найти количество решений для функции. Точнее, если задана функция f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (не обязательно черный ящик), приблизительный #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|,...
Учитывая алгоритм, работающий во время , мы можем преобразовать его в «тривиальное» однородное семейство цепей для той же самой задачи размера не более .≈ t ( n ) log t ( n )t(n)t(n)t(n)≈t(n)logt(n)≈t(n)logt(n)\approx t(n)\log t(n) С другой стороны, может случиться так, что у нас есть гораздо...
Фон: Сложность дерева решений или сложность запросов - это простая модель вычислений, определяемая следующим образом. Пусть - булева функция. Детерминированная сложность запроса , обозначаемая , представляет собой минимальное количество битов входных данных которые должны быть прочитаны (в худшем...
Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам...
В своей основополагающей работе Теоретико-групповые алгоритмы для умножения матриц Кон, Кляйнберг, Сегеди и Уманс вводят концепцию однозначно решаемой головоломки (определено ниже) и емкость USP. Они утверждают, что Копперсмит и Виноград, в своих собственных новаторских работах по умножению матриц...
В 1978 году Адлеман показал, что BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} : если булева функция fff из nnn переменных может быть вычислена с помощью вероятностной булевой схемы размера MMM , тогда fff может быть вычислена с помощью детерминированной булевой схемы размера многочлен...
Гауссовское исключение делает определитель матрицы полиномиальным временем вычислимым. Снижение сложности в вычислении детерминанта, которое в противном случае является суммой экспоненциальных членов, обусловлено наличием альтернативных отрицательных признаков (отсутствие которых делает вычисление...
Наименьшая известная формула для детерминанта имеет размер соответствии с фольклором (или Ран Разу в своей статье « Многолинейные формулы для перманента и детерминанта имеют суперполиномиальный размер» ).NO (журналн )NО(журналN)n^{\mathcal O(\log n)} У вас есть ссылки на это? В частности, что это...
Алгоритм тестирования распределения для свойства распределения P (которое является лишь некоторым подмножеством всех распределений по [n]) разрешает доступ к выборкам в соответствии с некоторым распределением D и должен решить (whp), если или ( здесь, как правило, расстояние). Наиболее...
Пусть - булева функция от n булевых переменных. Пусть g ( x ) = T ϵ ( f ) ( x ) будет ожидаемым значением f ( y ), когда y получается из x путем переключения каждой координаты с вероятностью ϵ / 2 .fffnnng(x)=Tϵ(f)(x)g(x)=Tϵ(f)(x)g(x)=T_\epsilon (f) (x)f(y)f(y)f(y)yyyxxxϵ/2ϵ/2\epsilon/2 Меня...
В своей книге « Вычислительная сложность» Пападимитриу определяет FNP следующим образом: Предположим, что LLL является языком в NP . Согласно предложению 9.1, существует многочлен время разрешимо, полиномиальные сбалансировано соотношение RLRLR_L таких , что для всех строк xxx : Существует строку...
Мы говорим, что функция f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} является конструируемой во времени , если существует детерминированная многоленточная машина Тьюринга MMM которая на всех входах длины nnn делает не более f(n)f(n)f(n) шагов, и для каждого существует некоторый вход длина на которой...
Напомним , что ширина резолюции опровержение RRR из формулы CNF FFF представляет максимальное число литералов в любом пункте , происходящих в RRR . Для каждого в 3-CNF wwwесть неудовлетворительные формулы FFF каждое опровержение разрешения FFF требует ширины не менее www . Мне нужен конкретный...