#abc224b. [abc224_b]Mongeness

[abc224_b]Mongeness

問題文

HH 行、横 WW 列のマス目があり、各マスには 11 つの整数が書かれています。 上から ii 行目、左から jj 列目のマスに書かれている整数は Ai,jA_{i, j} です。

マス目が下記の条件を満たすかどうかを判定してください。

1leqi1<i2leqH1 \\leq i_1 < i_2 \\leq H および 1leqj1<j2leqW1 \\leq j_1 < j_2 \\leq W を満たすすべての整数の組 (i1,i2,j1,j2)(i_1, i_2, j_1, j_2) について、$A_{i_1, j_1} + A_{i_2, j_2} \\leq A_{i_2, j_1} + A_{i_1, j_2}$ が成り立つ。

制約

  • 2leqH,Wleq502 \\leq H, W \\leq 50
  • 1leqAi,jleq1091 \\leq A_{i, j} \\leq 10^9
  • 入力はすべて整数

入力

入力は以下の形式で標準入力から与えられる。

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

出力

マス目が問題文中の条件を満たす場合は Yes と出力し、条件を満たさない場合は No と出力せよ。


入力例 1

3 3
2 1 4
3 1 3
6 4 1

出力例 1

Yes

1leqi1<i2leqH1 \\leq i_1 < i_2 \\leq H および 1leqj1<j2leqW1 \\leq j_1 < j_2 \\leq W を満たす整数の組 (i1,i2,j1,j2)(i_1, i_2, j_1, j_2)99 個存在し、それらすべてについて $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}$ です。