记矩形的并为\(P\)，定义多边形的大小为它的顶点个数\(|P|\)，其\(90\)°的顶角为凸角，\(270\)°的顶角为凹角并记凹点构成的集合为\(C\)，称竖直或水平在多边形内部分割开矩形的线为割线，连接了两个凹点的割线为好割线贪心可以发现对于\(P\)的任意极小矩阵划分，所有的割线至少有一