Запитання з тегом «nondeterminism»

Багато хто вважає , що . Однак нам відомо лише, що B P P знаходиться на другому рівні ієрархії поліномів, тобто B P P ⊆ Σ P 2 ∩ Π P 2 . Крок до показу B P P = P - це спочатку звести його до першого рівня ієрархії …

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

Обмеженість недетермінізм пов'язує функцію з класом мов , прийнятих ресурси обмежені детерміновані тьюрінгових машинами, щоб сформувати новий клас - . Цей клас складається з тих мов, які прийняті деякою недетермінованою машиною Тьюрінга дотримуючись тих же ресурсних меж, що і для визначення , але де дозволяється робити не більше недетермінованих рухів. …

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^* Неважко показати, що для це правда, отже, якщо автомати виробляють кожне слово довжиною до …

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 \emptysetM1,M2M1,M2M_1,M_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⋅poly(log⁡(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 

Недетермінований булева схема має, крім звичайних входів , набір "недетермінованих" входів y = ( y 1 , ... , y m ) . Недетермінірованного схема З приймає вхідні х , якщо існує у таких , що вихідний контур 1 на ( х , у ) . Аналогічно P / p …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

В теорії автоматів (кінцеві автомати, пушдауд-автомати, ...) і в складності існує поняття "неоднозначність". Автомат неоднозначний, якщо є слово www з принаймні двома чітко прийнятими прогонами. Машина kkk неоднозначна, якщо для кожного слова wшw прийнятого машиною, існує максимум kkk різних чітких циклів, щоб прийняти www . Це поняття також визначається в …

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

Проблема Нехай є автоматикою Бючі, розпізнаючи мову . Ми припускаємо , що має стратегію прийому в наступному сенсі: існує функція , які можуть бути використані для пілотних серій . Ми формалізуємо це за допомогою наступних умов: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) Який найвідоміший результат прискорення детермінованих обчислень недетермінізмом? Що щодо ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) або навіть ATime(n)ATime(n)\mathsf{ATime}(n) замість NTime(n)NTime(n)\mathsf{NTime}(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 граф зі спеціальними вершинами і , вони Con під'єднані?) , Використовуючи тільки logspace. Основна ідея полягає в тому, щоб побудувати графік розширювача з початкового графіка, а потім виконати прогулянку в графіку розширення. Графік розширювачів складається шляхом логарифмічного вирівнювання оригінального …

13 graph-algorithms  nondeterminism  expanders  logspace 

Згідно з цим документом , в якому йдеться про недетерміноване розширення гіпотези сильного експоненціального часу (SETH), "[...] нещодавно Вільямс показав споріднені гіпотези про складність k-TAUT Мерліна-Артура помилковими". Однак цей документ цитує лише особисте спілкування. Яким чином MA версія SETH виявилася помилковою? Я підозрюю, що вона включає алгебризуючу формулу, але не …

13 sat  proofs  nondeterminism