n=17正方形装箱问题的新下界：4.5058
Gustavo Massaccesi 改进了17个单位正方形装箱问题的下界，从4.4811提升到4.5058。方法是用线性规划在29×29网格上寻找最优权重分布，配合Python程序验证。作者还附上了完整的验证代码和Racket绘图脚本，并计划探索非对称版本以获得更好结果。 
提交点赞
评论
点赞
收藏Linear Programing for Square Packing
This is the second post to improve a recent result and prove that 4.5058(?)≤s(17), but let’s first define s(17). Quoting the old article about the topic Let s(n) be the side of the smallest square int...
A happy path for Racket in the Collatz benchmark
► Versión en Español The other day, I was reading yet another benchmark: “ Lambda Land: Functional Languages Need Not Be Slow ”. (Is it a benchmark? Nice article anyway.) It compares Racket, Python, R...
Un camino feliz para Racket en el benchmark de Collatz
► English Version El otro día estuve leyendo otro benchmark más: " Lambda Land: Functional Languages Need Not Be Slow ". (¿Es un benchmark? Lindo artículo, de todas maneras). Compara Racket, Python, R...
Decomposing factorial of 300K as the product of 300K factors larger than 100K
► Versión en Español A few days ago, Terence Tao proposed a challenge to decompose the 300K! as the product of 300K factors larger than 100K. A smaller example is decomposing 10! as the product of 10 ...
Descomponiendo el factorial de 300K como el producto de 300K factores mayores que 100K
► English Version Hace unos días [ver nota], Terence Tao propuso un reto para descomponer 300K! como el producto de 300K factores mayores que 100K. Un ejemplo más pequeño es descomponer 10! como el pr...
Homemade Chocolate Easter Eggs
► Versión en Español We made homemade chocolate Easter eggs. (Here the usual kind is a hard chocolate shell, with sprinkles or toys inside.) My 4-year-old daughter loved it, although she did a bit of ...
Huevos de Pascua de Chocolate Caseros
► English Version Estuvimos haciendo huevos de Pascua de chocolate caseros. (Acá lo usual es una cáscara de chocolate duro, con confites o juguetes adentro.) A mi hija de 4 años le encantó, aunque hiz...
Fryday Uncember 1st
► Versión en Español I can't believe it! A leap day was okay, a leap second was a bit too much, but a whole extra month is too much. Anyway, I'm more concerned about 13/13/2020. It sounds bad. It soun...
Viernes 1ro de oncenbre
► English Version ¡No lo puedo cree! El día bisiesto estaba bien una cosa, el segundo bisiesto era un poco mucho, pero todo un mes extra es demasiado. De todas maneras estoy más preocupado por el 13/1...