Preguntas etiquetadas con space-complexity

Siguiendo con una pregunta anterior , ¿Cuáles son los mejores límites inferiores del espacio actual para SAT? Con un límite inferior de espacio, me refiero al número de celdas de cintas de trabajo utilizadas por una máquina de Turing que utiliza un alfabeto binario de cintas de trabajo. Un término …

22 cc.complexity-theory  sat  lower-bounds  space-bounded  space-complexity 

Es bien sabido que los palíndromos se pueden reconocer en tiempo lineal en máquinas Turing de cintas, pero no en máquinas Turing de cinta única (en cuyo caso el tiempo necesario es cuadrático). El algoritmo de tiempo lineal usa una copia de la entrada y, por lo tanto, también usa …

20 cc.complexity-theory  time-complexity  space-complexity  space-time-tradeoff 

Estoy buscando un documento de encuesta o un libro que cubra los resultados sobre la complejidad espacial de las operaciones comunes de álgebra lineal, como el rango de la matriz, el cálculo de valores propios, etc. Insisto en la parte de "complejidad espacial" que significa la complejidad del espacio de …

19 linear-algebra  space-complexity 

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 

En su trabajo , Oráculos de distancia aproximada , Thorup y Zwick demostraron que para cualquier gráfico ponderado no dirigido, es posible construir una estructura de datos de tamaño que pueda devolver una distancia aproximada entre cualquier par de vértices en el gráfico.O ( k n1 + 1 / k)O(knorte1+1/ …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Hice una búsqueda sobre esto, pero no pude encontrar una respuesta de ninguna manera. Huck respondió por completo. Gracias :)

14 cc.complexity-theory  complexity-classes  time-complexity  space-complexity 

Pregunta general ¿El teorema de la jerarquía espacial se generaliza a la computación no uniforme? Aquí hay algunas preguntas más específicas: ¿Es ?L/poly⊊PSPACE/polyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas las funciones construibles en el espacio f(n)f(n)f(n) , ¿es DSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly⊊DSPACE(f(n))/polyDSPACE(o(f(n)))/poly \subsetneq DSPACE(f(n))/poly ? Para qué funciones h(n)h(n)h(n) se sabe que: para todo el …

11 cc.complexity-theory  space-bounded  space-complexity  advice-and-nonuniformity  hierarchy-theorems 

Elberfeld, Jakoby y Tantau 2010 ( ECCC TR10-062 ) demostraron una versión eficiente del espacio del teorema de Bodlaender. Demostraron que para los gráficos con ancho de árbol como máximo , se puede encontrar una descomposición de árbol de ancho k usando espacio logarítmico. El factor constante en el espacio …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Considere el siguiente problema de decisión. Deje y deje que sea ​​adecuado enumeración de aquellos subconjuntos de que tienen como máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n, C_1^n,\dots,C_{q-1}^n){0,1,…,n−1}{0,1,…,n−1}\{0,1,\dots,n-1\}n/4n/4n/4 Entrada de membresía del subconjunto trimestral : tupla de enteros no negativos representados en binario Pregunta: ¿ es ? (i,j,n)(i,j,n)(i,j,n) i∈Cnji∈Cjni \in C_j^n Al …

8 cc.complexity-theory  coding-theory  space-bounded  space-complexity 

En la película Inception, Cobb le pide a Ariadne que le pida que diseñe un laberinto que le tome el doble de tiempo. Esto se presta a un problema generalizado en el que tenemos una situación en la que los recursos están limitados por una cierta cantidad y quien verifique …

8 cc.complexity-theory  reference-request  time-complexity  space-complexity 

Un truco bien conocido para almacenar vectores de bits utilizando memoria no inicializada puede asignar un vector de bits de tamaño en el que todos los bits se ponen a asignando bits de memoria e inicializando solo de ellos. Esta representación admite la configuración y el desarmado de cualquier bit …

8 ds.data-structures  space-bounded  space-time-tradeoff  space-complexity 

En el artículo de Savitch de 1969, "Relaciones entre complejidades de cinta no deterministas y deterministas", afirma que "todas las funciones de almacenamiento comunes L (n)> = lg n son medibles. En particular, cualquier polinomio en ny lg n es medible". Su definición de mensurable es: "Se dice que una …

8 cc.complexity-theory  pspace  space-complexity