মন্তব্যে এই আলোচনার শুরুতে যেমন চিহ্নিত করা হয়েছিল, এলোমেলোভাবে এস্যাট-এর জন্য একটি "সঠিক" সংজ্ঞা নেই ।k
এটি বলেছিল, এলোমেলো এসএটি-এর দুটি সর্বাধিক প্রচলিত রূপগুলি হ'ল উভয় ফিক্সড ক্লজ লেন্থ (এফসিএল) মডেল, যার অর্থ হ'ল প্রতিটি অক্ষরে ঠিক লিটারাল উপস্থিত হয়। এই রূপগুলি উভয়ই একটি অনুচ্ছেদের মধ্যে পুনরাবৃত্ত চলক এবং আক্ষরিক অনুমতি দেয় না, তবে তারা সূত্রের মধ্যে পুনরাবৃত্ত ধারাগুলিকে অনুমতি দেয় কিনা তা থেকে পৃথক। তবুও, তারা নীচে আলোচনা করা হবে মূলত একই।কেk k
দুটি প্রধান মডেল:
Selman র্যান্ডম মডেল - বারবার দফা করছে অনুমতি । কাইল তার উত্তরের মন্তব্যে এই দুর্দান্ত রেফারেন্সটি দিয়েছিল, তবে ভুলভাবে ধরে নেওয়া হয়েছে যে মডেলটি পুনরাবৃত্তি করা کلاগুলি অস্বীকার করে। কাগজের লিঙ্কযুক্ত (কিছুটা আলাদা) সংস্করণে বিভাগ 3 এ এলোমেলো মডেলের আরও বিশদ আলোচনা রয়েছে: "প্রজন্মের এই পদ্ধতিটি একটি সূত্রে নকলের ধারাগুলিকে মঞ্জুরি দেয় ... তবে এন হিসাবে বড় ডুপ্লিকেটগুলি বিরল হয়ে যাবে কারণ আমরা সাধারণত শুধুমাত্র ধারাবাহিকের একটি লিনিয়ার সংখ্যা নির্বাচন করুন। "
অ্যাক্লিওপটাস এলোমেলো মডেল - পুনরাবৃত্তি ক্লজগুলি অনুমোদিত নয় । আমরা from থেকে ক্লজগুলি ইউআর নির্বাচন করে একটি এলোমেলো সূত্র উত্পন্ন হিসাবে বিবেচনা করি replacement প্রতিস্থাপন ছাড়াই মোট সম্ভাব্য ধারাগুলি । সন্তুষ্টিযোগ্যতার হ্যান্ডবুকের Ch.8 দেখুন [1] (অ্যাকলিওপাস দ্বারা র্যান্ডম এসএটি) একটি রেফারেন্স হিসাবে। এই মডেলটি তাত্ত্বিক সাহিত্যে আরও প্রচলিত বলে মনে হয়, সম্ভবত এটির বেশিরভাগই অ্যাকলিওপাস লিখেছিলেন।m2k(nk)
পর্যায় স্থানান্তরের অবস্থানগুলির সমতা :
যাইহোক, পর্বের স্থানান্তর (50% সন্তুষ্টির প্রান্তিকতা) একই ক্লজ-টু-ভেরিয়েবল অনুপাতে ঘটে যা নির্বিশেষে এই মডেলগুলির মধ্যে কোনটি সেলম্যান এট আল প্রয়োজনীয় কারণে বেছে নেওয়া হয়। তাদের কাগজে উল্লিখিত।
আসুন সেলম্যান এলোমেলোভাবে -স্যাট দৃষ্টান্তে প্রত্যাশিত সংখ্যক ক্লজগুলির সংখ্যার সংখ্যাকে বোঝায় । ক্লজ হচ্ছে অভিন্ন একটি প্রদত্ত যুগল সম্ভাব্যতা , যেহেতু ক্লজ জোড়া মোট সংখ্যা হয় । প্রত্যাশা, এর রৈখিকতা দ্বারা।A(n,m,k)(n,m,k)p=1/(2k(nk))N=(m2)A(n,m,k)=p⋅N=(m2)/2k(nk)
দ্বারা মধ্যে উপপাদ্য 3 [1], প্রতিপাদ্য উপরের অবস্থানটিতে আবদ্ধ , -SAT ফেজ পরিবর্তন Achlioptas মডেল ব্যবহার ঘটে যখন । স্থির এবং সেটিং আমরা পেতেkm=O(2kn)k≥3m=O(2kn)
A(n,m,k)=(m2)/2k(nk)=O(m2)/O(nk)=O(n2)/O(nk) ।
তারপরে, কারণ , , যার অর্থ প্রত্যাশায় স্যাট এর চারপাশে শূন্য পুনরাবৃত্তি ক্লজ থাকবে সেলম্যান মডেলটি ব্যবহার করে এলোমেলোভাবে SAT সূত্র তৈরি করার সময় পর্যায় স্থানান্তর।k≥3limn→∞O(n2)/O(nk)=0k
নির্লজ্জ স্ব-প্রচার - আমি আমার মাস্টারের থিসিসের বিভাগ ৪.১ এ সংক্ষিপ্তভাবে এই বিষয়গুলি নিয়ে আলোচনা করি ।
র্যান্ডম কিউবিএফ
দেখা যাচ্ছে, এলোমেলো কিউবিএফের জন্য পরিস্থিতি আরও আকর্ষণীয়। এএএআইডিএফ কি র্যান্ডম কিউবিএফের প্রথম তিনটি কাগজপত্র তাদের পূর্বসূরীর সমালোচনা করে একটি নতুন এলোমেলো মডেল প্রস্তাব করেছিল।
নিম্নলিখিত কাগজপত্র দেখুন:
- কাদোলি এট আল। "পরিমাণযুক্ত বুলিয়ান সূত্রগুলি মূল্যায়নের গণ্য ব্যয়ের পরীক্ষামূলক বিশ্লেষণ।" এআই * আইএ 1997
- জেন্ট + ওয়ালশ "এনপি ছাড়িয়ে: কিউস্যাট পর্বের স্থানান্তর"। এএএএআই / আইএএআই 1999
- চেন + ইন্টারিয়ান "এলোমেলো পরিমাণে বুলিয়ান সূত্র উত্পন্ন করার জন্য একটি মডেল।" আইজেসিএআই 2005