如何验证数独谜题是同构[同形] isomorphs?03 变形分为代数转换,矩阵调换[区块交换],旋转对称变换. 代数转换很容易辨识!矩阵调换[区块交换],旋转对称变换或者混用则很难以辨别的!dr gordon royle 在他的网页如此说these are g aranteed to be mathematically ineq ivalent in that no two of them can be translated 网页所搜集的  个 提示数=17的合格数独,全部是数学的唯一,没有任何借由变形转换的 -- . wa.ed .a gordons dok min.php 他在数独论坛提及 验证方法,运用 澳洲图学(brendan mckay )大师 的 na ty 方法,没有细述如何操作. dok .comboardsviewtopic.php?p=# na ty 是 澳洲国立大学 [ a stralian national university comp ter science department ] 的一位资讯科学系教授马凯 [ brendan mckay ]的程式. 而 dr glenn fowler (gsf),则 在sudoku.exe 提出详细的操作方法,dr glenn fowler 和dr gordon royle 所运用的方法不同. gsf 是对数独解作 row order minlex 正规化,再回朔到数独谜题,然后比对. row order minlex 是指 数独解(数独方阵) 的 第一 row 变形成 ,在全部的变形,取最小的那个数独方阵,然后回朔到数独谜题. 例如 00 正规化后  s dok -f"%#0c %4n" n17p.txt  n17a.txt 说明 -f"%#0c %4n" 是输出格式指定为空格以0零表示,小写c表示正规化,如果要验证的题目很多,可以加上 %4n ,编号.10题以内可以略去! gsf 的程序高效率,不过变形过程没法逐步显示. 这个方法只对 数独设计玩家有意义!一般数独玩家不必管这些.... 对 gsf 不熟的数独设计玩家可以试着找1,2题变形混着其他谜题,让 gsf 程序辨识.如果可以举例反证,证实 gsf 无法辨识,gsf 会很乐意知道!