উত্তর:
সম্পর্কিত খোটের অনুচ্ছেদে পিসিপি উপপাদ্যকে নিখুঁত সম্পূর্ণতার সাথে বোঝায়: প্রমাণটি অনুচ্ছেদের একটি লেবেল দেবে বলে আশা করা হচ্ছে। ভেরিফায়ারটি এলোমেলো প্রান্তটি তার শেষ পয়েন্টগুলি অনুসন্ধান করে এবং যদি সীমাবদ্ধ থাকে তবে তা গ্রহণ করে।
অনন্য গেমস অনুমান থেকে নিখুঁত সম্পূর্ণতার সাথে একটি পিসিপি উপপাদ্য পাওয়ার জন্য, যেমন বোয়াজ লিখেছেন, একটি ( সি , গুলি ) রূপান্তর করুন পিসিপিকে নির্ভুল সম্পূর্ণতার সাথে । এটি করার একটি উপায়:
প্রতি সীমাবদ্ধ প্রতি নতুন ভেরিয়েবল যুক্ত করুন, এবং যদি নতুন ভেরিয়েবলটি সত্য হয় বা অন্যথায় যদি সীমাবদ্ধতা পূর্বে সন্তুষ্ট হয় তবে সন্তুষ্ট হওয়ার জন্য সীমাবদ্ধতাটি সংশোধন করুন। এম বিটগুলির একটি সেট (= নতুন ভার্স) সর্বাধিক বা কমপক্ষে ( 1 - গুলি ) ⋅ মিটারের যোগফল রয়েছে কিনা তা নির্ধারণের জন্য এখন পিসিপি সন্ধানে প্রশ্নটি হ্রাস পেয়েছে । এটি একটি তুচ্ছ প্রশ্নের মতো মনে হচ্ছে তবে এটি পিসিপি উপপাদীর চেয়ে সহজ।
।
আপনি জিজ্ঞাসা করতে পারেন যে কোনও পিসিপিকে অপূর্ণ সম্পূর্ণতার সাথে নিখুঁত সম্পূর্ণতার সাথে রূপান্তরিত করার কোনও সহজ রূপান্তর আছে কিনা। আমি মনে করি এটি সম্ভবত পিসিপি উপপাদ্য প্রমাণ করার চেয়ে সহজতর করা যেতে পারে তবে আমি খুব সাধারণ যুক্তির মুহূর্তে সচেতন নই।