「Nice Loop 例外条件」 及び 「Nice Loop 連鎖ルール」 によって 「Nice Loop」 が合致していたら、以下の定理が成立します。 ○定理／その��
「不連続 Nice Loop」 内で、不連続点のセル 「Ｘ」 に対するリンクが共に 「Weak inference」 であり、ラベルが共に 「Ａ」 であるならば、セル 「Ｘ」 に属する 「Ａ」 の候補数字を削除出来ます。
例えば下記のように、「Ｒ７Ｃ２」 と 「Ｒ７Ｃ６」 は 「Weak inference」 で、ラベルは 「−１」 を持ち、「Ｒ７Ｃ２」 と 「Ｒ２Ｃ２」 は 「Weak inference」 で、ラベルも 「−１」 を持っているので、「Ｒ７Ｃ２」 のセルに属する 「１」 の候補数字を削除出来ます。  ※「Nice loops for advanced level players - b/b plot」より
020618547704009008008000900030107050000006000040305010002000600400000005070963020 http://www.sudoku.com/boards/viewtopic.php?t=2143 次は、「成立する定理５／５」 です。m(_ _)m |
□ Nice Loop 解法
[ リスト ]
●おせっかいさん＞
そういえば、リンクを張っていなかったので、
今、直ぐ訂正しました。
どうも、すみませんでした。m(_ _)m
因みに、今度 「Nice Loop」 を使って、
実際に問題を解く方法を検討しています。
見に来てくれて、有難う御座いました！ ＼(^o^)／
2009/10/20(火) 午前 9:44
実際に問題を解くのは難しいです。
『「Weak inference」であり、ラベルが共に「Ａ」である不連続点のセル「Ｘ」』なる条件を満たすセルＸはこの例題において、延べ数が100をはるかに越えるのに気がつきました。エクセルのマクロの解法プログラムを作ったのですがとても時間がかかります。b/b plotを参考にしてもっと軽いプログラムにするつもりです。
2011/4/18(月) 午後 8:19 [ exc**_otak* ]
●exc**_otak*さん＞
軽くなる方法が出来たら、
是非教えてください。
お願いします〜！ m(_ _)m
2011/4/19(火) 午前 11:04
コメントありがとうございます。
定理／その�い鮖箸Δ砲枠�想を変えました。概要は次の通りです。
1)不連続nice loopになりうるstrong linkを見つけます。
たとえばr2c2=1=r2c7が相当します。linkはラベル１をもつことに着目します。候補の数が3以上のr2c2が末端セルです。
2)r2c2の候補「１」をfalseとします。
3)連鎖ルールに従いchainを延伸します。chainの中のcell「ｘ」が候補「１」をもちtrueであるとします。
4)r2c2と「x」から同時に見えるセルには候補値「１」は入らないはずです。
5)この例題では条件(1)に相当するstrong linkは27個です。
6)最初に考えた解法ではサーチする末端セル(link)は1000個くらいでした。
7)サーチ量が格段に少なくなり、軽くなりました。
2011/4/21(木) 午前 10:21 [ exc**_otak* ]
●exc**_otak*さん＞
この問題には、27個の「Strong link」があるんですね。
早速、「Strong link」を探してみます。(^_^)v
2011/4/21(木) 午後 6:55
少なくとも片方のセルが３個以上の候補をもつstrong linkが27個です。私は手作業で2つめまで探しましたがそれ以上はあきらめました。
両セルともbivalue cellであるstrong linkは10個です。でも末端にはならない筈なのでプログラムではサーチから外しました。
この解法によりr7c2<>2の他にr7c1<>3,r8c7<>1となると思いますがいかがでしょうか。
すべてのリンクがweak linkであるchainはxy_chainと同じになるのでこのプログラムでは対象外としました。
2011/4/21(木) 午後 11:11 [ exc**_otak* ]
●exc**_otak*さん＞
exc**_otak*さんさんは、
簡単に出来るんですね。
私では、探すまでに
時間が掛かってしまいます。
今でも、FlashのActionScriptを駆使して
作ろうと思っていますが、まだまだ出来ません。
頑張らなければなぁ、、、(^_^;)
2011/4/22(金) 午前 11:09
びーにぃさん、ほめて頂きありがとうございます。
エクセルは出力が容易なのが大きな利点で、計算過程をすべて出力できるのでプログラムの不具合を簡単にチェックできます。
2011/4/22(金) 午後 5:00 [ exc**_otak* ]
4/21 10:21コメントを次のように修正させて下さい。誤りがありました。
定理／その�い忙箸θ�想を変えました。
1)strong linkを見つけます。
たとえばr2c2=1=r2c7が相当します。linkはラベル１をもつことに着目します。
2)r2c2の候補「１」をfalseとします。
3)連鎖ルールに従いchainを延伸します。chainの中のcell「ｘ」が候補「１」をもちtrueであるとします。
4)r2c2と「x」から同時に見えるセルには候補値「１」は入らないはずです。
5)この例題ではstrong linkは37個です。(1),(2),(3)が成立すれば(4)は成立します。すなわち不連続nice_loopが存在することになります。
6)最初に考えた解法ではサーチする末端セル(link)は1000個くらいでした。すなわち不連続nice loopになりうるweak linkは数が多すぎてサーチするには余りに非効率です。
7)見直した解法ではサーチ量が格段に少なくなり、軽くなりました。
8)実践的な不連続nice loopのサーチ手法としてはこれでいいので
2011/4/22(金) 午後 7:14 [ exc**_otak* ]
●exc**_otak*さん＞
daigoさんのNice Loopから、
新しい方法が追加されました。
それが、「Advanced-Coloring」という解法です。
この方法と、上記の方法と似ている気がしました。
どれにしても、パソコンで簡単に処理できるけど、
人間ではとても無理だと思います。
（とても難しくて、まだ分かりませんが、、、）(^_^;)
※ミクシィの「Sudoku 数独」の
※「数独を解くソフト、問題を造るソフト。」トピックより。
※http://mixi.jp/view_bbs.pl?id=2805900&comm_id=225007&page=all
2011/4/23(土) 午前 11:08
コメントありがとうございます。
いただいた情報をもとにネット検索しましたが「Advanced-Coloring」について有用な情報を得ることができませんでした。ミシチャンやHodokuの解説記事も見ました。似てはいますが違うような気もしますし、よくわかりません。
いい加減なコメントですみません。
パソコンは迅速に処理してくれますが、プログラムコードを正しくつくることが必要です。私の場合バグが多く反省しています。また今回のように言葉では簡単のように見えますが、実際には数が多すぎてパソコンの処理能力を超えたりするのには驚きました。
2011/4/24(日) 午前 8:30 [ exc**_otak* ]
●exc**_otak*さん＞
daigoさんが作った「NumbeaPlace.lisp」で、
「Advanced-Coloring」の解法を使用して
パソコンで処理することは出来ますが、
実際にどうして解けるのかが
まだ解らないし不思議です。(^_^;)
2011/4/26(火) 午前 11:19
びーにぃさん
daigoさんの「NumbeaPlace.lisp」のコードや3D Medusa(翻訳).pdfも拝見しました。
私にとっては大変参考になりました。ありがとうございます。用語やコメントから察すると大まかには
1.b/bプロット法に忠実にstrong linkとbivalue cellを中心にリスト化し
2.連鎖ルールに従いリンクを結合する。必要によりweak linkを加えnice loop chainをつくる
3.定理１〜５に従い候補数を削除・絞り込み
のようにプログラム化しているように思えます。２以外の処理の流れは私も同じです。
実際にどのように処理しているかはわかりませんが、「Advanced Coloringでparityとして使用する色の定義。3色+デバッグ用1色の合計4色を使用する。」なる１文からするとadvanced coloringはtrue,false､不定を色で表現しているのでしょうか。ポイントのtrue,falseを色で区分けし、色が矛盾云々で候補削除はいい考えですね。
追記）4/21の「r7c1<>3,r8c7<>1となる」は誤りで
2011/4/27(水) 午後 5:47 [ exc**_otak* ]
●exc**_otak*さん＞
exc**_otak*さんは凄いですね。
私は「Advanced Coloring」で何となく解る部分はあるけど、
「X」で候補数字を削除出来る方法が２〜３つあるのに、
全く解りませんでした。
でも、解るまで楽しんで解こうと思います。(^_^;
2011/4/28(木) 午前 11:05
びーにぃさん
私は数独のプログラムを作って解くのが楽しいのでむためにやっています。いろいろな楽しみ方がありますね。
しかしNiceLoopは難しいです。
http://forum.enjoysudoku.com/nice-loops-for-advanced-level-players-b-b-plot-t2143.html
に掲載されている最初の例題をもとにNiceLoopのループの状態を
[r3c9]=3=[r8c9]・・・のように記載しようとプログラムを作り出しましたが、ループの構造が複雑過ぎて悪戦苦闘しています。
再帰プログラムのネストが深すぎるようでよくエクセルが暴走します。
2011/4/30(土) 午後 10:54 [ exc**_otak* ]
●exc**_otak*さん＞
確かに「Nice Loop」を考える前に、
実は「単独候補マス」から「X-Wing」まで処理しなければ、
次の「Nice Loop」に進むことが出来ません。
私も、「ActionScript3.0」で「単独候補数字」は作れたけど、
次の「単独候補マス」はまだまだ作れません。
でも、とても楽しんでいます。(^_^)v
2011/5/1(日) 午前 10:32
びーにぃさん
私も「単独候補マス」に大苦戦しました。
最初はプログラム作成の筋道をたてることができなかったのです。
ミシチャンの説明図に近いものをサブプログラムで作成し、複数の実例で詳細に検証して、まともに動くロジックをつくることができました。
実際のロジックはかなり煩瑣なものになってしまいました。
公開されている説明文は簡単ですが、実際はどうでしょうか。他の言語で記載されているプログラムコードを読み理解するのは困難なのでよくわかりません。気になっているのですが・・。
2011/5/2(月) 午前 10:48 [ exc**_otak* ]
●exc**_otak*さん＞
なるほど。
私の場合は、外部ファイル（***.as）で
「package { class hoge {〜} }」を作って、
この中で色々テストを繰り返しています。
とても難しいんですが、楽しんでいます。 (^^♪
2011/5/2(月) 午後 6:41