Вопросы с тегом «cc.complexity-theory»

Мы говорим, что функция f:N→Nf:N→Nf:\mathbb{N}\rightarrow\mathbb{N} является конструируемой во времени , если существует детерминированная многоленточная машина Тьюринга MMM которая на всех входах длины nnn делает не более f(n)f(n)f(n) шагов, и для каждого существует некоторый вход длина на которой делает точно шагов.n M f ( n )nnnnnnMMMf(n)f(n)f(n) Будем говорить , что функция …

13 cc.complexity-theory  time-complexity  terminology 

Мне кажется, что специалисты по машинному обучению / интеллектуальному анализу данных знакомы с P и NP, но редко говорят о некоторых более тонких классах сложности (например, NC, BPP или IP) и их последствиях для эффективного анализа данных. Есть ли какой-нибудь обзор работы, выполняющей это?

13 cc.complexity-theory  reference-request  machine-learning 

Наименьшая известная формула для детерминанта имеет размер соответствии с фольклором (или Ран Разу в своей статье « Многолинейные формулы для перманента и детерминанта имеют суперполиномиальный размер» ).NO (журналн )NО(журнал⁡N)n^{\mathcal O(\log n)} У вас есть ссылки на это? В частности, что это за формула?

13 cc.complexity-theory  reference-request  algebraic-complexity  determinant 

Алгоритм тестирования распределения для свойства распределения P (которое является лишь некоторым подмножеством всех распределений по [n]) разрешает доступ к выборкам в соответствии с некоторым распределением D и должен решить (whp), если или ( здесь, как правило, расстояние). Наиболее распространенным показателем сложности является количество выборок, используемых алгоритмом.D∈PD∈PD\in Pd(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilondddℓ1ℓ1\ell_1 Теперь в стандартном …

13 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Существует несколько хорошо известных результатов оценки нижнего предела размера схемы основанных на случайных ограничениях и лемме о переключении .AC0AC0\mathsf{AC^0} Можем ли мы разработать результат леммы о переключении, чтобы доказать нижнюю оценку размера для цепей (аналогично нижним оценкам для )? A C 0TC0TC0\mathsf{TC^0}AC0AC0\mathsf{AC^0} Или есть какое-то существенное препятствие для использования этого …

13 cc.complexity-theory  circuit-complexity  lower-bounds  boolean-functions 

Гауссовское исключение делает определитель матрицы полиномиальным временем вычислимым. Снижение сложности в вычислении детерминанта, которое в противном случае является суммой экспоненциальных членов, обусловлено наличием альтернативных отрицательных признаков (отсутствие которых делает вычисление постоянным, является #P-hard#P-hard \#P\mbox{-}hard т. Е. Сложнее, чем проблемы NP-CNP-CNP\mbox{-}C ) , Это приводит к некоторой симметрии в определителе, например, …

13 cc.complexity-theory  time-complexity  algebraic-complexity  gr.group-theory  determinant 

Может ли кто-нибудь перечислить некоторые известные проблемы, удовлетворяющие следующим условиям: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.

13 cc.complexity-theory  np-hardness 

Есть ли доказательство того, что эмуляция машины Тьюринга на забывающей машине Тьюринга не может быть выполнена менее чем за O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right) где mmm - это число шагов, которые машина Тьюринга использует? Или это только верхняя граница? Витани утверждает, что в статье Пола Витани о релятивизированных забывчивых машинах Тьюринга «Они [ …

13 cc.complexity-theory  turing-machines 

Я хотел бы знать об истории этих двух терминов: « эффективный », « выполнимый ». Кто использовал их в отношении вычислений / алгоритмов в первый раз? (в современном понимании этих терминов, т.е. 20-го века). Как они стали мейнстримом? Как эти два термина начали использоваться как синонимы? Я знаю, что Кобхем …

13 cc.complexity-theory  ds.algorithms  ho.history-overview 

Теорема Раза о параллельном предсказании является важным результатом в PCP, аппроксимации и т. Д. Теорема оформилась следующим образом. Игра , где S , T , A , B - конечные множества, π - распределение по S × T и предикат V : S × T × A × B → …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

У меня есть вопрос, касающийся СЕРФ-сводимости Impagliazzo, Paturi и Zane и субэкспоненциальных алгоритмов. Определение SERF-сводимости дает следующее: Если P1P1P_1 является SERF-сводимым к P2P2P_2 и существует алгоритм O(2εn)O(2εn)O(2^{\varepsilon n}) для P2P2P_2 для каждого ε>0ε>0\varepsilon > 0 , то существует алгоритм O(2εn)O(2εn)O(2^{\varepsilon n}) для P1P1P_1 для каждого ε>0ε>0\varepsilon > 0 . (Параметр …

13 cc.complexity-theory  reference-request 

Пусть квадрат n × nN×Nn\times n вещественной матрицы AA{\bf A} и два вектора ИксИкс{\bf x} и бб{\bf b} длины NNn такие, что A x = b .AИксзнак равноб,{\bf A}{\bf x}={\bf b}. Решение для ИксИкс{\bf x} помощью стандартного исключения Гаусса дает совокупную сложность почти O ( n3)О(N3)O(n^3) . Однако существуют случаи, …

13 cc.complexity-theory  linear-algebra  matrices 

В определении (сильной) управляемости с фиксированными параметрами временная граница является выражением вида где входной экземпляр - ( x , k ) с параметром k , p - многочлен, а f - вычислимая функция.е( к ) . р ( | х | ) ,е(К),п(|Икс|),f(k).p(|x|),( х , к )(Икс,К)(x,k)ККkппpееf Можно заменить требование …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Паритет-L, также известный как L, представляет собой набор языков, распознаваемых недетерминированной машиной Тьюринга, которые могут различать только четное число или нечетное число путей «принятия». Недавно связанный вопрос был задан Ниль де Бодрап.⊕⊕\oplus Мой вопрос заключается в следующем: Мы знаем, если NL ⊕ L? Или эти два класса считаются несравненными?⊆⊆\subseteq ⊕⊕\oplus

13 cc.complexity-theory  counting-complexity 

Этот вопрос мотивирован вопросом MathOverflow Пэна Чжана . Валиант показал, что подсчет максимальных клик в общем графе является # P-полным, но что если мы ограничимся графами несопоставимости (т. Е. Мы хотим подсчитать максимальные антицепи в конечном множестве)? Этот вопрос кажется достаточно естественным, и я подозреваю, что он рассматривался ранее, но …

13 cc.complexity-theory  counting-complexity  partial-order  clique