23/07/18 02:56:48.14 5tKh/Usp.net
浜田ロジックについてどう思う？
941:□７×７＝４□□
23/07/18 06:23:02.84 Y6J4bUqi.net
>>940
数独の理詰めは『強リンクルール』と『定員ルール』から成り立っている
『強リンク』
強リンクとはそれを形成する二者(鎖の場合は両端)について
どちらか一方もしくは両方が必ず成り立つこと
『強リンクルール』
強リンクを形成する二者の両方から見えるものは
（二者のどちらが成り立ったとしても）
絶対に成り立たないので全て除去できる
【強リンクルールの特殊例で二者が同一の場合】
強リンクを形成する二者が同一の場合
そこから見える他者は全て上述ルールにより除去できる
つまりそれが確定する
『浜田ロジック』
浜田ロジックのよくある説明に出てくる例は
強リンク3つにより構成される強リンク(強-弱-強-弱-強)となっていて両端が同一である
つまり上述の強リンクルールの同一の場合に該当する
浜田ロジックの具体例
○✕○│○○○│○✕○
○④○│○○○│○⑤○
○✕○│○○○│○✕○
──┼──┼──
○✕○│○○○│✕①✕
○✕○│○○○│✕✕✕
○③○│○○○│②✕✕
──┼──┼──
○✕○│○○○│○✕○
○✕○│○○○│○✕○
○✕○│○○○│○✕○
✕は数字を置けないマス
①=②、③=④、⑤=①がそれぞれ強リンクとなっている
つまり①=②-③=④-⑤=①が「強-弱-強-弱-強」の強リンクを形成する
両端が同一なので①が確定する（つまりその補者である②と⑤は除去される）
このように浜田ロジックなんて知らなくてもよくて
数独の基本である強リンクルールを知っていれば対応できる
942:□７×７＝４□□
23/07/18 08:31:56.65 UXUS7QuE.net
>>935-939
クイズ「2択の問題です。(クイズ略...)はAでしょうか？Bでしょうか？」
オレ（Aだとおかしい……Aじゃないってことは…）
オレ「わかった！Bだ！」
クイズ「正解です！お見事！」
こういう理詰めの流れでも「仮定」自体はしてるから「当てずっぽう」「博打」を「仮定法」っていうのは嫌い
例えば
123 456 78□
この□に「9」を入れることすら実際には1～8を入れたらおかしいっていう仮定からの背理法に基づいてる
943:□７×７＝４□□
23/07/18 09:07:10.57 2sqeGSSE.net
>>942
根本的に勘違いをしていますねー。
理詰めは他の数字を試す必要なく、「この数字が除去できる」または「この数字が確定」と決まるんです。
他の数字を試した時点で理詰めではなく失格です。
944:□７×７＝４□□
23/07/19 08:49:05.73 JC2x20ZU.net
あるマスのある数字が除去できる局面だとして最大9✕9✕9＝729通りもある
それを仮定法という当てずっぽうで試していくのは効率が悪すぎる
945:□７×７＝４□□
23/07/19 12:13:28.16 DBcgViq3.net
数独で直接「この数字が確定」と決まることはないな
「この数字が除去できる」が8回あって結論として「この数字が確定」する
946:□７×７＝４□□
23/07/19 13:29:52.95 Ucu9kz0c.net
>>945
直接確定するよ
例えば一番単純な例だとHidden Single
他の数字もそのマスに入る可能性が残っていて除去はされないまま数字が確定する
947:□７×７＝４□□
23/07/19 18:30:02.65 Wczg5yYe.net
全く進めず...ご助言願います
URLﾘﾝｸ(imgur.com)
948:□７×７＝４□□
23/07/19 20:48:45.27 4A6+B0um.net
高層ビル
URLﾘﾝｸ(i.imgur.com)
949:□７×７＝４□□
23/07/20 01:36:11.28 NvwtG5GN.net
>>948
おお、理屈はわからないので調べてみます。
感謝です。
950:□７×７＝４□□
23/07/20 02:34:56.73 M6NPLelX.net
【高層ビル】
ある数字(今回は4)を置けないマスを×として
置けるマスを○として区別のため番号を入れると
今回の状況はこうなってる
・・・│・・・│・・・
・・・│・・・│・・・
・・・│・・・│・・・
──┼──┼──
・・・│・・・│・・・
✕✕①│✕②✕│✕✕✕ ←この行で①と②のマスの二択
・・・│・・・│・・・
──┼──┼──
・・・│・・・│・・・
・・・│・・・│・・・
✕④✕│✕③✕│✕✕✕ ←この行で③と④のマスの二択
ここで②と③は同じ列にある
しかし①と④は別の列にある
こうなった時に高層ビルが成立
951:□７×７＝４□□
23/07/20 02:42:19.74 M6NPLelX.net
このとき①と④の共通ピア(＝両方から見えるマス)
具体的には以下の●のマス全てからその数字(今回は4)を除去できる
・・・│・・・│・・・
・・・│・・・│・・・
・・・│・・・│・・・
──┼──┼──
・●・│・・・│・・・
✕✕①│✕②✕│✕✕✕
・●・│・・・│・・・
──┼──┼──
・・●│・・・│・・・
・・●│・・・│・・・
✕④✕│✕③✕│✕✕✕
①＝② ←二択で強リンク
②ー③ ←互いに見えている(＝同じ列)ので弱リンク
③＝④ ←二択で強リンク
つまり鎖で繋げると
①＝②ー③＝④ は強弱強で全体が強リンクとなっている
つまり①か④の少なくともどちらかは正解のマス
したがって①と④の両方から見えるマス群●には絶対に置けないという仕組み
952:□７×７＝４□□
23/07/20 11:08:58.42 exlL8Mn0.net
>>944
たとえば２国確定してるところをあてずっぽで試すとすれば２択しかないから
状況によってはひと睨みで矛盾が見えて瞬殺できることもあるんじゃないかな。
953:□７×７＝４□□
23/07/20 11:50:54.43 DbrKzdro.net
>>952
たくさんある2国のうち矛盾が出るのはほんの一部だけでたいていは再び行き詰まっちゃう
運良くたまたま見つけられたとしてもまるで方程式を解くのに数字をデタラメに入れていって勘で当てる感じ
解いたという感じじゃないよね
954:□７×７＝４□□
23/07/20 18:50:32.12 NvwtG5GN.net
>>950
かなり理解出来てきました、
ありがとうございます
955:□７×７＝４□□
23/07/22 21:01:26.22 x2KXOYw/.net
Skysclaper (高層ビル)
・●・│・・・│・・・
✕✕①│✕②✕│✕✕✕
・●・│・・・│・・・
──┼──┼──
・・●│・・・│・・・
・・●│・・・│・・・
✕④✕│✕③✕│✕✕✕
Finned X-Wing (Grouped Skyscraper)
・・・│・・・│・・・
✕✕①│✕②✕│✕✕✕
・・・│・・・│・・・
──┼──┼──
・・●│・・・│・・・
・・●│・・・│・・・
④④④│✕③✕│✕✕✕
どちらも➀と④の共通ピア(両方から見えるマス)●が除去対象だけど
④④④はまとめて一つとして扱うから3つの全ての④から見えるマスじゃなきゃいけなくて●●2つになっちゃうね
956:□７×７＝４□□
23/07/26 18:13:52.62 C/UW0kad.net
Finned X-Wingの日本語訳は何だろう
Finned Swordfishはヒレ付きメカジキらしい
957:□７×７＝４□□
23/07/27 22:10:17.60 LNVHL5Rc.net
日本語訳とかあるの？ｗ
958:□７×７＝４□□
23/07/27 22:24:14.07 tPvvw2TR.net
お魚シリーズなのにX-wingに魚の名前がついていないのが悪い
そこでX-wingは四角い魚だからフグと呼ぼう
finned X-wingはヒレ付きフグだ
959:□７×７＝４□□
23/07/28 21:42:55.26 XlOsivjU.net
Sashimi X-Wing (刺身フグ𓆡)
・・・│・・・│・・・
✕✕①│✕②✕│✕✕✕
・・・│・・・│・・・
──┼──┼──
・・●│・・・│・・・
・・●│・・・│・・・
④④✕│✕③✕│✕✕✕
960:□７×７＝４□□
23/07/29 08:55:49.09 GgG8mlqj.net
国際的にSashimiが正式名になってるみたいだけど誰が命名したんだろ