川合秀実の数独研究に関するドキュメント

  • (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
    0問0問23問107問574問1929問5253問12153問22504問

リロード   新規 編集 差分 添付   トップ 一覧 検索 最終更新 バックアップ   ヘルプ   最終更新のRSS
Last-modified: 2019-04-09 (火) 05:12:39 (190d)