線上數獨助手

裸單是指空格在檢查列、行與宮之後，只剩一個可能候選數。助手可以直接填入該數字。

隱單是指某數字在一列、一行或一個3x3宮中只有一個可放位置，即使該格仍顯示其他候選數也成立。

指向數對或三數組出現於某宮中某數字的所有候選位置都在同一列或行。該數字可從那條線的其他格移除。

宮線刪減是相反方向的推理：若某列或行中的數字被限制在同一宮內，就可從該宮其他格移除。

裸對是同一單位中的兩格只含相同兩個候選數。這兩個數字被保留給該數對，可從其他格移除。

隱對是兩個數字只出現在同一單位的同兩格中。助手會保留這兩個數字，並移除多餘候選數。

裸三使用三格，其候選數合併後剛好是三個數字。這些數字保留給該三格，可從同單位其他格移除。

隱三找到三個數字只能放在同一單位的同三格中。這些格內的其他候選數可以清除。

X-Wing 是某數字在兩列中只出現在相同兩行，或在兩行中只出現在相同兩列。可從對應線上的其他格移除該數字。

Swordfish 是三條線版本的 X-Wing。若某數字被鎖定在相同三列或三行，助手會從其他對應格移除它。

Jellyfish 將 fish 圖形擴展到四列或四行。它不常見，但在較簡單刪減用完時很有用。

XY-Wing 使用三個雙候選格。樞紐格看見兩個翼格，而同時看見兩翼的格可移除共同候選數。

XYZ-Wing 類似 XY-Wing，但樞紐格有三個候選數。看見樞紐與兩翼的格可移除共同數字。

W-Wing 透過強鏈連接兩個相同雙值格。看見兩端的格可以移除共享的刪減候選數。

Skyscraper 對同一數字使用兩條強鏈，排列在兩列或兩行上。看見兩個頂端位置的格可移除該數字。

簡單染色沿著某數字的強鏈前進，交替標記可能性。矛盾或共同可見位置可以揭示刪減。

唯一矩形避免會產生兩個解的圖形。當條件符合時，可以移除額外候選數。

幾乎鎖定集合的候選數比格數多一個。當兩個集合以正確方式連結時，助手可以移除共享的受限候選數。