TL;DR
- چکیده:.
- برش اقلام مستطیلی از برگههای انبار برای برآورده کردن نیازها و در عین حال به حداقل رساندن ضایعات،.
- یک وظیفه اصلی تولید است.
چه اتفاقی افتاد
چکیده:. برش اقلام مستطیلی از برگههای انبار برای برآورده کردن نیازها و در عین حال به حداقل رساندن ضایعات،.
یک وظیفه اصلی تولید است. مسئله دوبعدی برش اندازه سهام تکبعدی (2D-CSSP) بستهبندی سطل را با نیاز به کپیهای متعدد از هر نوع.
کالا تعمیم میدهد،. که باعث انفجار ترکیبی قوی میشود.
ما یک چارچوب مبتنی بر SAT را ارائه میکنیم که در آن انواع آیتمها بر اساس تقاضا گسترش. مییابند،.
هر نسخه دارای یک متغیر تخصیص برگه است و محدودیتهای غیر همپوشانی فقط برای کپیهای اختصاص داده شده. به همان برگه فعال میشوند.
ما همچنین یک قانون حذف جهت غیرممکن را معرفی میکنیم که متغیرهای چرخش را در زمانی که فقط. یک جهت میتواند با ورق مطابقت داشته باشد،.
اصلاح میکند. برای به حداقل رساندن تعداد برگهها،.
ما سه رویکرد را مقایسه میکنیم:. SAT غیر افزایشی با جستجوی دودویی،.
SAT افزایشی با استفاده مجدد از بند در سراسر تکرارها و MaxSAT جزئی وزندار. در معیار Cui--Zhao مجموعه،.
بهترین پیکربندیهای SAT ما دو تا سه برابر نمونههای بیشتری را بهعنوان بهینهتر تأیید میکنند و شکافهای بهینه. کمتری را نسبت به OR-Tools،.
CPLEX و Gurobi به دست میآورند. رتبهبندی نسبی در بین رویکردهای SAT به چرخش بستگی دارد:.
SAT افزایشی بدون چرخش قویترین است،. در حالی که SAT غیر افزایشی زمانی مؤثرتر است که چرخش اندازه فرمول را افزایش دهد.
هوش مصنوعی (cs. AI)؛ منطق در علوم کامپیوتر (cs.
LO) استناد بهعنوان: (یا v2 [cs. AI] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite تاریخچه ارسال از:. Tuyen Van Kieu [مشاهده ایمیل] [v1] پنجشنبه،.
2 آوریل 2026،. 07:.
52:. 41 UTC (59 KB) [v2] جمعه،.
3 آوریل 2026،. 01:.
42:. 32 UTC (44 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.