因此發現這些Pattern,創造出定式,便可大幅提升掃雷的速度。
定式比顯而易見的模型要相對複雜,背後包含了一定的邏輯判斷。但找出這些邏輯判斷,並綜合在一起,形成定式,便可以節省邏輯判斷的時間。
首先我們看最基本的“121”定式。看看這個定式背後包含了哪些邏輯判斷。
如黃色圖框的標示,“121”表示數字1周圍8個方格內僅有1顆地雷;數字2則表示周圍8個方格內有兩顆地雷。從Pattern的圖形構成來看,利用排除法:若數字2對應的兩顆地雷出現在12端,則與數字1產生排斥;同時若出現在21端,則與另一數字1產生排斥。可見,數字2對應的兩顆地雷只能出現在兩側,並且中間方格必然為空。因此將這些邏輯判斷綜合為定式,在出現定式所示pattern時,則無需再重複進行邏輯判斷,直接標記即可。
把這些背後的邏輯判斷組合在一起,便形成了一個組塊-Chunk。
同理,可發現更多類似“121”的定式。如圖中所示的“212”定式,僅僅從“雷”和“空”反轉的角度思考,不難發現其也是一個固定的Pattern:"空"勢必出現在兩側,而中間位置必然是"雷"。
依次規律,還可以陸續發現“1221”定式和“2112”定式。