This paper explores the concept of balance in Latin rectangles, viewing them as points in a grid and measuring their imbalance using the L1 metric. Researchers developed a simulated annealing approach that improves upon existing benchmarks for non-square rectangles and provides a computer-assisted proof for the optimality of a previously found minimum imbalance value. The study also establishes asymptotic bounds for the minimum imbalance and investigates the conditions for perfect balance, with all reported rectangles verified using the Lean 4 programming language and its Mathlib library. AI
RANK_REASON The cluster contains an academic paper detailing new mathematical research. [lever_c_demoted from research: ic=1 ai=0.1]
AI-generated summary · Google Gemini · from 1 sources. How we write summaries →