#abc224b. [abc224_b]Mongeness

[abc224_b]Mongeness

问题描述

我们有一个 HHWW 列的网格,每个方格中包含一个整数。第 ii 行从上到下、第 jj 列从左到右的方格上的整数为 Ai,jA_{i, j}

确定网格是否满足以下条件。

对于每个整数四元组 (i1,i2,j1,j2)(i_1, i_2, j_1, j_2),满足 1i1<i2H1 \leq i_1 < i_2 \leq H1j1<j2W1 \leq j_1 < j_2 \leq W,都有 $A_{i_1, j_1} + A_{i_2, j_2} \leq A_{i_2, j_1} + A_{i_1, j_2}$。

约束条件

  • 2H,W502 \leq H, W \leq 50
  • 1Ai,j1091 \leq A_{i, j} \leq 10^9
  • 输入中的所有值均为整数。

输入

输入以以下格式从标准输入给出:

HH WW A1,1A_{1, 1} A1,2A_{1, 2} \cdots A1,WA_{1, W} A2,1A_{2, 1} A2,2A_{2, 2} \cdots A2,WA_{2, W} \vdots AH,1A_{H, 1} AH,2A_{H, 2} \cdots AH,WA_{H, W}

输出

如果网格满足问题描述中的条件,则输出 Yes;否则,输出 No


示例输入 1

3 3
2 1 4
3 1 3
6 4 1

示例输出 1

Yes

有九个整数四元组 (i1,i2,j1,j2)(i_1, i_2, j_1, j_2) 满足 1i1<i2H1 \leq i_1 < i_2 \leq H1j1<j2W1 \leq j_1 < j_2 \leq W。对于所有这些四元组,都满足 $A_{i_1, j_1} + A_{i_2, j_2} \leq A_{i_2, j_1} + A_{i_1, j_2}$。以下是一些示例:

  • 对于 (i1,i2,j1,j2)=(1,2,1,2)(i_1, i_2, j_1, j_2) = (1, 2, 1, 2),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 2 + 1 \leq 3 + 1 = A_{i_2, j_1} + A_{i_1, j_2}$。
  • 对于 (i1,i2,j1,j2)=(1,2,1,3)(i_1, i_2, j_1, j_2) = (1, 2, 1, 3),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 2 + 3 \leq 3 + 4 = A_{i_2, j_1} + A_{i_1, j_2}$。
  • 对于 (i1,i2,j1,j2)=(1,2,2,3)(i_1, i_2, j_1, j_2) = (1, 2, 2, 3),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 1 + 3 \leq 1 + 4 = A_{i_2, j_1} + A_{i_1, j_2}$。
  • 对于 (i1,i2,j1,j2)=(1,3,1,2)(i_1, i_2, j_1, j_2) = (1, 3, 1, 2),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 2 + 4 \leq 6 + 1 = A_{i_2, j_1} + A_{i_1, j_2}$。
  • 对于 (i1,i2,j1,j2)=(1,3,1,3)(i_1, i_2, j_1, j_2) = (1, 3, 1, 3),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 2 + 1 \leq 6 + 4 = A_{i_2, j_1} + A_{i_1, j_2}$。

我们还可以看到该属性对于其他四元组也成立:$(i_1, i_2, j_1, j_2) = (1, 3, 2, 3), (2, 3, 1, 2), (2, 3, 1, 3), (2, 3, 2, 3)$。
因此,我们应该输出 Yes


示例输入 2

2 4
4 3 2 1
5 6 7 8

示例输出 2

No

我们应该输出 No,因为条件没有满足。
例如,对于 (i1,i2,j1,j2)=(1,2,1,4)(i_1, i_2, j_1, j_2) = (1, 2, 1, 4),我们有 $A_{i_1, j_1} + A_{i_2, j_2} = 4 + 8 > 5 + 1 = A_{i_2, j_1} + A_{i_1, j_2}$。