«sat» etiketlenmiş sorular

SAT, Boole memnuniyetini ifade eder.

2
3-SAT için yarı polinom boyutlu devreler önemsiz mi?
Diyelim ki değişkenleri ve c cümleleri olan 3-SAT düşünüyoruz . Bu açıklamaya uyan herhangi bir SAT sorununu çözmek için O ( v 2 + log c ) zamanını / alanını alan bir metodu araştırıyorum . Ancak, bir yakalama var.vvvcccO ( v2 + günlükc)O(v2+log⁡c)O(v^{2+\log c}) Bu yöntem, bir dizi önceden hesaplanmış …
2
DP'de Kritik SAT'ın bir çeşidi
Bir dil LLL sınıfta DPDPDP , iki dil vardır IFF L1∈NPL1∈NPL1 \in NP ve L2∈coNPL2∈coNPL2 \in coNP , öyle ki L=L1∩L2L=L1∩L2L = L1 \cap L2 Bir standart DPDPDP Komple sorun SAT-UNSAT edilir: iki 3-CNF ifadeleri, verilen FFF ve GGG , bu doğrudur FFF karşılanabilir ve GGG değildir? Kritik SAT sorununun …
2
Bir SAT örneğinin çözüm kümesini kompakt bir şekilde temsil eder
Bu soru András Salamon ve Colin McQuillan'ın önceki soruma katkısını okuduktan sonra kafamda yükseldi Monotone-2CNF formüllerinin sayım çözümleri . DÜZENLEME 30 inci Mar 2011 Eklendi sorusuna n ° 2 EDIT'e 29 inci Eki 2010 Soru kavramı aracılığıyla resmileştirmek Andras teklifinden sonra rephrased bir çözüm kümesinin güzel temsil (Ben onun düşüncesi …
3
Bir çözüm gömmek SAT için mümkün müdür?
NP-komple problemlerinin "zor" bireysel örnekleriyle ilgileniyorum. Ryan Williams , Richard Lipton'un blogunda SAT0 sorununu tartıştı . SAT0, bir SAT örneğinin 0'dan oluşan özel bir çözüme sahip olup olmadığını sorar. Bu da beni "zor" olabilecek SAT örnekleri oluşturmayı düşündürdü. Hemen hemen tüm örneklerin tatmin edilemez olduğu faz geçişinin ötesindeki bölgeye düşmesi …
1
QFBV SMT çözücülerinin performansını anlama
Z3 veya Boolector gibi SMT çözücüleri, sorunları çözmek için karmaşık bir sezgisel tarama seti kullanır. Bununla birlikte, bu aynı zamanda belirli bir problem için böyle bir çözücünün performansını tahmin etmeyi çok zorlaştırır. Benim sorum şu: Soru Niceleyici içermeyen bitvektörler (QFBV) teorisindeki belirli bir kişi için bir SMT çözücüsünün performansını anlamak …
2
# P-hard problemlerine yaklaşma
Klasik # P-complete problemi # 3SAT'i düşünün, yani, 3CNF yapmak için değerlerin sayısını saymak nnndeğişkenler tatmin edilebilir. Katkı maddesi yaklaşımı ile ilgileniyorum . Açıkçası, elde edilmesi gereken önemsiz bir algoritma var2n - 12n−12^{n-1}- hata, ama eğer k &lt;2n - 1k&lt;2n−1k<2^{n-1}, verimli bir yaklaşım algoritması olabilir mi, yoksa bu sorun da …
2
Kısıtlı Monoton 3CNF formülü: tatmin edici ödevleri sayma (hem modulo hem de modulo )
Aşağıdaki ek kısıtlamaların her ikisine birden sahip olan bir Monoton 3CNF formülünü göz önünde bulundurun: Her değişken tam olarak maddede görünür .222 Herhangi cümle verildiğinde en fazla değişkeni paylaşırlar .222111 Böyle bir formülün tatmin edici ödevlerini saymanın ne kadar zor olduğunu bilmek istiyorum. Güncelleme 06/04/2013 12:55 Ayrıca, tatmin edici ödev …
2
K-SAT hakkında bilgiler (Giriş, Sınırlar, Yöntemler, vb.)
K-SAT'a iyi ve nazik bir giriş yapmak için nereye başvurabileceğimi bilmek istiyorum (bu, iyi bir bilgisayar bilimi geçmişine sahip olmayan matematikçiler için olabilir). Ayrıca, k-SAT'ı çözmek için kullanılan mevcut yöntemleri araştıran veya açıklayan makaleler bilmek istiyorum. Son olarak, k-SAT'ı çözmek için en iyi bilinen yöntemlerle ilgileniyorum. En iyi ortalama durum …
1
VRP / VRPTW'nin herhangi bir SAT / SMT formülasyonu (TSP, Job-Shop-Scheduling)?
acaba bir SAT / SMT örneği olarak Time-Windows ( VRPTW ) ile bir Araç-Yönlendirme-Sorunu (karar sorunu olarak) formüle herhangi bir yaklaşım olup olmadığını merak ? (alternatif: TSP) Örneğin: "Zaman pencerelerindeki tüm müşterileri n = 10 araçla ziyaret eden geçerli bir çözüm var mı?" Bu karar sorunu, kullanılan araç sayısını en …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.