Preguntas etiquetadas con space-bounded

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 

Estoy tratando de encontrar problemas cuya complejidad de espacio de casos promedio ha sido analizada. Más específicamente, estoy interesado en saber si hay algún problema con un límite inferior de complejidad espacial comprobada que sea superlineal, y especialmente si hay alguno con un análisis de caso promedio (por ejemplo, el …

11 cc.complexity-theory  reference-request  space-bounded  average-case-complexity 

Muestre una función que sea construible en el espacio pero no construible en el tiempo.f(n)f(n)f(n) ¿Está este problema relacionado con una posible separación entre las clases de complejidad DTIME (f (n)) y SPACE (f (n))?

10 cc.complexity-theory  space-bounded  separation 

Actualización: Parece que este problema ha sido estudiado y resuelto recientemente, vea este artículo wiki: http://en.wikipedia.org/wiki/Tree_walking_automaton Y también esta encuesta: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Supongamos que, en lugar del conjunto habitual de palabras, {0,1} *, nuestras palabras no son lineales, sino que se dan en alguna estructura de árbol. Para evitar que …

10 cc.complexity-theory  automata-theory  space-bounded  dfa 

¿Los autómatas con límites lineales no deterministas de visita limitada reconocen solo los lenguajes normales? Por un autómata lineal no determinista (nLBA) me refiero a una máquina de Turing no determinista de una sola cinta donde la entrada viene "rellenada" con marcadores en ambos extremos que nunca se pueden sobrescribir, …

9 automata-theory  turing-machines  regular-language  space-bounded 

Es bien sabido que el problema NP-Complete llamado Subset Sum tiene un FPTAS. Me preguntaba si existía un problema PSPACE Complete que también tiene un FPTAS. Gracias por adelantado.

9 ds.algorithms  space-bounded  big-picture 

Considere una máquina (es decir, un algoritmo probabilístico que usa espacio de registro y polinomialmente muchos bits aleatorios). Se sabe (Saks-Zhou) que B P L ⊆ D S P A C E ( l o g 1.5 ( n ) ) .B PLsiPAGSLBPLB PL ⊆ D SPAGSA Cmi( l o …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

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 

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 

Teniendo en cuenta los números enteros positivos y correo , lo que se sabe sobre el espacio y el tiempo complejidad de encontrar el peso de Hamming (número de 1 binarios) de b correo ?sibbeeebebeb^e Si bits son disponibles, el número simplemente se puede calcular mediante técnicas estándar y los …

8 ds.algorithms  co.combinatorics  space-bounded  space-time-tradeoff