SATの部分指数証明/アルゴリズムの結果

SATがせいぜい準指数関数的な不飽和証明を持っている場合、またはさらに強力な場合はSATが準指数関数的アルゴリズムを持っている場合、大きな結果はありますか？

cc.complexity-theory sat proof-complexity

— 選ぶ
ソース

さまざまな結果をもたらす指数時間仮説を反証するでしょう（ウィキペディアの記事で説明されています）。

— アルテムKaznatcheev

@ArtemKaznatcheevコメント->回答？

— スレシュヴェンカト

@SureshVenkatは、ライアンウィリアムズがより良いものを提供できるのに、答えを出すのは少し厄介だと感じています。私は今のところ1つを与えましたが、ライアンと他の人がもっとクールなものでピッチングすることを望みます。

— アルテムKaznatcheev

答えが正しければ、誰がそれを与えても構いません:)

— Suresh Venkat

アルテム、申し訳ありませんが、私の答えはあなたのものよりもクールではありません...追加するべきことの1つは、ETHが偽であるということは新しい超線形回路の下限を意味することです（同じ論文）。

— ライアンウィリアムズ

SATに準指数時間アルゴリズムがある場合、指数時間仮説を反証します。

おもしろい結果： $n$ 変数と $poly(n)$ 回路ゲートを使用したAND、OR、NOT上の回路SAT は、単純な $2^n poly(n)$ アプローチよりも速く解けることを示した場合、Ryanウィリアムズの論文は、あなたがあることを示す $NEXP \not\subseteq P/poly$ 。

— アルテム・カズナチェフ
ソース

あなたの答えの最初の段落は、指数時間仮説の定義にすぎないと思います。

— 伊藤剛