[论文解读] Magic squares with empty cells

Abdollah Khodkar, David Leach|arXiv (Cornell University)|Apr 30, 2018

Graph Labeling and Dimension Problems参考文献 4被引用 3

一句话总结

本文引入了k-对角线幻方——n×n的数组，其元素被限制在k个连续的对角线上，每行每列恰好有k个填充单元格，且所有行和列的和都等于相同的幻和。作者证明了当且仅当n=k=1，或3≤k≤n且n为奇数或k为偶数时，k-对角线幻方存在，对k=3至6采用直接构造法，利用基于移位和缩放的递归叠加方法将解扩展至任意k。

ABSTRACT

A k-magic square of order n is an arrangement of the numbers from 0 to kn-1 in an n by n matrix, such that each row and each column has exactly k filled cells, each number occurs exactly once, and the sum of the entries of any row or any column is the same. A magic square is called k-diagonal if its entries all belong to k consecutive diagonals. In this paper we prove that a k-diagonal magic square exists if and only if n = k = 1 or 3 <= k <=n and n is odd or k is even.

研究动机与目标

• 定义并研究k-对角线幻方，这是一种新型部分填充的幻方，其元素被限制在k个连续的对角线上。
• 确定对于给定的n和k，此类k-对角线幻方存在的充分必要条件。
• 为k=3,4,5,6的k-对角线幻方提供显式直接构造，并通过叠加技术将其推广至所有有效的k。
• 解决由对角线限制和n与k的奇偶性条件引发的结构约束。

提出的方法

• 将k-对角线幻方定义为n×n的数组，每行每列恰好有k个填充单元格，元素取值范围为0至kn−1，且行和列的和为常数。
• 利用模运算将元素分配至特定对角线，为k=3,4,5,6构造显式解，确保所有数字恰好使用一次。
• 使用模n的移位操作（mod n）从已有解生成新的k-对角线幻方，保持幻和与对角线结构不变。
• 应用叠加技术：将ℓ-对角线和m-对角线幻方（满足ℓ+m ≤ n）组合，通过将第二个平方移位ℓn并放置于非重叠单元格，形成(ℓ+m)-对角线平方。
• 利用加法缩放：向k-对角线幻方的所有元素加上常数m，可保持幻和性质，并扩展元素的取值范围。
• 通过将k表示为3,4,5的非负整数组合（当n为奇数时）或4,6的非负整数组合（当n为偶数时），并递归应用叠加引理，证明所有有效k的存在性。

实验结果

研究问题

• RQ1 对于哪些n和k值，存在阶为n的k-对角线幻方？
• RQ2 将元素限制在k个连续对角线时，会引发哪些结构和算术约束？
• RQ3 能否通过代数与组合叠加技术，将小k值的直接构造推广至所有有效k？
• RQ4 为何当k≥3时，奇偶性条件（n为奇数或k为偶数）成为存在的必要条件？
• RQ5 在对角线限制和叠加操作下，幻和与元素分布行为如何变化？

主要发现

• 当且仅当n=k=1，或3≤k≤n且n为奇数或k为偶数时，k-对角线幻方存在，实现了完全表征。
• 为k=3（n≥3为奇数）、k=4（n≥4）、k=5（n≥5为奇数）和k=6（n≥6为偶数）提供了直接构造，均基于k个连续对角线的模索引。
• 任意阶为n的k-对角线幻方的幻和为k(kn−1)/2，所有构造中行和列的和均一致。
• 叠加引理允许将有效的ℓ-和m-对角线幻方（满足ℓ+m≤n）组合为(ℓ+m)-对角线幻方，通过移位和缩放第二个平方实现。
• 对于奇数n且k≥3，每个k均可表示为3a+4b+5c（a,b,c为非负整数），从而可通过重复叠加k=3,4,5的基本情形实现构造。
• 对于偶数n且k≥4，每个k均可表示为4a+6b（a,b为非负整数），从而可通过叠加k=4和k=6的基本情形实现构造。