4x4の数独の解はたった12種類しかない

There are only twelve 4x4 sudokus (and a cool trick for finding minimal subsets)

4x4の数独の解を全探索すると288通り見つかるが、数字の並べ替えを同一視すると本質的に異なる構造は12種類だけ。この記事では、Pythonで総当たりする方法と、最小限の手がかりから解を導くクールなトリックを紹介。9x9の膨大な解と比較しながら、数独の奥深さを探る。

4x4の数独の解はたった12種類しかない！...いや、何を異なる解と見なすかによっては288種類だ。

HNでの議論

gilleain
これらすべてを群論を通して理解する方法がある。例えば：
https://arxiv.org/html/2607.20669
「数独グリッドの数え上げ、対称性、同値類」では、「同値類」とは（埋められた数独グリッドのような）構造の集合で、ある関係の下ですべて同値であるものを指す。
Fran314
ここ数日、4x4数独の沼にハマって、順列を除けば可能な解はたった12通りしかないことを発見した。
そこで、私が行った小さな調査と、その過程で見つけたいくつかの楽しい発見をブログ記事にまとめることにした。
また、そう、これは極めて無意味でくだらないし、使われている数学もそれほど高度ではないけれど、それでも娯楽数学として楽しめる価値のあるものだと思う！
irusik
一見単純なパズルが、数学とコードの視点から見るとずっと面白いことがわかる記事が大好きだ。特に、4×4の数独グリッドが実はそれほど多くないというのは興味深い。私はSuperColoringでパズルをいじったり、自分のクロスワードを作ったりするのも好きだ。こういう記事を読むと、もっと変わったクロスワードを作ってみて、解くのがどれだけ難しくなるか試したくなる。