এলোমেলো 2-স্যাট গণনা জটিলতা কি?


18

# 2-SAT এর এলোমেলো উদাহরণগুলির জটিলতা কীভাবে ঘনত্বের ঘনত্বের সাথে পরিবর্তিত হয় তা নিয়ে কোনও কাজ করা হয়েছে ? তা হ'ল: ক্লজ ঘনত্বের পরিবর্তিত হওয়ার কারণে, 2-স্যাট এলোমেলোভাবে উত্পন্ন উদাহরণের সন্তোষজনক সমাধানগুলি গণনা করতে অসুবিধা কীভাবে পৃথক হয়? বিশেষত, সমালোচনামূলক প্রান্তিকের সাথে জড়িত কোনও কঠোর ফলাফল রয়েছে কি?

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

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


2
3

উত্তর:


11

সম্ভবত এই কাগজ আপনাকে সাহায্য করতে পারে:

জে চি, এম। ইয়িন, সি ঝো (২০১০) দ্বারা প্যারামিটার হিসাবে ক্লজগুলির সংখ্যা সহ # 2-SAT এবং # 3-SAT এর জন্য নতুন সর্বাধিক বাউন্ডের সীমা

এবং এটি একটি যা এলোমেলো 2-স্যাট উদাহরণের সমাধানগুলির সেটগুলির কাঠামো অধ্যয়ন করে: র্যান্ডম বুলিয়ান সীমাবদ্ধতা সন্তুষ্টি সমস্যার সমস্যার সন্তুষ্টিজনক কার্যাদি: জি ইস্ট্রেট দ্বারা ক্লাস্টারস এবং ওভারল্যাপস (2007)

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.