# 2-SAT এর এলোমেলো উদাহরণগুলির জটিলতা কীভাবে ঘনত্বের ঘনত্বের সাথে পরিবর্তিত হয় তা নিয়ে কোনও কাজ করা হয়েছে ? তা হ'ল: ক্লজ ঘনত্বের পরিবর্তিত হওয়ার কারণে, 2-স্যাট এলোমেলোভাবে উত্পন্ন উদাহরণের সন্তোষজনক সমাধানগুলি গণনা করতে অসুবিধা কীভাবে পৃথক হয়? বিশেষত, সমালোচনামূলক প্রান্তিকের সাথে জড়িত কোনও কঠোর ফলাফল রয়েছে কি?
অবশ্যই, কারণ 2-SAT ∈ P , সাধারণ গণনা জটিলতা আংশিকভাবে সম্ভাবনার উপর নির্ভর করে যার সাথে একটি উদাহরণ সন্তুষ্টযোগ্য; দৃষ্টান্ত যার দফা ঘনত্ব উপরে স্যাট /-UNSAT সঙ্কটপূর্ণ থ্রেশহোল্ড সাধারণত যেমন উত্তর "হয়, একটি সহজ কাউন্টিং জটিলতা থাকবে শূন্য " প্রায় নিশ্চয়, সীমা মধ্যে এন । যাইহোক, কাউন্টিং জটিলতা এখনও দৃষ্টান্ত জন্য সহজ হতে পারে 2-স্যাট করতে অথবা শুধু সসীম সঙ্কটপূর্ণ থ্রেশহোল্ডের অধিক কাছাকাছি একটি ঘনত্ব থাকার এন : এক আশা করতে পারে যে একটি Satisfiable উদাহরণস্বরূপ সমাধান শুধুমাত্র একটি ছোট সংখ্যা, সহজে হতে পারে যা থাকবে সীমাবদ্ধতার দৃness়তার কারণে গণনা করা।
জন্য ট -SAT সঙ্গে ট ≥ 3, নির্ণয় একটি দৃষ্টান্ত Satisfiable বা unsatisfiable কিনা অসুবিধা কিনা তা নির্ধারণ করতে অস্তিত্ব আছে এক চেষ্টা হিসাবে,-UNSAT ফেজ থেকে স্যাট ফেজ পৃথক অংশে সমালোচনামূলক প্রান্তিক মান কাছাকাছি সর্বোচ্চ হবে বলে মনে হয় অন্তত একটি এ সন্তোষজনক সমাধান। জন্য # 2-স্যাট , অসুবিধা না পারেন নির্ধারণের অন্তত এক সমাধান বিদ্যমান কিনা থাকা; সুতরাং একটি আশা করা উচিত যে সমস্যাটি একটি উল্লেখযোগ্য তবে বৃহত্তর নয়, সন্তুষ্টযোগ্য সূত্রগুলির সমাধানের সংখ্যা নির্ধারণের ক্ষেত্রে হতে পারে সীমাবদ্ধতার সংখ্যা - যা, যেখানে ভেরিয়েবলের মধ্যে অ-তুচ্ছ নির্ভরশীলতা প্ররোচিত করতে যথেষ্ট সীমাবদ্ধতা রয়েছে তবে সম্ভাব্য কার্যভারগুলি নির্ধারণ করতে এতগুলি নয় not