#ABC224B. [ABC224B] 单调性(Mongeness)

    ID: 2628 Type: Default 1000ms 256MiB Tried: 0 Accepted: 0 Difficulty: (None) Uploaded By: Tags>ABC入门算法闯关算法设计策略

[ABC224B] 单调性(Mongeness)

题目描述

给出一个 HHWW 列的网格,每个格子里都写有一个整数。

位于从上往下第 ii 行、从左往右第 jj 列的格子里写着整数 Ai,jA_{i,j}

请判断该网格是否满足以下条件:

对于任意满足1  i1 < i2  H 1\ \leq\ i_1\ <\ i_2\ \leq\ H 1  j1 < j2  W 1\ \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} $

输入格式

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

H H W W

A1,1 A_{1,1} A1,2 A_{1,2} \cdots A1,W A_{1,W}

A2,1 A_{2,1} A2,2 A_{2,2} \cdots A2,W A_{2, W}

\vdots

AH,1 A_{H, 1} AH,2 A_{H, 2} \cdots AH,W A_{H, W}

输出格式

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

样例

3 3
2 1 4
3 1 3
6 4 1
Yes
2 4
4 3 2 1
5 6 7 8
No

提示

样例说明 1

有九个满足 1  i1 < i2  H 1\ \leq\ i_1\ <\ i_2\ \leq\ H 1  j1 < j2  W 1\ \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} $ 都成立。以下是一些例子:

  • 对于(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

我们应该输出 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} $

数据范围

  • 2  H, W  50 2\ \leq\ H,\ W\ \leq\ 50
  • 1  Ai, j  109 1\ \leq\ A_{i,\ j}\ \leq\ 10^9
  • 所有输入均为整数