TL;DR
- چکیده:.
- مسئله تطبیق دقیق میپرسد که آیا یک نمودار دوبخشی با یالهای قرمز و آبی تطابق کامل را با.
- لبههای قرمز دقیقاً تایید میکند یا خیر.
چه اتفاقی افتاد
چکیده:. مسئله تطبیق دقیق میپرسد که آیا یک نمودار دوبخشی با یالهای قرمز و آبی تطابق کامل را با.
لبههای قرمز دقیقاً تایید میکند یا خیر. این مسئله که توسط پاپادمیتریو و یاناکاکیس در سال 1982 معرفی شد،.
با وجود پذیرش یک راهحل تصادفی از طریق لم شوارتز-زیپل از سال 1987،. بیش از چهار دهه در برابر الگوریتمهای زمان چند جملهای قطعی مقاومت کرده است.
الگوریتم O(n^6) برای تطبیق دقیق در تمام نمودارهای دوبخشی. این الگوریتم از طریق تجزیه با برش محکم دنبال میشود،.
که مشکل تصمیمگیری را به بلوکهای مهاربندی کاهش میدهد. اثبات با القای ساختاری در تجزیه مهاربند مک کوایگ پیش میرود.
ما خانوادههای استثنایی McCuaig، جبر تعیینکننده جایگزین، و موارد بسط باریک (KA، J3 تا D1) را ایجاد میکنیم. برای مرحله اضافی لبه،.
ما دو ابزار بسته را معرفی میکنیم:. یک قضیه دو هال اضافی القا شده با تطابق که شاخه رتبه-(m-2) را از طریق تضاد فروپاشی تصویری.
حل میکند،. و یک لم مدار q با حالت متمایز که رتبه-(m-1) را حذف میکند.
کل اثبات بهطور رسمیدر دستیار اثبات ناب 4 تأیید شده است. ریاضیات گسسته (cs.
DM)؛ پیچیدگی محاسباتی (cs. CC)؛ ساختارها و الگوریتمهای داده (cs.
DS) استناد بهعنوان: (یا v2 [cs. DM] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite تاریخچه ارسال از:. Yuefeng Du [مشاهده ایمیل] [v1] پنجشنبه،.
2 آوریل 2026،. 03:.
36:. 59 UTC (45 KB) [v2] شنبه،.
4 آوریل 2026،. 13:.
21:. 09 UTC (46 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.