23/06/21 07:34:12.74 lvVa1Hh0.net
>>919
全て広義の摩天楼の範囲内だね
だから問題の難易度はやさしめ
広義の摩天楼とは同じ見つけ方で見つかる以下の一連の親戚筋で
今回使わない手も含めて
・摩天楼の高さが同じならX-wing
・摩天楼の高さが異なるならSashimi X-wingすなわちSkyscraper
・摩天楼の高い側は集団でもよくてFinned X-wing
・摩天楼の高さが低すぎたら中継ぎしてもよくて2-2-2 SwordfishおよびそのSashimiとFinned
これらは全て1つ目の如意棒の発見がスタート
地面が揃っている2つ目の如意棒があればよくて2つ目は高い側が集団でもOK
高さが足りない時は3つ目の如意棒を使って中継ぎして伸ばしてもOK
つまり平行した如意棒にだけ注目すればよいため初心者でも探すのが容易です
922:□７×７＝４□□
23/06/21 08:08:38.38 KxYlTblb.net
問題はやさしめ
923:□７×７＝４□□
23/06/23 21:13:09.07 21Gds/UU.net
摩天楼(高層ビル)はXY-wingなどより楽に探しやすいけと
市販の本にあまり出てこないせいで慣れてる人が少なくて調べようとしないことも多くね？
924:□７×７＝４□□
23/06/24 14:59:46.77 jk2RG+no.net
>>919
3つのnaked pairで2-2-2 swordfishなので見つけやすかった
925:□７×７＝４□□
23/06/25 16:11:03.47 BqOUHS/5.net
>>921
その探索の時に2-2-3 swordfishも見つかる
高層ビルの地面と二つのビルの各高さの3箇所にあれば成立
ズレていたりオマケがあっても刺身やヒレ付きで成立
926:□７×７＝４□□
23/07/08 10:50:06.84 lz1dHgC1.net
2-String-KiteとTurbot Fishは同じもの？
927:□７×７＝４□□
23/07/09 01:06:11.86 PFjx6dWy.net
４マスで形成されるシングルチェーンがヒラメ。
・高層ビル 縦横縦（めっちゃ出てくる）
・２弦カイト 縦斜横（ごくまれに出てくる）
・残りパターン 縦横斜（超レア）
２弦カイトで縦横が交わる形の場合、両端から同時に見える候補を消去、
この線もなぞると魚の形に見える。
パターンを想像しやすいものが、名称としては優秀だと思うんだけど、
HoDoKu でヒラメを設定しても、高層ビルと２弦カイトが優先されるから、
残りの縦横斜パターンだけが検出されて、形を想像しにくい。
928:□７×７＝４□□
23/07/09 03:30:58.29 aLXTBHNn.net
集合で考えると部分集合だね
Finned Mutant X-Wing ⊃ Turbot Fish ⊃ 2-String-Kite
929:□７×７＝４□□
23/07/15 21:59:35.31 /fmtdNTi.net
本屋で興味深い市販本を見つけた
プロ仕様難問ナンプレ 583円(税込) 発売日2023/07/05
URLﾘﾝｸ(hondana-image.s3.amazonaws.com)
この表紙の問題はどうでもいい簡単な問題だけど
途中の問題から大量にヒントが「この問題は仮定法を使用します。」となってる
仮定法は理詰めとしては当然アウトなんだけど
もしかするとこれは表向きのヒントかもしれないことがわかってきた
実際にそれらの問題を普通に理詰めで解いていくと
skyscraperやfinned x-wingやsashimi swordfish(2-2-2)やBUGなど
知っていれば誰でも見つけやすい中級者向けの方法で解ける
つまり初級者向けの方法しか使わない従来の市販本と一線を画している
それらの理詰めの説明が面倒だから
表向き「この問題は仮定法を使用します。」と書いているのではないか？
深読みし過ぎだろうか
930:□７×７＝４□□
23/07/16 09:36:21.30 9Ul/RpZn.net
仮定法を理詰めとしては当然アウトとは考えてないだけでは？
931:□７×７＝４□□
23/07/16 15:36:53.45 mamkWkfl.net
URLﾘﾝｸ(i.imgur.com)
恥ずかしながらテンプレ的なものが見つからなかったので直で失礼します
次の一手を指南お願いします
932:□７×７＝４□□
23/07/16 17:23:16.46 Q0uXJKyN.net
基本romなので技の名前とかはわからないが
2段目の左から23番目のどちらかに9が入らないと最下段が破綻する
933:□７×７＝４□□
23/07/16 18:31:29.21 phqIeYah.net
>>932
r29c23の4つのマスが1-7-3-9-1の回転長方形だね
でもそれは初心者向けではないので
>>931
r27c1の2つのマスで1と3の隠れ二国同盟がおすすめ
934:930
23/07/16 21:42:21.83 IFTiyXi/.net
隠れ同盟知りもしませんでした有難うございました
935:□７×７＝４□□
23/07/17 09:36:14.73 kiegv0Gg.net
「仮定法」って言い方がよくないよな
「仮定法」と呼ばれて嫌われているものは「当てずっぽう」が正しい
936:□７×７＝４□□
23/07/17 21:31:41.26 bIF5aWhn.net
仮定法というのは
例えばあるマスの候補が7と8だけの時に
たまたま7を選ぶと進んでいって最後まで解けちゃった
たまたま8を選ぶと進んでいったけど矛盾が出ちゃった
この理解で正しい？
なんか丁半博打だね
一方で理詰めだと先に数字が確定しちゃう
だから理詰めだと仮に数字を置いてみるということをしなくて済む
この違いが大きいのではないかな
937:□７×７＝４□□
23/07/17 23:58:53.46 qBi/HoQl.net
直接解けるか矛盾になるかの２択しかないんだから有力といえば有力。
数学の世界だって背理法はふつうに認められているのだから問題ない。
できればまぐれ当りせずに一発で矛盾を引き出してほしいものではあるがｗ
938:□７×７＝４□□
23/07/18 00:14:29.38 qs0vhNOX.net
仮定法や仮置きは有力な方法ではない
どんどん進んで最後まで解決してしまったら運任せでパズルとはいえないし
どんどん進んで終盤になってようやく矛盾することもあるし
すぐに解決もせず矛盾もせず行き詰まることも多くて再び2択や3択や4択を運任せで繰り返すことも多い
運任せのダメな方法と明言できる
理詰めを使うべき
939:□７×７＝４□□
23/07/18 02:35:38.92 Wtjz2+Dy.net
こんな感じ？
クイズ「2択の問題です。(クイズ略...)はAでしょうか？Bでしょうか？」
オレ「イチかバチかだ。Aだ！」
クイズ「ブブー！残念、不正解！」
オレ「Aじゃないってことは…わかった！Bだ！」
クイズ「正解です！お見事！」
オレ「仮定法を使えば楽勝だぜ！」
940:□７×７＝４□□
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が正式名になってるみたいだけど誰が命名したんだろ