感觉 DP 的状态设计与组合意义都比较贴合 AtCoder 的风格。

题意相当于计数矩阵对 的个数，使得 。

转化一下就是 的行最大值小于等于 对应行最小值，列同理。

考虑从小到大往矩阵里填数的过程，那么每行每列的最大值会依次被确定下来，对这个过程 DP。

设 表示当前已经填到了值 ， 矩阵有 行的最大值已经确定， 矩阵有 列的最小值已经确定。

为什么 不设为 矩阵列的最大值？