412 : グノモンの番号付け

整数m,n  (0n<m)m, n \; (0 \leq n < m)において、m×mm \times m格子の右上からn×nn \times n格子を取り除いたものをL(m,n)L(m,n)としよう。(訳注:このような図形のことをグノモン (gnomon) と呼ぶ。)

例えばL(5,3)L(5, 3)は以下のようになる:

L(m,n)L(m, n)のそれぞれのマスに連続する整数 1, 2, 3, ... を番号付けしたい。このとき全てのマスの数が下のマスと左のマスにある数より小さくなるようにしたい。

L(5,3)L(5, 3)に対する有効な番号付けを2例示す:

L(m,n)L(m, n)に対する有効な番号付けの個数をLC(m,n)LC(m, n)としよう。 LC(3,0)=42LC(3, 0) = 42, LC(5,3)=250250LC(5, 3) = 250250, LC(6,3)=406029023400LC(6, 3) = 406029023400, LC(10,5)mod76543217=61251715LC(10, 5) \bmod 76543217 = 61251715であることが確かめられている。

LC(10000,5000)mod76543217LC(10000, 5000) \bmod 76543217を求めよ。

最終更新