0988132人目の素数さん
2020/08/28(金) 13:38:09.10ID:RJx6/e6A盤を 1x1のマスの集まりと見て、■マスを b_0
2x2 ブロックの集まりと見たとき、■を含むブロックを b_1
4x4 ブロックの集まりと見たとき、■を含むブロックを b_2
・・・・
2^n x 2^n ブロック全体、b_n
とする。
b_0 ⊂ b_1 ⊂ ・・・・ ⊂ b_n
これらの差分は、辺長が2ベキであるn個のL字形である。辺長は
(1,2), (2,4),・・・・, (2^{n-1},2^n)
つまり、盤面全体が、■マスとn個のL字形とに分割される。
これらのL字形は、>>968 のやり方で半サイズのL字形に分解してゆけば、最後には
□
□□
に至る。