AT_joig2021_f デジタルアート (Digital Art)

Description

[problemUrl]: https://atcoder.jp/contests/joig2021-open/tasks/joig2021_f JOI 高校の生徒である葵はデジタルアート制作が趣味であり,今日も新しい画像を作った. この画像のサイズは,縦 $ H $ ピクセル,横 $ W $ ピクセルであり,$ H\ \times\ W $ のマス目のような形で表される.ここで,上から $ i $ 行目 ($ 1\ \leqq\ i\ \leqq\ H $),左から $ j $ 列目 ($ 1\ \leqq\ j\ \leqq\ W $) のピクセルを $ (i,\ j) $ で表す.各ピクセルは $ 1 $ つの色で塗られている.各色には $ 1 $ から $ 256 $ までの番号が付けられており,ピクセル $ (i,\ j) $ の色の番号は $ A_{i,\ j} $ である. 葵はこの画像を同級生である凛に見せたが,凛は「画像に使われている色の種類が多すぎる」という理由で気に入らなかった.そこで葵は,以下のように画像内のある領域を隠して,見える色の種類をできるだけ少なくできないかと考えた. - 葵は $ S $ 個以下のピクセルを選んで隠す. - ただし,隠すピクセルの領域は $ 1 $ つの長方形で表されなければならない. 画像のデータと,隠すピクセルの個数の上限 $ S $ が与えられたとき,画像内のある領域を隠したときに見える色の種類の数としてありうる最小の値を求めるプログラムを作成せよ.

Input Format

入力は以下の形式で標準入力から与えられる. > $ H $ $ W $ $ S $ $ A_{1,\ 1} $ $ A_{1,\ 2} $ $ \cdots $ $ A_{1,\ W} $ $ A_{2,\ 1} $ $ A_{2,\ 2} $ $ \cdots $ $ A_{2,\ W} $ $ \vdots $ $ A_{H,\ 1} $ $ A_{H,\ 2} $ $ \cdots $ $ A_{H,\ W} $

Output Format

標準出力に,画像内のある領域を隠したときに見える色の種類の数としてありうる最小の値を $ 1 $ 行で出力せよ. 特に,見えるピクセルが一つもない状態にできる場合は $ 0 $ と出力せよ.

Explanation/Hint

### 制約 - $ 1\ \leqq\ H\ \leqq\ 1\,000 $. - $ 1\ \leqq\ W\ \leqq\ 1\,000 $. - $ 1\ \leqq\ S\ \leqq\ HW $. - $ 1\ \leqq\ A_{i,\ j}\ \leqq\ 256 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). - 入力される値はすべて整数である. ### 小課題 1. ($ 8 $ 点) $ H\ =\ 1 $,$ W\ \leqq\ 10 $. 2. ($ 10 $ 点) $ H\ \leqq\ 10 $,$ W\ \leqq\ 10 $. 3. ($ 5 $ 点) $ S\ =\ 1 $. 4. ($ 6 $ 点) $ A_{i,\ j}\ \leqq\ 2 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). 5. ($ 5 $ 点) $ A_{i,\ j}\ \leqq\ 4 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). 6. ($ 13 $ 点) $ A_{i,\ j}\ \leqq\ 15 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). 7. ($ 13 $ 点) $ A_{i,\ j}\ \leqq\ 30 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). 8. ($ 15 $ 点) $ A_{i,\ j}\ \leqq\ 70 $ ($ 1\ \leqq\ i\ \leqq\ H $,$ 1\ \leqq\ j\ \leqq\ W $). 9. ($ 25 $ 点) 追加の制約はない. ### 採点に関する注意 すべての提出はジャッジシステム上で採点される. 提出されたソースコードは,小課題に対応するすべての採点用入力データについて正しい結果を返したとき,その小課題について正解となる. 各提出の得点は,提出されたソースコードが正解した小課題の得点の合計である. この課題の得点は,**この課題に対するすべての提出の得点の最大値**である. 現在の得点は「提出結果」タブの「自分の得点状況」から確認できる. ### Sample Explanation 1 例えば,左から数えて $ 2 $ 番目から $ 8 $ 番目までのピクセルを隠すと,番号 $ 5,\ 6 $ の色だけが見え,その種類の数は $ 2 $ となる.この場合,隠すピクセルは $ 7 $ 個となり,条件を満たす.また,葵は見える色を $ 1 $ 種類以下にすることはできない.よって $ 2 $ を出力する. この入力例は小課題 $ 1,\ 2,\ 6,\ 7,\ 8,\ 9 $ の制約を満たす. ### Sample Explanation 2 例えば,左上をピクセル $ (2,\ 1) $,右下をピクセル $ (7,\ 7) $ とする長方形領域を隠すと,番号 $ 1,\ 3,\ 4,\ 5 $ の色だけが見え,その種類の数は $ 4 $ となる.この場合,隠すピクセルは $ 42 $ 個となり,条件を満たす. この説明を図で表すと,以下のようになる. !\[\](https://img.atcoder.jp/joig2021/6c07208e6e942ad2907e701c0a15c4ac.png) この入力例は小課題 $ 2,\ 6,\ 7,\ 8,\ 9 $ の制約を満たす. ### Sample Explanation 3 隠すピクセルを $ S\ =\ 1 $ 個以下にするという条件の下では,葵は番号 $ 1,\ 2,\ 3,\ \ldots,\ 9 $ の $ 9 $ 種類の色が見えるようにしかできない.よって $ 9 $ を出力する. この入力例は小課題 $ 2,\ 3,\ 6,\ 7,\ 8,\ 9 $ の制約を満たす. ### Sample Explanation 4 $ 54 $ 個すべてのピクセルを隠して,見えるピクセルが一つもないようにできる.よって $ 0 $ を出力する. この入力例は小課題 $ 2,\ 6,\ 7,\ 8,\ 9 $ の制約を満たす. ### Sample Explanation 5 例えば,左上をピクセル $ (3,\ 1) $,右下をピクセル $ (10,\ 7) $ とする長方形領域を隠すと,番号 $ 1,\ 3 $ の色だけが見え,その種類の数は $ 2 $ となる.この場合,隠すピクセルは $ 56 $ 個となり,条件を満たす. この説明を図で表すと,以下のようになる. !\[\](https://img.atcoder.jp/joig2021/3798357bb62430dac001eb336ae6f957.png) この入力例は小課題 $ 2,\ 5,\ 6,\ 7,\ 8,\ 9 $ の制約を満たす.