正方形问题及python实现。leetcode1277(统计全为1的正方形子矩阵)、leetcode221(最大正方形)（python题解）华为面试题

问题：动态规划问题，但是这个DP问题的递推公式需要数学推导一下。官方题解对于这个问题的证明还是比较清楚的。

官方题解

一、统计全为1的正方形子矩阵(leetcode1277)
问题：

题目来源：力扣（LeetCode）

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

难度：中等

分析：
1、设置状态空间：
设状态空间f[i][j] = x代表以点（i,j）为右下角的最大正方形的边长为x，也可以表示以点（i,j）为右下角的正方形的个数为x（包括边长为1，2，……, x的正方形）。
2、寻找递推公式：
先给出递推公式，
if matix[i][j] == 0: f[i][j] = 0
if matix[i][j] == 1: f[i][j] = min(f[i - 1], f[i, j - 1], f[i - 1, j - 1]) + 1

现在给出证明：

假设位置(i, j) 有f[i][j] = 4，那么以(i - 1, j)为右下角的矩阵大小一定是>=3的，同理以(i, j - 1)和(i - 1, j - 1)为右下角的矩阵大小也是>=3的。
因此min(f[i][j - 1], f[i - 1][j], f[i - 1][j - 1]) ≥ f[i][j] - 1。

假设f[i][j - 1]，f[i - 1][j] 和 f[i - 1][j - 1] 中的最小值为 3，那么如果位置 (i, j) 的元素为 1，那么它可以作为一个边长为 4 的正方形的右下角，f 值至少为 4。因此
f[i][j]≥min(f[i][j−1],f[i−1][j],f[i−1][j−1])+1。
综合两个式子得到递推公式：
if matix[i][j] == 0: f[i][j] = 0
if matix[i][j] == 1: f[i][j] = min(f[i - 1], f[i, j - 1], f[i - 1, j - 1]) + 1
3、初始化base case：
需要初始化第一行和第一列，当格子里的值为1的时候就初始化为1。这个很好理解，初始行、列中的最大正方形只可能是1了。

4、空间优化： 可以做空间优化，优化到O(2n)。优化方法应该都比较熟悉了，跟前几篇DP问题一样，有需要code的可以留言。

解决方法：
1：

class Solution:
    def countSquares(self, matrix: List[List