# 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 , tipik sayım karmaşıklığı bir örneği karşılanabilir olduğu ile olasılık kısmen bağlıdır; cümle yoğunluğu SAT / UNSAT için kritik eşiğin üstünde olan durumlarda, cevap neredeyse kesin olarak n → ∞ sınırında " sıfır " olduğundan , tipik olarak kolay bir sayım karmaşıklığına sahip olacaktır . Bununla birlikte, sayma karmaşıklığı, sonlu n için kritik eşik değerine yakın veya bunun üzerinde bir yoğunluğa sahip 2-SAT örnekleri için hala kolay olabilir: bir kişi, tatmin edici bir örneğin yalnızca az sayıda çözüme sahip olmasını bekleyebilir, bu da kolay olabilir kısıtlamaların sıkılığı nedeniyle numaralandırma.
İçin k -SAT ile k ≥ 3, bir örnek karşılanabilir veya edilemezdir olup olmadığının belirlenmesi zorluğu vardır olup olmadığını belirlemek için, bir denemeden olarak kısmen UNSAT fazdan SAT fazı ayıran kritik eşik yakınında en yüksek olduğu görülmektedir ; en az bir tatmin edici bir çözüm. İçin 2.-SAT , zorluk olamaz en az bir çözelti olup olmadığını belirlemede yalan; bu nedenle, önemli ancak büyük olmayan , tatmin edici formüllerin çözüm sayısını belirlemede zorluğun muhtemel olduğunu beklemek gerekir. kısıtlamaların sayısı - diğer bir deyişle, değişkenler arasında önemsiz olmayan bağımlılıkları tetiklemek için yeterli kısıtlamanın olduğu, ancak olası atamaları aşırı belirleyecek kadar fazla kısıtlamanın olmadığı durumlarda.