پژوهش
پژوهشگران با جست‌وجوی شبیه‌سازی‌شده، ۳۳ رکورد لاتین را بهبود دادند
پیش‌چاپی تازه روش جست‌وجوی جدیدی برای کاهش «عدم‌توازن» در مستطیل‌های لاتین معرفی می‌کند و با اثبات رایانه‌ای، کمینهٔ این معیار را برای مستطیل ۳×۹ برابر ۵۶ می‌داند.
پژوهشگران برای یافتن مستطیل‌های لاتین کم‌عدم‌توازن‌تر از الگوریتمی مبتنی بر شبیه‌سازی تبرید استفاده کردند؛ الگوریتمی که نمادها را درون ردیف‌ها جابه‌جا می‌کند و فقط برخوردهای ستونی را جریمه می‌کند. در مقایسه با جدول مرجع پژوهشی در سال ۲۰۲۵، روش آن‌ها ۳۳ مورد از ۵۱ مقدار غیرمربعی را برای اندازه‌های ۸ تا ۱۳ بهبود داد؛ بیشترین بهبود ۳۹٫۴ درصد بود و در موارد باقی‌مانده نتیجه با مرجع برابری می‌کرد.
نویسندگان با استفاده از ناوردای ساده‌ای به نام «گروه ردیفی» نشان دادند هیچ‌یک از ۳۳ مستطیل تازه با ردیف‌های جدول یک گروه هم‌ارز نیست. به گفتهٔ مقاله، بنابراین جست‌وجوی محلی پیشین که ستون‌ها را جابه‌جا می‌کرد، نمی‌توانست به این نمونه‌ها برسد.
در بخش دیگری از پژوهش، الگوریتم شاخه‌وکران با کمک رایانه ثابت می‌کند کمینهٔ عدم‌توازن برای مستطیل لاتین ۳×۹ برابر ۵۶ است؛ مقداری که پیش‌تر پیدا شده بود، اما بهینگی آن اثبات نشده بود. مقاله همچنین می‌گوید برای هر k ثابت، کمینهٔ عدم‌توازن با مرتبهٔ n³ رشد می‌کند. همهٔ مستطیل‌های گزارش‌شده با هستهٔ Lean 4 و در برابر مشخصاتی ۷۴خطی بررسی شده‌اند؛ اثبات کران پایین مبتنی بر اصل لانه‌کبوتری نیز در Lean و با Mathlib انجام شده است.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: arXiv · AI (پیش‌چاپ) — مشاهده منبع اصلی ↗
پیش‌چاپ پژوهشی در arXiv؛ انتشار در این مخزن به معنی داوری همتا نیست
رد این داستان در رادار
خبرهای مرتبط از آرشیو منتشرشده