2
是否存在这样一种预言,即在次指数时间内SAT不会无限频繁地出现?
将 -定义为语言的类,以便中存在语言并且对于无限多个,和同意所有长度为。(也就是说,这是可以“在次指数时间内无限次求解”的语言。)ioioioSUBEXPSUBEXPSUBEXPLLLL′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}})nnnLLLL′L′L'nnn 是否有一个oracle使得 - SUBEXP ^ A?如果我们以通常的方式为SAT配备oracle A,是否可以说SAT ^ A不在此类中?AAANPA⊄ioNPA⊄ioNP^A \not\subset ioSUBEXPASUBEXPASUBEXP^AAAASATASATASAT^A (我在这里要问另外的问题,因为我们必须注意经常使用的无限次类:仅仅因为您从问题减少到问题并且可以无限地求解,所以您可能实际上并没有得到可以求解的事实。无穷无尽,通常无需进一步假设:如果从的减少“错过”了可以解决 on 的输入长度,该怎么办?)BBBCCCCCCBBBBBBCCC