Leetcode 1277.统计全为 1 的正方形子矩阵（Count Square Submatrices with All Ones）

Leetcode 1277.统计全为 1 的正方形子矩阵

1 题目描述（Leetcode题目链接）

  给你一个 m * n 的矩阵，矩阵中的元素不是 0 就是 1，请你统计并返回其中完全由 1 组成的 正方形 子矩阵的个数。

输入：matrix =
[
  [0,1,1,1],
  [1,1,1,1],
  [0,1,1,1]
]
输出：15
解释： 
边长为 1 的正方形有 10 个。
边长为 2 的正方形有 4 个。
边长为 3 的正方形有 1 个。
正方形的总数 = 10 + 4 + 1 = 15.

输入：matrix = 
[
  [1,0,1],
  [1,1,0],
  [1,1,0]
]
输出：7
解释：
边长为 1 的正方形有 6 个。 
边长为 2 的正方形有 1 个。
正方形的总数 = 6 + 1 = 7.

提示：

• 1 <= arr.length <= 300
• 1 <= arr[0].length <= 300
• 0 <= arr[i][j] <= 1

2 题解

  动态规划问题，我们定义状态$dp[i][j]$为：以矩阵$matrix[i][j]$为右下角的正方形个数。或者说：以矩阵$matrix[i][j]$为右下角的最大正方形边长。这二者是相等的。因此最后我们将整个$dp$数组求和就是答案了。状态转移方程如下：
$$dp[i][j]=\{\begin{array}{ll}0& ifmatrix[i][j]==0\\ 1+min(dp[i-1][j],dp[i][j-1],dp[i-1][j-1])& otherwise\end{array}$$

class Solution:
    def countSquares(self, matrix: List[List[int]]) -> int:
        m, n = len(matrix) + 1, len(matrix[0]) + 1
        res = 0
        dp = [([0]*n) for _ in range(m)]
        for i in range(1, m):
            for j in range(1, n):
                if matrix[i-1][j-1] == 1:
                    dp[i][j] = 1 + min(dp[i-1][j-1], dp[i-1][j], dp[i][j-1])
                    res += dp[i][j]
        return res