
给定一个 n×n 方阵中的任意元素(行索引 i,列索引 j),可通过数学关系式直接计算其所在主对角线(\)和副对角线(/)的所有坐标,无需遍历,时间复杂度 o(1) 起点 + o(k) 枚举(k 为对角线长度),适用于八皇后等需高频冲突检测的算法。
给定一个 n×n 方阵中的任意元素(行索引 i,列索引 j),可通过数学关系式直接计算其所在主对角线(\)和副对角线(/)的所有坐标,无需遍历,时间复杂度 o(1) 起点 + o(k) 枚举(k 为对角线长度),适用于八皇后等需高频冲突检测的算法。
在实现八皇后问题的冲突检测时,判断两个皇后是否位于同一对角线是关键步骤。不同于行列冲突(仅需比对 row 或 col 是否相等),对角线冲突需识别两类斜向直线:主对角线(top-left → bottom-right,即 \) 和 副对角线(top-right → bottom-left,即 /)。核心在于:对任意位置 (i, j),所有与其共主对角线的元素满足 i - j 为定值;所有共副对角线的元素满足 i + j 为定值。这一性质是高效定位整条对角线的理论基础。
✅ 主对角线(\)的坐标生成
主对角线上所有元素满足 i - j = constant(记作 diagMain = i - j)。为获取该对角线的起始坐标(最左上角有效位置),需将 i 和 j 同时减至边界内最小值:
- 若 i ≥ j:向上左平移 j 步 → 起点为 (i - j, 0)
- 若 i < j:向上左平移 i 步 → 起点为 (0, j - i)
随后沿方向 (1, 1) 迭代,直到任一坐标越界(< 0 或 ≥ N):
public List<Point> getMainDiagonal(int n, int i, int j) {
List<Point> diag = new ArrayList<>();
int startRow = i >= j ? i - j : 0;
int startCol = i >= j ? 0 : j - i;
while (startRow < n && startCol < n) {
diag.add(new Point(startRow++, startCol++));
}
return diag;
}✅ 副对角线(/)的坐标生成
副对角线上所有元素满足 i + j = constant(记作 diagAnti = i + j)。其起始点(最右上角有效位置)由 i + j 与 n-1 的关系决定:
- 若 i + j < n - 1:起点在第 0 行,列 = i + j → (0, i + j)
- 若 i + j == n - 1:起点为 (0, n-1)(即右上角)
- 若 i + j > n - 1:起点在最后一行(n-1),行固定,列 = i + j - (n-1) → (n-1, i + j - n + 1)
更简洁统一的推导:起点行 r = Math.max(0, i + j - n + 1),起点列 c = i + j - r。然后沿方向 (-1, 1)(上右)迭代:
public List<Point> getAntiDiagonal(int n, int i, int j) {
List<Point> diag = new ArrayList<>();
int sum = i + j;
int startRow = Math.max(0, sum - n + 1);
int startCol = sum - startRow;
while (startRow >= 0 && startCol < n) {
diag.add(new Point(startRow--, startCol++));
}
return diag;
}⚠️ 注意事项:
- 所有索引均为 0-based,n 是矩阵边长;
- 八皇后中无需预存整条对角线——可直接用 queen1.row - queen1.col == queen2.row - queen2.col 判断主对角线冲突,queen1.row + queen1.col == queen2.row + queen2.col 判断副对角线冲突,O(1) 比较即可,无需构造坐标列表;
- 上述生成方法适用于调试、可视化或需枚举攻击范围的场景(如国际象棋AI),但生产级八皇后求解应优先采用哈希集(Set<Integer> mainDiags, antiDiags)记录已占对角线索引,插入与查询均为 O(1)。
综上,掌握 i-j 与 i+j 的不变性,是高效处理矩阵对角线问题的底层钥匙——它让八皇后冲突检测从 O(N) 降维至 O(1),也为更复杂的棋盘类算法奠定坚实基础。

















