sdk0000 の編集

* 川合秀実の数独研究に関するドキュメント
-(by [[K]], 2019.04.01)

** 概要
-このドキュメントは私の数独に関する研究をまとめたものです。

-全体としては、
--（数独の難問探しという）シンプルだが奥が深い問題
--（最初はほとんど）どこから手を付けたらいいのかわからない
--途中、あまり正確ではない評価指標に惑わされ（でも初期のころには十分に有効な道しるべだった）
--しかしやがて自分なりの評価手法を何とか掴み取る
--ついには自分で納得のいく説明ができるところまでは来た
-話です。

** もくじ
-[[sdk0001]]:
--(1) はじまり （2013年の7月ごろ）
--(2) gsf's rating 利用以前
--(3) gsf's -q2 rating メインの時期へ

-[[sdk0002]]:
--(4) 富士型 （2015年07月ごろ）
--(5) 数独の同値変形について
--(6) 総ヒント数=17はそんなに難しくない

-[[sdk0003]]:
--(7) 御嶽型
--(8) 阿蘇型
--(9) 妖精型 （2016年05月ごろ）
--(10) Exocetショック （2017年02月ごろ）

-[[sdk0004]]:
--(11) sc125f （2018年02月ごろ）

** 結果の要約
-2013年07月ごろから「世界一難しい数独の問題を作る」ことを目標に、東京大学の渡辺さんと一緒に数独の研究をしてきました。
-2018年02月ごろに、任意の数独の問題の難易度評価をするためのアルゴリズムsc125fを考案して、やっと難しい問題を探す準備が整いました（私は既存指標には満足できなかったのです）。
-その後、超難問が持っている固有のパターンを見いだすことに成功し、それに類似する問題を探すという手法で、新しい超難問をいくつか見つけたものの、「世界一」の更新はまだできていません。
 #01: 000000005020004070007090800000001000006050003040203000009000508070000010800030607  sc125=29352 (114:168) 二択数=3 難問集より
 #02: 000006000007100006860030000006500070000002061090060400300090600640000800002600050  sc125=28319 (110:159) 二択数=4 難問集より
 #03: 000000001000002030000040506000003080009010600020700000006050400070800000105000009  sc125=27311 (106:175) 二択数=6 難問集より
 #04: 003050009400000000080007100000600800300090002000001070504030020060000000032000005  sc125=27058 (105:178) 二択数=7 難問集より
 #05: 000000001000003020000060405000002080009040100030700000004050006070800000105000900  sc125=27052 (105:172) 二択数=5 難問集より
 #06: 000000001000002030004050600000003007050040800700090020060080000085600900107000000  sc125=26794 (104:170) 二択数=6 難問集より
 #07: 000000001000902030006040500070006090001070800020809000007090000080300060500000004  sc125=26787 (104:163) 二択数=5 川合が発見[2019.03.01]
 #08: 000000000000001002003040050030006007010203000800090030060700003305000800400030090  sc125=26549 (103:181) 二択数=7 難問集より
 #09: 000000001000003020000060405000002080009040500030700000004010600070800000501000009  sc125=26542 (103:174) 二択数=6 難問集より
 #10: 000004005000007010000380400009040300008290000050006000002400800010000007900000060  sc125=26539 (103:171) 二択数=5 難問集より
 #11: 000200000000001023002040500020006007010302000800090200060700002205000080400020900  sc125=26539 (103:171) 二択数=3 難問集より
 #12: 980700600500090000004000090300050000020800007000000100060100002000200800000030040  sc125=26301 (102:189) 二択数=5 難問集より
 #13: 000000006020004070007090800000001000006050003040203000009000508070000010800030607  sc125=26285 (102:173) 二択数=5 難問集より
 #14: 000000012000003400005040630004007300010800000900000001006005070020900003800070000  sc125=26284 (102:172) 二択数=5 難問集より
 #15: 980000000007900600000050000700400900006030020000005001070500800004010050000002003  sc125=26039 (101:183) 二択数=6 難問集より
 #16: 000000001000002030004050600000001070070000002800040900037005000608900500900080000  sc125=26037 (101:181) 二択数=4 難問集より
 #17: 001060007020000030400000608000502000900080004000300000009000706050000000708010900  sc125=26032 (101:176) 二択数=2 川合が発見[2019.03.15]
 #18: 000000001000002030004050600000001072070005000800040900037000000500060000609500800  sc125=26030 (101:174) 二択数=6 難問集より
 #19: 090400700408000039000000024030900070000050000100006900500008000040300007006010000  sc125=26030 (101:174) 二択数=6 難問集より
 #20: 000000003000004060000020105000006070009010500040800000001030200080700000305000009  sc125=26029 (101:173) 二択数=6 難問集より
 #21: 980700600700090080005000007600900040090050003002001000040800070000020001000003000  sc125=26026 (101:170) 二択数=5 難問集より
 #22: 000000001002003040050060700000002010003000084600800900004001050090700000800050000  sc125=26019 (101:163) 二択数=5 難問集より
 #23: 020400000007009000600030500000000000004001090800000301500060003000010608006700020  sc125=25779 (100:179) 二択数=5 難問集より
 #24: 001060007020000030400000608000302000900080004000500000009000706050000000708010900  sc125=25777 (100:177) 二択数=2 川合が発見[2019.03.15]
 #25: 000000001002003000040050060000070015001800970070000806009008000010060007300200000  sc125=25772 (100:172) 二択数=8 難問集より
 #26: 000000012000013040001200500004000005060007000830090000006400050090086000700000600  sc125=25770 (100:170) 二択数=5 難問集より
 #27: 000000001002003000040050060000040015070000806500800900009008000010060007300200000  sc125=25767 (100:167) 二択数=6 難問集より
 #28: 000002001030000040005040600000600050002030900600007008009070400070100000800003007  sc125=25766 (100:166) 二択数=7 川合が発見[2018.12.04] 
 #29: 100400000000009002080030004200070003060000800500001020000000300004500090070060008  sc125=25761 (100:161) 二択数=8 難問集より
 #30: 000000012003004000050060700000003001004000025800500900002001060060800000700090000  sc125=25760 (100:160) 二択数=5 難問集より
-また難問集（55万問）に含まれている問題を解析したところ以下の通りでした。二択数は容易に調べられる値ですが、難易度にかなり関係していると思われます。また二択数の小さい問題の希少性もわかると思います。
|二択数=1|二択数=2|二択数=3|二択数=4|二択数=5|二択数=6|二択数=7|二択数=8|二択数=9|
|RIGHT:0問|RIGHT:0問|RIGHT:23問|RIGHT:107問|RIGHT:574問|RIGHT:1929問|RIGHT:5253問|RIGHT:12153問|RIGHT:22504問|

タイムスタンプを変更しない

* 川合秀実の数独研究に関するドキュメント
-(by [[K]], 2019.04.01)

** 概要
-このドキュメントは私の数独に関する研究をまとめたものです。

** もくじ
-[[sdk0001]]:
--(1) はじまり （2013年の7月ごろ）
--(2) gsf's rating 利用以前
--(3) gsf's -q2 rating メインの時期へ

-[[sdk0002]]:
--(4) 富士型 （2015年07月ごろ）
--(5) 数独の同値変形について
--(6) 総ヒント数=17はそんなに難しくない

-[[sdk0003]]:
--(7) 御嶽型
--(8) 阿蘇型
--(9) 妖精型 （2016年05月ごろ）
--(10) Exocetショック （2017年02月ごろ）

-[[sdk0004]]:
--(11) sc125f （2018年02月ごろ）

テキスト整形のルールを表示する