LeetCode 885 螺旋矩阵 III 的高效实现与时间复杂度优化指南-java教程-PHP中文网

本文详解 leetcode 885 题“spiral matrix iii”的常见超时原因，指出原代码因边界逻辑错误导致无限循环，并提供结构清晰、边界安全、时间复杂度最优的螺旋遍历实现。

本文详解 leetcode 885 题“spiral matrix iii”的常见超时原因，指出原代码因边界逻辑错误导致无限循环，并提供结构清晰、边界安全、时间复杂度最优的螺旋遍历实现。

在解决 LeetCode 第 885 题（Spiral Matrix III）时，许多开发者会采用“扩展边界的四边遍历”思路——即模拟螺旋向外扩展的过程，依次向右、下、左、上移动并收集合法坐标。该思路本身正确，但实现细节稍有偏差，极易引发两类致命问题：无限循环和大量无效迭代，最终触发 Time Limit Exceeded（TLE）。

? 根本问题分析

原代码的核心缺陷在于：

边界变量（rStart, rEnd, cStart, cEnd）被错误地以 ±2 步长更新，导致螺旋路径错位。例如，在向右遍历时本应止于 cEnd - 1，却误覆盖至 cEnd；随后为“补偿”，又将 cStart 减 2 —— 这种非对称修正破坏了螺旋对称性，使某些格子（如 {1,3}）永久遗漏，外层循环无法终止。
未重置 count 变量：count 被声明为类成员变量，若测试平台复用同一实例多次调用 spiralMatrixIII()，count 将保留上一次运行的残留值，直接跳过写入或越界访问。
无前置范围裁剪：每个方向循环前未判断当前行/列是否完全位于 [0, rows) 或 [0, cols) 内，导致大量无效 for 循环（例如 rStart = -100 时仍执行 for(int i = -100; i

✅ 正确实现：边界精准 + 提前剪枝 + 局部计数

以下为优化后的专业级实现，具备三项关键改进：

所有边界仅单步调整（++ / --），严格对应螺旋每轮扩展一格；
每个方向循环前做有效区间校验（如 if (rStart >= 0)），避免无效循环；
使用局部 count 变量 + 直接传入 ans[count] 数组引用，消除状态污染与冗余判断。

class Solution {
    public int[][] spiralMatrixIII(int rows, int cols, int rStart, int cStart) {
        int size = rows * cols;
        int[][] ans = new int[size][2];
        int rEnd = rStart + 1;
        int cEnd = cStart + 1;
        int count = 0;

        while (true) {
            // → 向右：第 rStart 行，列范围 [max(cStart, 0), cEnd)
            if (rStart >= 0 && rStart = 0) cStart--; // 边界收缩：准备向下走时，左边界左移 1

            // ↓ 向下：第 cEnd 列，行范围 [max(rStart, 0), rEnd)
            if (cEnd >= 0 && cEnd = 0) rStart--; // 准备向左走时，上边界上移 1

            // ← 向左：第 rEnd 行，列范围 (cStart, min(cEnd, cols)]
            if (rEnd >= 0 && rEnd = cFrom; c--) {
                    ans[count][0] = rEnd;
                    ans[count][1] = c;
                    if (++count == size) return ans;
                }
            }
            if (cEnd = 0 && cStart = rFrom; r--) {
                    ans[count][0] = r;
                    ans[count][1] = cStart;
                    if (++count == size) return ans;
                }
            }
            if (rEnd <h3>⚠️ 关键注意事项</h3>

时间复杂度：优化后为 O(K)，其中 K 是实际需返回的坐标数（即 rows × cols）。每个合法坐标仅被访问 1 次，且所有无效区域均被 if 条件提前跳过，杜绝空转。
空间复杂度：O(K)，仅输出数组开销，无额外递归或队列。
边界安全：所有 Math.max/min 确保索引不越界；rStart, cStart 等变量始终代表逻辑边界，而非强制物理坐标。
可维护性：取消全局状态，函数纯正无副作用，符合现代编程规范。