NP是否在？

$DTIME(n^{polylogn})$ 被称为（准多项式）。 $QP$

尽管它比，但人们普遍认为。 $NP\not \subset QP$ $P\neq NP$

一些常见的猜想，例如指数时间假说暗示 $NP\not \subset QP$ 。

— RB
source

您说“一些常见的猜想……”。除ETH外还有哪些？我非常感兴趣，因为我目前正在研究NP和QP-至少我希望如此……

— Matt Groff 2014年

相信另一个很好的理由是意味着，而后者被认为是不太可能的。可以通过填充参数来证明这种含义，例如，参见以下论文中的命题2的证明： $NP\not\subseteq QP$ $NP\subseteq QP$ $EXP=NEXP$

H. Buhrman和S. Homer，“超多项式电路，几乎稀疏的预言和指数级体系” ，软件技术和理论计算机科学基础， Springer LNCS第1卷。652，1992，pp.116-127， PDF

— 安德拉斯·法拉戈（Andras Farago）
source

我很喜欢这个答案。给定RB的答案，它使我想知道ETH与假设之间的关系（如果有。

E X P \neq N E X P

$\mathsf{EXP} \neq \mathsf{NEXP}$

— 2014年

@Joshua我没有搜索有关此的文献，但是，我认为，任何违反ETH的行为都可能意味着更高层次的崩溃。我想，水平取决于ETH被违反的程度，更强的违反会导致更严重的崩溃。如答案中指出的那样，强烈违反 ETH 意味着。如果我们采取较温和的违反行为，例如假设属于比大的次指数类，那么崩溃可能会向上移动（例如，变为双指数类甚至更高）。

N P \subseteq Q P

$NP\subseteq QP$

E X P = N E X P

$EXP=NEXP$

N P

$NP$

Q P

$QP$

— Andras Farago 2014年

坦斯克（Thansk），但我想知道ETH和之间的直接关系。我们现在有两个答案-ETH暗示和暗示 -我很好奇，一个是否是另一个的结果。

E X P \neq N E X P

$\mathsf{EXP} \neq \mathsf{NEXP}$

N P ⊈ Q P

$\mathsf{NP} \not\subseteq \mathsf{QP}$

N E X P \neq E X P

$\mathsf{NEXP} \neq \mathsf{EXP}$

N P ⊈ Q P

$\mathsf{NP} \not\subseteq \mathsf{QP}$

— Joshua Grochow 2014年

不幸的是，我不知道有直接的含义。另一方面，很有趣的是，违反ETH不仅会导致崩溃，而且会导致电路下限分离。Ryan Williams （pdf）的论文证明，即使是最轻微的ETH违规，也都意味着很难证明电路下限。

— Andras Farago 2014年