«sat» etiketlenmiş sorular

3SAT için zaman ve devre derinliği için en iyi akım alt sınırları nedir?

46 cc.complexity-theory  lower-bounds  sat 

Başka bir konu , Joe Fitzsimons "3SAT'taki en iyi güncel alt sınırlar" diye sordu. Diğer yoldan gitmek isterdim: 3SAT'taki en iyi güncel üst sınırlar hangisi ? Başka bir deyişle, en verimli SAT çözücüsünün zaman karmaşıklığı nedir? Özellikle, SAT için üstel (henüz süper polinom) algoritması bulmak düşünülebilir mi?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT çözücülerinin pratik başarısı için hangi teorik açıklamalar var ve birileri hepsini birleştiren bir "wikipedia tarzı" genel bakış ve açıklama verebilir mi? Analoji ile simpleks algoritması için yapılan düzgünleştirilmiş analiz ( arXiv sürümü )), en kötü durumda üssel olarak zaman almasına ve NP güçlü ( arXiv versiyonu ) olmasına rağmen …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Bu soruda, bir 3CNF formülü, her bir maddenin tam olarak üç ayrı değişken içerdiği bir CNF formülü anlamına gelir . 0 < s <1 olan sabit bir değer için Gap-3SAT s aşağıdaki söz verme sorunudur: Gap-3SAT s Örneği : 3CNF formül φ. Evet-söz : satis tatmin edicidir. No-vaadi : Hayır …

32 cc.complexity-theory  sat  approximation-hardness 

Bu gibi ölçülü bir Boole formülü olup olmadığına karar verme ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), her zaman doğru olarak değerlendirir, klasik bir PSPACE-komple problemdir. Bu, alternatif hamle ile iki oyuncu arasındaki bir oyun olarak görülebilir. İlk oyuncu tek numaralı değişkenlerin gerçeğe uygun değerine, …

31 cc.complexity-theory  sat  gt.game-theory  pspace 

Birisi bu çalışma alanlarının ilişkisinin ne olduğunu açıklamaya çalışmakta mı, belki de problem düzeyinde daha somut bir cevap vermekte mi? Hangi yaygın olarak kabul görmüş bazı formülasyonları varsayarak hangilerini içerir. Bunu doğru anladıysam, SAT’dan SMT’ye geçtiğinizde, temel olarak CSP alanına girersiniz; tersi durumda, eğer CSP'yi boolean'lerle sınırlandırırsanız, temel olarak SAT …

30 soft-question  sat  terminology 

Tanımlama ioioio - SUBEXPSUBEXPSUBEXP dil sınıfı olmak LLL bir dil olduğu şekilde L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) ve sonsuz sayıda için nnn , LLL ve L′L′L' kabul uzunluğu tüm örneklerini nnn . (Yani, bu, "sınırsız bir zamanda, sonsuz sıklıkta çözülebilen diller" sınıfıdır.) Bir torpil var AAA şekilde NPA⊄ioNPA⊄ioNP^A \not\subset …

30 cc.complexity-theory  sat  oracles 

Klasik algoritmalar 3- sürede (randomize) veya 1.3303 n zamanında (deterministik) çözebilir . (Referans: SAT Üzerindeki En İyi Üst Sınırlar )1.3071n1.3071n1.3071^n1.3303n1.3303n1.3303^n Karşılaştırma için, Grover'in algoritmasını kuantum bilgisayarlarda kullanmak , randomize olarak bir çözüm arayacak ve sunacaktı . (Bu hala ne kadar çözüm olabileceği veya olamayacağı konusunda biraz bilgi gerektirebilir, bu sınırların …

29 quantum-computing  sat  exp-time-algorithms 

İstatistiksel fizikte sezgisel argümanlar olduğunu duydum, bunun için kesin kanıtların bilinmediği ya da ulaşılması çok zor olan olasılık teorisi ile sonuçlandı. Böyle bir olgunun basit bir oyuncak örneği nedir? Cevabın istatistiksel fizikte çok az arka plana sahip olması ve bu gizemli sezgisel buluşların ne olduğunu ve nasıl gayrı resmi olarak …

29 sat  pr.probability  physics  statistical-physics 

Scott Aaronson'un blog yazısı bugün, karmaşıklıktaki ilginç açık problemlerin / görevlerin bir listesini verdi. Özellikle biri dikkatimi çekti: Çözüldüğü zaman kayda değer sonuçlar doğurabilecek, mümkün olduğunca az değişken ve cümlecik içeren, 3SAT örneklerinden oluşan bir halk kütüphanesi oluşturun. (Örneğin, RSA faktoring zorluklarını kodlayan örnekler.) Bu kitaplıktaki en iyi güncel SAT-çözücülerinin …

28 cc.complexity-theory  cr.crypto-security  sat  reductions  factoring 

N değişkenlerinde 3-SAT problemini düşünün. Muhtemel belirgin cümleciklerin sayısı: C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C=2n×2(n−1)×2(n−2)/3!=4n(n−1)(n−2)/3.C = 2n \times 2(n-1) \times 2(n -2) / 3! = 4 n(n-1)(n-2)/3 \text. Sorun örnek sayısı mümkün maddeleri kümesinin tüm alt kümelerinin sayısı aşağıdaki gibidir: . Önemsiz olarak, her , en az bir tane tatmin edici bir örnek ve bir …

28 cc.complexity-theory  sat 

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

SAT çözücülerinde kesme düzlemi yöntemleri, değişken yayılım, dallanma ve sınırlanma, yan tümce öğrenme, akıllı geri izleme ve hatta el dokuması insan sezgiselliği bulabilirsiniz. Yine de onlarca yıldır en iyi SAT çözücüler büyük ölçüde çözünürlüğe dayanıklı tekniklere güveniyor ve yalnızca yardım almak ve özünürlük tarzı aramayı yönlendirmek için başka şeylerin bir …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

Memnuniyet için "kolay bölgeler" nelerdir? Başka bir deyişle, bazı SAT çözücüler için var olduğunu varsayarak tatmin edici bir görev bulabilmek için yeterli koşullar. Bir örnek, her bir cümle değişkenleri diğer birkaç cümle ile paylaştığında , LLL'nin yapıcı kanıtı nedeniyle , bu satırlar boyunca başka herhangi bir sonuç var mı? Orada …

27 cc.complexity-theory  sat 

Treewidth en çünkü genel grafikler üstel olan bazı NP-zor problemler düzlemsel grafikler altüssel olan treewthth içinde ve üsteller.4.9 | V( G ) |------√4.9|V(G)|4.9 \sqrt{|V(G)|} Temelde ben NP-tamamlandı PLANAR SAT için subexponential algoritmalar olup olmadığını merak ediyorum. Let değişkenler üzerinde CNF formül olabilir x i ve i -inci maddesi olduğu C …

26 graph-theory  sat  reductions