Questions tagged «oracle-machines»

研究计算复杂性类别的一种可能动机是了解不同类型的计算资源（随机性，不确定性，量子效应等）的力量。如果我们从这个角度看待它，那么似乎我们可以得到一个合理的公理，来尝试表征某些模型中哪些计算是可行的： 任何可行的计算总是可以将另一个可行的计算作为子例程调用。换句话说，假设程序被认为可以执行。然后，如果我们通过连接和构造一个新程序，以便对进行子例程调用，那么这个新程序也是可行的。P Q P QP,QP,QP,QPPPQQQPPPQQQ 转换为复杂度类的语言，此公理符合以下要求： 如果是为了捕捉一个复杂类计算是可行的一些模式，那么就必须有。C C = CCCCCC=CCC=CC^C = C （这里表示中可以从调用oracle的计算；这是一个oracle复杂性类。）因此，如果满足，我们就可以将复杂性类称为合理。 C C C C C C = CCCCCC^CCCCCCCCCC CC=CCC=CC^C=C 我的问题：我们知道什么样的复杂性类是合理的（通过这种合理性的定义）？ 举例来说，是合理的，因为。我们有吗？什么？满足此标准的其他一些复杂度类别又是什么？P P = P B P P B B P P = B P P B Q P B Q P = B Q PPPPPP=PPP=PP^P=PBPPBPP=BPPBPPBPP=BPPBPP^{BPP} = BPPBQPBQP=BQPBQPBQP=BQPBQP^{BQP} …

21 complexity-theory  oracle-machines 

我知道它很傻，但是我设法使自己困惑，我需要帮助解决这个问题 假设，那么对于每个预言显然我们都有，这与以下事实相对应：存在一些预言的，因此P=NPP=NPP=NPAAAPA=NPAPA=NPAP^A=NP^AAAAPA≠NPAPA≠NPAP^A\neq NP^AP≠NPP≠NPP\neq NP 怎么了？谢谢！

11 complexity-theory  p-vs-np  oracle-machines 

我知道，如果可以使用暂停的预言机（或者，我认为等同于超计算），那么大多数问题都是微不足道的。但是，应用显示停止问题的参数对于Turing机器是不可能的，这也表明Turing + oracle无法决定Turing + oracle的停止问题。是否有任何实际的，实际的，通过停止先知无法解决的问题的示例？ 注意：“甲骨文”是指标准图灵机的甲骨文，而不是具有甲骨文本身的TM。

11 computability  undecidability  halting-problem  oracle-machines 

当使用oracle Turing Machines时，如何确保我们继续就复杂性类做出合理而有效的声明？根据我的理解（基于该主题的入门教科书中给出的定义），oracle Turing机器可以在一个计算步骤中确定相对于oracle语言的字符串的成员身份。但是，证明经常使用的oracle语言无法在恒定时间内解决（例如，使用EXPTIME完整的oracle）。对我来说，这似乎是为矛盾“打开大门”，毕竟，矛盾产生了任何后果。

9 complexity-theory  oracle-machines