是否存在准多项式时间内的计算问题，但可能不是

拟多项式时间（简称QP）是确定性图灵机上的复杂度类别。这是确切的定义：https : //complexityzoo.uwaterloo.ca/Complexity_Zoo : Q#qp

虽然βP是有限不确定性的复杂性类别。这是确切的定义：https : //complexityzoo.uwaterloo.ca/Complexity_Zoo :B# betap

不难看出，βP的任何机器都可以用QP的机器来模拟，即βP $\subseteq$ QP。

但是，我们是否有一个例子，这个问题在QP中却不在βP中，即使我们没有确切的证据证明该问题不在βP中也是如此？

虽然我不知道一个特定的（推测的）例子 $QP-\beta P$，仍然有相当有说服力的证据表明 $\beta P$是...的适当子集$QP$。也就是说，这些类的行为在与$NP$：

$\bullet$ 从定义可以明显看出 $\beta P\subseteq NP$。

$\bullet$ 另一方面， $QP\subseteq NP$ 未知，并且很难证明，因为它暗示 $P\neq NP$。（实际上，这是一个比$P\neq NP$）

相对于 $NP$ 似乎提供了一个充分的理由相信 $\beta P\neq QP$。

是。我们有这样的问题。这是图同构问题。Babai证明了GI在QP中。我的理解是，Babai的证明不会产生有限的不确定性上限（$\beta P$）的复杂性。

我们没有证据表明GI在$\beta P$。此外，我们没有证据表明无法使用多对数不确定性解决GI。

请参阅此相关文章。

这个CS理论后由@Salamon表明，我们甚至不知道是否GI可以平方根界确定性决定更不用说聚对数确定性。