空中のへや_幅4
sは解の個数を表す。
図の見方
右下のマス:へやに入る黒マスの数
黒色/緑色のマス:黒マス/白マスと確定するマス
「B」と書かれたマス:そのマスが黒マスになる配置が1通りだけある。そのマスが黒マスになることが確定したとき、へや全体の黒マスの配置が確定する。
「W」と書かれたマス:そのマスが白マスになる配置が1通りだけある。そのマスが白マスになることが確定したとき、へや全体の黒マスの配置が確定する。
「BW」と書かれたマス:BとWの性質を同時に満たす。
7in4x4 s=4
https://gyazo.com/f2812124d8d6110e759ab79f37e35963
4通り。下の図と、これを回転したもののみ。
https://gyazo.com/1c469e6442302dc1701e16733c0df224
また部屋のうち中央の2x2以外の12マスに注目すると、以下が成り立つ:
この12マスの配置は2通りのみであり、12マスのうち1マスでも白黒が決定すると12マス全ての白黒が決定する。
https://gyazo.com/79e5f4e709dfcba307c77b94d8820ee0
9in5x4 s=2
https://gyazo.com/737fb310da1459dab6671b02e6812bd6
2通り。以下に示す配置と、これの上下反転形のみ。
https://gyazo.com/8239d9042bda69e0479f7feb58b32688
いずれも2通り。
10in6x4 s=20
https://gyazo.com/a805a7fc72cb48e12801e3ece18fe64c
確定するマスはない。解は20通り。
下図で、aのマスが白マスになったとき、解は10通りになる(残りの解は、これを左右反転させたもの)。puzzlink 左右3x4ずつに分けると、5+5となるためである。
https://gyazo.com/76c3b64ad928d8bc75f5a142af73d857
14in8x4 s=2
https://gyazo.com/c082e1785314655bc51f322830313c49
以下に示す配置か、これの上下反転形のみ。
https://gyazo.com/70f1db10a938676c3c9de203de3d0b67
一般に、(5k-1)in(3k-1)x4は2通り。
(5k-1)in(3k-1)x4 s=2
https://gyazo.com/0c34735bde13394c5e45e4981197113c
上図と、左右反転した、2通り。
証明: 6in3x4が入らないことから、帰納的に示せる。