ナンプレ　数独　Sudoku　9

**□７×７＝４□□** · 2020/11/17(火) 22:35:57.12

パズルのルール
・縦9列のどの列にも、1～9の数字が一つずつ入ります。
・横9列のどの列にも、1～9の数字が一つずつ入ります。
・太線で囲まれた3x3=9マスのどのブロックにも、1～9の数字が一つずつ入ります。

**□７×７＝４□□** · 2020/11/29(日) 22:12:36.82

この次の一手探すのめっちゃ苦労した
分かる？
https://i.imgur.com/mJpQoLW.jpg

**□７×７＝４□□** · 2020/11/29(日) 22:25:31.94

ごめん、見直したらめっちゃ簡単に解けた
忘れてくれ

**□７×７＝４□□** · 2020/11/30(月) 23:05:09.03

以下の次の一手はどのように考えて導き出せば良いでしょうか？

□⑦□ □□⑤ ④⑨□
③④□ □②⑦ ⑤□□
⑤□□ ⑧□④ □□□

□□④ □□⑧ □□⑤
□□⑦ □⑤⑥ ⑧□□
⑧⑥⑤ ⑦④□ □□□

□②□ ④□① □⑤□
④⑤① □□□ ⑥□□
⑦⑧③ ⑤⑥② ⑨□□

**□７×７＝４□□** · 2020/11/30(月) 23:54:37.10

>>28
隠れシングルが箱６にありますね。数字６を延長すれば出てきます。
このパズルは中級問題と思われます。Ｎ国同盟は大丈夫でしょうか。
>>26 のように、候補数字のメモ機能は、最近のアプリではたいていできます。
候補数字をどこまで除去できているかが分かると、アドバイスしやすいです。
https://i.imgur.com/OQOn90t.png

**□７×７＝４□□** · 2020/12/01(火) 01:18:19.50

28です。

すいません、確認が甘く、箱6に隠れシングルがあるのを見逃してました。
で、続きをプレイしたのですが、また詰まってしまいました。
今度はメモ付でアップしました。
https://i.imgur.com/2BkfGlL.png

今回も単純な見落とし系だったら、ナンプレ辞めますわｗｗｗ

**□７×７＝４□□** · 2020/12/01(火) 02:59:29.33

「ボックスライン」の手筋を使います。「ロック候補」とも言います。
箱６（黄枠）の候補１は、行６（赤枠）に存在する必要があります。
よって、行５の候補１（薄赤斜線）を削除できます。
https://i.imgur.com/hc4JVAf.png
実戦的には、行チェックのときに同時にチェックします。
ある行である候補が１つだけなら、行の隠れシングルですね。
候補が２つや３つでも、１つの箱に収まっている場合に使えます。

**□７×７＝４□□** · 2020/12/04(金) 18:43:11.67

３□□　□６８　２□９
□８２　９□□　３６□
９７６　□２３　１８□

□３９　□８６　４□２
２６□　□□９　８３□
８□□　２３□　７９６

６５３　８□□　９２□
□９８　６□２　５□３
４２□　３９５　６□８

これは今週の中日新聞サンデー版の問題なんだけど、これって解答可能なの？
基本ルールで解答不可能ならニコリも堕ちたもんだな

**□７×７＝４□□** · 2020/12/04(金) 21:32:21.74

>>32
やけに初期配置が多いけど、途中まで解いたのかな。
もうあとは難しくない。シングルのみで解決します。

**□７×７＝４□□** · 2020/12/05(土) 00:56:37.95

>>33
途中まで解いたけど行、列、ボックスのどれも無理になった

**□７×７＝４□□** · 2020/12/05(土) 02:12:06.44

6段目の5から始めて5が全部埋まる

**□７×７＝４□□** · 2020/12/12(土) 21:38:56.99

シンプルカラーで矛盾が生じるパターンのやつ、一気にたくさん除去できる。
すげーと思ったけど、強リンクだから、１つ決まると連鎖的に決まるのは当たり前なわけで。
その１つを探すのは、ヒレＸウィングでも２弦カイトでも何でもいい。
みなさんはシンプルカラーは意識してますか？

**□７×７＝４□□** · 2020/12/14(月) 23:55:00.00

HoDoKu 落ちたか

**□７×７＝４□□** · 2020/12/17(木) 13:44:41.93

数独のチェーン系のテクニックって細分化されてシンプルカラーとかxy-wingとか名前ついてるけど、AICでまとめて見た方が楽

**□７×７＝４□□** · 2020/12/17(木) 22:50:27.37

一つの数字しか見ないやつ、二つの数字がかかわるやつ、三つ以上かかわるやつ
の間は結構壁があるように思う

**□７×７＝４□□** · 2020/12/18(金) 09:42:13.08

その間に壁を感じることこそがテクニックの細分化の弊害だと思うんだ
壁を無視してチェーン繋げる方が簡単にループ作れる

**□７×７＝４□□** · 2020/12/18(金) 19:58:48.07

そんな簡単に作れません。作れても、自分的には偶然の産物です。
ＸＹウィングだけなら、その局面にＸＹウィングがあるかどうかは全通り調べられます。
ＡＩＣで見ると適用範囲が広すぎて、とても楽とは言えません。
どこまで調べて、どこがまだ調べていないか把握できません。

細分化の弊害は、確かに思うところもあります。
ＸＹウィングを全通り調べるときに、２値マスに限定しています。
ルールが少し増えただけのＸＹＺウィングが、同じ調べ方で探せません。

**□７×７＝４□□** · 2020/12/19(土) 10:03:40.67

AICがあるかどうかを全探索するのはキツいしそこまでしなくていい
適当にあれこれ繋いでいって上手くいくかどうかを探る作業は運ゲーだけど、コツ掴めばそんなに時間かからずに何か見つかるようになる
細分化されたテクニックと1番違うのはそこで、探したけど何も見つかりませんでしたってことがないのが嬉しい

**□７×７＝４□□** · 2020/12/19(土) 10:52:13.46

その「コツ」を言語化や図式化できれば、もっと受け入れられると思うんですよ。
適当とか運ゲーとか言ってしまうと、それ仮置きじゃんって言われてしまいます。
ＡＩＣのロジックに従って探しているから仮置きではないと思いたいのですが、
適応範囲が広いとランダムな探索になり、実質仮置きと同じです。

先に述べたＸＹウィングの全探索は、ランダムな動きをしないので完全理詰めです。
ただし、全部調べて結局なかったということがあり、実践的ではありません。
言いながら墓穴を掘っていますね。ようは「コツ」を知りたいのです。

**□７×７＝４□□** · 2020/12/19(土) 11:29:20.21

行き詰まってしまいました
次、どこに数字が入れられるか教えてください
https://i.imgur.com/wqmUifu.jpg

**□７×７＝４□□** · 2020/12/19(土) 12:58:42.73

>>44
とりあえず４国同盟（または隠れ３国）
問題のレベルが高くて、これを完成させる自信がない……
https://i.imgur.com/Z9oAyOt.png

**□７×７＝４□□** · 2020/12/19(土) 15:38:06.08

>>43
自分のやり方だと、まずは弱リンクかつ強リンクであるリンク(自分の中では完全リンクって呼んでる)や、そこそこの長さを持つ強弱交互になってるチェーンをメモする。そこをもとにしてリンクを繋げていって見つけるって感じかな

例として>>44を取り上げると、真ん中あたりに広大な完全リンク(黄色)のネットワークが広がってる
https://i.imgur.com/u6jLPQn.jpg

次に情報を取り出したい地域(要は候補数字がぐちゃぐちゃってしてるところ)に向けてリンクを伸ばしていく。例だと右の辺りや上の辺り

上の方に伸ばせばこんな感じで偶数ループが作れるところが見つかる
https://i.imgur.com/HMHnCmm.jpg
すると弱リンク(青色)が完全リンクに昇格して一行七列目の候補2は消去できる

右の方に伸ばせば弱リンクが連続しているのが一箇所の奇数ループが作れる
https://i.imgur.com/4Xd7lGE.jpg
すると弱リンクが連続している部分である五行九列目の候補2は消去できる

**□７×７＝４□□** · 2020/12/19(土) 17:58:09.36

>>46
ちょっとちょっとなにこれすごい
ランダムな動きでなく、かなりロジカルに見えます。

弱リンクかつ強リンクであるリンクを完全リンクという。
この定義を確認します。ＡＩＣの強弱交互ルールで、弱になってもいい部分を
強リンクでつなげたものですね。
完全リンクだけでできたループは分岐がなく、何も解決しませんが、
長く見えるチェーンも実際は一本道であることが分かります。
箱５と箱８でそのようなＸＹサイクルがありますが、想定内なんですね。

R7C4 からＸＹサイクルを飛び出して、R5C4 へ向かいます。
ここでＡＩＣの強弱交互ルールをどうとらえいるかが聞きたいところ。

１．完全リンクでつないでいるので、ループができるまでは意識しない。
２．飛び出したところから強弱強弱と交互に数えながらつないでいく。

予想は１です。ループしそうになったら弱リンクありにしてつなぎます。
弱リンクありにした部分に除去の可能性があります。
これで理解できているでしょうか？

**□７×７＝４□□** · 2020/12/19(土) 22:59:53.42

AICについて解説してるサイトによって微妙に書いてること違うからしょうがないんだけど、やっぱり認識ずれちゃうな
せっかくだから、AIC知らない人にも分かるように、俺なりの理解によるAICを説明するわ

**□７×７＝４□□** · 2020/12/20(日) 00:06:50.34

まずは定義
2つの命題P,Qのどちらかが必ず成り立つ時、PとQは強リンクしているという。この時 P￣Q のように書く
2つの命題P,Qのどちらかが必ず成り立たない時、PとQは弱リンクしているという。この時 P＿Q のように書く
P￣QかつP＿Qの時、PとQは完全リンクしているという。

ここでいう命題っていうのは、数独では「ある数字があるマスに入る」というようなことを指す
例えば
P「1行3列目に5が入る」
Q「1行3列目に7が入る」
とすると、この2つはどちらかが必ず成り立たないから PとQは弱リンクしている。
さらに1行3列目に入る数字候補が5と7の２つだけなら、PとQは強リンクしているとも言える。(つまり完全リンク)

余談:この例もそうだけど、数独における強リンクは完全リンクでもあることがほとんど。だからAICについて解説してるサイトではここで言う完全リンクのことを強リンクとして定義してることもある。でも、ここに書いたように定義したほうがより一般的で他のパズルにも応用が効く

**□７×７＝４□□** · 2020/12/20(日) 00:08:14.04

・AICの原理
P,Q,R,Sを命題とする
P＿Q￣R＿ … (強弱交互にリンク) … ￣S＿P
のように奇数個の命題が繋がってPで弱リンクが連続するようなループができた時、Pは必ず成り立たない。
P￣Q＿R￣ … (弱強交互にリンク) … ＿S￣P
のように奇数個の命題が繋がってPで強リンクが連続するようなループができた時、Pは必ず成り立つ。(数独ではこのタイプはあまり見かけない)

例として、いわゆるx-wing形にあえてAICを使ってみる。
https://i.imgur.com/mcayEDD.jpg
実践してみる時には候補数字を「そのマスにその数字が入る」という命題に見立てて、候補数字同士をリンクで繋いでいく。この例では3行9列目の候補数字2で弱リンクが連続しているので、「3行9列目に2が入る」という命題は成り立たないことが分かる。

**□７×７＝４□□** · 2020/12/20(日) 00:09:10.00

ここまでがAICの基本でこれだけ分かれば何でも解ける。でも次の定理を使えるようになると、もっと効率よく情報を見つけ出せるようになる。

定理
P＿Q￣R＿ … (強弱交互にリンク) … ￣P
のように偶数個の命題が繋がってループができた時、このループをなす全てのリンクは完全リンクとなる。

数独では特に、今までは弱リンクであったものが強リンクとしてもみなせるようになるのが強力。たとえば1行3列目に入る数字候補が5,7,9であった時
P「1行3列目に5が入る」
Q「1行3列目に7が入る」
とするとP＿Qとなる。これが強リンクともみなせるようになれば、PとQのどちらかは必ず成り立つ。つまり、1行3列目は5か7のどちらかであって候補9は消去できるようになる。

**□７×７＝４□□** · 2020/12/20(日) 00:10:18.44

ここまでをまとめると、ほとんど強弱交互のリンクで候補数字を繋いでいって、ループが作れたら何かが分かるよっていう話。

じゃあ実際にはどうやってループを作るのか。
まずは強リンクとしても弱リンクとしても扱える完全リンクをメモしていく。さらに強弱交互になるリンクをメモしていく。この時、全部のリンクをメモする必要はないけど、出来る限りリンクのネットワークが大きくできるようにする。

ある程度ネットワークが大きくなったら、どこかでループが作れないかを考えるんだけど、ここが1番慣れというか感覚に頼る部分が大きい。何個の命題が繋がっているかとかは意識せず、弱リンクが一箇所だけなら連続してもいいからとにかくループ作ることを最優先すると良いかもしれない。数字候補がたくさんあるマス付近での強リンクは貴重なので要チェック。

ループが出来たら、繋がっている命題の個数を数えて、AICの原理あるいは定理のような状況で有るか確認すればok!

**□７×７＝４□□** · 2020/12/20(日) 03:05:20.19

>>49
理解できる部分もあるけど、やはり「完全リンク」という言葉で齟齬があるようです。
自分の解釈は、２つのみなら強リンク、３つ以上は弱リンクです。
（ユニット＝箱・行・列）

ロケーション強リンク（２マス）
あるユニットで、マスＡが１ならば、マスＢは１でない
あるユニットで、マスＡが１でなければ、マスＢは１である

ロケーション弱リンク（３マス）
あるユニットで、マスＡが１ならば、マスＢ・Ｃは１でない
あるユニットで、マスＡが１でないとしても、マスＢ・Ｃは確定しない

バリュー強リンク（２値マス）
あるマスで、候補１が決まれば、候補２ではない
あるマスで、候補１でなければ、候補２と決まる

バリュー弱リンク（３値マス）
あるマスで、候補１が決まれば、候補２・３ではない
あるマスで、候補１でないとしても、候補２・３は確定しない

>P￣QかつP＿Qの時、PとQは完全リンクしているという。
弱リンクより強リンクの方が条件が厳しいから、
強リンクならば弱リンク（を満たしている）なのは当たり前と思います。

>数独における強リンクは完全リンクでもあることがほとんど
では、ほとんどでないパターンとは何なのか。数独において存在するのか。
なければ、ここで「完全リンク」の定義は必要なのでしょうか。

**□７×７＝４□□** · 2020/12/20(日) 12:11:02.83

弱リンクより強リンクの方が条件が厳しいっていうのは間違いだよ
弱リンクはどちらか一方が必ず成り立たない(両方成り立たないこともある)
強リンクはどちらか一方が必ず成り立つ(両方成り立つこともある)

例えば、同ユニットの2つのマスA,Bに入る数字候補が3,5,7であった時
「A,Bどちらかに3が入る」
「A,Bどちらかに5が入る」
というのは強リンクだが弱リンクではない

**□７×７＝４□□** · 2020/12/20(日) 14:45:50.47

どうも完全リンク以前に、強リンク弱リンクの定義も誤解してたようです。
いったいどこで間違ってしまったのか。今までこの解釈でやってきて、問題なかったはずなのに。
マスに数字や候補を入れたときや消した時、エラー音が鳴ったり誤りを示す強調色だったり
そういう場合は自分のうっかりに気づき、なぜなんだ？とはなりませんでした。

例えば>>53 はどうなんでしょうか。
ちんぷんかんぷんなことを言ってるなーなのか
まあ結果は同じだけど、言葉の使い方が間違ってるよねーなのか
まあそれは間違ってないけど、それじゃ一部しか言えてなくて
それだとこの先広がらない（一般化できない）よねーなのか

**□７×７＝４□□** · 2020/12/20(日) 17:28:08.28

AICの原理を成り立たせるための必要十分な弱リンク強リンクの定義が>>49なわけだけど、これを>>53のように限定した範囲に定義しても間違ってるわけじゃない。より広い範囲で成り立ってることはその中の一部分でも成り立つわけだからね
実用上は>>53の認識でも無問題だよ

でもやっぱり、>>49のように定義した方が
・より広い範囲(>>54のような)の命題を扱える
・弱リンクと強リンクが双対の概念になって、論理的に美しい
という利点があるから、こっちの定義をオススメする

**□７×７＝４□□** · 2020/12/20(日) 20:03:37.04

命題とかあんまり学問的にやったことないので苦手だけど、
論理的に美しいと言われると、それがそれで興味が出ます。

ここまでの「コツ」をもう一度解釈してみると

全ての２値マスからＸＹウィングを全探索するよりも（あるとは限らない）
あるマスからチェーンをつなげていって、１つのループを探す方が効率がよい。
長さを制限していないのと上位手筋のため、見つかる可能性が高い。

チェーンは長くてもいい、むしろある程度長いほうがいい。
短いチェーンのほうが見つけやすいという探し方だと、結局ＸＹウィングと同じこと。
さらに、チェーンの再利用も視野に入れている。ループができたら
除去部分のチェーンだけ書き換え、再利用してループを探せる。

数字候補がたくさんあるマス付近での強リンクは貴重
これは何となく分かります。情報を取り出したい地域への橋渡しですね。

今度こそ、だいたい合ってるかな？

**□７×７＝４□□** · 2020/12/24(木) 12:26:59.80

強リンクと弱リンクを対にしとくと、片方について成り立つ性質がもう片方でも同じように成り立つのが嬉しいんだよね

まとめはあってる
理解力高いというか、まとめるのうまいな

**□７×７＝４□□** · 2020/12/25(金) 07:05:32.86

HoDoku をできるだけキー操作だけでプレイしたい。
候補数字のガイドは[F1]～[F9]だけど、その横の２値マスガイドが分からない。
マウスオンリーなのかな。

**□７×７＝４□□** · 2020/12/25(金) 22:03:15.84

>>44です
理屈はよくわからないけど
教えてもらったやり方で
弱弱と連続してるところを消していって解きました
ブラウザのキャッシュが消えてて正解がわからなくなりましたが
たぶんあってますよね？
https://i.imgur.com/rYsvecb.jpg

**□７×７＝４□□** · 2020/12/26(土) 06:51:06.08

合ってる

**□７×７＝４□□** · 2020/12/26(土) 22:47:58.15

そのテクニック使ってみたいけど、そこまでの難問がなかなか見つからない。

**□７×７＝４□□** · 2020/12/28(月) 17:57:21.28

ヒレＸウィング（刺身含む）はＸウィングよりも頻度が高い。
ただし除去できる部分が少ないので、解決の決め手にはならない場合がが多い。
ならば使い損とも考えられるが、慣れるとすぐ見つかるのでがっかり感はない。

ＵＲの優先順位をどこにもってくるか。
個人的にはヒレＸウィングと同じ感覚で使いたい。
隠れＵＲとか結構出てくるので、慣れてすぐ見つけられるようにしたい。
ＡＩＣの有用性は分かるけど、探索の広がりがしんどいので、ＵＲを優先したい。
みなさんはＵＲをどのくらい意識してますか？

**□７×７＝４□□** · 2020/12/28(月) 21:44:02.43

https://i.imgur.com/ZkGCDlI.jpg

この問題なのですが、完全に詰まってしまったので次の1マスの出し方を教えていただけないでしょうか？

６□□　□□９　５□□
□□５　６□□　□□□
□□８　７□５　□６１

□６１　４□□　□５８
□□□　□５□　□□□
５□□　□□６　３□□

９□□　□□３　６□□
□□６　□□□　□□□
□５７　１６□　□□４

この状態から3日進んでません

全体の1のリンク、左側の3のXｰwing、それに伴う3のリンクは見つけたのですが…

**□７×７＝４□□** · 2020/12/28(月) 21:51:42.32

>>64
写真じゃなくて上の手書きの図からだと、左中段ブロック、左側真ん中に6

**□７×７＝４□□** · 2020/12/28(月) 21:52:38.17

>>65
ごめん左側じゃなく右側真ん中に6

**□７×７＝４□□** · 2020/12/28(月) 21:53:50.32

>>65
改めて、
写真じゃなくて上の手書きの図からだと、右中段ブロック、右側側真ん中に6

**□７×７＝４□□** · 2020/12/28(月) 22:09:24.78

>>67
ごめんなさい、6は分かってたのに書き忘れてました

**□７×７＝４□□** · 2020/12/28(月) 22:42:53.78

>>64
かなり難しい問題だけど、まさかメモなしでやってる？
次の１マスはまだ遠いけど、自分の手順だと、次に１のソードフィッシュ

**□７×７＝４□□** · 2020/12/28(月) 22:56:36.38

>>69
ありがとうございます、やっぱり難問なのですね
20年前からずっとメモは無しで、暗算と記憶で楽しんでます

ソードフィッシュという名称は知りませんでしたが、Xｰwingの応用で1候補は全て割り出してます

割り出してる①と③の候補を書き加えると

６①③　③①９　５□□
①□５　６□①　□③③
③③８　７③５　□６１

③６１　４③□　□５８
□□③　③５①　①□６
５□□　□①６　３①□

９①□　□□３　６①□
①③６　□□□　①③③
③５７　１６□　□③４

こんな所でしょうか

**□７×７＝４□□** · 2020/12/28(月) 23:07:50.69

メモ無しっていうのがすごいし、
ソードフィッシュを知らないのにＸウィングの応用で解けているのがすごい。
パズル誌の問題はメモ無しでも解けるように、難しい手筋なしで作ってある。
ソードフィッシュぐらいまでだと思う。
複雑なチェーン系の手筋をメモ無しで解くのは、自分にはちょっと無理。

**□７×７＝４□□** · 2020/12/29(火) 06:18:45.82

>>71
ありがとうございます、褒めていただけて嬉しいです

ただ実際はその結果自分で解けずに、人に尋ねているので情けないものです
それでも次の一手の場所と求め方だけ教えていただければ幸いです

**□７×７＝４□□** · 2020/12/29(火) 06:50:08.52

>>63
自動生成の問題ではURはかなり頻出すると思ってるから常に意識してる

**□７×７＝４□□** · 2020/12/29(火) 07:13:00.04

>>72
教えるというか、HoDoKu に教わってるんですけどね。
https://i.imgur.com/JVMDpfV.png
偶数ループ（連続ループ）
候補が３と９の２種類なので、南碁空さんのサイトだと M-Ring にあたるのかも。
偶数ループでは候補の除去がたくさんある。赤丸が除去できる。
列１の赤３が２つ　ループの３が２つ列１にあるから
列８の赤３　　　　ループの３が２つ列８にあるから
箱６の赤９が３つ　ループの９が２つ箱６にあるから
箱３箱５の赤２７　ループの３と９の変わり目だから

>>73
ありがとうございます。意識してやっていきます。

**□７×７＝４□□** · 2020/12/29(火) 08:50:00.14

URは強力なんだけど、わりとグレーな手法だから俺は使わんなぁ
解の唯一性を自分で示すまでが数独を解くってことだと思う

**□７×７＝４□□** · 2020/12/30(水) 03:12:01.26

中央Eブロック上が3なら上から４列目27同盟成立で9の位置仮決定
中央Eブロック左が3ならブロックD→G→Iの順に3の位置決定でIブロックの9の位置仮決定
いずれも左から7列目に9が入るのでCブロックに39同盟成立
説明下手でごめんなさい

**□７×７＝４□□** · 2020/12/30(水) 09:46:09.21

もう一度中央Eブロック3の2択
3が左なら左から1列目3は４行目に
3が上ならブロックF→ブロックIの9の位置決定
ブロックIの9の位置が決まるとブロックIの3は上から8行目にしか入らず
そこからレーザーを伸ばすと左から1列目3は9行目に決定
左から1列目は４行目か9行目に3が入る事になり、
上の方法とでブロックAの9と3の位置が決定します

**□７×７＝４□□** · 2020/12/31(木) 11:28:05.76

>>74
ありがとうございます、なぜそうなるのか完全に理解するのに数日かかりましたが、やっと理解できました！

これだけヒントをいただければ後は進められそうです、ありがとうございます！

>>75>>76
ありがとうございます、ただこの問題は仮定法を使わずに解けると紹介されてたので、最後まで仮定法は使わずにロジックだけで進めてみようと思います

**□７×７＝４□□** · 2021/01/01(金) 19:18:38.50

みんなは仮置きってどう思ってる？
自分は仮置きして矛盾を示すならオッケーだけど、仮置きしてそのまま手を進めていったら解けちゃったってのはアウトだと思ってる

**□７×７＝４□□** · 2021/01/01(金) 19:27:06.26

仮定法したことないから、仮置き(仮、といっても確定した○国同盟だけど)からそのまま進めて解いてしまう

**□７×７＝４□□** · 2021/01/01(金) 19:28:58.48

って書いてて思ったけど、>>79の言う仮置きって仮定法用の仮置きってことか
それならそもそもしないか

**□７×７＝４□□** · 2021/01/01(金) 19:32:59.77

仮置き　使わない
ＵＲ系　積極的に使う

**□７×７＝４□□** · 2021/01/01(金) 22:20:15.54

>>79
意味不明
仮置きの二択で片方選べば矛盾、片方選べばそのまま解けちゃった
みたいなこともあるわけで
たまたま矛盾した時だけオッケーとか

**□７×７＝４□□** · 2021/01/01(金) 22:26:03.23

というかそもそも仮定法使わないと解けないような問題に手出さない

**□７×７＝４□□** · 2021/01/02(土) 01:15:34.94

矛盾を確認して、矛盾しないコースに進むのはありかと思う。
分岐点でいくつ可能性があるかはわかるので、
先に正解コースを選んだ場合でも一段落するところまで読んだら
他のコースもチェックする。

**□７×７＝４□□** · 2021/01/02(土) 04:05:45.44

背理法の仮定としての仮置きはちゃんとした論理だからオッケー(面倒だからやらないけど)
適当に仮置きしたらそれが正解コースだった上で不正解コースが本当に不正解であることを確かめないのはモヤッとする
まあURよりはマシかな

**□７×７＝４□□** · 2021/01/02(土) 13:01:40.69

まぐれ当たりだと解けても自分自身が不満だからなｗ

**□７×７＝４□□** · 2021/01/02(土) 14:30:15.86

Xウイングとかソードフィッシュみたいな解法を使う場面は滅多に出てこないような気が
あれは対称になるような初期配置の問題だからこそ出てくるのではと最近思い始めてる

**□７×７＝４□□** · 2021/01/02(土) 15:34:22.03

仮置きって
未確定の同盟の扱いの話かな

**□７×７＝４□□** · 2021/01/02(土) 15:42:37.20

>>88
体感では、Ｘウィングはたまに、ソードフィッシュはめったにって感じ。
対称っていうのが、斜め残りのことを指してるのなら分かる。
この配置がロック候補などの頻出手筋を避けているのだと思う。
ランダム生成限定なら、滅多にというのは分からなくもない。
数独は手で作ったものは歓迎されるので、その場合だと頻度はあてにならない。

**□７×７＝４□□** · 2021/01/03(日) 08:44:06.80

パズル作家が作ったナンプレ館やSuFreeDokuの上級問題では頻出だね

**□７×７＝４□□** · 2021/01/07(木) 16:32:40.24

>>31
これ、箱６の１は行６に存在する必要がある、ってのは何でですか？

**□７×７＝４□□** · 2021/01/07(木) 17:36:42.00

>>92
行６は、８６５７４が確定、次のマスは３か９
ここまで１が入らないため、行６では箱６に必ず１が入ります。

下図のパターンを覚えましょう。
×に候補１がなければ
★のどこかに１が必ず入るので
☆の候補１は全て削除できます。

□□□　□□□　☆☆☆
□□□　□□□　☆☆☆
×××　×××　★★★

**□７×７＝４□□** · 2021/01/07(木) 17:37:27.06

ずれたｗ

**□７×７＝４□□** · 2021/01/07(木) 17:45:12.50

あー、横で見るんですね。
箱６とずっとにらめっこしてたけど、分からないはずだ。
早く、分かりやすい回答ありがとうございます。
ちなみになんとなく始めたナンプレでここで止まって、今色々とテクニックを調べてます。
ここの人なら瞬殺ですよね。

https://i.imgur.com/qcD6bfd.png

**□７×７＝４□□** · 2021/01/07(木) 19:11:48.03

>>95
「ボックスライン」と表裏一体なのが「ポインティング」です。
下図のパターンを覚えましょう。
※に候補１がなければ
★のどこかに１が必ず入るので
☆の候補１は全て削除できます。

※※※　□□□　□□□
※※※　□□□　□□□
★★★　☆☆☆　☆☆☆

候補１に注目すると、
箱４で※に候補１がなく、★の位置のみなので、
☆の候補１は全て削除できます（実際には３つ削除）。
このパターンがこの先何回も出てきます。

**□７×７＝４□□** · 2021/01/08(金) 13:38:34.85

>>95
ポインティングは箱4で候補4も成立しているし、箱2で候補7が成立しているね

**□７×７＝４□□** · 2021/01/08(金) 13:45:26.08

>>95
しかし難しいのやってるな
LCの先はXY-ウィングだから上級者の問題だ

**□７×７＝４□□** · 2021/01/08(金) 18:45:58.88

LC2はボックスラインという言い方もあるのか
自分はクレーミングと思ってたけど

**□７×７＝４□□** · 2021/01/08(金) 19:08:55.52

HoDoKu では LC1 / LC2 または Pointing / Claiming
SudokuWiki では Pointing / Box Line
ボックスラインは、パターンを示しているので名称として優秀
個人的には、ラインボックス / ボックスラインだったらよかったのにと思う。

**□７×７＝４□□** · 2021/01/11(月) 13:11:40.86

ナンプレアプリ色々試してるけど「これは」ってのがなかなかないね
UIがダメだったり難易度最高の問題が初級レベルみたいな簡単さだったり

**□７×７＝４□□** · 2021/01/14(木) 03:21:07.69

ナンプレに難易度やレベルつけるのは難しいらしいけど、何を基準に決めてるんだろうな
俺が使ってるアプリでも、デイリーチャレンジは解き終わってからレベルが表示されるけど、スラスラ解けた問題が上級で、かなり苦戦した問題が中級ってことがしょっちゅうある

**□７×７＝４□□** · 2021/01/14(木) 04:58:18.43

逆に、新聞に載っててニコリが提供してるやつなんかは
簡単な手筋だけで解けて、
あれはあれで数独作るのも
ある意味パズルよね

**□７×７＝４□□** · 2021/01/14(木) 12:34:11.48

>>102
機械的に難易度を判別する1番簡単な方法は、ナンプレの各テクニックを分類して難易度をつけておいて、より難しいテクニックが必要なナンプレはそうでないナンプレより難しいって決める方法じゃないかな
各テクニックを使う回数や解法のパターン数なんかを考慮しない

**□７×７＝４□□** · 2021/01/14(木) 18:41:51.72

人が作った問題はレベルに応じたテクニックを使わないと解けないように意図して作られてるけど、自動生成だとそうならないとかあるんじゃないかな

**□７×７＝４□□** · 2021/01/21(木) 22:15:25.85

デイリーチャレンジの1/20糞むずない？アプリ始めて半年だけどコロナここまで埋まらないの初めてだわ

**□７×７＝４□□** · 2021/01/23(土) 19:27:48.15

おらら

https://ameblo.jp/blitzraven/entry-12646421317.html

**□７×７＝４□□** · 2021/01/24(日) 19:39:44.90

>>101
コンセプティスのデビルとかどうなん
自分は中級レベルだから知らんが

**□７×７＝４□□** · 2021/01/24(日) 19:55:21.94

デビルの上に極ってのがあったわ
上級で詰まってる自分じゃ絶対むり
ここの猛者なら余裕なのか

**□７×７＝４□□** · 2021/01/24(日) 21:28:52.35

>>108
プレイしてみました
操作性がいまいち

**□７×７＝４□□** · 2021/01/24(日) 21:56:48.13

>>110
そうなんだ
至ってシンプルでいいと思ったんだが
どんなのを求めてるの

**□７×７＝４□□** · 2021/01/24(日) 23:46:44.21

>>111
見た目はシンプルでいいんですけどね。
同一数字の連続入力がほしいです。

**□７×７＝４□□** · 2021/01/25(月) 07:53:11.73

>>112
ああ
例えば2を選んでロックしてタップするだけで2を入力したいってことか
難しい問題ほど使うことなさそう

初級レベルだとあからさまに同一数字を一気に埋められるように作られてる問題あるけど‥

**□７×７＝４□□** · 2021/01/25(月) 10:21:27.17

>>113
難しい問題ほど候補全入力で必要なんでは

**□７×７＝４□□** · 2021/01/25(月) 10:48:43.18

確定数字じゃなくてメモのことかなるほど

一応そのアプリは自動メモ機能はある
全マスに可能性ある数字メモしてくれる
ちょっと手軽すぎて嫌な人もいるかもしれないが

**□７×７＝４□□** · 2021/01/25(月) 17:16:42.39

やってみたけどデビルとかなんとかは有料なのか
とりあえずすぐできるやつで最も難しそうな超上級を選んでやってみたけど同盟とLCを使えは片付くから上級と言えるかどうか

**112** · 2021/01/25(月) 18:51:28.54

自動メモがあると聞いてもう一度見に行ったけど、PC版ではありませんでした。
無料ナンプレのサイトやアプリを紹介するのもいいね。

ＰＣ版では
Yahoo!ナンプレ２……中級まで、連続入力、自動候補
トランプスタジアム……中級まで、キー入力、自動候補
ナンプレ京……上級まで、連続入力、マス着色
ナンプレラボ……超上級、連続入力、自動候補、マス着色、お絵かきツール
MS Number Puzzle……超上級、連続入力、キー入力、自動候補

難問数独の部屋は、いちおう連続入力だけど、特殊すぎて挫折しました。
スマホアプリは分からん。

**□７×７＝４□□** · 2021/01/25(月) 18:55:03.28

PCならhodoku系のソフトでよくね

**□７×７＝４□□** · 2021/01/26(火) 13:49:49.70

スマホアプリならSuFreeDokuがベストかな
広告は下のバナーだけだし自動メモもあるし、UIも不満がない、ヒントもちゃんと解法の解説になってる
何より問題が人が作ったものだからちゃんと難易度に応じた問題になっている

**□７×７＝４□□** · 2021/01/30(土) 21:53:46.38

ＥＲとＷウィング、どちらを優先しますか。
最近、Ｗウィングのコツがわりと分かってきて、ＥＲはまだ自分では見つけられない。
Ｗウィングはわりと破壊力のある手筋だと思うので、こちらを優先したい。

**□７×７＝４□□** · 2021/01/31(日) 10:08:40.75

w-wingはわざわざ探しはしないけどAICやってれば見つかるから使う
ERは探さないかな、コスパ悪そう

懸賞 · 2021/01/31(日) 12:11:53.16

Amazon500円130名
300/21802 はずれ

**□７×７＝４□□** · 2021/01/31(日) 12:30:27.56

難易度は一般的に○級と言われてるテクニックを使わなければ解けないことで定義されるとしたら

初級・・・メモ不要
中級・・・LC、n国同盟
上級・・・X-wing系、XY-Wing系
超上級・・・Chain系

アプリもこんな感じで統一してくれると分かりやすいけど、実態は好き勝手に難易度をつけてる感じ

**□７×７＝４□□** · 2021/01/31(日) 13:11:48.61

数独アプリはその中級までのが9割じゃない？

**□７×７＝４□□** · 2021/01/31(日) 16:59:59.27

ＥＲはやっぱりコスパ悪いのか。納得。
難易度は >>123 さんにおおむね賛成。

ナンプレ 数独 Sudoku 9

ナンプレ　数独　Sudoku　9