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.
Sorum şu : öneri totolojileri veya çelişkiler üzerinde, totolojilerin veya tatmin edilemez formüllerin "ortalama durumunu" yakaladığı düşünülebilecek başka yerleşik dağılımlar var mı? Bu dağılımlar yoğun bir şekilde incelendi mi?
1
@Iddo Tatolojiler "gerçek" bir CNF modelinde mevcut değildir, çünkü aksi halde aynı maddede bir değişmeze ve tamamlayıcısına sahip olmanız gerekir .... Tatolojiler CNF'de çalışmak ilginç değildir.
—
Tayfun Pay
@Ödeme, tatmin edilemez bir formülün olumsuzlanması bir totolojidir. Bu nedenle, rastgele k-CNF'leri totolojilere göre bir dağılım olarak düşünebiliriz (madde-değişken oranı yeterince büyük olduğunda ve bir k-CNF'nin tatmin edilebilir olması için o (1) olasılığının olduğu yerlerde).
—
Iddo Tzameret
Bence Tayfun haklı. CNF formüllerinin tatmin edilemez veya DNF formüllerinin totoloji olduğu hakkında konuşmalısınız. Mevcut soruda, ikisini karıştırıyorsunuz.
—
Tsuyoshi Ito
Bu konuyla ilgili son yorumum: Tayfun'un açıkladığı gibi yanlış olan “totolojiler” kelimesini neden tutmakta ısrar ettiğinizi bilmiyorum. Ancak, sorunuzun ifadesini geliştirmek için başkalarının yorumlarını dahil etmek istemiyorsanız iyiyim.
—
Tsuyoshi Ito
Ben 'totolojiler' terimini başlıkta tutmayı tercih ediyorum çünkü ya totolojiler ya da çelişkiler üzerine dağılımları soruyorum ve soru buna göre ifade ediliyor.
—
Iddo Tzameret