TL;DR
- چکیده:.
- دو نقطه عطف اصلی در مسیر دوگانگی پیچیدگی کامل برای مشکلات رضایت از محدودیت دامنه محدود،.
- اثبات بولاتوف برای دوگانگی برای الگوهای محافظهکار،.
چه اتفاقی افتاد
چکیده:. دو نقطه عطف اصلی در مسیر دوگانگی پیچیدگی کامل برای مشکلات رضایت از محدودیت دامنه محدود،.
اثبات بولاتوف برای دوگانگی برای الگوهای محافظهکار،. و دوگانگی ساختاری برای دوگرافهای صاف با طول جبری 1،.
بارتو،. کوزیون و بارتو بود.
سناریوی ترکیبی را تا بی نهایت بالا میبریم،. و ثابت میکنیم که هر دو نمودار صاف با طول جبری 1pp-ساخت،.
همراه با جفت مدارهای یک زیرگروه الیگومورفیک از گروه خودمورفیسم آن،. هر ساختار متناهی -- و از این رو مسئله رنگارنگ گراف محافظه کارانه آن دارای یک شبه دو.
گراف - eloe است -- مگر اینکه دو گراف دوگانه است. مدار.
بدین وسیله،. برای اولین بار،.
بر موانع قبلی برای بالا بردن نتایج ساختاری برای نمودارها در این زمینه از ساختارهای محدود به ساختارهای. طبقهبندی $\omega$ غلبه کردیم.
قویترین نتایج لیفتینگ که تاکنون وجود نداشته است فراتر از تعمیم قضیه Hell-Nešetřil برای نمودارهای بدون جهت. در نتیجه،.
ما یک تغییر جبری جدید از ساختارهای دلخواه $\omega$-مقولهای غنی شده توسط جفت مدارهایی که قادر به. ساختن pp-ساختار محدود نیستند به دست میآوریم.
صفحه منطق در علوم کامپیوتر (cs. LO) استناد بهعنوان: (یا v2 [cs.
LO] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite مرجع مجله:.
2025 چهلمین سمپوزیوم سالانه ACM/IEEE در منطق در علوم کامپیوتر (LICS)،. صفحات 403-416 پیوند (های) منابع مرتبط تاریخچه ارسال از:.
Johanna Brunar [مشاهده ایمیل] [v1] سه شنبه،. 28 ژانویه 2025،.
16:. 38:.
13 UTC (121 KB) [v2] شنبه،. 4 آوریل 2026،.
12:. 03:.
20 UTC (163 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.