বৃক্ষের প্রশস্ততা এবং এলোমেলো 3-স্যাট উদাহরণস্বরূপ কঠোরতার মধ্যে সম্পর্ক কী?


11

FOCS2013 থেকে এই সাম্প্রতিক কাগজ, বেষ্টিত Treewidth SAT এর স্ট্রং backdoors মধ্যে সংযোগ সম্পর্কে Gaspers এবং Szeider কথাবার্তায় treewidth স্যাট দফা গ্রাফ এবং উদাহরণস্বরূপ কঠোরতা করুন।

এলোমেলো 3-স্যাট অর্থাত্ এলোমেলোভাবে বেছে নেওয়া 3-স্যাট দৃষ্টান্তের জন্য, ক্লজ গ্রাফের গাছের প্রস্থ এবং উদাহরণস্বরূপ কঠোরতার মধ্যে সম্পর্ক কী?

"উদাহরণস্বরূপ কঠোরতা "টিকে" একটি সাধারণ স্যাট সলভারের পক্ষে শক্ত "হিসাবে গ্রহণ করা যেতে পারে, অর্থাৎ চলমান সময়।

আমি তাত্ত্বিক বা অভিজ্ঞতামূলক শৈলীর উত্তর বা রেফারেন্সগুলি খুঁজছি। আমার জ্ঞানের মতে, এ সম্পর্কে অভিজ্ঞতা অভিজ্ঞতা নেই বলে মনে হয় না। আমি সচেতন যে স্যাট ক্লজ গ্রাফগুলি তৈরির জন্য কিছু আলাদা উপায় রয়েছে তবে এই প্রশ্নটি পার্থক্যের দিকে নিবদ্ধ নয়।

সম্ভবত একটি প্রাকৃতিক ঘনিষ্ঠভাবে সম্পর্কিত প্রশ্ন হ'ল ক্লজ গ্রাফের গাছের প্রস্থটি 3-স্যাট ধাপের রূপান্তরের সাথে কীভাবে সম্পর্কিত।

উত্তর:


10

আসলেই কোনও উত্তর নয় তবে আমি সবচেয়ে কাছের রেফারেন্স সম্পর্কে অবগত। শাখা-প্রস্থের জন্য ফলাফল উপলব্ধ। এছাড়াও, শিল্পের দৃষ্টান্তগুলির বৃক্ষের প্রশস্ততা সম্পর্কে কমপক্ষে একটি গবেষণামূলক গবেষণা রয়েছে।


7

সাধারণভাবে স্যাট এর এলোমেলো দৃষ্টান্তগুলি বৃক্ষদ্বীপকে সীমাবদ্ধ রাখার প্রত্যাশা করবে না , এমনকি সহজ হলেও। এখানে একটি উদাহরণ:

এন3θ(এন)3

412124

টিটিএন/2


ধারণা জন্য thx। ofc আশা করছিল না যে এলোমেলো দৃষ্টান্তগুলি গাছের চতুর্দিকে আবদ্ধ থাকবে; বিপরীতটি সম্ভবত খুব অসুবিধা ছাড়াই প্রমাণযোগ্য। তবে এটির একটি সংখ্যাসূচক প্যারামিটার যা তুলনামূলকভাবে শক্তির সাথে তুলনা / স্যাটেল করা যেতে পারে একইভাবে স্যাট অভিজ্ঞতা সংক্রান্ত স্থানান্তর গবেষণায় অধ্যয়ন করা অন্যান্য পরামিতিগুলির সাথে এবং কিছু সম্পর্ক বা সম্পর্ক বিদ্যমান গবেষণার ভিত্তিতে প্রত্যাশিত বলে মনে হয়।
vzn

@ ভিজেএন আমার বক্তব্যটি আরও সাধারণ যে র‌্যান্ডম মডেলগুলিতে উদাহরণস্বরূপ কম্পিউটারগুলি শক্ত হয়ে যাওয়ার আগে গাছের প্রস্থটি ছাদ দিয়ে যায়। অন্যদিকে `` সত্যিকারের জীবন '' র উদাহরণগুলি এলোমেলোভাবেগুলির চেয়ে সম্ভবত খুব ছোট গাছের প্রস্থ রয়েছে এবং আমি স্যাট সলভাররা এর (কিছু) সুবিধা নেওয়ার আশা করি।
ড্যানিয়েলো
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.