Non-Consecutive数独、2行埋めるだけでハバネロ説
注意: Non-Con数独の闇に興味のある人向けの研究用パズルであり、人の手で解かれることを意図していません
ちなみに、ここでのハバネロの定義としては
深い仮定を要し、
トップソルバが解くのに少なくとも10分かかる
を採用しています。
1/6追記 竹谷氏が6分台とのことで、陥落しました。
問題
https://gyazo.com/909aede14a3df017a8504c6a6eb1b365
Twitter出題時より不等号の位置が変わりました(作図ミス)
ルール
横列および3x3のボックスに1-9の数字が入ります
縦列の3マスに同じ数字は入りません
タテヨコに隣り合う数字の差は2以上です
2つのマスの間に不等号記号があるマスでは、数字の大小が不等号の向きに従います
解説
ルールより、1行目は簡単に埋めることができます。
2行目以降を埋めるのは非常に大変です。
2020/1/3時点で、パズルスクエアに投稿されているパズルの中で、人類に解けないだろうと考えられている唯一のパズルが
ゆずっこさん作のNon-Consecutive数独で、
Non-Consecutive数独(1つ違いナンプレ)のルールの闇の深さを実感するために作成しました。
この問題は上下に数字があるタイプとなっており、
上または下の一方から、9x3の領域で数字やブロックを埋めていき、
隣接の一つ違い制約を伝搬させていった時に、他方の表出数字でも矛盾を起こしていないような埋め方ができるものが解
という方針を立てることができます、
ではそもそも9x3領域を埋めることができるのか、
9x3領域だけで唯一解になる盤面であっても、埋めるのは困難ではないか
という仮説からこちらの問題を作成しました。
解答判定
以下のフォームより解答登録が可能です。
正解者一覧
1/4 23:12 らまぬじゃん さん
1/4 23:42 竹谷 さん
竹谷さんよりコメントを頂きました。
チェック30秒込みで6:09。全検が得意な人（條氏とか）or当たりを引いた人なら3分台もありうると思います。2列目の8の位置の場合分けから始めて7割くらいの枝を潰したところで引きました。タテ方向の制約の効き方が弱い（3/9しかない）のでどうにかなるだろう、という予想の元に当てに行く人もいるかもしれません