«sat» etiketlenmiş sorular

SAT çözümü için DPLL tabanlı olmayan herhangi bir algoritma var mı? Yoksa SAT çözücüler tarafından kullanılan tüm algoritmalar DPLL tabanlı mıdır?

18 ds.algorithms  reference-request  sat 

Burada amaç, en az sayıda cümle ve değişken kullanarak polinom zamanda keyfi bir SAT problemini 3-SAT'a indirmektir. Benim sorum meraktan kaynaklanıyor. Daha az resmi olarak şunu bilmek isterim: "SAT'dan 3-SAT'a 'en doğal' azalma nedir?" Şimdi her zaman ders kitaplarında gördüğüm azalma şöyle olur: Öncelikle SAT örneğinizi alın ve SAT devresini …

18 cc.complexity-theory  sat  reductions 

Gerçeklenebilirlik sorun, tabii ki, teorik CS temel bir sorundur. Sorunun bir versiyonuyla sonsuz sayıda değişkenle oynuyordum.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Temel kurulum. boş olmayan ve muhtemelen sonsuz bir değişkenler kümesi olmasına izin verin . Bir değişmez ya x ∈ X değişkeni ya da ¬ x negatifidir . A madde C bir ayrılmasıdır sonlu …

18 reference-request  lo.logic  sat  topology  lattice 

Kısa versiyon. # 2-SAT'ın #P -complete olduğuna dair orijinal kanıt, aslında # 2-SAT'ın hem monoton (herhangi bir değişkenin olumsuzluğunu içermeyen) hem de bipartit ( değişkenler iki parçalı bir grafiktir) #P -hard. Bu nedenle, # 2-MONOTONE-SAT ve # 2-BIPARTITE-SAT olmak üzere iki özel durum #P -hard. Formülün #P -hard olan 'doğal' …

17 cc.complexity-theory  sat  counting-complexity 

Verilen , nasıl birçok k -DNFs ile n değişkenleri ve m totoloji maddeleri nelerdir? (veya kaç tanem,n,km,n,km, n, kkkknnnmmm CNF tatmin edilemez?)kkk

17 co.combinatorics  lo.logic  sat 

Geçmişte, motorlarındaki ana işgücü olarak SAT ve düzenli kısıtlama memnuniyetini kullanarak koordinasyon modelleri uyguladım. Bu çalışma çizgisine devam ederken, modelleri daha etkileşimli hale getirmek istiyorum ve bunu yapmanın en iyi yolu, artık bir kara kutu olmayacak şekilde kısıtlayıcı çözücüyü açmaktır. Bu nedenle, kısıtlamaların dış değişkenler , tahminler ve işlevler olarak …

17 sat  lo.logic  csp 

Bu soru muhtemelen konu ve konu dışı arasındaki sınır çizgisinde, ancak burada benzer sorular gördüm, bu yüzden soracağım. Ben girdisi en fazla tatmin edici atama sahip bir CNF formülü olan bir Benzersiz SAT çözücü uyguluyorum . Pratik davranışını test etmek için bir dizi formüle ihtiyacım var. Onları web'de aradım ve …

16 sat 

Kuroda'nın klasik bir sonucu olarak, karmaşıklık sınıfı NSPACE [ ]nnn (NLIN-SPACE olarak da bilinir), tam olarak bağlama duyarlı dillerin sınıf CSL'sidir . Bir çözüm için doğrusal boyutlu bir tahmin, defter tutma için en fazla lineer miktarda ek yük ile kontrol edilebildiğinden SAT'ın doyurulma problemi NSPACE [ ] 'dir. Bu SAT'ın …

16 cc.complexity-theory  fl.formal-languages  sat  space-bounded 

Da rasgele bilinmektedir üzerinde -CNF formüller ile değişken yeterince büyük sabiti, maddeleri yüksek olasılıkla (yani, çelişkileri vardır) edilemezdir olan . Bu nedenle, rastgele CNF formülleri ( yeterince için ) tatmin edilemez Boole formülleri (veya dually, totolojiler, yani çelişkilerin olumsuzlamaları) üzerinde doğal bir dağılım oluşturur. Bu dağılım kapsamlı bir şekilde incelenmiştir.kk …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Eğer , daha sonra bir logspace algoritması olduğu çözer karar versiyon 2-SAT.L=NLL=NL\mathsf{L = NL} Mi bir logspace algoritma var olduğunu ima bilinen bir tatmin atamasını elde zaman girdi olarak karşılanabilir 2-SAT örneği verilen?L=NLL=NL\mathsf{L = NL} Değilse, alt doğrusal boşluk kullanan algoritmalar (cümle sayısında) ne olacak?

15 sat  search-problem  logspace 

Bu soru başka bir yazı ile yakından ilgilidir: NP Zor Sorunlarda Faz Geçişleri ama biraz farklı. Bu soru NP zor problemlerinin belirli örneklerinin sertliği ile ilgili olsa da, bu aynı örneklerin zorluk derecesini sıralamakla ilgilidir . Faz Geçişi olarak bilinen etki üzerinde birçok kaynakça vardır . Özellikle Konjonktif Normal Formda …

15 cc.complexity-theory  np-hardness  sat 

SAT çözücüler, bir nicelik belirteci ile bir boole formülünün geçerliliğini kontrol etmek için güçlü bir yol sağlar. Örneğin, geçerliliğini kontrol etmek için . φ ( x ) , φ ( x ) ' in tatmin edici olup olmadığını belirlemek için bir SAT çözücü kullanabiliriz . ∀ x'in geçerliliğini kontrol etmek …

15 ds.algorithms  lo.logic  sat  boolean-functions 

Cümlelerin rasgele 3-SAT için değişkenlere kritik oranı 3'ten fazla ve 6'dan azdır ve yaygın olarak "yaklaşık 4.2" veya "4.25 civarında" olarak tanımlanmaktadır. Mezard, Parisi ve Zecchina (fizik anlamında) kritik oranın 4.256 olduğunu, birinci ve üçüncü yazarlar ise 4.267 olduğunu kanıtlamaktadır . What is the range of values that the critical …

14 sat  phase-transition  random-k-sat 

İnternete baktım, ancak SAT sorununun herhangi bir 'büyük listesini' bulamadım. (Ortak) dışında OTURDU, k-SAT, MAKS-kSAT, Yarım SAT, XOR-SAT, NAE-SAT başka hangi varyantlar var? (ayrıca karmaşıklık sınıflarının verilmesi (gerçekten mümkün olduğunda) gerçekten yararlı olacaktır)

14 cc.complexity-theory  sat  big-list 

#SAT sorunu standart # P-complete sorunudur. Bu bir karar probleminden ziyade bir fonksiyon problemidir. Bir boolean formülü verilen sorar nasıl tatmin birçok atamaları önermeler mantığında, F vardır. #SAT'daki en iyi alt sınırlar hangileri?FFFFFF

14 cc.complexity-theory  lower-bounds  sat  counting-complexity