數獨博士的可怕之處

一、數獨博士5.0內有間諜軟件

數獨博士5.0運行后，會釋放一個名為crcl.exe的文件，該文件位于臨時文件夾下面的~osFA.tmp目錄下，完全的路徑為（假設你的系統安裝在C盤，且當前登錄用戶名為asd)：C:\Documents and Settings\asd\Local Settings\Temp\~osFA.tmp

而crcl.exe是一個實實在在的間諜軟件：（以下是谷歌crcl.exe的結果信息）

crcl.exe是88圈的進程，88圈是一個用來收集并整理數百萬用戶的網上瀏覽和購買行為，以方便市場調查公司編寫成市場分析報告的軟件。以上行為類似間諜軟件，部分殺軟和殺馬軟件會報毒。如果樓主是在不知情的情況下安裝的，可以在添加刪除程序里很方便地刪除88圈軟件。

    同時，數獨博士5.0還會產生一個大小為2,207,483 字節的可執行程序，目前還不知道該程序有何作用。

二、并不是自己產生數獨。

    作為一個數獨程序，產生一道高質量的數獨題目，是基本的也是必備的功能。只可惜號稱“博士”的該程序卻沒有自己產生數獨題目的功能。

    在使用該程序時，一時為其產生的數獨題目速度之多、質量之高而莫名其妙。

    看看該程序所產生的數獨題目，很多都是17個提示數，而且是瞬間產生的。我們都知道，要產生一道高質量的17個提示數的數獨題目并不是一件簡單的事。所以我就一直懷疑該程序是自帶數獨題目庫。盡管每次產生的題目都是不一樣。

    于是決定探個究竟。

    經過努力，終于查出真相。

    首先，用程序讓“數獨博士”產生4305道骨灰級的題目。對這4305道題目進行檢測，發現了45道相同的題目。

    問題能初露端倪。

    接著，再利用超級數獨程序gsf程序進行同構同形（Isomorphs）驗證。

    驗證的結果讓人大吃一驚，在這4305道題目里，竟然有3808道題目相同。

    由此可以證明：數獨博士并沒有自己產生題目的功能。

相關鏈接一：數獨題目，何謂同形同構？

    所謂數獨謎題的變形，是指把9*9的方陣作一些變換，產生一道新的題目。

    常用的變換方法有

    代數變換：數字1到9作調換，例如1換成7，6換成2，2換成1，7換成6....

    矩陣變換：縱列作調換，或橫行作調換，縱向三個九宮格連結成一區塊作調換，橫向三個九宮格連結成一區塊作調換....

    旋轉變換：旋轉90度，180度、270度....

    對稱變換：水平對稱變換、垂直對稱變換、對角線對稱變換....

    經過變換后的題目，從外觀上很難分辨新的謎題是舊謎題的變形，一個數獨謎題經由變形可以有很多變化，一個數獨謎題， 總計可變化出出 362880 * 36 * 2 * 8= 209,018,880 個數獨謎題來。

    例如：下面一道題目：

    103000000000700200089000000200600000000000910060800000000010000000070090040000500

經過變換后

005700009012000000040030000000004200000000000300002006800570000000000000000000840

000000000790000100000301000003005000000000000005020800000000054080000003900060070

000420000003010000070500800100000040000000000400003600000000091057009000000000000

005003100000047000000020080000000000000900310290000000000000000006800007070000002

020070000007010000000000509000009000000008005003000600501000000490000000000080200

000009050002005008000000000750000000040300001900020000000000000000000960006430000

005000701000350000000000000010009007300000200860000000000000000000060030002004060

002000000000009001008000050000054000000270000080000006000000025030600000040003000

000000000050004000040070020908000060000000000000506000800010900002000005000000403

007040000002000000000008060000000034070005000000000209030000010010000500000024000

604000000190000000000008300050009000003005000000000104000080001000040000070000200

000091000400000005500000080000020007030009000010000000000000904300080000000000610

001090040000000000006000100080300020000107000900006000830050000000000506000000000

000000670100002000020004000000005010047000000609000000000600000030000080000500700

000940020520000000000000000000600500000000807003090004070005000000000000001007060

000000908000000062700500000000100700000600010209000000300000040002050000000090000

這16道題目與舊題是同構同形，但人們已經難以分辨了。

相關鏈接二：Gsf使用方法。

    Gsf功能強大，數獨愛好者知道。但其使用復雜，非一朝一夕可以學透。下面的命令是驗證同構同形的。

gsf -f"%#0c %4305n" 4305.txt > n4305.txt

-f"%#0c   %4n"   是輸出格式指定為空格以0零表示，小寫C表示正規化，如果要驗證的題目很多，

可以加上 %4n ，編號。10題以內可以略去！

為了讓讀者自行驗證，本人將使用的驗證工具全部上傳。有興趣的朋友可以點擊鏈接進行下載：http://m.shnenglu.com/Files/flyfeng/kepan_sd.rar

本人使用的數獨博士是從網絡上下載的最新版5.0，未注冊版本。

壓縮包里的文件

4305.txt為數獨博士所產生的原來的題目，n4305.txt是gsf程序所驗證后的題目。

10.txt和n10.txt是測試文件，其中10.txt是變換的題目，n10.txt是未變形的題目。