香港新浪網 MySinaBlog
« 上一篇 | 下一篇 »
kafat | 1st Aug 2014 | 我的網站介紹 | (87 Reads)

本文上接《人腦vs電腦-Mastermind破解技法(上)》 

「假設1」既已被否定,我們接著根據第1回合的提示,重新假設謎底為「*7****(假設2) ®*75***(假設21) ®*753**(假設211) ® 無法繼續進行假設 ®「假設211」不成立 ® 返回「*75***(假設21) ®*75*3*(假設212) ® 無法繼續進行假設 ®「假設212」不成立 ® 返回「*75***(假設21) ®*75**4(假設213) ®*753*4(假設2131) ®675364® 與第3回合的提示相矛盾 ®「假設2131」不成立 ® 返回「*75**4(假設213) ® 無法繼續進行假設 ®「假設213」不成立 ® 返回「*75***(假設21) ® 無法繼續進行假設 ®「假設21」不成立。

接著返回「*7****(假設2) ®*7***5(假設22) ®*7*3*5(假設221) ® 無法繼續進行假設 ®「假設221」不成立 ® 返回「*7***5(假設22) ® *7**35(假設222) ® 無法繼續進行假設 ®「假設222」不成立 ® 返回「*7***5(假設22) ® 無法繼續進行假設 ®「假設22」不成立 ® 返回「*7****(假設2) ® 無法繼續進行假設 ®「假設2」不成立。

「假設2」既已被否定,我們接著根據第1回合的提示,重新假設謎底為「**7***(假設3) ®*57***(假設31) ®*574**(假設311) ® 無法繼續進行假設 ®「假設311」不成立 ® 返回「*57***(假設31) ®*57*6*(假設312) ® 無法繼續進行假設 ®「假設312」不成立 ® 返回「*57***(假設31) ®*57**3(假設313) ®*57*43(假設3131) ®657643® 與第6回合的提示相矛盾 ®「假設3131」不成立 ® 返回「*57**3(假設313) ® 無法繼續進行假設 ®「假設313」不成立 ® 返回「*57***(假設31) ® 無法繼續進行假設 ®「假設31」不成立。

接著返回「**7***(假設3) ®**7**5(假設32) ®**74*5(假設321) ® 無法繼續進行假設 ®「假設321」不成立 ® 返回「**7**5(假設32) ®**7*65(假設322) ® 無法繼續進行假設 ®「假設322」不成立 ® 返回「**7**5(假設32) ® 無法繼續進行假設 ®「假設32」不成立 ® 返回「**7***(假設3) ® 無法繼續進行假設 ®「假設3」不成立。

「假設3」既已被否定,我們接著根據第1回合的提示,重新假設謎底為「***5**(假設4) ®**45**(假設41) ®*345**(假設411) ® 無法繼續進行假設 ®「假設411」不成立 ® 返回「**45**(假設41) ®**453*(假設412) ® 無法繼續進行假設 ®「假設412」不成立 ® 返回「**45**(假設41) ® 無法繼續進行假設 ®「假設41」不成立。

接著返回「***5**(假設4) ®***56*(假設42) ®*3*56*(假設421) ® 無法繼續進行假設 ®「假設421」不成立 ® 返回「***56*(假設42) ®***564(假設422) ® 無法繼續進行假設 ®「假設422」不成立 ® 返回「***56*(假設42) ® 無法繼續進行假設 ®「假設42」不成立。

接著返回「***5**(假設4) ®***5*3(假設43) ® 無法繼續進行假設 ®「假設43」不成立 ® 返回「***5**(假設4) ® 無法繼續進行假設 ®「假設4」不成立。

「假設4」既已被否定,我們接著根據第1回合的提示,重新假設謎底為「****5*(假設5) ®**4*5*(假設51) ®*34*5*(假設511) ® 無法繼續進行假設 ®「假設511」不成立 ® 返回「**4*5*(假設51) ®**435*(假設512) ® 無法繼續進行假設 ®「假設512」不成立 ® 返回「**4*5*(假設51) ® 無法繼續進行假設 ®「假設51」不成立。

接著返回「****5*(假設5) ®***45*(假設52) ®*3*45*(假設521) ® 無法繼續進行假設 ®「假設521」不成立 ® 返回「***45*(假設52) ® 無法繼續進行假設 ®「假設52」不成立。

接著返回「****5*(假設5) ®****53(假設53) ® 無法繼續進行假設 ®「假設53」不成立 ® 返回「****5*(假設5) ® 無法繼續進行假設 ® 「假設5」不成立。 

至此我們已考慮所有可能性,但卻找不到一個能符合全部提示的謎底,由此可以推斷,所給提示必然有誤。這個例子顯示,破解Mastermind的技法就是重覆進行上述的推理過程。在某些情況下,這個過程可以非常繁瑣,靠人腦進行可能要花很長時間,而且會有很多錯漏,而本人的程式則在電光石火間便已完成上述過程,這個例子顯示了把邏輯推理與電腦自動計算結合後所能產生的強大威力。