A Sparse Corner-Difference MILP for Minimum Square Tiling
In the authors' words
We study the problem of tiling an square with axis-aligned squares whose side lengths are integers strictly less than , with the objective of minimizing the number of tiles. The standard placement-based exact-cover MILP contains placement-to-cell nonzero coefficients and is also affected by the dihedral symmetry of the square domain. We introduce a Corner-Difference MILP (CD-MILP) that represents each selected square by at most four signed corner coefficients. Two-dimensional prefix reconstruction shows that the resulting constraints are equivalent to the original cell-cover equations, while reducing the coverage-related nonzero count to . We also introduce lightweight corner-ordering constraints that retain at least one representative from every orbit, although ties may leave residual symmetry. Computational experiments on nine prime-size instances compare the baseline, CD-MILP, the baseline with corner ordering, and their combination using Gurobi and COPT. Under the stated experimental settings, the combined formulation solves eight instances with Gurobi and seven with COPT, compared with four and five, respectively, for the baseline. Its average presolved matrixs contain approximately nonzero coefficients on average, compared with approximately for the baseline.
Appeared: Monday, September 21. arXiv. Preprint, not yet peer-reviewed.
Authors' comment: 16 pages, 4 figures, 8 tables