夏休みパズル大会２０２０で初めて知った。 似たスリザーリンクは好きなパズル。 どうやって解くのかを考えるところからやる。
- 記法: 線の不在は横切る線で表現する
7の周囲を見ると「ここに壁があったら7を達成できない」という場所がある
4の周囲を見る
- 4は右と下だけでは達成できないので上か左は壁がない
- どちらに壁がなかったとしてもそれだけで4になる
- よって右と下は壁である
- 上と左のどちらか片方だけが壁である
- 記法: 角の1はそれを挟む辺のうち1本が壁であるという意味
- ある角が1である時、対面の角も1である
下の3に注目する
- 右が空きなら、それだけで3になるから、上と左は閉じなければならない
- なので右上角は1である
- 対面の4の左下角も1なので、左が空き
- 上が壁
- 端の線が4マス伸びる
記法: 囲みの外を青、中を黄色で塗る
- 単色のペンでやるときは斜め線の向きで区別するのだけど今回は色もつけることにした
- 配色は海と島のイメージ
- 壁を挟むマスは違う色、壁がない隣接マスは同じ色
- 7の左の壁が空きに確定する
2の右が空きだと3になるのでここは壁である
- 2は左か下に1マス伸びる必要があるので左下角は1 Aの壁が出来たことでBの空きが確定した
- 気づくのが遅れた
もし2の左が空きだとする
- 左は青
- 黄色が飛地になってはいけない(輪が1つにならなくなる)ため、左上角が青になる
- 同じ色のマスの間には壁がないため、2から3マス連続してしまう
- これはダメ
- よって2の左は壁
上の3が青である場合、黄色が飛地になる、よって3は黄色 左上隅が青である場合、
- 7が7であるために左下隅は黄色である必要がある
- 黄色が飛地にならないために下一列が黄色になる
- 下の3が5になる、ダメ
よって左上隅は黄色、左下隅が青
下3が青だと4になるので、黄色に確定
考察
- スリザーリンクは辺に情報を載せる解法がメジャー
- 僕は角に情報を載せるのも好きなのだが、あんまり使ってる人を見たことがない
- 「壁の有無までは絞れてないが、情報はある」ってのを表現する方法が必要だと思う
- あとは「グリッドの任意のカットについて、それを横断する線は偶数本」という定理が知られている
- 僕は角に情報を載せるのも好きなのだが、あんまり使ってる人を見たことがない
- この問題の場合、ヒントを使って縦横に「壁の不在」が伸びる
- 輪に注目してるとこの情報が活用しにくい
- 終盤、僕の予想以上に「青か黄色か」の判断を多用した
- 「黄色が飛地にならない」の法則が便利
- スリザーリンクに似た見た目で勘違いしてたけど、このパズルは内外塗り分けの方が情報として使いやすいのだろう
さて次は本編を解くよだけど、1も、マップの一辺より大きいマスもないからとっかかりがない 新しい定理を作りながら考えてみる
- 「角を挟む辺が2か1」(以下21)の角の対面は「角を挟む辺が0か1」(以下01)、逆もまた同様
- 2のマスの角は21
- 0だと2を超えるから
- なので、対面が01である
- 3のある角が01である場合、対角が21
- ある角が0であるなら対角は2でなければならないから
- これ以上にゲスなしでできることってあるのかなぁ？？
- 右上隅の2で二択のゲスをして進めたんだけど、結構深いよな…
左上隅の2は左か下のどちらか片方に壁がある
-
仮定1 下に壁がある
- Aに壁があると3が4以上になるから壁はない
- Bに壁がないと2が3以上になるから壁がある
- 2の右が空き確定なので周囲に壁を置く(以下緑線)
- 輪が閉じないためにどんどん確定して、3が4以上になってNG
-
よって下に壁はない
- 補足、2の周囲に壁を作った時点で3の達成不能は確定していたのだが気づくのが遅れた。気付きやすくする記法があると良いかもしれない。
Aの左に壁がある
- 定理 2のマスの角に線が触れたとき、対角を挟む辺には線がある
- 線が触れた時点でその角は1
- つまりどちらかの壁は開く
- それだけで2以上になるので、他の壁が開くとNG
- Aに壁があると3が達成不能
- Bに壁があると3が達成不能
- 輪が閉じないようにする
- 7の右上角は20
- もし0なら対角は2である必要があるが、矛盾
- よって2
- 角ラベルを斜めに伝搬しておいたお陰でさっくり決まった
視野を広げる
- 7の角が1だとより小さいヒントを巻き込んで達成不能になるので0に確定
- 対面する3の角から1の可能性が消えるので2に確定
- 対角も0に確定する気がしたけど勘違い
- 7のマスが2を巻き込んで達成不能にしないために6の側に壁不在の確定するところがある
- もし2の左下角が1なら、右上角が2になるが、2か3のどちらかが達成不能になるので、左下角は2である
- 対角が1に確定し、3の右下角も1になる
- つまり3は横に伸びるか縦に伸びるかの二択
- もし横に伸びるとすると7と2の達成のために壁がどんどん決まっていって、壁が輪になってしまう
- よって3は縦に伸びる
- 下の2は
- 角に線が触れたら対角は2
- 左に伸びると3になる
- ので上に伸びる
塗る
- 上辺の4に注目
- 青の時、縦4か112かのどちらか。112だと2がNGなので縦4、黄色は止まる
- 黄色の時、黄色を引き出そうとしても下の4が横4になって止まる
- よってこちらサイドから黄色を引き出すことはできず、右辺の黄色はつながらなければならない
右辺に注目
-
-
この6マスを、黄色をつなげつつ、4の制約を満たすように塗る問題
-
もし上4が青なら
- 横4になると途切れるのでNG、
- 横2だと下4が縦5になるのでNG、
- 縦4だと下4が3にしかなれない
-
よって上4は黄色に確定
-
もし下4が青なら
- 横4なら途切れるのでNG
- 31なら、上4が縦4に確定して途切れるのでNG
-
よって下4は黄色に確定
-
その上のマスは青に確定
-
下4は横31に確定するので、上4が縦4に確定する
-
-
4が青に確定する。
- 上の図を描いた時に見落としていた
- 「数の入り方が確定した場合、行き止まりの一つ先は逆の色」
- 黄色が途切れてはいけない条件により、縦4に確定する
-
6が黄色になって、縦6に確定する。
- 2は右につながらない。
-
6の下が青になる
- 「数の入り方が確定した場合、行き止まりの一つ先は逆の色」
-
4が黄色であるとするとその青が邪魔で入らないので、4は青に決まる
-
-
4はもう1マス青だね
-
2が青で下に決まる
- 2つ下が黄色に決まる
- 5は黄色でなければ収まらない、横5に確定するが、角まで入るかどうかは未定
- そろそろ10を使う時か
- もし10が青であるとすると、下辺の1マスを残して全て青になる。5がどの入り方をしてもここで黄色が途切れてしまう。
- よって10は黄色である。
- もし10の右が青なら10が実現不能、よって黄色である
- 同様に10の左と下も黄色である
- もし3が青だとすると右は黄色、縦では足りないので、左は青に確定する
- もし3が黄色だと、青の飛び地ができてはいけないのでその上も黄色、しかし3が4になってしまう、NG
- よって3は青
- 3の左が青に決まったことで10の入り方が確定する
4は青か黄色か
- もし黄色なら
- 右は青
- 3が縦に確定、左が青
- 4が縦に確定
- もし青なら
- 黄色が途切れないように頑張ると左の2が達成不能になる
- よって黄色
2が青だとすると、6が横になって、黄色が途切れるので2は黄色
- これはNG
下辺の2は、青くても黄色くても黄色が途切れる。
中央の2を通って黄色をつなげることはできない。
なので6を黄色が通る必要がある。
続きは眠くないときに。