Вопросы с тегом «nondeterminism»

Многие считают, что . Однако мы только знаем, что находится на втором уровне полиномиальной иерархии, то есть . Шаг к показу состоит в том, чтобы сначала перевести его на первый уровень полиномиальной иерархии, то есть .BPPPNPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP}BPPBPP\mathsf{BPP}BPPPPBPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2BPPPBPP=P\mathsf{BPP} = \mathsf{P}BPPNPBPP⊆NP\mathsf{BPP} \subseteq \mathsf{NP} Сдерживание …

34 cc.complexity-theory  randomness  randomized-algorithms  nondeterminism  barriers 

Ограниченность недетерминизм связывает функцию g(n)g(n)g(n) с классом языков , принятых ресурсы ограничены детерминированные тьюринговых машинами, чтобы сформировать новый класс - . Этот класс состоит из тех языков, которые принимаются некоторой недетерминированной машиной Тьюринга подчиняющейся тем же границам ресурса, которые используются для определения , но где разрешено делать не более недетерминированных …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Рассмотрим недетерминированные конечные автоматы A=(Q,Σ,δ,q0,F)A=(Q,Σ,δ,q0,F)A = (Q, \Sigma, \delta, q_0, F) и функцию f(n)f(n)f(n) . Дополнительно определим Σ≤k=⋃i≤kΣiΣ≤k=⋃i≤kΣi\Sigma^{\leq k} = \bigcup_{i \leq k} \Sigma^i . Теперь давайте проанализируем следующее утверждение: Если Σ≤f(|Q|)⊆L(A)Σ≤f(|Q|)⊆L(A)\Sigma^{\leq f(|Q|)} \subseteq L(A) , то L(A)=Σ∗L(A)=Σ∗L(A) = \Sigma^* . Нетрудно показать, что для f(n)=2n+1f(n)=2n+1f(n) = 2^n+1 это верно, …

28 automata-theory  fl.formal-languages  nondeterminism 

Пусть L1,L2L1,L2L_1,L_2 будут двумя обычными языками, заданными NFA M1,M2M1,M2M_1,M_2 качестве входных данных. Предположим, мы хотели бы проверить, является ли L1∩L2≠∅L1∩L2≠∅L_1\cap L_2\neq \emptyset . Это можно сделать с помощью квадратичного алгоритма, который вычисляет автомат произведений M1,M2M1,M2M_1,M_2 , но мне было интересно, известно ли что-нибудь более эффективное. Существует ли алгоритм o(n2)o(n2)o(n^2) для …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

Первоначальная теорема недетерминированной временной иерархии принадлежит Кук (ссылка на С. Кука, иерархия недетерминированной временной сложности , JCSS 7 343–353, 1973). Теорема утверждает, что для любых действительных чисел r1r1r_1 и r2r2r_2 , если 1≤r1<r21≤r1<r21 \le r_1 \lt r_2 то NTIME ( nr1nr1n^{r_1} ) строго содержится в NTIME ( nr2nr2n^{r_2} ). Одна …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности алгоритмов», но не смог найти никакой ссылки на то, когда …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Решение проблемы CNF-SAT можно описать следующим образом: Вход: булева формула в конъюнктивной нормальной форме.ϕφ\phi Вопрос: существует ли присвоение переменной, которая удовлетворяет ?ϕφ\phi Я рассматриваю несколько различных подходов к решению проблемы CNF-SAT с помощью недетерминированной двухленточной машины Тьюринга . Я считаю, что есть NTM, который решает CNF-SAT в шагах.n⋅poly(log(n))N⋅поли(журнал⁡(N))n \cdot \texttt{poly}(\log(n)) …

19 time-complexity  sat  turing-machines  np  nondeterminism 

Можно ли алгоритмически проверить, является ли вычисляемое число рациональным или целым? Другими словами, возможно ли для библиотеки, которая реализует вычислимые числа, предоставлять функции isIntegerили isRational? Я предполагаю, что это невозможно, и что это как-то связано с тем, что невозможно проверить, равны ли два числа, но я не вижу, как это …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Недетерминированная логическая схема имеет, помимо обычных входов , набор «недетерминированных» входов . Недетерминированная схема принимает вход если существует такой, что выход схемы включен . Аналогично (класс языков, разрешимых схемами полиномиального размера), можно определить как класс языков, разрешимых недетерминированными схемами полиномиального размера. Широко распространено мнение, что недетерминированные схемы являются более мощными, …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

В теории автоматов (конечных автоматов, автоматов с выталкиванием, ...) и в сложности существует понятие «неоднозначность». Автомат является неоднозначным, если существует слово по крайней мере, с двумя различными принимающими сериями. Машина является неоднозначной, если для каждого слова принятого машиной, существует не более различных прогонов, чтобы принять .K W K WвесвесwККkвесвесwККkвесвесw Это …

17 lo.logic  automata-theory  regular-language  nondeterminism  finite-model-theory 

Проблема Пусть - автомат Büchi, распознающий язык . Мы предполагаем , что имеет стратегию приема в следующем смысле: существует функция , которые могут быть использованы для пилотных серий . Мы формализуем это следующими условиями:L ⊆ Е ш σ : Е * → QA=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangleL⊆ΣωL⊆ΣωL\subseteq\Sigma^\omegaAAAσ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to QAAA σ(ϵ)=q0σ(ϵ)=q0\sigma(\epsilon)=q_0 для всех …

15 fl.formal-languages  automata-theory  regular-language  nondeterminism 

Может ли недетерминизм ускорить детерминистские вычисления? Если да, то сколько? Под ускорением детерминированных вычислений недетерминизмом я подразумеваю результаты вида: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Например, что-то вроде DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Каков наиболее известный результат ускорения детерминированных вычислений с помощью недетерминизма? Что насчет или даже A T i m e ( n ) …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

Недетерминированный Xor автомат (NXA) является синтаксически NFA, но говорят, что NXA принимает слово, если оно имеет нечетное число принимающих путей (вместо хотя бы одного принимающего пути в случае NFA). Легко видеть, что для конечного регулярного языка LLL существует минимальный NFA, который не содержит циклов (если цикл был и достижимым из …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Доказательство Омер Рейнгольда , что дает алгоритм USTCON (В U ndirected граф со специальными вершинами S и т , они Con подсоединены?) , Используя только logspace. Основная идея состоит в том, чтобы построить график расширителя из исходного графика, а затем выполнить обход в графике расширителя. График экспандера составляется путем возведения …

13 graph-algorithms  nondeterminism  expanders  logspace 

Согласно этой статье , в которой обсуждается недетерминированное расширение гипотезы сильного экспоненциального времени (SETH), «[…] Уильямс недавно показал, что связанные гипотезы о сложности Мерлин-Артура k-TAUT являются ложными». Тем не менее, эта статья цитирует только личное общение. Как версия MA SETH оказалась ложной? Я подозреваю, что это включает в себя алгебраическую …

13 sat  proofs  nondeterminism