Kare paketleme probleminde yapay zeka destekli yeni alt sınırlar bulundu
Öne çıkanlar
- 11 karelik paketleme probleminde Stromquist'in 2003 tarihli alt sınırı 3,78885'ten 3,81 değerine yükseltildi.
- 12 karelik durum için 3,96 değeri kanıtlanarak s(12) büyüklüğünün s(11) değerinden kesin olarak büyük olduğu gösterildi.
- Araştırma sürecindeki tüm hipotezler ve doğrulamalar yapay zeka ajanlarıyla çalışan bir iş akışıyla üretildi.
Açık kaynaklı bir araştırma deposunda birim karelerin en küçük kare konteynere yerleştirilmesini inceleyen kare paketleme problemi için yeni matematiksel alt sınırlar açıklandı. Çalışmada n eşittir 11 durumu başta olmak üzere 12, 17, 18, 19, 20 ve 21 karelik durumlar için doğrulanmış yeni sınırlar sunuldu. Walter Stromquist tarafından 1984 yılında ortaya atılan ve 2003 yılında yayımlanan n eşittir 11 durumuna ait 3,7888543 sınır değeri, ağırlıklı kaçınılmaz küme sertifikası yöntemiyle 3,81 değerine yükseltildi.
Araştırma süreci, ölçüm öncesinde hipotezlerin kaydedildiği ve kusurların kayıt altına alındığı otonom yapay zeka ajanları iş akışıyla yürütüldü. Python ve Rust temelli araç zincirinin kullanıldığı çalışmada n birden 324 değerine kadar uzanan durumlar için literatür taraması yapıldı. Çalışma kapsamında n eşittir 12 için daha önce doğrudan bir sınır bulunmayan duruma 3,96 alt sınırı getirildi ve bu sayede 12 karenin 11 kareye kıyasla daha büyük bir alana ihtiyaç duyduğu kesinleşti.
Yayımlanan raporda ayrıca Stromquist'in 2003 tarihli makalesindeki bir şekil hatası ve Bentz'in 2010 tarihli çalışmasındaki bir lemmada yer alan basım hatası tam doğrulama adımlarıyla düzeltildi. Araştırmacılar, n eşittir 11 için elde edilen sertifikanın standart kütüphane araçlarıyla bağımsız olarak doğrulanabilmesi amacıyla bağımsız bir doğrulama paketi ve kesin matematiksel tanık dosyaları sundu.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.