Preguntas etiquetadas con nondeterminism

Muchos creen que BPP=P⊆NPBPP=P⊆NP\mathsf{BPP} = \mathsf{P} \subseteq \mathsf{NP} . Sin embargo, solo sabemos que BPPBPP\mathsf{BPP} está en el segundo nivel de jerarquía polinómica, es decir, BPP⊆ΣP2∩ΠP2BPP⊆Σ2P∩Π2P\mathsf{BPP}\subseteq \Sigma^ \mathsf{P}_2 \cap \Pi^ \mathsf{P}_2 . Un paso hacia la muestra BPP=PBPP=P\mathsf{BPP} = \mathsf{P} es a primera bajarla hasta el primer nivel de la …

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

No determinismo Bounded asocia una función con una clase de las lenguas aceptadas por las máquinas de Turing deterministas-delimitada de recursos, para formar una nueva clase - . Esta clase consta de aquellos lenguajes que son aceptados por alguna máquina de Turing no determinista obedece a los mismos límites de …

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

Considere un autómata finito no determinista y una función f (n) . Además definimos \ Sigma ^ {\ leq k} = \ bigcup_ {i \ leq k} \ Sigma ^ i .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 Ahora analicemos la siguiente declaración: Si …

28 automata-theory  fl.formal-languages  nondeterminism 

Deje que sean dos lenguajes regulares dados por NFA M 1 , M 2 como entrada.L1, L2L1,L2L_1,L_2METRO1, M2M1,M2M_1,M_2 Supongamos que nos gustaría verificar si . Esto puede hacerse claramente mediante un algoritmo cuadrático que computa el autómata del producto de M 1 , M 2 , pero me preguntaba si …

23 ds.algorithms  automata-theory  regular-language  nondeterminism 

El teorema original de la jerarquía del tiempo no determinista se debe a Cook (el enlace es a S. Cook, una jerarquía para la complejidad del tiempo no determinista , JCSS 7 343–353, 1973). El teorema establece que para cualquier número real y , si entonces NTIME ( ) está …

22 cc.complexity-theory  nondeterminism  time-hierarchy 

Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad computacional de los algoritmos", pero no pude …

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

El problema de decisión CNF-SAT se puede describir de la siguiente manera: Entrada: Una fórmula booleana en forma conjuntiva normal.ϕϕ\phi Pregunta: ¿Existe una asignación variable que satisfaga ?ϕϕ\phi Estoy considerando varios enfoques diferentes para resolver CNF-SAT con una máquina de Turing de dos cintas no determinista . Creo que hay …

19 time-complexity  sat  turing-machines  np  nondeterminism 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

Un circuito booleano no determinista tiene, además de las entradas ordinarias , un conjunto de entradas "no deterministas" y = ( y 1 , ... , y m ) . Un circuito no determinista C acepta la entrada x si existe y tal que la salida del circuito 1 está …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

En la teoría de los autómatas (autómatas finitos, autómatas pushdown, ...) y en la complejidad, existe una noción de "ambigüedad". Un autómata es ambiguo si hay una palabra www con al menos dos ejecuciones de aceptación distintas. Una máquina es kkk ambigua si por cada palabra www aceptada por la …

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

El problema Deje que A=⟨Σ,Q,q0,F,Δ⟩A=⟨Σ,Q,q0,F,Δ⟩A=\langle \Sigma, Q, q_0,F,\Delta\rangle ser un autómata Büchi, reconociendo un lenguaje L⊆ΣωL⊆ΣωL\subseteq\Sigma^\omega . Suponemos que AAA tiene una estrategia de aceptación en el siguiente sentido: hay una función σ:Σ∗→Qσ:Σ∗→Q\sigma:\Sigma^*\to Q que puede ser utilizado para pruebas piloto de AAA . Lo formalizamos mediante las siguientes condiciones: …

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

¿Puede el no determinismo acelerar el cálculo determinista? Si es así, ¿cuánto? Al acelerar el cálculo determinista por el no determinismo me refiero a los resultados de la forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Por ejemplo, algo como DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) ¿Cuál es el resultado de aceleración más conocido del cálculo determinista …

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

Un autómata Xor no determinista (NXA) es sintácticamente un NFA, pero se dice que NXA acepta una palabra si tiene un número impar de rutas de aceptación (en lugar de al menos una ruta de aceptación en el caso de NFA). Es fácil ver que para un lenguaje regular finito …

14 fl.formal-languages  automata-theory  nondeterminism  minimization 

Prueba de Omer Reingold que da un algoritmo para USTCON (En un T ndirected gráfico con vértices especiales y , son Con TARSE?) Utilizando sólo logspace. La idea básica es construir un gráfico expansor a partir del gráfico original, y luego hacer el recorrido en el gráfico expansor. El gráfico …

13 graph-algorithms  nondeterminism  expanders  logspace 

Según este artículo , que analiza una extensión no determinista de la hipótesis del tiempo exponencial fuerte (SETH), "[…] Williams ha mostrado recientemente que las hipótesis relacionadas sobre la complejidad de Merlin-Arthur de k-TAUT son falsas". Sin embargo, ese documento solo cita una comunicación personal. ¿Cómo se demuestra que la …

13 sat  proofs  nondeterminism