本文探讨了拉丁方阵的平衡概念,将其视为网格中的点,并使用L1度量来衡量其不平衡性。研究人员开发了一种模拟退火方法,该方法改进了现有的非方形矩形基准,并为先前找到的最小不平衡值的最优性提供了计算机辅助证明。该研究还建立了最小不平衡的渐近界限,并研究了完美平衡的条件,所有报告的矩形均使用Lean 4编程语言及其Mathlib库进行了验证。 AI
排序理由 该集群包含一篇详细介绍新数学研究的学术论文。[lever_c_demoted from research: ic=1 ai=0.1]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →