সন্তুষ্টিযোগ্যতার সমস্যার সমাধান কী সন্তোষজনকতার সিদ্ধান্ত নেওয়ার চেয়ে শক্ত?

Question

প্রদত্ত বুলিয়ান এক্সপ্রেশনটি কি সন্তুষ্টযোগ্য গণনার পক্ষে বাস্তবে প্রকাশের সমাধান খুঁজে পাওয়া থেকে পৃথক কিনা তা নির্ধারণের সমস্যাটি কী?

অন্য কথায়, বুলিয়ান ভেরিয়েবলের জন্য 'সঠিক সেটিংস' স্পষ্টভাবে নির্ধারণ না করে প্রদত্ত অভিব্যক্তিটি সন্তুষ্টিজনক তা খুঁজে পাওয়ার অন্য কোনও উপায় কি? বা সমস্ত সম্ভাব্য প্রমাণগুলি 'সঠিক সেটিংসে' বহুবর্ষের সময় হ্রাস করে?

আমার অজ্ঞতা ক্ষমা করুন, আমি কেবল ইঞ্জিনিয়ারিংয়ের ছাত্র। উইকিপিডিয়া পরোক্ষভাবে যে আইন বলে মনে হয় শুধু গবেষনার স্যাট বা-UNSAT দ্বারা NP-সম্পূর্ণ।

Comments

সংক্ষিপ্ত উত্তর: সন্তুষ্টিজনক কার্যনির্বাহী সন্ধানের সমস্যাটি গণ্যমান্যভাবে কোনওরকমের আছে কিনা তা সিদ্ধান্ত নেওয়ার পক্ষে কঠোর। ধারণাটি হ'ল একটি অ্যালগরিদম দেওয়া যা সন্তুষ্টির সিদ্ধান্ত নেয় এটি দক্ষতার সাথে একটি সন্তোষজনক কার্যনির্বাহ তৈরি করতে ব্যবহার করা যেতে পারে। পরীক্ষা করে দেখুন en.wikipedia.org/wiki/...

— জন ডি

আমি ভেবেছিলাম ইউএনএসএটি কি সিএনপি-সম্পূর্ণ?

— জি। বাচ

Answer 1

একটি মন্তব্যে উল্লিখিত হিসাবে, বুলিয়ান সূত্রের সন্তোষজনকতা নির্ধারণের যে কোনও পদ্ধতি সন্তুষ্টিজনক পরিবর্তনশীল অ্যাসাইনমেন্ট সন্ধানের জন্য সহজেই কোনও পদ্ধতিতে রূপান্তর করা যেতে পারে। এটি কারণ সমস্ত এনপি-সম্পূর্ণ সমস্যা নিম্নগামী স্ব-হ্রাসযোগ্য।

উইকিপিডিয়া থেকে :

স্ব-reducibility

স্যাট সমস্যাটি স্ব-হ্রাসযোগ্য, এটি হ'ল প্রতিটি অ্যালগরিদম যা সঠিকভাবে উত্তর দেয় যদি স্যাট-এর কোনও উদাহরণ সমাধানযোগ্য হয় তবে একটি সন্তোষজনক নিয়োগের সন্ধান করতে ব্যবহার করা যেতে পারে। প্রথমত, প্রশ্ন দেওয়া সূত্র জিজ্ঞাসা করা হয় । উত্তরটি যদি "না" হয় তবে সূত্রটি অসন্তুষ্টিজনক। তা না হলে, প্রশ্ন আংশিকভাবে instantiated সূত্র জিজ্ঞাসা করা হয় , অর্থাত্ প্রথম পরিবর্তনশীল সঙ্গে দ্বারা প্রতিস্থাপিত , এবং সেই অনুযায়ী সরলীকৃত। উত্তরটি যদি "হ্যাঁ" হয় তবে , অন্যথায় । অন্যান্য ভেরিয়েবলের মানগুলি পরে একইভাবে পাওয়া যাবে। মোট, অ্যালগরিদমের রান প্রয়োজন, যেখানে$Φ$$Φ$$\{x_1=TRUE\}$$Φ$$x_1$$TRUE$$x_1=TRUE$$x_1=FALSE$$n+1$$n$ মধ্যে স্বতন্ত্র ভেরিয়েবল সংখ্যা ।$Φ$

Answer 2

সঠিক উত্তরটি হ'ল কোনও সমাধান বিদ্যমান কিনা তা নির্ধারণ করা এবং সমাধান নির্ধারণ করা গণনাগতভাবে পৃথক। কোনও সমাধান বিদ্যমান কিনা তা নির্ধারণের জন্য সমস্ত পদ্ধতি সমাধান তৈরি করতে পারে না। হ্যামিলটোনীয় পাথ সমস্যার সমাধান রয়েছে যা কোনও পথ বিদ্যমান কিনা তা নির্ধারণ করতে পারে তবে এই জাতীয় কোনও পথ উত্পাদন করতে পারে না। এটি বলেছিল arxiv.org/abs/cs/0205064 দ্বারা প্রশ্নটি তৈরি হয়েছে।