২০০২ সাল থেকে একটি বিজ্ঞানের গবেষণাপত্রে, মেজার্ড, প্যারিসি এবং জেকিনা র্যান্ডম 3 এসএটির জন্য বিশ্বাসের প্রচারের হিউরিস্টিককে সামনে রেখেছিলেন । পরীক্ষাগুলি সূচিত করে যে হিউরিস্টিক প্রতি-ভেরিয়েবলের সীমাবদ্ধতার অনুপাতের জন্য ভাল কাজ করে যার জন্য একটি সন্তোষজনক কার্য সম্পাদনের সম্ভাবনা রয়েছে।
আমার প্রশ্নগুলি হ'ল:
(1) আপনি যদি এলোমেলো 3SAT এর পরিবর্তে এলোমেলো 3LIN বিবেচনা করেন? (প্রতিটি সীমাবদ্ধতা জিএফ (2) এর উপর একটি এলোমেলো রৈখিক সমীকরণ)
(২) আপনি যদি এলোমেলো আনুমানিক বাস্তব 3LIN বিবেচনা করেন ? এটা কি অনুমেয় যে (এক উপযুক্তভাবে অভিযোজিত) বিশ্বাস প্রচারের হিউরিস্টিকের কার্যকারিতা এই ক্ষেত্রে বিশ্লেষণ করা আরও সহজ হবে?
সুভাষ খোটের সাথে সাম্প্রতিক কাজের সংজ্ঞায়িত আনুমানিক সংস্করণটি নিম্নরূপ: ভেরিয়েবলগুলি কেবল বাইনারি মানগুলিই নয় আসল মানগুলি ধরে নিতে পারে। আমরা আদর্শ 1. একমাত্র বরাদ্দকরণ বিবেচনা প্রতিটি সমীকরণ ফর্ম হল , যেখানে স্বাভাবিকভাবে বিতরণ করা হয়, এবং এক্স 1 , x এর 2 , x 3 অবিশেষে সেট থেকে নির্বাচিত হয় ভেরিয়েবলের। একটি সমীকরণ সন্তুষ্ট হয় যদি | সি 1 x 1 + সি 2 এক্স 2 + সি 3 এক্স 3 | ≤ ε, এবং ঠিক যদি কোনও সাম্যতা থাকে তবে তা নয়।
অন্তর্নিহিততা হ'ল আনুমানিক সংস্করণে, বিশ্বাসের পরিবর্তন (কোনও ভেরিয়েবলের অ্যাসাইনমেন্টটি কী হওয়া উচিত) একটি অবিচ্ছিন্ন / বর্ধিত পদ্ধতিতে ঘটতে পারে।