Birim kare paketleme probleminde 17 kare için yeni alt sınır belirlendi
Öne çıkanlar
- 17 birim karenin paketlenmesinde geçerli alt sınır 4,5058 değerine yükseltildi.
- Yeni hesaplama 29x29 boyutundaki ızgara üzerinde 168 ağırlıklı nokta kullanıyor.
- Geometrik doğrulama programı yuvarlama hatalarını engellemek için rasyonel sayılarla çalışıyor.
Matematikçi Gustavo Massaccesi, 17 birim karenin sığabileceği en küçük karenin kenar uzunluğuna dair alt sınırı 4,5058 seviyesine yükselttiğini açıkladı. Geometrik kare paketleme alanındaki temel problemlerden biri olan s(17) değeri için daha önce Trevor Green 4,4452 alt sınırını kanıtlamış, yakın zamanda ise Sam Burns yapay zeka desteğiyle bu değeri 4,4811 seviyesine çıkarmıştı.
Massaccesi, doğrusal programlama ve kaba kuvvet arama yöntemlerini birleştirerek Burns'ün algoritmasını geliştirdi. Yeni hesaplamada 29'a 29'luk bir ızgara üzerinde simetrik olarak dağıtılan 168 nokta kullanıldı. Toplam ağırlığı yaklaşık 16,9166 olan bu noktalar sayesinde, alan içine yerleştirilecek her birim karenin en az 1 ağırlık içermesi zorunluluğu doğrulandı.
Yayımlanan Python doğrulama kodu, tüm geometrik hesaplamaları kayan noktalı sayılar yerine rasyonel kesirlerle işleterek olası yuvarlama hatalarının önüne geçiyor. Elde edilen yeni alt sınır, aynı zamanda 18, 19 ve 20 birim kare içeren paketleme problemlerinin teorik alt sınırlarını da otomatik olarak yukarı taşıyor.
Bu özet yapay zekâ ile hazırlanmıştır; ayrıntılar ve doğrulama için orijinal kaynağa başvurun.