SAT için alt üstel ispatların / algoritmaların sonuçları

SAT'ın en çok alt-üstel doymamış kanıtları veya daha da güçlü olması durumunda SAT'ın alt-üst-zaman algoritmaları olsaydı önemli sonuçlar doğurur mu?

cc.complexity-theory sat proof-complexity

— seçmek
kaynak

Bu aksini olur üstel zaman hipotezini (wikipedia makalesinde ele) çeşitli sonuçları vardır.

— Artem Kaznatcheev

@ArtemKaznatcheev yorum -> cevap?

— Suresh Venkat

@SureshVenkat, Ryan Williams çok daha iyi bir yanıt verebildiğinde cevap vermek biraz garip geliyor. Şimdilik bir tane verdim, ama umarım Ryan ve diğerleri daha havalı bir şeyle yarışırlar.

— Artem Kaznatcheev

Cevap doğruysa, kimin verdiğinin önemi yok :)

— Suresh Venkat

Üzgünüm Artem, cevabım sizinkinden çok daha serin olmaz ... Sanırım ekleyeceğim bir şey ETH'nin yanlış olması yeni süper lineer devre alt sınırları (aynı kağıt) anlamına geliyor.

— Ryan Williams

SAT'ın alt-üstel-zaman algoritması olsaydı, üstel zaman hipotezini çürütürdünüz .

Eğlenceli sonuçları için: DEĞİL ile üzerinde o devre SAT gösterdi AND, OR eğer değişkenler ve devre kapıları daha hızlı önemsiz daha çözülebilir yaklaşımı, o zamana kadar Ryan Williams'ın kağıt göstermek bu . $n$ $poly(n)$ $2^n poly(n)$ $NEXP \not\subseteq P/poly$

— Artem Kaznatcheev
kaynak

Cevabınızın ilk paragrafının sadece üstel zaman hipotezinin tanımı olduğunu düşünüyorum.

— Tsuyoshi Ito