আরজেকের প্রতিক্রিয়াটির দ্বিতীয় অনুচ্ছেদটি আরও বিশদ প্রাপ্য।
মি ক্লজ, এন ভেরিয়েবল এবং প্রতি ক্লজে সর্বাধিক কে ভেরিয়েবলের সাথে কনজেক্টিভ স্বাভাবিক আকারে হতে দিন । ধরুন আমরা determine কোনও সন্তোষজনক অ্যাসাইনমেন্ট রয়েছে কিনা তা নির্ধারণ করতে চাই । সূত্র কে-স্যাট সিদ্ধান্ত সমস্যার একটি উদাহরণ।ϕϕϕ
যখন কয়েকটি ক্লজ থাকে (সুতরাং এন এর তুলনায় এম বেশ ছোট) তখন সমাধান খুঁজে পাওয়া প্রায় সর্বদা সম্ভব। একটি সাধারণ অ্যালগরিদম সূত্রের আকারে প্রায় লিনিয়ার সময়ে একটি সমাধান খুঁজে পাবে।
যখন অনেকগুলি ধারা রয়েছে (সুতরাং এন এর তুলনায় এম বেশ বড়) তখন প্রায় সবসময়ই এর সমাধান হয় যে কোনও সমাধান নেই। এটি একটি গণনা যুক্তি দ্বারা প্রদর্শিত হতে পারে। যাইহোক, অনুসন্ধানের সময় অবিচ্ছিন্ন কৌশলগুলির মাধ্যমে অনুসন্ধানের জায়গার বড় অংশগুলিকে ছাঁটাই করা প্রায়শই সম্ভব, কারণ অনেকগুলি ধারা এত বিস্তৃতভাবে ইন্টারঅ্যাক্ট করে। অসন্তুষ্টি প্রতিষ্ঠিত করা সাধারণত দক্ষতার সাথে করা যায়।
1986 সালে ফু এবং অ্যান্ডারসন স্পিন গ্লাস সিস্টেমের উপর ভিত্তি করে অপটিমাইজেশন সমস্যা এবং পরিসংখ্যান পদার্থবিজ্ঞানের মধ্যে একটি সম্পর্ক অনুমান করেছিলেন। যদিও তারা মত বাক্য ব্যবহার
স্বজ্ঞাতভাবে, সিস্টেমটি অবশ্যই যথেষ্ট পরিমাণে বড় হওয়া উচিত, তবে এটি আরও নির্দিষ্ট হওয়া শক্ত।
তারা আসলে নির্দিষ্ট ভবিষ্যদ্বাণী দেয়।
- ওয়াই ফু এবং পিডব্লিউ অ্যান্ডারসন। সংযোজক অপ্টিমাইজেশনে এনপি-সম্পূর্ণ সমস্যার স্ট্যাটিস্টিকাল মেকানিকগুলির প্রয়োগ , জে ফিজ। উ। 19 1605, 1986. দোই: 10.1088 / 0305-4470 / 19/9/033
পরিসংখ্যান পদার্থবিজ্ঞানের যুক্তির ভিত্তিতে জেকিনা এবং সহযোগীরা অনুমান করেছিলেন যে- একটি সমালোচনামূলক মানের কাছাকাছি থাকলে কে-এসএটি শক্ত হয়ে উঠবে । সুনির্দিষ্ট সমালোচক মান কে-এর উপর নির্ভর করে, তবে 3-স্যাট-এর জন্য 3.5 থেকে 4.5-এর অঞ্চলে।α=m/n
- রুমি মোনাসন, রিকার্ডো জেকিনা, স্কট কিরকপ্যাট্রিক, বার্ট সেলম্যান, লিডার ট্রয়য়ান্সকি। চরিত্রগত `ফেজ ট্রানজিশন থেকে 'গণনীয় জটিলতা নির্ধারণ , প্রকৃতি 400 133-137, 1999 ( ডোই: 10.1038 / 22055 , মুক্ত সংস্করণ )
ফ্রেডগুট এই হিউরিস্টিক যুক্তিগুলির কঠোর প্রমাণ সরবরাহ করেছিল। কে এর প্রতিটি স্থির মানের জন্য, দুটি প্রান্তিক । জন্য নিচে , সেখানে উচ্চ সম্ভাবনা হয় পরিতৃপ্ত নিয়োগ করা হয়। উপরে উপরে একটি মানের জন্য , সূত্র উচ্চ সম্ভাবনার সাথে অসন্তুষ্ট।α1<α2αα1αα2ϕ
- এহুদ ফ্রাইডগুট (জিন বারোগাইন দ্বারা পরিশিষ্ট সহ), গ্রাফের বৈশিষ্ট্যের তীব্র প্রান্তিকতা এবং স্যাট সমস্যাk , জে আমের। ম্যাথ। SOC। 12 1017–1054, 1999. ( পিডিএফ )
দিমিত্রিস অ্যাক্লিওপটাস বাকি অনেকগুলি বিষয়ে কাজ করেছিলেন এবং দেখিয়েছেন যে উপরের যুক্তিটিও সীমাবদ্ধতা সন্তুষ্টির সমস্যার জন্য রয়েছে। এগুলিকে প্রতিটি ভেরিয়েবলের জন্য মাত্র দুটি মানের বেশি ব্যবহার করার অনুমতি দেওয়া হয়। একটি মূল কাগজ কঠোরভাবে দেখায় যে কেন জরিপ প্রচার অ্যালগরিদম এলোমেলো কে-স্যাট দৃষ্টান্তগুলি সমাধান করতে এত ভাল কাজ করে।
- উ: Braunstein, এম Mézard, আর Zecchina, সার্ভে প্রসারণ: satisfiability জন্য একটি অ্যালগরিদম , আম কাঠামো ও আলগোরিদিম 27 201-226, 2005. ডোই: 10,1002 / rsa.20057
- ডি অ্যাক্লিওপটাস এবং এফ। রিচ্চি-টারসেনঝি, অন রোলডম কন্ট্রেন্ট সন্তুষ্টি সমস্যাগুলির সমাধান-স্পেস জ্যামিতি , এসটিওসি 2006, 130–139। ( প্রিন্ট )