[2384]hassan　(2025-05-30 19:33:27)

＞もとしさん
＞全部の候補を入れないで、二つの数字など･･･

こんにちわ。
私は１つのブロック（３×３）に、2カ所以上入る候補数字は書きません。候補数字が多すぎると頭が混乱してしまうので（汗）

[2383]藤谷KR　(2025-05-29 13:26:29)

もとしさん、こんにちは
候補数字を極力埋めずに解いていく方法は本当にカッコイイですよね。私は歴だけは無駄に長いのですが一向に上達しません。行き詰まったらすぐに総当たりに走るという脳筋です。
この掲示板は誰がどんな質問をしても良いはずですが、気になるのであればご自分で新しいスレを立てられてはいかがでしょうか。
充実したナンプレライフをお送りくださいね。
KR

[2381]もとし　(2025-05-24 06:27:51)

おはようございます。
ナンプレ初心者です。
どうにかレベル5の途中まで解けるようになりました。
でも、レベル5.6ではつまずく問題もあります。つまずいたあと、全部の候補を入れれば、二国同盟や三国同盟で解答することが出来ます。
他の動画で全部の候補を入れないです解答している動画を見たことがあります。
全部の候補を入れないで、二つの数字などを利用して解く方法などはあるのですか？
その時は何に注目して探せば良いのでしょうか？
抽象的な表現かも知れませんが、全部の候補を入れないで問題解いてみたいです。

こんな質問して良いか分かりませんが、行き詰まった時はじっと眺めている時間が長いです。

よろしくお願いします。

[2380]anonymous　(2025-05-22 18:47:29)

管理人さんへ

今回の修正についての意見は述べないことにします。

プログラムのデバッグで 3/16 の Jellyfish が抽出されたら、多くのプログラマはロジック再検討の必要性を感じるはずです。２つの X-Wing と併せて骨格が揺らいでいるので、結果的に構成列と適用列に１つずつ入ってもロジックが正しくすべての問題で通用するとは判断できないでしょう。プログラムに欠陥は付きものなので、私自身は公にするつもりはありませんでした。

名前から推察できるように、今回限りで今後は投稿しません。

792163845600809723000270169000000290209010630800392450320007014900021306100030002

[2379]てらD　(2025-05-22 03:04:07)

レベル４やっています。
たいがいどこかで間違えて破綻します。
解けても平均タイムには遠く及びませんが解いたあと風情のある写真が出るのがいいですね
秒で解いている方々は天才なのかな？

[2378]管理人　(2025-05-21 17:51:02)

> tonbeeさま
ご連絡ありがとうございます。フォローもありがとうございますm(_ _)m
解説ページ修正いたしました。下の具体例だけ削除していたんですね。上の部分は残ったままでした。

解凍プラグラムにはURタイプ3bで解くプログラムが残っていたのでコメントアウトしました。

[2377]tonbee　(2025-05-19 16:08:21)

anonymousさん、管理人さん

anonymousさん、度々横入りしてごめんなさい。気を悪くされておられることと思います。
ただ、こういう問題については管理人さんは複数の人の意見を求められておられるように思いますので、あえて書かせていただきます。

URについてのanonymousさんのご指摘は、全くその通りだと思います。
実は私もこれと似た問題を1年ほど前に管理人さんに提起しています。(「バグっぽいの」スレの[1582]から)
TINY24さんも参入されて、その結果、管理人さんも納得されて URタイプ3bについては解説を修正してくださるということになっていました。
しかし、先ほど解説を見てみましたら、今もおかしな説明が残っていました。(画像の通りです)

プログラムを作ったのが何年も前のことで どのように考えていたのか覚えていないと管理人さんがおっしゃられていますが、理解できます。

管理人さんはすごくお忙しいんだろうなと想像しています。
それでも以前に管理人さんに直にメールしたときは すぐに丁寧な返信がありました。
簡単なことにはすぐ対応できるけど、手間ひまのかかることはちょっと待って欲しいということなんですよね。

[2376]anonymous　(2025-05-19 14:12:58)

管理人さんへ

> ユニークレクタングル タイプ3b成立(unique_rectangles):
> [R2C6][R2C8][R3C6][R3C8]の全てのセルが[3,4]になると重解になってしまう
> [R2C8]と[R3C8]が同じ列、同じBOXの条件が成立
> 候補の削除対象セル[R1C8]以外に[2]と[2]が3回づつ出るので
> 候補の削除対象セル[2,2]を削除
> ->unique_rectangles:[R1C8]の候補[2]を削除
> ->unique_rectangles:[R1C8]の候補[5]を削除

R1C8 の 2,5 を削除していますが、R1C8 には 5 が入るので最終的にエラーになります。上記の解説文を読んだのですが、どのようなロジックなのか理解できませんでした。(片方の [2]→[5]、[2,2]→[2,5] の誤記がありますが)。

Type 3b になっているので、Type 3 (R2C8,R3C8 から見える位置に 2,5 の２数字セルが存在) から派生したとは思うのですが？

[2374]管理人　(2025-05-19 10:54:54)

anonymousさま
ご連絡ありがとうございます。
Unique Rectanglesが失敗しているのでしょうか？
すみません私はプログラムを作っているときは解き方もきっちり理解しているのですが何年も経つと忘れてしまいますので、エラーもどの部分で間違えたのかはわかりません。ユニークレクタングルも簡単なように見えてパターンが結構多く、プログラムにも苦労した記憶はあります。また公開後に解けないパターンが出てきて手を加えたりもします。

[2373]anonymous　(2025-05-18 16:08:39)

管理者さんへ

エラーのない問題を公開の場に提示したのは、私の大きな失敗でした。関心があるのは抽出のロジックで、ナンプレラボの X-Wing と Swordfish ではすべての構成セルが入るか入らないかは未定で、どのような入り方をしても構成列と適用列に１つずつ入るのを抽出していると思います。個別の問題伝々ではなくて、すべての問題で通用するロジックなのかということです。

次の問題は、Unique Rectangles で見つかった唯一のエラーです。どのようなロジックで抽出したのか、解説を読んでも理解できないところがあるので教えて頂きたいです。

000018600000060000500090801795432168682175394400689275209850006000920000007340000

[2372]管理人　(2025-05-18 12:11:43)

anonymousさま
ご連絡ありがとうございます。
ナンプレラボの解答プログラムではもちろんX-ウィングの方を最初に試すのですが、見つかられなかったんだと思います。
どうして見つけられなかったかはプログラムをデバッグすればわかると思いますが一日がかりになりますのでちょっと現状では難しくご理解ください。

[2371]tonbee　(2025-05-17 16:35:49)

anonymous様

２つの X-Wing については、管理人さんにお任せします。

私はまた 3/16の問題(画像)について。

[2330]で
> R2C1, R2C6, R2C7 に入ると４つの縦列に 6 が１つずつ入りますが、R2C3 に入ると C1 列に入らないので R4C1, R9C1 の 6 を否定できません。R4C1 を否定できないと、R4C2 の 6 も確定できないことになります。
　と、「 R4C1, R9C1 の 6 を否定できません」と書いておられます。

では、否定せずに R4C1や R9C1に６が入るとしたらどうなるかを今回は考えてみます。

anonymousさんも この図で水色マスを含む横４列に６が４つ入ることは認められると思います。
その上で、
① 仮に R4C1に６が入ったとすると、
② 同じC1列にある水色のマス(R2C1,R3C1)には６が入れなくなります。
③ 残っている水色マスで４つの６を使いきらなければならなくなりました。
④ しかし、使える水色マスは縦３列にしかありませんから そこに４つの６を入れるのは無理です。
⑤ つまり、①の仮定がおかしかったということで、R4C1の６を否定できます。
⑥ これは他の縦列のピンクの６についても言え、全て削除できます。

私は 上のような考え方が Jellyfishの本質的な部分だと思っています。
今回の説明なら anonymousさんも納得されたのではないかと思うのですが いかがでしょうか。

[2370]anonymous　(2025-05-16 09:18:06)

管理者さんへ

ナンプレラボの Jellyfish では、次の２つの例も抽出されます。間違えではないかも知れませんが、２つの X-Wing なので適切ではないと思います。

549826173830500042270030085760000001103000700900000020600040009090008007017200850 # 図
600020075010000000540700200365001740000604500004005068900003050400002030000007624

3/16 出題では R7C7 に 6 を入れると、左上ブロックのみが残って R2,R3 の片方に入りません。

[2345]tonbee　(2025-03-22 18:24:54)

Xwingの成立条件には 4マス全てが1つのBoxに含まれないことというものがあります。
Jellyfishにはそうしたものがないと思っていましたが、anonymousさんの主張が気になって探してみたら「ナンプレさくさく」さんのサイトで「行が別Boxに存在する」という言葉がありました。これ、どういう意味なんでしょうか。

[2343]ナンプレ 眺めて解こう .　(2025-03-22 02:33:25)

ナンプレラボには確かに何か欠陥があるようです → [2333]

[2342]ナンプレ 眺めて解こう .　(2025-03-22 02:13:01)

水色のエリアに６は入らないので、黄色のエリアに６が４個入らねばなりませんが、そうすると、黄色のエリアの各行各列に１個ずつ入る必要があります。Jellyfishは成立します。
もし仮に R23C3に６が入るとすると そのほかのところに６をどんな風に入れても 黄色のエリアに６を４個入れることはできません。なので この図だけで R23C3に６は入らない（したがって R7C3が６）と結論できます。

[2341]tonbee　(2025-03-21 23:52:32)

anonymous様

> Jellyfish のすべての構成セルは、数字が入るか入らないかは未定のはずです。

入るか入らないか分かってはならない というような条件はついていません。分かったからといっておかしな事は生じません。

> そのため、どのような入り方をしても４列に１つずつ入る必要があります。

これは考え方がおかしいです。4列に1つずつ入る入り方は1つあれば十分です。そして今回の問題のように このマスには絶対入れない と分かるケースもあるようです。(今回の問題が実例です)

> Jellyfish を見つけたときに入らないセルがあるとすれば、その時点でそのセルの候補数字を除外できます。そのようなテクニックは使ったこともないですし、見たり聞いたりしたこともありません。

今回の問題が その実例です。論理的に間違いがなければ認めるしかないのではないでしょうか。


> 3/16 出題の左上ブロックの配置では、他のブロックに１つ (R5C1 or R7C1) 存在すると Jellyfish が成立します。

元の問題は Jellyfishが成立していない とのお考えと解釈いたしました。私の説明では納得していただけなかったようで残念です。他の方の意見も聞きたいですね。

> 最初に「お問い合わせ」に投稿したのは、3/16 出題の「次の一手ナンプレ」にゼリーフィッシュの解釈に誤りがあって問題として成立していないので善処して頂けたらと思ったからです。管理人さんの要望で仕方なく掲示板に投稿したので、ナンプレラボの欠陥に触れることになってしまいました。

私も同じような経験をしました。管理人さんが こちらに投稿するようにと誘導されたのは問題が簡単ではなかったからだと思います。こちらで他の人からも意見を出してもらって 整理されたところで対応しよう ということなのではと思っています。ナンプレラボの欠陥を指摘することに関しては歓迎してくださってると思いますよ。

> 私の主張よりもナンプレラボの処理を信用する人が殆んどだと思うので ,,,,,

そんなことはありませんよ。実際、Sue de Coq の件は私も即納得できましたし、たぶん管理人さんも2人が言うのだから本当にプログラムがおかしいんだろうなと対応されてると思います。ただ、Jellyfish の方の主張には私は納得できませんでした。信用とかの問題ではなく、論理的に納得が出来ませんでした。

[2338]anonymous　(2025-03-21 15:21:24)

Jellyfish のすべての構成セルは、数字が入るか入らないかは未定のはずです。そのため、どのような入り方をしても４列に１つずつ入る必要があります。Jellyfish を見つけたときに入らないセルがあるとすれば、その時点でそのセルの候補数字を除外できます。そのようなテクニックは使ったこともないですし、見たり聞いたりしたこともありません。

3/16 出題の左上ブロックの配置では、他のブロックに１つ (R5C1 or R7C1) 存在すると Jellyfish が成立します。fish には多くの変種があるので、どのような入り方をしても C3, C6, C7 列に１つずつはいる fish もあります。

最初に「お問い合わせ」に投稿したのは、3/16 出題の「次の一手ナンプレ」にゼリーフィッシュの解釈に誤りがあって問題として成立していないので善処して頂けたらと思ったからです。管理人さんの要望で仕方なく掲示板に投稿したので、ナンプレラボの欠陥に触れることになってしまいました。私の主張よりもナンプレラボの処理を信用する人が殆んどだと思うので ,,,,,

これで、私の投稿は終わりにします。

[2337]管理人　(2025-03-21 09:02:18)

ちゃんと見ています。（ついていけてないですが・・・）
シーフードさんの発言は削除いたしました。

[2336]tonbee　(2025-03-20 15:23:09)

具体的な方向で考えてみます。
R2357列に入る4つの6。その入り方は図の4パターンしかありません。いずれの場合も[2330]のピンクの6は全て削除できると思いますが 、、、。

[2335]tonbee　(2025-03-20 14:14:21)

anonymous様

私は中級者なので Sue de Coq についてはよく知らず、勉強してから 3つの「誤った処理」について見てみました。
これは明らかにプログラムがおかしいですね。
管理人さん、もしここをお読みなら確認してください。

「グループＸーサイクル」については 全く知らないので私はスルーしておきます。

で、Jellyfishの方ですが、今回の問題、Jellyfishが成立してると思いますがどこかおかしいですか。成立していれば R4C1とR9C1 を除去するのも誤りではないと思いますが。

[2333]anonymous　(2025-03-20 07:28:15)

「解答の全手順はコチラ」ボタンが利用している「ナンプレラボ(https://nanpre.adg5.com/labo/nanpre.php?nanpre_mode=2)」には、いくつか誤った処理をする場合があります。次の４つの問題は、正解の候補数字を除去しているので最終的にエラーになります。

誤った処理: Sue de Coq
007600280000970600000402071008500720060000003050020068300007000070300000419200007
475000008100300050083050002000000087500870040807600010018704065090506001050100000
040000000008400096700200400000000204530124009004090050362000940810042760470600100

誤った処理: グループＸーサイクル
000080000025000910300105007200908003059000480000070000000507000506000804030060090

なお、正解の候補数字が含まなければエラーにはなりません。今回の Jellyfish で R5C1, R9C1 を除去してるのは誤りなのですが、単に正解の候補数字ではないだけです。

[2331]tonbee　(2025-03-19 10:48:13)

「ゼリーフィッシュの解釈に誤りがある」というのが どんな点を指しているのか コメントを読んでも分かりませんでした。
たぶん、なにか思い違いをされておられるのだと思います。

「R2C3 に入ると C1 列に入らないので」
これはゼリーフィッシュの一般的な結論というわけではないですが、R2C3やR3C3に6が入るとC1列(のR2とR3)のどちらにも入れなくなるので だから そこからR2C3やR3C3には6が入らないとも言えます。
ゼリーフィッシュが成立しているので、C1列ではR2かR3のどちらかは必ず6になります。結果、同じ箱にあるR2C3とR3C3には入れないとも言えますね。

[2330]anonymous　(2025-03-19 06:42:25)

「お問い合わせ」に投稿しましたが、管理人さんの要望で掲示板に再投稿しています。

3/16 出題の「次の一手ナンプレ」には、ゼリーフィッシュの解釈に誤りがあると思います。バックナンバーで「解答の全手順はコチラ」を押すと、Jellyfish の図が表示されます。

R2C1, R2C6, R2C7 に入ると４つの縦列に 6 が１つずつ入りますが、R2C3 に入ると C1 列に入らないので R4C1, R9C1 の 6 を否定できません。R4C1 を否定できないと、R4C2 の 6 も確定できないことになります。