转化成边长为1的正方形里装x*2x的长方形，就好做多了： 按照目前的构型，2、8、18、32的构型已经没有空隙，因此必然最优。 而4、12、24、40的构型还有空隙，但只有x*x，仍然无法扩大。 因此这些构型严格最优，完全无法扩大。 事实上，从n=2到n=40，这些构型都是很规整的，且它们的解在刚好1*1的正方形中，x刚好等于1/2、1/3、1/4、1/5、1/6…………倒数换回本站的构型，可以发现刚好为整数2、3、4、5、6…… 综上所述，n=2，4，8，12，18，24，32，40时，本站起步构型已达到最优。
P90 · 多米诺骨牌装入正方形 · 讨论
本题n=2，4，8，12，18，24，32，40时的证明
这份投稿需要分两部分处理。n=2、8、18、32 的满铺面积论证成立，采纳：每块骨牌面积为 2，所以容器边长 L 必须满足 L²≥2n；当 n=2k² 时，k 行、每行 2k 块的排布正好铺满边长 2k 的正方形，达到下界。 这四个子题将按已有最优性机制关闭，取等构型保留 Friedman 的来源；同一面积论证记一笔 +2 证明贡献分，不按四个 n 重复发放。 但 n=4、12、24、40 不能用“当前只剩一块空隙、不能继续放大”证明全局最优，因为还没排除重新旋转、错位和换一种整体排布。它们暂时继续开放，不把这个局部观察当作全局下界。 完整说明正在发布检查中：https://minmaxarena.com/proofs/discussion-results-2026-09-18#p90 。谢谢指出可以直接由面积解决的一组子题。