«random-k-sat» etiketlenmiş sorular

Kritik 3 tatmin edici (3-SAT) yoğunluk ilgileniyorum . Bu olduğu varsayılır : eğer rastgele oluşturulmuş 3-SAT cümlelerinin sayısı veya daha fazla ise, neredeyse kesinlikle tatmin edilemez. (Burada herhangi bir küçük sabittir ve değişkenlerin sayısıdır.) Sayı veya daha az ise, neredeyse kesin olarak karşılanabilirler.αα\alphaαα\alpha(α+ϵ)n(α+ϵ)n(\alpha + \epsilon) nϵϵ\epsilonnnn(α−ϵ)n(α−ϵ)n(\alpha - \epsilon) n Elitza …

26 pr.probability  random-k-sat 

-SAT örneklerinin iyi bilinen bir özelliği, cümlelerinin sayısının değişken sayısı üzerine , yani " " oranına oranıdır . Her için için st \ eşik değeri vardır , çoğu örnek tatmin edicidir ve çoğu örnek tatmin edilemez. Sorunları için yapılan bir çok araştırma olmuştur ve yeterince küçük olan sorunlar için ,kkkmmmnnnρ=m/nρ=m/n\rho …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

# 2-SAT'ın rastgele örneklerinin karmaşıklığının , yan tümce yoğunluğuna göre nasıl değiştiği konusunda herhangi bir çalışma yapıldı mı? Yani: Rastgele üretilen 2-SAT örneğine tatmin edici çözümler saymanın zorluğu , madde yoğunluğu değiştikçe nasıl değişir? Özellikle, kritik eşikler ile ilgili bilinen kesin sonuçlar var mı? Tabii ki, çünkü 2-SAT ∈ P …

18 cc.complexity-theory  counting-complexity  random-k-sat 

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 

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 

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