悬线法（解决最大子矩阵类型的问题）

悬线法：

顾名思义：悬线法就如条悬着的线一般
先定义几样东西：

【定义子矩形】
有效子矩形：内部不包含障碍点的、轮廓与整个矩形平行或重合的子矩形
极大子矩形：每条边都不能向外扩展的有效子矩形。
最大子矩形：所有有效子矩形中最大的一个（或多个）。

我们可以很显然的看出:一个子矩阵要最大,那么这个子矩阵一定不能再向上,下,坐,右扩展,那么可得最大子矩阵是属于极大子矩阵的,那么我们只需要找出所有极大子矩阵,然后取最大值就求出了最大子矩阵

做法:
　　用一条线左右移动直到不满足约束条件或者到达边界

再定义几个东西:
left[i][j]:代表从(i,j)能到达的最左位置

right[i][j]:代表从(i,j)能到达的最右位置

up[i][j]:代表从(i,j)向上扩展最长长度.

递推公式：

left[i][j]=max(left[i][j],left[i-1][j]
right[i][j]=min(right[i][j],right[i−1][j]

为什么left取max,rigth取min,因为要满足向上能扩展的所有层的左右扩展的长度

这个递推式看起来像是很偏袒上面的,一直照顾上面的情况,那左右能扩展的极大子矩阵怎么没表现出来呢?

在这张图上我们可以看到,高的子矩阵最下面的点都会递推到它这个极大子矩阵(因为能向上就向上),但是在这个高的极大子矩阵覆盖之外,也是按照能向上就向上(极大化)思想,也可以找出其他的极大子矩阵.

我们可以这么来证明:
因为矩阵中的每个点都会被枚举到,那么如果这个点属于一个相对高的极大子矩阵又属于一个相对矮的极大子矩阵,那么这个点的值一定是相对高的极大子矩阵的值,那相对矮的极大子矩阵若不是被所有高的极大子矩阵覆盖,那么必有一个点只属于这个矮的或比它更矮的极大子矩阵,所以这个矮的极大子矩阵在没有被其他极大子矩阵完全覆盖的情况下绝对会被枚举出来.