所有大樂透和雙色球開獎數據,全面,準確。有需要的朋友聯系LinMuTou@163.com,每份10元。10元=500萬!
數獨博士的可怕之處
一、數獨博士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://www.shnenglu.com/Files/flyfeng/kepan_sd.rar
本人使用的數獨博士是從網絡上下載的最新版5.0,未注冊版本。
壓縮包里的文件
4305.txt為數獨博士所產生的原來的題目,n4305.txt是gsf程序所驗證后的題目。
10.txt和n10.txt是測試文件,其中10.txt是變換的題目,n10.txt是未變形的題目。
FlyFeng直觀數獨會生成超級難的“無級”題目,下面是一例:
800400000001005200000090007090007050200100400003080000004200800000000030050000009
最終完成人數獨人工解題。
解題代碼,并不是采用候選數方式,而是人工思維,解題過程,并不是一下子給出全部答案,而是一步一步的人工推導。每一步的解題都是模擬人工思考,并用圖示進行標注,一目了然。
程序解題技巧:行唯一解、列唯一解、小九宮唯一解、隱含唯一解、數對排除法、隱藏數對排除法、三鏈數、四鏈數排除法、隱藏三鏈數、四鏈數排除法、矩形排除法。(解題名稱在程序中都是采用唐詩來命名的。在此考慮到大家較為熟悉候選數解題名稱,所以就以候選數名稱來代稱。)
因為是采用人工模擬思維,所以并不采用xyz-wing 或強弱鏈方式。假如沒有電腦,面對一道數獨題目,你還會采用這些方法嗎?
但有時會碰到高級、直觀法難解的題目,程序也是采用人工思維——反證法。而且,反證也并非采用遞歸方式,因為遞歸也不是人工思維。
源代碼附有詳細的說明,有需要的朋友可與本人聯系。FF06280209@163.com.
程序下載地址:http://www.shnenglu.com/Files/flyfeng/ff_shudu.rar