«sat» etiketlenmiş sorular

Bir ispat girişimim var ⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}. İspat girişimi, Karp'ın⊕P⊕P\oplus \mathbf{P}tamamlanmış problem ⊕⊕\oplus3-DÜZENLİ VERTEX KAPAK SAT. Kübik bir grafik verildi GGG, azalma bir CNF formülü çıkarır FFF aşağıdaki özelliklere sahip: FFF en fazla 111 tatmin edici ödev. FFF ancak tepe noktası sayısının GGG garip. Sorular Hangi sonuçları olacak ⊕P⊆NP⊕P⊆NP\oplus …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

1-in-3-SAT'ın karmaşıklık sınıfında sınırlı sayıda değişken olayla bilinen bir sonuç var mı? Peter Nightingale ile aşağıdaki cimri indirgeme geldim, ancak bu biliniyorsa bir şeyden bahsetmek istiyorum. İşte geldiğimiz hile. Bu, değişken başına 3 tekrar ile sınırlı 1-in-3-SAT'ın NP tamamlanmış ve #P tamamlandığını (1-in-3-SAT olduğu için) , 3-SAT'ın 3 tekrar ile …

11 reference-request  sat  reductions 

Impagliazzo, Paturi ve Calabro, Impagliazzo, Paturi Üstel Zaman Hipotezi (ETH) ve Güçlü Üstel Zaman Hipotezi'ni (SETH) tanıttı. Kabaca SETH, SAT zamanını çözen bir algoritma olmadığını söylüyor . 1.99n1.99n1.99^n Bunun SETH'ı kırmak için ne anlama geleceğini merak ediyordum. Kesinlikle SAT'ı az adımda çözen bir algoritma bulmamız gerekiyor , ancak hangi hesaplama …

11 cc.complexity-theory  sat  exp-time-algorithms 

Let Boolean değişkenleri için bir vektör olabilir. Let iki ikili devreler olarak . Aşağıdaki durumlarda benzer olduğunu :x=(x1,…,xn)x=(x1,…,xn)x=(x_1,\dots,x_n)C,DC,DC,DxxxCCCDDD Pr[C(x)≠D(x)]Pr[C(x)≠D(x)]\Pr[C(x) \ne D(x)] üstel olarak küçüktür, x \ {0,1 \} ^ n'denxxx rasgele bir şekilde çizildiğinde (diğer bir deyişle, neredeyse aynı işlevselliğe sahiptir); ve,{0,1}n{0,1}n\{0,1\}^n C,DC,DC,D , grafik düzenleme mesafesinde küçük bir miktarda …

11 sat  application-of-theory 

Gaspers ve Szeider'ın Güçlü Arka Odadan Sınırlı Treewidth SAT'a yönelik FOCS2013'ün bu son makalesi , SAT yan tümcesi grafiğinin treidth'i ile örnek sertliği arasındaki bağlantıdan bahsediyor . Rastgele 3-SAT, yani rasgele seçilen 3-SAT örnekleri için, yan tümce grafiğinin treidth ile örnek sertliği arasındaki ilişki nedir? "Örnek sertliği", "tipik bir SAT …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Bildiğim tüm #SAT çözücüler, örneğin RelSat, C2D, yalnızca tatmin edilebilir örnek sayısını döndürür. Ama bu örneklerin her birini bilmek istiyorum? Böyle bir #SAT çözücü var mı veya bunu yapmak için kullanılabilir bir #SAT çözücü nasıl değiştirmeliyim? Teşekkür ederim.

11 lo.logic  sat  software 

SAT çözümleyicilerini özel grafik algoritmalarıyla rekabet etmenin önündeki engeller nelerdir? Başka bir deyişle, algoritma tasarımcısı rolünün yerini alabilecek SAT çözücüler beklemek - yani sorun yapısını otomatik olarak tanıyabilmek ve daha sonra özel bir algoritma kadar hızlı bir şekilde çözmek mümkün müdür? Bugünün SAT çözümleyicileri için zor olduğunu düşündüğüm bazı örnekler: …

11 ds.algorithms  graph-theory  sat 

Bir süredir bir SAT algoritması geliştiriyorum ve paylaşmak istediğim bir noktaya geldim. Bilgisayar bilimlerinde çok insan tanımıyorum ve tam olarak nereye döneceğimi bilmiyorum. Yayınlamayı düşünen bir algoritmaya sahip biri için hangi kaynakların kullanılabilir olduğunu merak ediyorum. Ayrıca algoritmamın çalışma zamanını ve doğruluğunu analiz etmek için yardıma ihtiyacım var. Benim en …

11 sat  soft-question  proofs 

CNF formülünün monoton olduğu bir SAT varyasyonu ile ilgileniyorum (değişken yok sayılmaz). Böyle bir formül açık bir şekilde tatmin edilebilir. Ancak gerçek değişkenlerin sayısının, çözümümüzün ne kadar iyi olduğunun bir ölçüsü olduğunu varsayalım. Yani şu problemimiz var: MİNİMUM DOĞRU MONOTON 3SAT INSTANCE: Değişkenlerin U kümesini, bir değişmez değişkenin değişmediği (olumsuzlanmayan) …

11 cc.complexity-theory  np-hardness  sat 

Elberfeld, Jakoby ve Tantau 2010 ( ECCC TR10-062 ) Bodlaender teoreminin alan açısından verimli bir versiyonunu kanıtladı. Bunlar en az treewidth ile grafikler için gösterdi , genişliği bir ağaç ayrışma k logaritmik alan kullanılarak bulunabilir. Bağlı boşluktaki sabit faktör k'ye bağlıdır . (Bodlaender teoremi, sabit faktörde k'ye üstel bir bağımlılık …

10 cc.complexity-theory  sat  treewidth  space-complexity 

Örneği çok daha büyük hale getirmeden -Clique'i SAT'a düşürmekle ilgileniyorum .kkk Klips NP'de olduğundan logaritmik boşluk kullanılarak SAT'a indirgenebilir. Basit Garey / Johnson ders kitabı küçültme örneği kübik boyuta getirir . Bununla birlikte, -Clique her sabit k için P'dir, bu nedenle en azından sabit k için etkili bir azalma olmalıdır …

10 cc.complexity-theory  sat  reductions  clique 

Planar 3-SAT'ın standart tanımı nedir? Bir dizi farklı tanım gördüm. Onu tanımlayan ve NP-tam olduğunu kanıtlayan orijinal kağıt neydi?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

3 veya daha fazla terim yan tümceleri toplam sayısı (genişlik değil) bir CNF SAT sorunu NP yukarıda sabit ile sınırlanmış mı? Özellikle böyle bir madde olduğunda ne olur?

10 np-hardness  sat  upper-bounds 

Aşağıdaki özelliklere sahip, tercihen literatürde daha önce incelenmiş olan CNF formüllerinin doğal bir sınıfı var mı :CCC , Horn veya 2-CNF gibi kolay bir SAT örneğidir, yani C üyeliğipolinom zamanında test edilebilir ve F ∈ C formülleripolinom zamanında tatmin edilebilirlik açısından test edilebilir.CCCCCCF∈CF∈CF\in C Uyumsuz formüller kısa (polinom boyutu) ağaç …

10 sat  proof-complexity 

Bağlam : Kavvadias ve Sideri Verilen: Ters 3-SAT problemi coNP Komple olduğunu göstermiştir üzerinde bir dizi model bu 3 CNF formülü böyle olduğunu, değişkenler modellerinin onun tam kümesidir? içindeki tüm modellerden memnun olan 3 maddenin tümünün birleşimi olan hemen bir aday formül ortaya çıkar .ϕϕ\phinnnϕϕ\phiϕϕ\phi İfade ettiği tüm 3 maddeyi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat