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