大小比較数独

大小比較数独（Compdokuとしても知られる）は、追加の不等式制約を持つ古典的な数独パズルの変種です： 1. 9×9のグリッドに1から9までの数字を入れて、各列、各行、および9つの3×3ボックスのそれぞれに1から9までのすべての数字が重複なく含まれるようにします。 2. 一部の隣接するセル間には不等号（>と<）が配置されています。これらの記号は、隣接する2つの数字のどちらが大きいかを示します。 3. 2つのセル間に">"記号がある場合、左側または上のセルの数字は隣接するセルの数字よりも大きくなければなりません。 4. 2つのセル間に"<"記号がある場合、左側または上のセルの数字は隣接するセルの数字よりも小さくなければなりません。 5. すべての隣接するセルに不等号があるわけではありません。そのような場合、標準的な数独のルール以外の追加制約はありません。 これらの不等式制約は可能な解の数を大幅に減らし、しばしば一意の解に導きます。また、不等号のある1や9の隣のセルには明確な意味があるため、論理的な出発点も提供します。

---