پژوهش
پیش‌چاپی از اثبات کمینهٔ سراسری یک نمونهٔ QPLIB خبر می‌دهد
پژوهشگران می‌گویند کمینهٔ سراسری نمونهٔ QPLIB_2096 برابر با ۷٬۰۲۵٬۷۲۰ است؛ رویکرد حل و گواهی‌سازی با کمک سامانهٔ هوش مصنوعی ZiYor بررسی و اصلاح شده است.
پیش‌چاپی در arXiv گزارش می‌کند که برای نمونهٔ ثابت‌شدهٔ QPLIB_2096، اثبات محاسباتی دقیقی به دست آمده است که کمینهٔ سراسری آن را ۷٬۰۲۵٬۷۲۰ تعیین می‌کند. نویسندگان می‌گویند روش حل و گواهی‌سازی با کمک ZiYor، سامانه‌ای هوش مصنوعی که خود را تکامل می‌دهد، بررسی و اصلاح شده و مقاله شرح ریاضی و اعتبارسنجی دقیق نتیجه را ارائه می‌کند.
صورت‌بندی اولیه ۳۰۰ متغیر دودویی، ۶٬۹۰۰ نامساوی مثلثی و ۲۵ قید درجه‌دوی غیرمحدب دارد. بازسازی ضرایب، متغیرها را به جفت‌های بدون‌ترتیب از میان ۲۵ شیء مرتبط می‌کند. در این تفسیر، نامساوی‌های مثلثی افرازها را رمزگذاری می‌کنند و هر قید درجه‌دوی به کرانی بر مجموع وزن یال‌های متصل به یک بلوک افراز تبدیل می‌شود. نویسندگان از این ساختار برای صورت‌بندی مسئله به شکل مجموعه‌افرازی روی بلوک‌های سازگار با ظرفیت استفاده کرده‌اند؛ متن چکیدهٔ در دسترس جزئیات ادامهٔ این روش را نشان نمی‌دهد.
این گزارش به کمک هوش مصنوعی تهیه شده است. مطالب براساس منابع درج‌شده تنظیم شده‌اند؛ صحت مستقل همه ادعاها تضمین نمی‌شود.
منبع: arXiv · AI (پیش‌چاپ) — مشاهده منبع اصلی ↗
پیش‌چاپ پژوهشی در arXiv؛ انتشار در این مخزن به معنی داوری همتا نیست
رد این داستان در رادار
خبرهای مرتبط از آرشیو منتشرشده