এলবারফেল্ড, জ্যাকোবি, এবং ট্যানটাউ 2010 ( ইসিসিসি টিআর 10-062 ) বোডেলারের উপপাদ্যের একটি স্থান-দক্ষ সংস্করণ প্রমাণ করেছে। তারা দেখিয়েছিল যে বেশিরভাগ তে গাছের প্রস্থের গ্রাফগুলির জন্য , প্রস্থের এর একটি গাছের ক্ষয় লোগারিথমিক স্পেস ব্যবহার করে পাওয়া যায়। স্থান বাউন্ডের ধ্রুবক ফ্যাক্টর উপর নির্ভর করে । (বোডলেন্ডারের উপপাদ্য স্থির ফ্যাক্টারে - তে নির্ভরযোগ্য নির্ভরশীলতার সাথে একটি রৈখিক সময় সীমাবদ্ধ দেখায় ))
ক্লজের সেটটির কম প্রস্থ থাকলে স্যাটটি সহজ হয়ে যায়। বিশেষত, ফিশার, মাকোভস্কি এবং রাভভ ২০০৮ দেখিয়েছেন যে গাছের পচন যখন দেওয়া হয় তখন দ্বারা সীমাবদ্ধ ঘটনা গ্রাফের গাছের প্রস্থের সিএনএফ সূত্রগুলির সন্তুষ্টিযোগ্যতা সর্বাধিক পাটিগণিত ক্রিয়াকলাপের সাথে সিদ্ধান্ত নেওয়া যেতে পারে । Bodlaender এর উপপাদ্য দ্বারা, কম্পিউটিং সংশোধন জন্য ঘটনা গ্রাফ বৃক্ষ পচানি রৈখিক সময় করা যাবে, সেইজন্য এবং স্যাট সময় ভেরিয়েবল সংখ্যা কম ডিগ্রী বহুপদী হয় যে বেষ্টিত treewidth সূত্র জন্য সিদ্ধান্ত নিয়েছে যাবে ।
এরপরে কেউ প্রত্যাশা করতে পারে যে ঘটনার গ্রাফের সীমাবদ্ধ বৃক্ষদ্বীপের সূত্রগুলির জন্য, লোগারিদমিক স্থান ব্যবহার করে স্যাট প্রকৃতপক্ষে সিদ্ধান্ত নেওয়া উচিত। ফিশার এবং অন্যান্য কীভাবে সংশোধন করবেন এটি পরিষ্কার নয়। স্যাটকে স্থান-দক্ষ কিছুতে সিদ্ধান্ত নেওয়ার জন্য পন্থা। অ্যালগোরিদম অন্তর্ভুক্তি-বর্জনের মাধ্যমে সমাধানের সংখ্যার জন্য একটি অভিব্যক্তি গণনা করে এবং ছোট সূত্রগুলির সমাধানের সংখ্যাটি পুনরাবৃত্তি করে মূল্যায়ন করে কাজ করে। যদিও সীমানা গাছের প্রস্থটি সাহায্য করে, লোগারিথমিক স্পেসে গণনা করার জন্য সাবফর্মুলগুলি খুব বড় বলে মনে হচ্ছে।
এটি আমাকে জিজ্ঞাসা করতে পরিচালিত করে:
স্যাট কি প্রস্থের সূত্রগুলির জন্য বা হিসাবে পরিচিত ?