SAT的次指数证明/算法的后果

如果SAT最多具有次指数级的不饱和证据，或者甚至更强壮，SAT拥有次指数级时间算法，会不会有重大后果？

cc.complexity-theory sat proof-complexity

— 选择
source

这将证明具有多种后果的指数时间假说（已在维基百科文章中发现）。

— Artem Kaznatcheev

@ArtemKaznatcheev评论->回答？

— Suresh Venkat

当瑞安·威廉姆斯可以提供更好的答案时，@ SureshVenkat感到有点尴尬。我现在给了一个，但我希望Ryan和其他人可以加入一些更酷的东西。

— Artem Kaznatcheev

如果答案正确，那么谁给它都没关系:)

— Suresh Venkat

抱歉，Artem，我的回答不会比您的回答凉爽...我想补充一件事，即ETH为假意味着新的超线性电路下限（相同的论文）。

— 瑞安·威廉姆斯

如果SAT具有次指数时间算法，则您将反驳指数时间假设。

$n$ $poly(n)$ $2^n poly(n)$ $NEXP \not\subseteq P/poly$

— Artem Kaznatcheev
source

我认为答案的第一段只是指数时间假设的定义。

— 伊藤刚（Tsuyoshi Ito）