«sat» etiketlenmiş sorular

değişkenleri ve cümleleri olan bir CNF formülü olsun . değişken bir atamayı temsil etsin ve değişken atama tarafından yerine getirilen cümle sayısını . Daha sonra Median-SAT'ı nin tüm medyan değerini hesaplama sorunu olarak tanımlayın . Örneğin, bir totoloji ise, Median-SAT çözümü olacaktır, çünkü atamadan bağımsız olarak her fıkra tatmin edilecektir. …

14 cc.complexity-theory  sat  counting-complexity 

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?

14 cc.complexity-theory  sat  proof-complexity 

Hatırlatma; genişliği bir çözünürlük çürütülmesi ve bir CNF Formül F meydana gelen herhangi bir madde olarak değişmez maksimal sayısıdır R . Her için w , edilemezdir formüller vardır F her çözünürlük çürütülmesi 3-CNF st F en azından genişliği gerektirir w .R,RRFFFR,RRwwwFFFFFFwww Ben genişlik 4 çözünürlük çürütme olmayan 3-CNF (mümkün olduğunca …

13 cc.complexity-theory  lo.logic  sat  proof-complexity 

İlgilendiğim bir optimizasyon sorunuyla başa çıkmak için bir SAT çözücüsüne güvenme olasılığını araştırmaya başlıyorum ve şu anda SAT değişkenlerine "akıllı" dönüşüm örnekleri (yani, sonuçta ortaya çıkan dönüşümler) içeren bir anket arıyorum sertlik sonuçlarını kanıtlamakla değil, aslında problemi çözmekle ilgilendiğim için, yaklaşık olarak Greenlaw ve Petreschi'nin kübik grafikleriyle ilgili ankette neler …

13 ds.algorithms  reference-request  sat  optimization 

Bir Monoton-2CNF formülü, her bir maddenin tam olarak 2 pozitif değişmezden oluştuğu bir CNF formülüdür. Şimdi, bir Monoton-2CNF formülü . , tatmin edici ödevleri kümesi olsun . Ayrıca aşağıdaki bilgileri verebilen bir kehanet var:FFFSSSFFFOOO Set kardinalitesi (yani çözelti sayısı ).SSSFFF değişkeni verildiğinde : xxx pozitif değişmez değeri içeren çözelti sayısı …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Belirli bir genel boole formülünde (CNF-SAT), belirli bir DNF formülünde veya hatta belirli bir 2SAT formülünde tatmin edici atama sayısını saymanın problemini # P-tamamlama problemidir. Şimdi, negatif değişmez değeri olmayan bir CNF-SAT düşünün ( , her zaman ). Karar problemi çok kolaydır (tüm değişkenleri TRUE olarak ayarlayın ve atamanın formülü …

13 sat  counting-complexity  polynomial-time  monotone 

Güçlü Üstel Zaman Hipotezinin (SETH) belirsiz olmayan bir uzantısını tartışan bu makaleye göre , "[…] Williams son zamanlarda k-TAUT'un Merlin-Arthur karmaşıklığı ile ilgili hipotezleri yanlış gösterdi". Ancak, bu yazı sadece kişisel bir iletişimi belirtmektedir. SETH'nin MA versiyonunun nasıl yanlış olduğu kanıtlanmıştır? Formülün cebirlenmesini içerdiğinden şüpheleniyorum , ancak başka bir fikrim …

13 sat  proofs  nondeterminism 

In Bundeswettberweb Infomatik 2010/2011, ilginç bir sorun vardı: Sabit , en az bir ve bir harita bulun , üçlü olmayacak şekilde ile .nnnkkkφ:{(i,j)|i≤j≤n}→{1,…,k}φ:{(i,j)|i≤j≤n}→{1,…,k}\varphi: \{(i,j)|i\leq j \leq n\}\rightarrow \{1,\ldots,k\}(i,j),(i+l,j),(i+l,j+l)(i,j),(i+l,j),(i+l,j+l)(i,j),(i+l,j),(i+l,j+l)φ(i,j)=φ(i+l,j)=φ(i+l,j+l)φ(i,j)=φ(i+l,j)=φ(i+l,j+l)\varphi(i,j)=\varphi(i+l,j)=\varphi(i+l,j+l) Yani, bir üçgen için minimum miktarda renk arıyoruz, böylece eşit renkli bir eşkenar alt üçgen olmayacaktır (aşağıdaki resim, vurgulanan köşeler böyle eşit …

13 graph-theory  sat  combinatorics 

Tüm tatmin edici teklif mantık formüllerinin dilini düşünüyorum, SAT (bunun sonlu bir alfabesi olduğundan emin olmak için, teklif harflerini uygun bir şekilde kodlayacağız [değiştir: cevaplar sorunun cevabının altında olmayabilir kodlamalar değiştiğinden, birisinin daha spesifik olması gerekir - aşağıdaki sonuçlarıma bakın] ). Benim basit sorum Mı SAT bir bağlam-dil? İlk tahminim, …

12 cc.complexity-theory  circuit-complexity  sat  context-free 

Belirli bir özelliğin 2-CNF (2-SAT) cinsinden ifade edilemeyeceği nasıl gösterilir? Çakıl taşı oyunları gibi oyunlar var mı? Görünüşe göre klasik siyah çakıl oyunu ve siyah-beyaz çakıl oyunu bunun için uygun değil (PSPACE tamamlandı, Hertel ve Pitassi, Computing SIAM J, 2010'a göre). Veya oyun dışındaki teknikler? Düzenleme : Ben bilinmeyen bir …

12 sat  lower-bounds  combinatorial-game-theory 

mümkün müdür ? Bu tür muhafazanın ilginç sonuçları var mı? Üstel Zaman Hipoteziyle çelişir mi?SA T¯¯¯¯¯¯¯¯¯¯∈ NTbenME( exp( n0.9) )SbirT¯∈N-TbenME(tecrübe⁡(n0.9))\overline{SAT} \in NTIME(\exp(n^{0.9}))

12 sat  exp-time-algorithms  nexp 

Benzersiz SAT iyi bilinen sorundur: CNF formülü verildiğinde F'nin tam olarak bir modeli olduğu doğru mu?FFFFFF «Tam -SAT» problemiyle ilgileniyorum : CNF formül F ve m > 1 tamsayısı verildiğinde , F'nin tam olarak m modelleri olduğu doğru mu?mmmFFFm>1m>1m>1FFFmmm Her iki problem de benzer görünüyor. Yani sorularım: 1- «Tam olarak …

12 cc.complexity-theory  reference-request  np-hardness  sat  reductions 

CNF formüllerinin kabaca 2 geniş sınıfta bölümlenebileceği yaygın olarak bilinmektedir: rastgele ve yapılandırılmış. Yapılandırılmış CNF formülleri, rastgele CNF formüllerine karşıt olarak, tesadüfen gerçekleşmesi muhtemel olmayan kalıpları gösteren bir tür düzen sergiler. Bununla birlikte, bir dereceye kadar rastgelelik gösteren yapısal formüller bulunabilir (yani, belirli belirli cümle grupları diğerlerinden çok daha az …

12 cc.complexity-theory  sat  randomness  symmetry 

Rastgele K-SAT'ı tanımlarken sahip olabileceğimiz 4 farklı kısıtlama vardır. 1) Belirli bir yan tümcedeki toplam hazır bilgi sayısı tam olarak K veya AT'dir K 2) Belirli bir hazır bilgi, aynı yan tümcede (A veya A veya A) değiştirilerek veya kullanılmadan kullanılabilir 3) Belirli bir değişken veya ile kullanılabilir aynı fıkrada …

12 cc.complexity-theory  sat  randomness  phase-transition 

Özellikle merak ettiğim şey, bu tür sorunların izlenebilir olduğunu garanti etmek için 3SAT formülünü yerine getiren ödevlerin yüzdesi üzerinde ilginç bir durum olması. Örneğin bu 3SAT sorunların sınıfı varsayalım bir 2 N mümkün atamaları boolean formül tatmin; tatmin edici bir görev bulabilir miyiz? Ne için ε P sonuçlanan sorundur?ϵ(n)2nϵ(n)2n\epsilon(n) 2^n2n2n2^nϵϵ\epsilon …

12 cc.complexity-theory  ds.algorithms  sat  np