FOCS2013 থেকে এই সাম্প্রতিক কাগজ, বেষ্টিত Treewidth SAT এর স্ট্রং backdoors মধ্যে সংযোগ সম্পর্কে Gaspers এবং Szeider কথাবার্তায় treewidth স্যাট দফা গ্রাফ এবং উদাহরণস্বরূপ কঠোরতা করুন।
এলোমেলো 3-স্যাট অর্থাত্ এলোমেলোভাবে বেছে নেওয়া 3-স্যাট দৃষ্টান্তের জন্য, ক্লজ গ্রাফের গাছের প্রস্থ এবং উদাহরণস্বরূপ কঠোরতার মধ্যে সম্পর্ক কী?
"উদাহরণস্বরূপ কঠোরতা "টিকে" একটি সাধারণ স্যাট সলভারের পক্ষে শক্ত "হিসাবে গ্রহণ করা যেতে পারে, অর্থাৎ চলমান সময়।
আমি তাত্ত্বিক বা অভিজ্ঞতামূলক শৈলীর উত্তর বা রেফারেন্সগুলি খুঁজছি। আমার জ্ঞানের মতে, এ সম্পর্কে অভিজ্ঞতা অভিজ্ঞতা নেই বলে মনে হয় না। আমি সচেতন যে স্যাট ক্লজ গ্রাফগুলি তৈরির জন্য কিছু আলাদা উপায় রয়েছে তবে এই প্রশ্নটি পার্থক্যের দিকে নিবদ্ধ নয়।
সম্ভবত একটি প্রাকৃতিক ঘনিষ্ঠভাবে সম্পর্কিত প্রশ্ন হ'ল ক্লজ গ্রাফের গাছের প্রস্থটি 3-স্যাট ধাপের রূপান্তরের সাথে কীভাবে সম্পর্কিত।