ARC133C \(\equiv\)は\(mod\ K\)とする． 必要条件や，上限の見積もりを考える． 判定問題最大の前に，簡単のため判定問題を考える． 行列において掛かれた値の和は， 行方向と列方向それぞれで集計すれば， \(\sum_{i \in H} A_{i} \equiv \sum_{j \in W} B_{j}\) が分かるので，これが必要条件． これは十分条件でもある． 実際，左上の行列を\(0\)で埋めておいて， 一番下の行と一番右の列で帳尻を合わせることを考えると， 一意に決まる． 一番右下のマスの埋め方に問題がないことは， \(\sum_{i \in H} A_{i} \…
