明知山有虎，偏向虎山行 (中)
明知山有虎，偏向虎山行 (中)
明知山有虎，偏向虎山行 (中)
上星期向各位介紹推斷一個特定單元格面值最簡單方法。為行文方便，且稱為「M1」。講解下一個方法「M2」之前，首先要介紹「槽」的概念。
大家都會在公屋見過一種垂直下瀉的結構物「垃圾槽」，在最下
層收集垃圾，及醫院「汙衣槽」收集汙衣。在數獨，借用這概念，用「直槽」及「橫槽」顯示兩類直接相鄰的三個宮之間的單元格，怎樣互相聯繫及影響。1、4、7宮是由上至下的左「直槽」，是由c1、c2及c3組成，這三「列」的單元格都能各自看見同「列」的其他單元格。這是「直槽」的特色。如此類推，由2、5、8宮形成的中「直槽」，及3、6、9宮形成的右「直槽」，皆有同樣特質。「橫槽」是相同概念，1、2、3宮是高「橫槽」，4、5、6中「橫槽」，及7、8、9低「橫槽」。
跟著可以談論「M2」推斷方法。
初級數獨通常在每個宮顯示不少於兩至三個「基元」。經過實施「M1」方法，希望減少空單元格。達到這地步後，讓我們有系統地，從1宮到9宮，看看宮內尚餘的空置單元格，然後運用「M1」的技巧於同宮剩下的空置單元格。但這次目的不同，要嘗試尋找兩個不同單元格，都可安置同值的面值，三個是不符合要求。 我們可以用鉛筆在有關空置單元格寫上同樣的可能面值，且稱這為「M2」。
至於為甚麼兩個可能面值可以寫上，但三個不能？因為兩個的意思是非此即彼，因此在同宮其他位置都不可能出現這個面值。但三個就缺乏這個基礎特徵。
經過「M2」運算，如果發現在任何一個宮內，或同一「行」、一「列」有兩個相同空置單元格可同時接納兩個不同面值的話，我們把這個現象稱為「裸對」，有三種不同的位置配對。第一是「裸對」同現於同一「行」，第二是同「列」及第三同宮但既不同「行」也不同「列」。
尋找到「裸對」雖然尚沒有實際資料決定誰是誰。但意味到在同宮的其他空置格，一定不可能有這兩個面值出現。又在上述第一種情況下，同「行」的其他單元格亦不可能出現。在第二種情況下，同「列」的其他單元格亦不可出現。
在完成「M2」之後，再次應用「M1」於尚未有「裸對」出現的單元格，但這一次的目的與前兩次不同，只是簡單推斷其他可能賦予所有面值，然後用鉛筆寫在格內。且稱這為「M3」。
至於怎樣利用這些資料去破解數獨，留待下星期介紹。主要的目的就是希望能夠再進一步刪減某些單元格內的某些數值，進而希望該單元格只餘下唯一的可能價值，亦即是所尋找的答案。
孫公解碼 - 孫明揚 舊文
本文作轉載及備份之用 來源 source: http://www.am730.com.hk