数独のメモ
ノート、または鉛筆マークは、配置された数字と以前の正しい消去を適用した後、各未解決マスに残っている候補を記録します。候補の関係を可視化しますが、推論自体は生成しません。
なぜメモを使うのか?
完全な候補状態は、各未解決マスでまだ可能なすべての数字を記録します。まず配置された数字との矛盾を排除し、次に正しい論理推論によって取り除かれた候補を保持します。初期配置だけから再計算すると、それらを誤って復元してしまいます。シングル、サブセット、フィッシュ、ALS、AICは現在の状態から読み取れます。
メモの入れ方
数独盤面の各空きマスについて、1から9の数字を検討します。そのマスと同じ行、列、または3×3ブロックにすでに存在する数字を除外します。残った数字が候補です——マスの中に小さく書き込みます。Sudoked.comでは、ペンシルモードを有効にしてタップで手動メモを配置するか、長押しですべてのマスに正しい候補を瞬時に自動入力できます。一貫性のある正確なメモはスピードよりも重要です。候補を1つ見逃すだけで、何十手もの重要な推論が隠れてしまう可能性があります。
ヒント:メモ(鉛筆)アイコンを長押しすると、すべての空きマスに現在有効な候補数字が自動入力されます。
メモから解答へ
ノートは忠実な状態記録として使用します。ネイキッドシングルは1つの候補を持ちます。ロックスドセットは候補の和集合を比較します。ヒドゥンセットは位置の和集合を比較します。フィッシュはベース領域とカバー領域にわたって1つの数字を追跡します。ALSとAICは正確な出現とリンクを要求します。書き込まれたマークは検査を助け、論理的条件が手を正当化します。