আমি পিটিটাইমের জন্য পি-অপটিমাল প্রুফ সিস্টেম এবং লজিক অন পেপারের অধীনে চেষ্টা করার চেষ্টা করছি । কাগজে প্রুফ সিস্টেম নামে একটি ধারণা আছে এবং আমি অনুপ্রবেশটি পাই না:
... আমরা সাবসেটগুলির সাথে সমস্যাগুলি সনাক্ত করি ভিতরে ।
আমি মনে করি অনুপ্রবেশটি হ'ল আমরা একটি নির্দিষ্ট কাঠামোকে এনকোড করেছি (উদাহরণস্বরূপ পুনঃনির্দেশিত গ্রাফ) এবং এই কাঠামোগুলির সাবসেটগুলি সমস্যা (যেমন প্ল্যানার গ্রাফ)।
একটি প্রমাণ সিস্টেম একটি সমস্যার জন্য একটি surjective ফাংশন বহুপক্ষীয় সময়ে গণনীয়
এখন একটি সম্ভাবনা বলতে হয় একটি নির্দিষ্ট কাঠামোর সমস্ত সম্ভাব্য মডেলের সেট (যেমন সমস্ত অনির্দেশিত গ্রাফ)। তবে এটি কোনও অর্থবোধ করে না কারণ কেন কোনও আনসাইরেক্ট গ্রাফগুলি একটি উপসেটে ম্যাপ করা উচিত? এটি টিউরিং মেশিনগুলি এনকোড করা যেতে পারে তবে এটির কোনও মানে হয় না ...
কোন ধারনা?