Compensación espacio-tiempo y el mejor algoritmo

14

Considere un lenguaje L tal que:

LDTIME(O(f(n)))DSPACE(O(g(n)))

y asi que

LDTIME(o(f(n)))DSPACE(o(g(n)))

En otras palabras, la máquina más rápida calcula en el tiempo y la máquina más eficiente en espacio calcula mientras usa el espacio .L O ( f ( n ) ) M L O ( g ( n ) )MLO(f(n))MLO(g(n))

¿Qué se puede decir sobre la eficiencia espacial de M o la eficiencia temporal de M '? O más precisamente, si es el conjunto de todas las máquinas que calculan en , ¿qué podemos decir acerca de la máquina más eficiente en espacio en ? ¿Qué pasa con lo mismo para la versión espacial obvia: . LO(f(n)) M T M SMTLO(f(n))MTMS

Alternativamente, Can y ser usado para definir unas concesiones buen espacio-tiempo? ¿Bajo qué condiciones es o más generalmente para algún intercambio espacio-tiempo bajo qué condiciones es .f(n)g(n)TSo(f(n)g(n))h(T,S)h(T,S)h(o(f(n)),o(g(n)))

Artem Kaznatcheev
fuente
¿Está preguntando por una L arbitraria o le interesan los resultados de esta naturaleza que podrían existir para problemas específicos?
Suresh Venkat
Estoy interesado en ambos, de verdad. Mi motivación original era principalmente de problemas de accesibilidad (conectividad st dirigida y no dirigida). Sin embargo, sería interesante saber si existen límites generales o técnicas disponibles.
Artem Kaznatcheev
2
Por lo tanto, tomar cualquier idioma decidable . Este lenguaje da funciones f L , g L de modo que L TIEMPO [ f L ( n ) ] ESPACIO [ g L ( n ) ] y L TIEMPO [ o ( f L ( n ) ) ] ESPACIO [ o ( g L ( n ) ) ]LfL,gLLTIME[fL(n)]SPACE[gL(n)]LTIME[o(fL(n))]SPACE[o(gL(n))]. (¿Es esto cierto, o hay idiomas de "aceleración" que lo violan?)
Derrick Stolee
Específicamente, hay ejemplos en la búsqueda de rango de problemas que admiten (Consulta, Espacio) de la forma (log n, poly (n)), o (sublineal, lineal), o cualquier interpolación de los mismos
Suresh Venkat
2
¿Relacionado? Límites inferiores de espacio-tiempo
Tsuyoshi Ito

Respuestas:

14

El f y g prototípico aquí probablemente sería poli-tiempo y espacio polilog. El problema interesante aquí es la conectividad (en gráficos dirigidos) que se puede resolver en tiempo polinomial (usando espacio lineal) o en espacio polylog (usando tiempo superpolinomial). Es un problema abierto famoso si se puede resolver en TIME-SPACE (poly, polylog), una clase conocida como SC .

Es decir, su pregunta es un problema abierto bien conocido. No creo que se sepa nada no trivial aquí.

Noam
fuente
gracias por la respuesta. Sospechaba que sería un problema abierto, pero esperaba que algunos resultados específicos ya se conocieran. Desafortunado :(.
Artem Kaznatcheev
-4

esta pregunta apareció en "preguntas similares" cuando acabo de publicar esta otra pregunta /cstheory/9677/deterministic-time-space-separation-via-space-compression .

allí cito el resultado de 1977 de hopcroft, paul, valientes (aparentemente más conocido según rj lipton en su blog) que parece aplicarse a su pregunta, es decir, DTIME(t(n))DSPACE(t(n)/log(n))

vzn
fuente
1
No veo cómo esto se aplica a las compensaciones espacio-tiempo ...
Artem Kaznatcheev
El concepto de "compensación espacio-temporal" parece no estar exactamente definido. mi respuesta se puede entender de la siguiente manera: un programa que está en DTIME (t (n)) está "naturalmente" en DSPACE (t (n)). los resultados de HPV1977 le permiten a uno construir una TM, a expensas de algún aumento en los estados (¿y las cintas tal vez?) de modo que en su lugar se necesita espacio DSPACE (t (n) / log (n)). por lo tanto, una "compensación"
vzn
1
Existe una comprensión estándar de las compensaciones en CS que no es en absoluto lo que usted describe (lo que describe no es una compensación en absoluto, sino solo una relación estándar entre DTIME y DSPACE). Además, explícitamente explico lo que quiero en el intercambio espacio-tiempo en mi pregunta, por favor lea las preguntas cuidadosamente antes de intentar responderlas.
Artem Kaznatcheev
si su definición de compensaciones espacio-temporales arriba en su pregunta es estándar como usted dice, ¿está definida en alguna literatura?
vzn
Mirando por encima de su definición, parece intuitivamente plausible que tales f (n), g (n) existan para todos los lenguajes decidibles, pero que uno no tenga problemas incluso demostrando que tales f (n), g (n) necesariamente existen debido al teorema de aceleración blum ....?
vzn