Preguntas etiquetadas con space-bounded

En un artículo clásico, Munro y Paterson estudian el problema de cuánto almacenamiento se requiere para que un algoritmo encuentre la mediana en una matriz ordenada aleatoriamente. En particular, se centran en el siguiente modelo: la entrada se lee de izquierda a derecha varias veces P. Se muestra que celdas …

18 ds.algorithms  space-bounded  data-streams 

El cálculo cuántico limitado en el tiempo es obviamente muy interesante. ¿Qué pasa con el cálculo cuántico limitado por el espacio? Conozco muchos resultados interesantes para la computación cuántica con límites de espacio sublogarítmico y varios tipos de modelos de autómatas cuánticos. Por otro lado, se demostró que el espacio …

17 quantum-computing  space-bounded 

Es fácil ver que cualquier problema que sea decidible en el espacio de registro determinista ( ) se ejecuta en la mayoría de los casos de polinomios ( P ). Muchos algoritmos de espacio de registro conocidos (por ejemplo: conectividad st no dirigida, isomorfismo de gráfico plano) se ejecutan en …

17 cc.complexity-theory  space-bounded  space-time-tradeoff 

Se dice que una distribución ϵ -engaña una función f si | E x ∈ U ( f ( x ) ) - E x ∈ D ( f ( x ) ) | ≤ ϵ . Y se dice que engaña a una clase de funciones si engaña a …

17 cc.complexity-theory  derandomization  space-bounded  pseudorandomness 

El teorema de Savitch muestra que para todas las funciones suficientemente grandes , y demostrar que esto es estricto ha sido un problema abierto durante décadas .fNSPACE(f(n))⊆DSPACE(f(n)2)NSPACE(f(n))⊆DSPACmi(F(norte)2)\mathrm{NSPACE}(f(n)) \subseteq \mathrm{DSPACE}(f(n)^2)FFf Supongamos que abordamos el problema desde el otro extremo. Por simplicidad, asuma el alfabeto booleano. La cantidad de espacio utilizado por …

16 cc.complexity-theory  automata-theory  space-bounded  space-complexity 

Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se puede …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Nisan demostró en "Generadores psuedoraaleatorios para la computación limitada al espacio", que existe un generador pseudoaleatorio que "engaña" las computaciones limitadas al espacio. ¿Esta construcción es válida para cada oráculo (al menos para consultas no adaptativas)?

16 cc.complexity-theory  space-bounded  derandomization 

Me interesan dos preguntas sobre los lenguajes sensibles al contexto (CSL) y la integridad: ¿Existe una noción de integridad para CSL y qué idiomas están completos? ¿Hay CSL naturales que son NP completas? Para 2., ciertamente puedo pensar en lenguajes NP-completos naturales que son CSL (como CSL es igual a …

16 np-hardness  fl.formal-languages  space-bounded 

Savitch dio un algoritmo determinista para resolver la conectividad st usando el espacio , lo que implica N L ⊆ D S P A C E ( log 2 n ) . El algoritmo de Savitch se ejecuta en el tiempo 2 O ( log 2 n ) . Es …

15 cc.complexity-theory  space-bounded 

A menudo consideramos clases de complejidad donde estamos limitados en la cantidad de espacio que nuestra máquina Turing puede usar, por ejemplo: o NSPACE ( f ( n ) ) . Parece que al principio de la teoría de la complejidad hubo mucho éxito con estas clases, como el teorema …

15 cc.complexity-theory  complexity-classes  quantum-computing  space-bounded 

SACiSUNCyoSAC^i es la clase de problemas de decisión que puede resolver una familia de circuitos de profundidad con compuertas OR sin límites y con compuertas AND con límites. Las negaciones solo están permitidas en el nivel de entrada. Se sabe que S A C i para i ≥ 1 está …

14 cc.complexity-theory  circuit-complexity  space-bounded  arithmetic-circuits 

Gracias a Immerman y Szelepcsényi, se sabe que if (incluso para funciones construibles que no son espaciales).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) En el mismo documento, Immerman declara que la jerarquía alterna del espacio de registro se colapsa, esto significa que (la definición de la máquina de turing alterna delimitada y de qué …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

El teorema de la jerarquía del tiempo establece que las máquinas de Turing pueden resolver más problemas si tienen (suficiente) más tiempo. ¿Se mantiene de alguna manera si el espacio está limitado asintóticamente? ¿Cómo se relaciona DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n))) con DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n))) si fgfg\frac{f}{g} crece lo suficientemente rápido? Estoy especialmente interesado …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Considere un vector dimensional donde . Para cada sabemos y supongamos que son independientes. Usando estas probabilidades, ¿hay una manera eficiente de iterar sobre vectores binarios dimensionales en orden de más probable a menos probable (con opciones arbitrarias para los lazos) usando el espacio sublineal en el tamaño de salida? …

12 ds.algorithms  space-bounded 

Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA puede detectar si …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded