TL;DR
- PDF را مشاهده کنید چکیده:.
- یک سیستم اثبات گزارهای $P$ دارای خاصیت تفکیک عملی قوی است اگر یک $c \geq 1$ ثابت وجود.
- داشته باشد،.
چه اتفاقی افتاد
PDF را مشاهده کنید چکیده:. یک سیستم اثبات گزارهای $P$ دارای خاصیت تفکیک عملی قوی است اگر یک $c \geq 1$ ثابت وجود.
داشته باشد،. بهطوری که هرگاه $P$ یک اندازه $s$ را اثبات کند بدون اینکه دو $\alpha_i$ یک اتم مشترک داشته.
باشد،. یکی از $\alpha\$-$c دارای اندازه است.
توسط K. (2025) ثابت شد که هیچ سیستم اثباتی به اندازه کافی قوی این ویژگی را با فرض یک حدس.
پیچیدگی محاسباتی و یک حدس در مورد مولدهای پیچیدگی اثبات نمیپذیرد. در اینجا ما بر اساس Ilango (2025) و Ren et al.
(2025) و همین نتیجه را تحت دو فرضیه پیچیدگی محاسباتی محض ثابت کنید:. - زبانی در کلاس E وجود دارد که به مدارهای اندازه نمایی نیاز دارد،.
حتی اگر به آنها اجازه داده شود یک اوراکل NP را پرس و جو کنند. - یک P/poly demi-bit به معنای رودیچ (1997) وجود دارد.
نسخه اولیه پیچیدگی محاسباتی (cs. CC)؛ منطق (math.
LO) کلاسها MSC: O3F20، 68Q15 کلاسهای ACM: F. 1.
3; F. 4.
استناد بهعنوان: (یا v1 [cs. CC] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Jan Krajicek [مشاهده ایمیل] [v1] دوشنبه،.
6 آوریل 2026،. 16:.
32:. 46 UTC (9 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.