MathLabs

第6問

2025×20252025\times2025 の単位正方形からなる格子を考える。マティルダはこの格子の上にいくつかの長方形のタイルを置きたい(大きさは異なってもよい);各タイルの各辺は格子線上にあり、各単位正方形は高々1枚のタイルで覆われるものとする。格子のすべての行とすべての列がタイルで覆われていない単位正方形をちょうど1つ持つようにするために、マティルダが置く必要のあるタイルの最小枚数を求めよ。
ステップ 4/6: 4つの象限にラベルを付け、書いた文字数を数える
C=n+a+b (or n+a+b+1 if the LIS and LDS meet)C=n+a+b\ (\text{or}\ n+a+b+1\ \text{if the LIS and LDS meet})
詳しい解説

CC の連続するマスを通る折れ線を描き、最初のマスを南西角、最後のマスを北東角に結ぶ。AA についても同様に折れ線を描き、最初と最後のマスをそれぞれ北西角、南東角に結ぶ。CC が鎖、AA が反鎖なので、2本の線は共通のマス cc 以外では交わらず、盤面を北・東・南・西の4領域に分ける。北領域の各黒マスの直上のマスに NN、南領域では直下に SS、西領域では左に WW、東領域では右に EE と書く。線上のマスには隣接する領域に対応するすべての文字を書く。cc は両方の線上なので4文字を受け取り、A∪CA\cup C の他の各マスは2文字、それ以外の A∪CA\cup C の各マスは1文字を受け取る。したがって文字数は C=n+a+b+1C=n+a+b+1 である(ここでの CC は文字数を表し、鎖ではない)。