রেজোলিউশন হ'ল সিএনএফ-এর অসন্তুষ্টি প্রমাণ করার একটি পরিকল্পনা। রেজুলেশনের একটি প্রমাণ হ'ল সিএনএফের প্রাথমিক দফার জন্য খালি ধারাটির যৌক্তিক ছাড়। বিশেষ করে কোনো প্রাথমিক দফা অনুমিত হতে পারে, এবং দুই ক্লজ থেকে এবং বি ∨ ¬ এক্স দফা একজন ∨ বি পাশাপাশি অনুমিত করা যেতে পারে। খণ্ডন হ'ল ছাড়ের অনুক্রম যা খালি ধারা দিয়ে শেষ হয়।
যদি এইরূপ খণ্ডন বাস্তবায়িত হয়, আমরা এমন একটি পদ্ধতি বিবেচনা করতে পারি যা কিছু দফা স্মৃতিতে রাখে। যদি একটি প্রাথমিক-অধ্যায়টি আবার ব্যবহার করা উচিত এবং এটি আর স্মৃতিতে না থেকে থাকে তবে অ্যালগরিদমটি আবার স্ক্র্যাচ থেকে বা মেমরির দিক থেকে হওয়া উচিত।
আসুন ক্লজ সবচেয়ে ছোট সংখ্যা মেমরির পাহারা দিয়ে রাখতে বললেন খালি ক্লজ পৌঁছানোর। এটিকে এফ এর ক্লজ স্পেস জটিলতা বলা হয় । আমরা বলি যে এস পি ( এফ ) = ∞ হ'ল এফ সন্তোষজনক।
আমি যে সমস্যাটি পরামর্শ দিচ্ছি তা হ'ল: দুটি সিএনএফ বিবেচনা করুন এবং B = ⋀ n j = 1 B j , এবং সিএনএফকে দিন
এস পি ( এ ) এবং এস পি ( বি ) এর সাথে কী সম্পর্ক ?
সুস্পষ্ট উপরের প্রান্তটি । এটা কি টাইট?