先考虑如何判定一个r*c的矩阵是否符合条件,容易发现左上角的点无法被别的矩阵砸到,要求左上角r*c的矩阵中不能超过最左上角的元素,之后同理不断枚举最上&最左的非0点,可以用差分来优化,复杂度为$o(n^{4})$(n和m同阶)(然后加上一些整除.倒序枚举的剪枝就可以过了)正解是这样的,枚举1*c的最大矩阵,枚举r*1的最大矩阵,r*c的矩阵即为答案(这个用差分维护)为了证明这个的正确性,分为两部分考虑:1.必要性,即r*c的矩阵合法可以推出1*c和r*1的矩阵合法,显然成立(用c次r*1的矩阵/…