يناقش المقال تحسين الحد الأدنى لـ s(17)، وهو ضلع أصغر مربع يمكن تعبئة 17 مربعاً وحدوياً فيه. وجد John Bidwell في عام 1998 أن s(17)≤4.6756…، بينما أثبت Trevor Green في عام 2000 أن 4.4452…≤s(17) باستخدام 16 نقطة لا مفر منها في شبكة 4×6. حسّن Sam Burns مؤخراً الحد الأدنى إلى 4.4811(?) باستخدام 268 نقطة موزونة بمساعدة ChatGPT. يحسّن العمل الحالي هذا إلى 4.5058(?)≤s(17) باستخدام 168 نقطة في شبكة 29×29 مع تحسين بالبرمجة الخطية. يتميز الحل الجديد بهامش فارغ قدره 0.77565 وضلع شبكة داخلي قدره 3.9545. يجب أن يتضمن كل مربع وحدوي نقطة موزونة واحدة على الأقل، مما يضمن أن إدخال 17 مربعاً يفرض التداخل. يؤدي هذا تلقائياً إلى تحسين الحدود الدنيا لـ s(18) وs(19) وs(20). يشمل العمل المستقبلي استكشاف شبكات أكبر وإيجاد نسخ غير متماثلة.
تتضمن الطريقة وضع نقاط موزونة في مربع ضلعه 4.5058 وإثبات أن أي مربع وحدوي يوضع في هذه المنطقة يجب أن يغطي نقاطاً يبلغ وزنها الإجمالي 1 على الأقل. وبما أن 17 مربعاً وحدوياً تتطلب وزناً إجمالياً قدره 17 لكن المتاح هو 16.9166 فقط، ينشأ تناقض. تم تحسين الأوزان باستخدام البرمجة الخطية وتقريبها إلى كسور بسيطة للوضوح.
تُظهر التوزيعات تجمعات منفصلة في الزوايا مع أشرطة غريبة قرب المركز، مما يشير إلى إمكانية تحسين إضافي من خلال شبكات أكبر أو اتجاهات دوران إضافية.
المصدر: Hacker News · لخّصه HeadlinesBriefing