有限的TM和Oracle

20

通常，oracle的查询磁带计入TM的空间复杂度。但是，允许只写的oracle-tape似乎是合理的（例如在L空间缩减中使用的）。

这样的结构有用吗？它会产生任何特别荒谬的结果吗？

cc.complexity-theory space-bounded oracles

— 杰里米·赫维兹（Jeremy Hurwitz）
source

如果您使用带有只读Oracle磁带的TM，您如何阅读答案？然后，您可以忘掉预言。

— Marcos Villagra

1

在确定什么是对受空间限制的机器的oracle访问的正确定义时，存在一些棘手的问题。请参阅CSL 2007

— Kaveh 2010年

@Marcos：我相信答案只是机器的内部状态，而不是写到oracle磁带上。

— Joe Fitzsimons 2010年

界定空间限制的oracle计算机的参考是什么？

— miforbes

10

我认为一个令人惊讶的事实是，在这种模型中，Savitch定理没有“明显”相对化。也就是说，在此模型中，可以看到和，而我们目前还没有知道 $PSPACE^P=EXPTIME$ $NPSPACE^P=NEXPTIME$ （和Savitch在这方面的定理似乎并没有给它）。我想知道是否可以将其推到“证明”非相对论。 $EXPTIME=NEXPTIME$

人们还可以观察到，在该模型中。 $NL^{NL}=NL^L=NP$

但是，我认为就空间层次定理中的相对化问题而言，至少值得考虑该模型。此外，在某些意义上，我想使多级查询。 $L^A$ $A$

— 米福布斯
source

1

我忘记了一件事：由于NL = coNL，我们应该要NL ^ NL = NL，但是很显然，如果在此模型中NL ^ NL = NP，我们就不能使用NL = coNL来折叠“ NL-层次”。在另一种受空间限制的先知的概念中，层次结构确实崩溃了（有关参考，请参阅Immerman的NL = coNL论文）。

— miforbes

你有参考吗？我本来期望

。事实上，让

是语言递归可枚举，

一个TM谁认识

和

读取输入和数字的TM

的“1”，然后模拟

的该输入

步骤。然后，不使用任何空间，我可以复制甲骨文磁带上的投入，估计所需的数量-1和查询

。

N S P A C E (0)^{P} = R E

$\rm{NSPACE(0)^P=RE}$

L

$L$

M

$M$

L

$L$

M^{'}

$M'$

n

$n$

M

$M$

n

$n$

M^{'}

$M'$

— 亚瑟·米尔奇奥

9

这可能无法回答您的问题（老实说，我并没有完全理解），但我认为这是相同的精神。众所周知，具有一个oracle磁带的logspace TM与可以访问多个oracle磁带的logspace TM在可还原性方面存在差异。另外，以下日志空间性概念具有很好的属性：TM只能在其工作磁带上使用对数空间，但是可以在其Oracle磁带上使用多项式空间。

参考：http：//groups.csail.mit.edu/tds/papers/Lynch/tcs78.pdf

— 亚伦·斯特林
source

3

NSPACE（0）P = RE我猜这有点荒谬。

确实，让L是一种可递归枚举的语言，M a TM识别L，而M'a TM读取输入，并读取n为“ 1”的数字，然后在n步上为该输入模拟M。然后，无需使用任何空间，我就可以将输入复制到oracle磁带上，猜测所需的1数量并查询M'。

然后，如果M接受并且M的输入足够大以成为多项式，则M'将接受。

— 亚瑟·米尔奇奥（Arthur MILCHIOR）
source