ナンプレ　数独　Sudoku　9

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

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

**□７×７＝４□□** · 2022/05/07(土) 08:16:15.87

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

どなかこれの次の一手をば…

**□７×７＝４□□** · 2022/05/07(土) 11:02:02.50

メモが足らない
全部埋めてみて

**□７×７＝４□□** · 2022/05/07(土) 11:30:31.31

>>650
全部埋めるとわかるとは思うんですが、このスレで言われてた”3x3の1ブロックの中に候補が3つ以下、あるいは正方形に4つのときのみメモする”というのを実践中でして…。
中央の3は辛抱たまらず入れてしまったんですけど。

**□７×７＝４□□** · 2022/05/07(土) 11:44:07.06

https://i.imgur.com/4ZyjYg9.jpg
一応メモもしました

**□７×７＝４□□** · 2022/05/07(土) 11:56:22.64

このくらい高い難易度になると、候補は全部入れないとわかりにくいと思います
5列にn国同盟　2456 があるので　R8C5に5が入らない
よってR8C5は8確定

**□７×７＝４□□** · 2022/05/07(土) 15:56:16.09

>>651
数独の解き方には、全てメモを埋めないと分からないものがたくさんあります。
Ｎ国同盟は、基本的には全てメモを埋めてから探します。

Ｘウィングや高層ビルなどは、全て埋めなくても探せます。
私もメモだらけになるのがあまり好きではないので、Ｎ国同盟を後回しにしています。

**□７×７＝４□□** · 2022/05/09(月) 08:46:15.20

>>653

>>654
おお、ありがとうございます、先ほど解けました。
3候補で絞っててもメモが入らないところが出てきて消去法で入ることがあるのですが、あれはn国同盟というんですね、勉強になりました

**□７×７＝４□□** · 2022/05/12(木) 07:57:08.30

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

これ、どこかのサイトにあったスカイスクレーパーの解説なんですけど、なぜ列3と列6には適用できないんでしょうか。

**□７×７＝４□□** · 2022/05/12(木) 09:18:39.20

そこにも適用できそう
結果は同じ

**□７×７＝４□□** · 2022/05/20(金) 16:30:04.11

ポロシェンコ大統領
「西部の子どもたちは学校へ行け、東部の子どもたちは地下へ行け」
://youtu.be/PLgY0r2vChI?t=151

ジョージ・ソロス
「我々はロシアとの戦争の、魚雷として、ウクライナが必要だ。
　ウクライナ国民の運命など、知ったことではない」
://youtu.be/5NEifu9thTI?t=621

ローマ法王
「兵器を送ったら人が死ぬだけ、兵器を送ったら戦争は終わらない」
://youtu.be/PLgY0r2vChI?t=1362

**□７×７＝４□□** · 2022/05/22(日) 10:03:38.92

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

https://i.imgur.com/buRL1dc.jpg
また同じアプリからなんですが、これらの次の一手をどなたかお願いいたします。

**□７×７＝４□□** · 2022/05/22(日) 14:28:17.36

図１
列３に候補１は箱４の中にしかないので、箱４の他の候補１が２つ消える
列１に候補７は箱４の中にしかないので、箱４の他の候補７が５つ消える
これらは全てメモを埋めなくても分かります。

図２
初期配置で列７に数６があるので、列７の他の候補６は間違い

**□７×７＝４□□** · 2022/05/24(火) 07:44:12.31

>>660
うわー！気づけなかったです…ありがとうございます！

**□７×７＝４□□** · 2022/06/09(木) 05:35:37.95

https://i.imgur.com/4Qwx55W.jpg
また行き詰まってしまいました。単純ミスはしてないと思うのですが…

**□７×７＝４□□** · 2022/06/09(木) 12:34:13.75

行５に候補４は箱５の中にしかないので、箱５の他の候補４が３つ消える

**□７×７＝４□□** · 2022/06/09(木) 13:17:13.36

ここから仮置き以外で消せる方法あったらお願いします
https://i.imgur.com/KCzzYqT.jpg

**□７×７＝４□□** · 2022/06/09(木) 15:24:24.46

列３に候補４は箱１の中にしかないので、箱１の他の候補４が３つ消える。
かなり高度な問題やってるので、これはたぶん見落としかな。
もうひとつ書いておきます。

列１と列９で候補６のヒレＸウィング成立（ヒレは行５列１）。
行２と行４のうちヒレがある箱４で消去。行４列２の候補６が消える。

ヒレＸウィングはわりとよく出てきますが、その後の進展がない場合もあります。
今回はその後の進展があったので、挙げておきました。

**□７×７＝４□□** · 2022/07/09(土) 22:45:57.68

一度解いたけど2回目やったら全然わからん。。。
次の一手はどう考えればいいですか？

○1○ ○9○ 7○○
○○○ 3 ○○ ○2○
8○○ ○○5 ○○9
○○6 ○○2 ○○○
○7○ ○1○ ○8○
○○○ 5○○ 3○○
5○○ 8○○ ○○4
○3○ ○57 ○○○
○○2 ○4○ ○6○

**□７×７＝４□□** · 2022/07/10(日) 02:49:50.52

数５に注目します。
各行各列で、候補５が２つしかないラインを探します。
ここでは、列２と列８がそれぞれ２つのみでした。
この４つの位置関係は高層ビルです。
よって、箱１の候補５が１つ、箱３の候補５が２つ消去できます。

**□７×７＝４□□** · 2022/07/10(日) 10:15:12.43

>>667
レスありがとう！
5に注目っていうのは、どこから出てくるの？
これは1から9までしらみつぶしにやってみて5が適切だったってこと？
それとも何か法則というか規則から見えて来るものなの？

**□７×７＝４□□** · 2022/07/10(日) 11:10:36.60

１から９までやってみて５が適切でした。

**□７×７＝４□□** · 2022/07/10(日) 15:13:29.04

907001460004963270006574080340659708790040030600007094070005000069700300013496807
これの解き方どなたか教えてくれませんか
解析サイトでやってみても初手仮置きか解けずのどちらかでした

**□７×７＝４□□** · 2022/07/10(日) 22:31:26.49

r2c1,r6c2,r5c9,r8c9 ：　５排除
r8c8: ２排除
r2c1,r1c2,r6c2,r7c3: ８排除

初級～中級のテクで以上はすぐに消せるけど？？？

**670** · 2022/07/11(月) 09:57:07.85

>>671
ありがとうございます
r2c1の8排除がわかりませんでした
どこを見ればよかったでしょうか？

**□７×７＝４□□** · 2022/07/11(月) 21:05:28.06

>r2c1の8排除

間違った

排除ではなくむしろｒ２ｃ１は８で確定

**□７×７＝４□□** · 2022/07/12(火) 00:42:54.42

□□□　□□□　８６□
３□□　□□５　□□□
６□□　□９□　５□□

１４□　□５２　□８□
７□□　□１８　□□２
８２９　□□６　１□５

９７□　１□４　２５８
５□□　□８９　□□７
□□８　５□７　□□□

次の一手、仮置き以外でどうやったら解りますか？
全部メモしてみた方が良いのでしょうか。
宜しくお願いします。

**□７×７＝４□□** · 2022/07/12(火) 11:43:30.63

列３に36の２国同盟はありますか？
Ｎ国同盟は、基本的に全部メモを埋めて探します。

**□７×７＝４□□** · 2022/07/12(火) 14:35:52.73

私が使っているiOSのナンプレアプリは自動でメモを入れてくれる機能があります。サブスクで年550円というのがデメリットですがオススメです。

https://apps.apple.com/jp/app/%E3%83%8A%E3%83%B3%E3%83%97%E3%83%AC-%E5%A4%A7%E4%BA%BA%E6%B0%97%E3%81%AE%E6%95%B0%E7%8B%AC/id1442749804

**□７×７＝４□□** · 2022/07/20(水) 03:32:11.93

https://i.imgur.com/Qi9meS9.png
https://i.imgur.com/Dy6oxwz.png
これ仮置きしなきゃ解けませんか？
1は全部解けて4～9もほぼ最後まで解けてます2,3だけほとんど埋まりません

**□７×７＝４□□** · 2022/07/20(水) 07:40:37.97

ナンプレ【Empty Rectangle】テクニック紹介#16
https://www.youtube.com/watch?v=ZA0Gy7nEbqs

**□７×７＝４□□** · 2022/07/20(水) 16:02:44.49

>>677
各行各列で、候補が２つしかないラインを探す手法があります。
・Ｘウィング
・高層ビル
・ヒレＸウィング
・刺身Ｘウィング
これらの手法は、全ての候補を埋める必要はなく、
数２に注目する場合、候補２が全て埋まっていれば大丈夫です。

列９に候補２が２つしかありません。これが１つ目のラインです。
列方向にもう一つ、関連した残り方のラインはありませんか。
・候補２の残り方が全く同じならＸウィング
・候補２の一方が同じで、もう一方がずれていたら高層ビル
・候補２の残り方が同じで、オマケがついていたらヒレＸウィング
・候補２の一方が同じで、もう一方がずれてオマケありなら刺身Ｘウィング

ここでは刺身Ｘウィングが成立しています。列６の候補２の残り方に注目して下さい。
よって、箱５の中央の候補２が消えて数３に決定します。
https://i.imgur.com/ywYHaZj.png

**□７×７＝４□□** · 2022/07/20(水) 21:35:24.97

ひええありがとうございます…
色んなテクニックがあるんだなあ

**□７×７＝４□□** · 2022/07/22(金) 22:40:54.37

初期段階から8つしか埋まりません
鬼畜レベルでお手上げです。次に埋まる場所ってわかりますか？
１□□　□３□　□□８
□６□　９□２　□３□
３□５　□□□　７□□

□１□　□□□　□７３
５□□　□□□　□□２
□３□　□□□　□５□

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

**□７×７＝４□□** · 2022/07/22(金) 23:48:09.67

１□□　□３□　□□８
☆６□　９□２　□３□
３☆５　★□★　７□□

☆１□　□□□　□７３
５□□　□□□　□□２
☆３□　□□□　□５□

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

数８に注目します。候補８は正しく埋まっていますか。
箱７に候補８★は列１にしかないので、列１の他の候補８☆３つが消えます。
箱２に候補８★は行３にしかないので、行３の他の候補８☆１つが消えます。

**□７×７＝４□□** · 2022/07/23(土) 01:46:14.52

>>682
解けました
的確なヒントありがとうございました
箱７の８が★の二択になるので箱１の８は行２列３しかありえないということに気づきました
知らないテクニックでした

**□７×７＝４□□** · 2022/08/20(土) 17:03:22.27

スレチならすいませんが、数独雑誌の問題を手入力できるiPhoneアプリないでしょうか？メモ付きがいいです。
解析は要らないです
教えてください。お願いします

**□７×７＝４□□** · 2022/08/31(水) 07:10:14.85

>>210
その問題に対して皆が難しい解き方ばかりを指南しているようだけど
もっと初心者向きの解き方をまず覚えるとよさそう
例えば『二択になっているものに印を付けておく』が基本の一つ

その例ならば一番上の行で、2が二択、8も二択、
同じ場所にあるから同盟成立で2と8以外の1,3,6を消去できる
↓
その消去が発生した右上のボックスを見ると7が二択に加えて、3も二択となった
同じ場所にあるから同盟成立で3と7以外の1,2,6を消去できる
↓
するとボックス内で二択になっていた6の片方が消えたので6が確定
同じく消去が発生した三列目で二択だった6の片方が消えたので6が確定
といったように初心者でも次々に進んでいく

もちろん二択は強リンクでもあるので他の高度な手法のためにも重要

**□７×７＝４□□** · 2022/09/03(土) 12:08:01.27

１ヶ月ここから進みません(T_T)
誰か次の一手のご教授願えませんか(T_T)
もはや総当たりでトライアンドエラーするしかないのかなという状況に追い込まれています（汗）
https://i.imgur.com/5Yk6tFr.jpg

**□７×７＝４□□** · 2022/09/03(土) 15:38:03.94

>>686
解けませんでした
問題がミスってるとしか思えないほどの難易度
というかほんとにミスってると思う
他の方の意見聞きたいです

**□７×７＝４□□** · 2022/09/03(土) 17:01:55.30

どうやら問題が間違えていたみたいです
考えてくださった方ありがとうございます

**□７×７＝４□□** · 2022/09/05(月) 20:06:09.62

このページだと解き方のヒントが出るようだ
https://sekika.github.io/kaidoku/ja/sudoku

高層ビルとかヒレＸウィングはないようだけど、XウィングとかXYウィングとかはある

**□７×７＝４□□** · 2022/09/17(土) 07:22:34.45

今日の読売新聞朝刊に出ていた“超難問”数独
どこが超難問なんだよw
2国同盟すら使わずに解ける問題だった

**□７×７＝４□□** · 2022/09/17(土) 13:25:10.86

素人で適当に難問解きまくってたら
名のつく解法全部網羅してたンゴ

**□７×７＝４□□** · 2022/09/25(日) 13:03:32.23

>>690
日経の土曜版のもそんな感じだよ
「西尾の～」本の方が難しいのがある

**□７×７＝４□□** · 2022/09/29(木) 09:23:43.53

SK Loopについて知恵袋で質問したんだけど、誰もまともに答えてくれなくて、
ここの人で答えてくれない？

**□７×７＝４□□** · 2022/09/29(木) 09:46:26.78

その質問は、知恵袋で、検索対象の「回答受付中」をクリックして、
「ほぼSK」で検索すれば出てくる。

**□７×７＝４□□** · 2022/09/29(木) 10:06:17.77

わざわざ検索して質問探して答えろっての？
そんな親切な方がいるといいですね

**□７×７＝４□□** · 2022/09/29(木) 11:16:43.72

なんか、質問のURLを張り付けると拒否されるみたいで。

**□７×７＝４□□** · 2022/09/29(木) 11:45:55.58

SK Loopって8～16国同盟だろ
具体的に質問をこのスレに書きなさい

**□７×７＝４□□** · 2022/09/29(木) 12:03:27.21

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q10267295175

ナンプレ眺めて解こう様　が回答されてるやん
あがめよ

**□７×７＝４□□** · 2022/09/29(木) 12:28:26.93

これじゃないです。これは解決済みです。

**□７×７＝４□□** · 2022/09/29(木) 12:36:49.71

以下のリンク先のナンプレ数独で、ほぼSKループを使った解き方を考えているのですが、行き詰っています。
何かアドバイスがあれば、お願いします。
https://imgur.com/gallery/cxghhyt

・紫のマスが、私が、ほぼSKループと睨んだところです。
・赤丸で囲んだ候補数字は、そのうちの、どれかひとつ決定されれば、他は除外される数字です。

**□７×７＝４□□** · 2022/09/29(木) 21:07:20.16

そもそも質問の意味が分からないんだが

>>700の問題を作ったけど (ほぼSKループを使うのが本解)
もっと簡単な別解があったらダメだから確かめてってこと？

**□７×７＝４□□** · 2022/09/30(金) 04:43:10.71

>>701
とにかく、どうやって解きました？

＞もっと簡単な別解があったらダメだから確かめてってこと？
いえ、そうじゃないけど、もっと簡単な別解がありました？

**□７×７＝４□□** · 2022/09/30(金) 21:21:22.94

>>700
>>697の言う通り、SKループは最大16国同盟だから、紫の15マスが含む43数字を
異なる15セットに再構成出来れば成立する訳だけど、多分

r4c56(3), r4c5679(5), r4c579(6), r8c679(4), r8cr5679c(6)
r56c4(4), r5679c4(5), r679c4(6), r579c8(3), r579c8(4)
r5c6r6c5(9), r4c9r5c8(8), r7c4r8c6(7), r8c5r9c4(8), r7c8r8c7(1), r8c9r9c8(9)

この16個にしか出来ないから成立してないよ。

それから、簡単な別解なんてあるわけ無いよ。>>700の図でr4c6(6)とr7c5(6)を
消せているだけで充分難しいことやってるでしょ。

**□７×７＝４□□** · 2022/10/02(日) 00:38:21.53

ちょっと勘違いしていましたね。
>>700はまだ未完成で、SKループを使う問題に仕上げたいってことか。

SKループはLocked Sets系の解法だから、False Setがあると成立しない。
>>703のFalse Setはr8c679(4)だから、これを消しておく必要があって、
それにはr8c2に4を置いてやるしか無さそう。
でもそうすると易しくなりすぎるから、初期配置から引けるところを引いて
解析してみたら、1つだけSKループを使える図が取れた。
こんなところでどうか？

.12.....33...4....5..3...6...41...2..6..7...1.3...897......98...432...5.....1...7

**□７×７＝４□□** · 2022/10/02(日) 15:52:17.37

ｎ国同盟がLocked Setsであるように、
ほぼSKループはAlmost Locked Setsのようなものです。
ＡＬＳを使った色々なテクがあるように、ほぼＳＫループも何か、うまいテクがあるんじゃないかと思ったのですが...

**□７×７＝４□□** · 2022/10/02(日) 18:43:04.65

一番最初にすべきことは理論の完成
どういう状況の時に
どういう仕組みによって
どういう数字候補が消えるのか？
理論が完成した後で具体的な問題に適用したり問題を作成したりが可能となる

**□７×７＝４□□** · 2022/10/02(日) 21:01:37.45

>>705
>>700のほぼSKループは、Almost Locked Setsのようなもの...ではなく完全にALSです。
具体的には、>>703の16setsがALSの強リンク群で、>>700の赤丸がALSの弱リンク群になります。

あとは、作成者の解析力次第ということになりますが、ALSが大きくても小さくてもやることは
同じなのでAlmost SK Loopであることによるメリットは無いと思いますよ。

**□７×７＝４□□** · 2022/10/03(月) 12:40:14.62

そもそも理詰めの解き方の大半はALSだろ
例えば一つのマスに数字候補が2つとなったらALS
ある数字のマス候補が2つなったらALS
Chain系もWing系もすべてALSとその連鎖

**□７×７＝４□□** · 2022/10/05(水) 23:38:01.85

二択はALSの最小パターンだからね
X-Wingもskyscraperも二択✕2と捉えるとALS
ところで3以上のFISH系をALSの視点から捉えることはできる？

**□７×７＝４□□** · 2022/10/06(木) 05:26:02.72

>>700
修正して知恵袋に問題を出し直しました。
https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q12269015192

**□７×７＝４□□** · 2022/10/06(木) 05:26:40.55

今度は、リンクが貼れた

**□７×７＝４□□** · 2022/10/06(木) 05:36:16.22

緑丸の背理/当てずっ法でやるしかないかな？

**□７×７＝４□□** · 2022/10/08(土) 12:25:05.84

https://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q13265274138
で、ナンプレ眺めて解こう .さんの回答の中での解法は、何という名前なのだろうか？
ご自身は、POM（Pattern Overlay Method）と Unit Forcing Chains の組合せのようなことをおっしゃっているが、
マルチ・カラリングの一種で、トリプル・カラリングとでも呼ぶべきものだろうか？

**□７×７＝４□□** · 2022/10/09(日) 22:22:07.58

それでも解けると言ってるだけで
実際に使ってるのは単なる三色カラーリング

**□７×７＝４□□** · 2022/10/10(月) 09:32:13.07

>>714
三色カラーリングについての説明の記事ある？

**□７×７＝４□□** · 2022/10/11(火) 16:30:58.55

パー

**□７×７＝４□□** · 2022/10/11(火) 23:33:17.86

ナンプレっておもろしよね～
ちなピクロスとかマインスイーパも同じぐらい面白い

**□７×７＝４□□** · 2022/10/13(木) 22:45:34.65

へえ

**□７×７＝４□□** · 2022/10/13(木) 22:48:07.31

>>965
動員かけたの？
・統一信者
・幸福信者
・NTRグループ

>>1　いや。電通は怒ってなかったらしい。むしろ大与党さんのどのあたりの勢力か？はわからんがここぞとばかりに怒ってみせて降ろさせたとか。

あと2022年度の朝日の本音はこんな感じな
http://imgur.com/2tRqxLJ.jpg

**□７×７＝４□□** · 2022/10/15(土) 15:08:21.37

Exocetミサイルを理解するには、強制チェーンではなく、強制ネットで見なければいけない。

**□７×７＝４□□** · 2022/10/15(土) 15:09:55.81

つまり、鎖ではなく、網なのだ。

**□７×７＝４□□** · 2022/10/15(土) 15:17:47.29

トビウオは、鎖では捕まらず、網で捕るのだ。

**□７×７＝４□□** · 2022/10/15(土) 15:58:57.95

ということで、
https://nanpre.adg5.com/tec25_labo.html
の具体例は、以下のリンク式で理解できた。
r3c13(268/268)-268-r3c48
r3c13(268/268)-2-r46c13=2=r6c2-2-r6c8=2=r1c8
r3c13(268/268)-2-r7c1r79c3=2=r8c2-2-r8c4=2=r2c4
r3c13(268/268)-6-r456c1r4c3=6=r5c2-6-r5c8=6=r1c8
r3c13(268/268)-6-r79c13=6=r9c2-6-r9c4=6=r2c4
r3c13(268/268)-8-r46c13=8=r6c2-8-r6c4=8=r2c4
r3c13(268/268)-8-r79c13=8=r9c2-8-r9c8=8=r1c8

**□７×７＝４□□** · 2022/10/16(日) 13:35:07.62

誤解があったので、以下に分かり易くして修正
①r3c13(268/268)-268-r3c48
ピンクのマスのどちらかが２であると仮定
　r3c13(268/268)-2-r12c2=2=r68c2
　r6c2=2と仮定ー＞２はr6c2かr8c2
　　r6c2-2-r6c8=2=r1c8
　r8c2=2と仮定＜ー①より、r3c8に候補２はない
　　r8c2-2-r8c4=2=r2c4
　よって、r1c8=2=r2c4 ＜ー①より、r3c4に候補２はない
同様に候補６と８について進めると
　r1c8=268=r2c4

**□７×７＝４□□** · 2022/10/16(日) 13:41:46.01

改行がおかしかったので、もう一度修正

①r3c13(268/268)-268-r3c48

ピンクのマスのどちらかが２であると仮定
　r3c13(268/268)-2-r12c2=2=r68c2 -> 2はr6c2かr8c2

　r6c2=2と仮定
　　r6c2-2-r6c8=2=r1c8　<- ①より、r3c8に候補2はない
　r8c2=2と仮定
　　r8c2-2-r8c4=2=r2c4　<- ①より、r3c4に候補2はない
　よって、r1c8=2=r2c4

同様に候補6と8について進めると
　r1c8=268=r2c4

**□７×７＝４□□** · 2022/10/18(火) 22:23:15.45

>>704
SK LoopってNaked Double Loopのこと？

>>720
Exofinは知っているが
Exocetは分からん
どういうもの？

**□７×７＝４□□** · 2022/10/18(火) 23:50:51.33

>>725
その例がたまたまCL1(CL2)と同じ列のCLBにもその数字があるから成り立っているだけであり
この解法の証明にはなっていない

**□７×７＝４□□** · 2022/10/19(水) 20:34:33.42

https://matsuri.5ch.net/test/read.cgi/puzzle/1523379019/577-578

**□７×７＝４□□** · 2022/10/23(日) 14:50:22.69

>>727
CL1(CL2)と同じ列のCLBに、その数字がない場合は、Exocetは成立しないんじゃないかな。
成立する例ある？

**□７×７＝４□□** · 2022/10/28(金) 17:25:59.52

>>729
CL1(CL2)と同じ列（行といったほうがいいかも）のCLBに、その数字がない場合でも、
CLBから直接ではないが、迂回して弱リンクで到達できる場合があり、
その場合はExocetは成立する。
そうでない場合は成立しない。

**□７×７＝４□□** · 2022/10/28(金) 17:28:33.34

間違えました。訂正
CL1(CL2)と同じ列（行といったほうがいいかも）のCLBに、その数字がない場合でも、
CL1(CL2)から直接ではないが、迂回して弱リンクで到達できる場合があり、
その場合はExocetは成立する。
そうでない場合は成立しない。

**□７×７＝４□□** · 2022/10/29(土) 07:44:02.14

以下のナンプレ眺めて解こう .さんの見解では、
ベースペア(ミニブロックの２つのセル)に入るすべての候補数字について、
必ずターゲットセルのどちらか(T1,T2)に入る場合が
エグゾセとなる。

https://nanpre.adg5.com/bbs.php?c=22

**□７×７＝４□□** · 2022/11/06(日) 13:35:10.94

【テレビに煽られて】　ワク接種して、家族が死んだ
://egg.5ch.net/test/read.cgi/tvsaloon/1664067704/l50

**□７×７＝４□□** · 2022/11/13(日) 12:32:26.94

>>727
【脳トレ？】数独・ナンプレ【病み付き】の618
https://i.imgur.com/M4dQqiJ.jpg
でも、CL1(CL2)と同じ列のCLBにもその数字がある。

面白いのは候補４だ。
もし、列２行３が４だとすると、
列５行１ =4= 列５行６ -4- 列７行６ =4= 列７行２
で、SashimiFish(Skyscraper)になる。

ここでの以下の記述はおかしい。
「※対象値それぞれが、18マスのうち３マス以上入らないことが確定している必要がある」
は、正しくは、
「※対象値それぞれが、各Cross Cellの列６マスのうち３マス以上入らないことが確定している必要がある」
だろう。

**□７×７＝４□□** · 2022/11/13(日) 13:07:10.02

https://i.imgur.com/UpisnP2.jpg
https://i.imgur.com/3apm8gC.jpg
の鏡ルールは、以下の[780]の●エグゾセの性質１の応用だと思う。
https://nanpre.adg5.com/bbs.php?c=22

**□７×７＝４□□** · 2022/11/14(月) 02:06:46.81

>>734,735
>>734の図は、丁度>>729の成立例になっていますね。

Exocetは大掛かりだけれども、ルール自体は難しくありません。
CL1,CL2,CLBを含む3列27セルには、どの数字も3つずつ入る訳ですが、Bに入り得る数字に
ついて、その3つがCL1,CL2,CLBの18セルに同時に入れると成立しないということです。

(条件1)Bに入り得る数字はCL1,CL2,CLBの18セルに3つは入れない
(条件2)Bに入り得る数字はC1,C2に入れない

Bに入る数字は*には入れません。→CLBのどこかに必ず入ります。→
(条件1)よりCL1,CL2のどちらかには入れません。→(条件2)を加えてT1,T2の
どちらかに必ず入ります。→Bに入る数字の組とT1,T2に入る数字の組は同じになります。
これがExocetです。

鏡ルールは、Exocetが成立した時に、T1に入る数字はM1のどちらか、T2入る数字はM2の
どちらかにも入るという性質のことです。

眺めて解こうさんは、Exocetのルールを理解しており、その説明をしながら例題を解いて
いるだけに私には見えます。

**□７×７＝４□□** · 2022/11/14(月) 06:40:02.40

>>736
「Bに入る数字は*には入れません。」
ここで言ってるのは↓のことね。
https://nanpre.adg5.com/tec25_labo.html

**□７×７＝４□□** · 2022/11/14(月) 06:58:52.12

>>736
「CLBのどこかに必ず入ります。→
(条件1)よりCL1,CL2のどちらかには入れません。」
ここがよく分かんない。
>731
のように成立しない場合もあるのでは？

**□７×７＝４□□** · 2022/11/14(月) 07:25:58.12

734の例で、
もし、階３でCLB上の４とCL１上の４が違う行にある場合はどうだろうか？

**□７×７＝４□□** · 2022/11/14(月) 07:42:37.43

739の例は、行７列７に確定した４があるので、
結局、弱リンクで到達できるけれども、
そうでない場合はどうだろうか？

**□７×７＝４□□** · 2022/11/14(月) 07:43:51.13

間違えました。
行７列７→行７列８

**□７×７＝４□□** · 2022/11/14(月) 20:44:21.35

>>738
言い換えると、
(条件1)Bに入り得る数字はCL1,CL2,CLBのすべてには入れない
となりますね。

>>739
その場合、4はCL1,CL2,CLBに3つ入れるので(条件1)を満たしません。

>>740
Exocetのルールに弱リンクは用いていないので、それは別の理論になります。
勿論、別理論が同じ結論に至ってもかまわないのですが、そこを考察するのは
まずは考案者であるべきしょう。

**□７×７＝４□□** · 2022/11/21(月) 06:01:11.89

>>740
>>741
行７列８に確定した４があっても、弱リンクでは到達できませんね。

**□７×７＝４□□** · 2022/11/23(水) 08:35:59.60

>>742
> (条件1)Bに入り得る数字はCL1,CL2,CLBのすべてには入れない
Bに入る数字は*には入れません。→CLBのどこかに必ず入ります。→
(条件1)より「Bに入る数字はCL1,CL2のどちらも入る」ということはできない
ということだね。

**□７×７＝４□□** · 2022/11/23(水) 18:24:03.05

>>723 >>725
その解法のやり方はForcing Net (仮置き)と呼ばれ数独の理詰めの世界では忌避すべき方法です
Forcing Chain (理詰め)とForcing Net (仮置き)の決定的な違いは、チェーンを繋いでいる途中で、副作用により候補数字を除去しながら進めてしまうのがForcing Net (仮置き)です
一方で理詰めは、パターン化された条件さえ満たせば除去よら先に成立し、それ単独で、もしくはそれらを強弱リンクで繋ぎチェーンを作って、もしくはそれらチェーンを束ねて、完成した後に、候補数字の除去となります

**□７×７＝４□□** · 2022/11/24(木) 09:53:14.20

>>744
候補として、Bに入る数字がCL1,CL2のどちらもある場合は、
CLBから弱リンクで、どちらかを潰さないといけないという訳だ。

**□７×７＝４□□** · 2022/11/24(木) 10:17:49.55

ただし、候補として、Bに入る数字がCL1,CL2のどちらもある場合でも、
CL1とCL2が、一方が決まれば他方が除外される関係であれば、
べつにCLBから弱リンクで、どちらかを潰す必要はない。

**□７×７＝４□□** · 2022/11/24(木) 10:20:19.34

訂正します。
「CL1とCL2が」ー＞「そのCL1とCL2に入る候補が」

**□７×７＝４□□** · 2022/11/25(金) 06:17:34.08

>>745
Forcing Net (仮置き)や背理法は、
解法としては、「数独の理詰めの世界では忌避すべき方法」かもしれませんが、
解法の有効性の証明法としては有効だと思います。