螺旋矩阵算法：边界控制与分层填充策略详解

1. 螺旋矩阵问题概述

螺旋矩阵是LeetCode上经典的二维数组操作题目（编号59），要求按照顺时针螺旋顺序填充一个n×n的方阵。这个问题看似简单，但涉及多个关键编程概念：边界控制、循环不变量原则、二维数组遍历策略等。作为面试高频题，掌握其解法能显著提升对矩阵操作的理解能力。

我在实际解题中发现，许多初学者容易陷入"边界混乱"的困境——要么重复填充元素，要么遗漏角落位置。本文将分享一种清晰可靠的实现方案，重点讲解如何通过"分层处理+左闭右开"的策略规避这些陷阱。

2. 核心算法设计思路

2.1 分层循环框架

螺旋填充的核心观察是：n×n矩阵可以看作由若干层同心环组成，每层都是一个完整的"圈"。对于n=3的矩阵：

code复制1 → 2 → 3
        ↓
8 → 9    4
↑        ↓
7 ← 6 ← 5

只需要填充最外层（数字1-8）和中心点（数字9）两个部分。由此得出关键结论：

• 循环次数：⌊n/2⌋ 次（n=3时需要1轮循环）
• 中心点特判：当n为奇数时，矩阵中心位置需要单独处理

2.2 四边填充策略

每层循环需要依次处理四条边：

1. 上边：从左到右填充（图中1→2→3）
2. 右边：从上到下填充（图中4→5）
3. 下边：从右到左填充（图中6→7）
4. 左边：从下到上填充（图中8）

为保持循环不变量（每次操作的一致性），采用左闭右开区间原则：

• 每条边填充到倒数第二个元素
• 下一条边从当前结束位置开始
  这样可避免重复填充转角元素

3. 完整实现与逐行解析

3.1 初始化阶段

python复制def generateMatrix(n: int) -> List[List[int]]:
    # 初始化n×n结果矩阵
    res = [[0] * n for _ in range(n)]
    start_x, start_y = 0, 0  # 每圈起始坐标
    loop = n // 2            # 循环次数
    mid = n // 2             # 中心点坐标
    count = 1                # 填充数字

关键点说明：

• res矩阵用列表推导式创建，比[[0]*n]*n更安全（避免浅拷贝问题）
• loop计算循环轮数，mid用于后续奇数特判
• count从1开始递增，符合题目要求的填充顺序

3.2 分层循环实现

python复制    for offset in range(1, loop + 1):  # offset控制每圈边界
        # 上边：从左到右
        for j in range(start_y, n - offset):
            res[start_x][j] = count
            count += 1
        
        # 右边：从上到下
        for i in range(start_x, n - offset):
            res[i][n - offset] = count
            count += 1
        
        # 下边：从右到左
        for j in range(n - offset, start_y, -1):
            res[n - offset][j] = count
            count += 1
        
        # 左边：从下到上
        for i in range(n - offset, start_x, -1):
            res[i][start_y] = count
            count += 1
        
        start_x += 1  # 更新下一圈起始坐标
        start_y += 1

代码细节解析：

1. offset从1开始，确保n-offset正确形成左闭右开区间
2. 四条边的循环范围严格保持对称：
   • 上/右边使用正向遍历（递增）
   • 下/左边使用反向遍历（递减）
3. 每完成一圈，起始坐标(start_x, start_y)向内缩进1

3.3 中心点特判

python复制    if n % 2 != 0:  # n为奇数时填充中心点
        res[mid][mid] = count
    return res

当n为奇数时，中心点坐标为(mid, mid)。例如n=3时，中心位置是(1,1)，填充数字9。

4. 复杂度分析与优化空间

4.1 时间复杂度

• 每个元素被访问一次，时间复杂度为O(n²)
• 这是最优解，因为必须填充n²个元素

4.2 空间复杂度

• 除结果矩阵外只使用常数空间，O(1)
• 无法进一步优化，因为题目要求返回矩阵

4.3 潜在优化方向

虽然算法已最优，但代码可读性可进一步优化：

1. 使用enumerate简化循环计数
2. 将四条边处理提取为独立函数
3. 添加更多注释说明边界条件

5. 常见问题与调试技巧

5.1 边界错误排查表

5.2 调试建议

1. 打印中间状态：在每圈循环后打印矩阵，观察填充进度

   python复制print(f"After loop {offset}:")
   for row in res:
       print(row)
   

2. 小规模测试：优先测试n=1,2,3等小案例，快速验证边界条件

3. 可视化辅助：在纸上画出矩阵索引，标注循环范围

6. 扩展思考：非方阵螺旋填充

虽然本题限定为方阵，但类似思路可推广到m×n矩形：

1. 循环次数变为min(m,n)//2
2. 需要处理矩形中心可能出现的"一行"或"一列"
3. 四条边的长度不再相同，需分别计算

这种变体在图像处理中很常见，例如螺旋遍历像素矩阵。掌握基础方阵解法后，可以尝试解决LeetCode 54题（螺旋矩阵）。

我在实际编码中发现，保持清晰的边界定义比追求代码简洁更重要。曾经为了减少变量使用而合并start_x和start_y，结果导致调试困难。后来坚持为每个关键参数赋予明确语义，代码可维护性大幅提升。