atcoder#ABC276H. [ABC276Ex] Construct a Matrix
[ABC276Ex] Construct a Matrix
配点 : 点
問題文
以下の条件を満たす 行 列の行列 が存在するかどうかを判定し、存在する場合は つ示してください。( の上から 行目、左から 列目の要素を とします)
- すべての に対し、
- それぞれに対し次の条件が成立する。- $P = \prod_{a_i \leq j \leq b_i} \prod_{c_i \leq k \leq d_i} x_{j,k}$ とする。この時、 を で割った余りは に等しい。
- $P = \prod_{a_i \leq j \leq b_i} \prod_{c_i \leq k \leq d_i} x_{j,k}$ とする。この時、 を で割った余りは に等しい。
制約
- 入力はすべて整数
入力
入力は以下の形式で標準入力から与えられる。
出力
条件を満たす が存在しないならば No
と出力せよ。
条件を満たす が存在するならば 行目に Yes
と出力し、 行目以降に以下の形式で の一例を出力せよ。
条件を満たす が複数存在する場合、どれを出力しても良い。
2 3
1 1 1 2 0
1 2 2 2 1
2 2 1 2 2
Yes
0 2
1 2
例えば に対し、$P = \prod_{a_2 \leq j \leq b_2} \prod_{c_2 \leq k \leq d_2} x_{j,k}= \prod_{1 \leq j \leq 2} \prod_{2 \leq k \leq 2} x_{j,k}=x_{1,2} \times x_{2,2}$ です。 この出力例において なので であり、これを で割った余りは に等しいです。 に対しても同様に条件を満たすことを確認できます。
4 4
1 4 1 4 0
1 4 1 4 1
1 4 1 4 2
1 4 1 4 0
No