机构名称：
¥ 1.0
层次结构定理是复杂性理论的基本结果。他们指出，随着计算资源的增加，人们可以严格解决更多问题。bptime的时间层次结构定理仍然是一个臭名昭著的难以捉摸的话题。迄今为止，只有在提供对数或恒定建议位时才知道，bptime的无条件层次结构定理[BAR02，FS04，GST11，FST11，FST11，FST05，PER05，VMP07]。此外，已知层次结构定理对BPP的完全问题[BAR02]持有条件。与确定性[HS65，HS66]或非确定性时间层次结构[COO72，SFM78，ˇ Z´AK83]，BPTIME的层次定理保持开放，因为在实用上，似乎有效地确定一个随机的Turning机器是无效的，是否可以有效地确定一个随机的机器被拒绝或不拒绝，或者拒绝了一个有界的错误或不符合界限。因此，标准对角线化在列举所有随机图灵机的步骤上失败，并具有有界的双面误差。实际上，确定每个输入的随机图灵机是否有界限。这种情况在其承诺版本中被认为不同。Pr -bptime的时间层次结构（承诺概率时间课）是一种民间传说的陈述，在谈话，课程和流行的教科书中出现了，例如[AB09]。我们观察到没有来源勾勒出其证明，并且可能假定其有效性是从直接对角线化的，或者遵循存在完全问题的Pr -bptime；参见例如[GAJ22]。在高水平上，对角度化的关键步骤涉及否定枚举的图灵机的输出。但是，我们观察到基于直接对角线的直接对角度或证据（例如，减少到Bptime完全问题[BAR02]）并不容易通过PR- BPTIME层次定理携带。通过否定输出，构造的语言
Promise-Bptime层次定理上的注释
主要关键词
相关文件推荐
