TL;DR
- چکیده:.
- حدس فدر واردی،.
- که پیشنهاد میکرد هر مسئله رضایت محدودیت دامنه محدود (CSP) یا در P است یا NP-کامل است،.
چه اتفاقی افتاد
چکیده:. حدس فدر واردی،.
که پیشنهاد میکرد هر مسئله رضایت محدودیت دامنه محدود (CSP) یا در P است یا NP-کامل است،. تقریباً ده سال پیش توسط Bulatov و Zhuk بهطور مستقل حل شده است.
حدس Bodirsky-Pinsker که دوگانگی مشابهی را برای کاهشهای مرتبه اول نامتناهی قابل شمارش ساختارهای همگن محدود محدود بیان. میکند کاملاً باز است.
در این مقاله،. ما ثابت میکنیم که CSPها روی بسطهای مرتبه اول هستههای مدل کامل همگن محدود محدود،.
یا مرتبه اول قابل تعریف هستند (و از این رو در AC$^0$ غیر یکنواخت) یا L-hard تحت کاهش. مرتبه اول.
وقتی صحبت از محدوده ساختارها در حدس بودیرسکی-پینسکر میشود، مسلماً این دوگانگی پیچیدگی کلی است. استراتژی ما این است که ابتدا یک اثبات جدید از قضیه لاروز-تسون ارائه میکنیم،.
که دوگانگی مشابهی را در مورد ساختارهای محدود ارائه میکند،. و سپس آن اثبات جدید را به ساختارهای بی نهایت تعمیم دهید.
پیچیدگی محاسباتی (cs. CC)؛ منطق در علوم کامپیوتر (cs.
LO) کلاسها MSC: 68Q17 (اولیه) 68Q19، 68Q25 (ثانویه) کلاسهای ACM: F. 2.
2; F. 4.
1 استناد بهعنوان: (یا v2 [cs. CC] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite تاریخچه ارسال از:. Leonid Dorochko [مشاهده ایمیل] [v1] جمعه،.
30 ژانویه 2026،. 08:.
11:. 38 UTC (47 KB) [v2] جمعه،.
3 آوریل 2026،. 06:.
41:. 22 UTC (48 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.