数独谜题唯一性及等价变换图G连通性的技术问询

嘿，这个问题挺有深度的——先把咱们的问题再明确下：你构建的图G里，每个节点对应一个合法数独解，两个节点间连边的条件是其中一个解能通过你列出的7种等价变换（或它们的组合）转换成另一个。现在想确认这个图是不是连通的，也就是任意两个数独解之间都存在这样的变换路径，对吧？

答案是：是的，这个图G是连通的。我给你拆解下背后的逻辑：

所有合法数独解，本质上都能通过这些变换的组合，从任意一个基准解推导而来，咱们一步步看：

• 块级排列变换（第4、5条：行块/列块的置换）：通过这两个操作，咱们可以把数独的3x3块调整到任意行块顺序和列块顺序——比如把第一行的三个块和第三行的块交换，或是调整列块的左右顺序。
• 块内行列置换（第6、7条：块内列/行的置换）：在每个3x3块内部，咱们可以重新排列行或列的顺序，这意味着任意块的内部数字布局，都能调整到和基准解对应块一致的结构。
• 几何对称变换（第2、3条：旋转、反射）：这俩属于盘面的整体几何调整，能把整个数独盘面翻转或旋转，帮咱们把任意盘面的“朝向”对齐到基准解的方向。
• 数字重标记（第1条）：这是最后一步关键操作——当前面的变换把两个解的“结构”完全对齐后，剩下的可能只是数字标签的差异，这时候用数字重标记就能把一个解的数字完全映射到另一个解的数字上。

举个实际例子：假设咱们有两个完全不同的数独解A和B。先用行块/列块置换、块内行列置换，把B的块结构调整到和A一致；再用旋转/反射把B的盘面方向对齐A；最后把B的数字按A的数字对应关系重新标记，B就变成A了。反过来操作也能把A转成B，所以A和B之间存在变换路径，也就是图G里有连接它们的边构成的路径。

说白了，所有数独解都属于图G的同一个连通分支，整个图自然是连通的。

备注：内容来源于stack exchange，提问作者felipe desoto