分层不含糊
摘要：相对化分层无二义计算的研究技术——一个关于不可相对性的类（UP and mathcal{UP}）的通知，去创建涉及相对化无二义多项式层次结构（UPH）的新建构。我们的技术是根据不可确定性多项式时间图灵机的分层排列所强加的约束开发而成的，因此它们在适用性和本质上与标准方法（例如《Hastad, Computational Limitations of Small-Depth Circuits, MIT Press, 1987》中的开关定理）有很大的差异，而这些方法在实施类似的推广中发挥了作用。除了实现这些推广外，我们还解决了Cai、Hemachandra和Vyskoc (1993)提出的一个问题，该问题涉及到对UP的非自适应图灵访问和对mathcal{UP}的自适应智能图灵访问。
作者：Holger Spakowski and Rahul Tripathi
论文ID：cs/0702047
分类：Computational Complexity
分类简称：cs.CC
提交时间：2007-05-23