サンドイッチ内で数字は繰り返されますか?
最終更新
いいえ - そしてKiller Sudokuとは異なり、Sandwich Sudokuはそれを禁止する特別なルールを必要としません。sandwichのuniquenessはstandard Sudoku rulesから直接導き出され、このvariantにおけるすべてのcombination analysisの基礎です。
なぜ繰り返しが不可能なのか
サンドイッチは、1つの行または1つの列内の連続したセルの連なりにすぎません。標準Sudokuはすでにライン内で任意の数字が2回出現することを禁止しているため、サンドイッチされた数字は自動的に異なります。Killer Sudokuは明示的な追加ルールを必要とします。そのケージは行、列、ボックスをまたぐことができるためです。サンドイッチは決してラインを離れないため、クラシックルールですべての作業が行われます。合計8の2セルサンドイッチは{2,6}または{3,5}になりますが、{4,4}は決してありません。
フィリングは2-8からのみ
2つ目の、忘れがちな制約があります。1と9はサンドイッチの境界であり、それぞれラインに1回だけ出現します。したがって、どちらも内部に入ることはできません。フィリングは常に{2,3,4,5,6,7,8}のサブセットです。これにより、組み合わせ空間が劇的に縮小します。合計12の3セルサンドイッチは{1,2,9}を許容するように見えるかもしれませんが、そうではありません。有効なセットは{2,4,6}と{3,4,5}(および{2,3,7})だけで、すべて2-8から取られます。常に7つの中間数字から組み合わせを列挙し、9つすべてから列挙しないでください。
なぜ一意性が推論を強化するのか
異種性(数字の重複不可)が強制組み合わせを存在させます。数字を再利用できないため、極端な合計は非常に少ない実現方法しかありません - 合計5の2セルは{2,3}でなければならず、合計21の3セルは{6,7,8}でなければなりません。各強制セットはネイキッドタプルのように動作します:その数字は線内の他のすべてのセルから、およびサンドイッチセグメントを完全に含むボックスから削除できます。一意性は算術的手がかりをハードな配置ロジックに変えます。