একটি পঠিত একবার সিদ্ধান্ত গাছ নীচে হিসাবে সংজ্ঞায়িত করা হয়:
- এবং এফ একটি ঠ গুলি ই পাঠযোগ্য একবার সিদ্ধান্ত গাছ হয়।
- যদি এবং বি একবারে সিদ্ধান্ত গৃহীত গাছ হয় এবং x একটি পরিবর্তনশীল হয় যা A এবং B তে ঘটে না , তবে ( x ∧ A ) ∨ ( ˉ x ∧ B ) একটি পঠন- বার্তা সিদ্ধান্ত গাছ।
একবারে সিদ্ধান্ত নেওয়া গাছের জন্য সমতা সমস্যার জটিলতা কী?
- ইনপুট: দুটি পঠিত একবার সিদ্ধান্ত গাছ এবং বি ।
- আউটপুট: ?
প্রেরণা:
আমি লিনিয়ার লজিকের একটি অংশের প্রুফ ইকুয়ালেন্স সমস্যা (নিয়মের অনুমান) দেখছিলাম তখন এই সমস্যাটি উপস্থিত হয়েছিল।