sdk0000 のバックアップ(No.10)

[ トップ | 一覧 | 単語検索 | 最終更新 | バックアップ | ヘルプ ]

• バックアップ一覧
• 差分 を表示
• 現在との差分 を表示
• ソース を表示
• sdk0000 へ行く。
  • 1 (2019-04-01 (月) 17:41:23)
  • 2 (2019-04-01 (月) 19:44:57)
  • 3 (2019-04-01 (月) 21:49:13)
  • 4 (2019-04-02 (火) 07:07:38)
  • 5 (2019-04-02 (火) 08:50:03)
  • 6 (2019-04-02 (火) 16:46:00)
  • 7 (2019-04-04 (木) 07:38:58)
  • 8 (2019-04-04 (木) 15:43:10)
  • 9 (2019-04-04 (木) 15:43:10)
  • 10 (2019-04-08 (月) 19:39:51)

---

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

• (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問

   

Modified by K-tan

PukiWiki 1.4.6 Copyright © 2001-2005 PukiWiki Developers Team. License is GPL.
Based on "PukiWiki" 1.3 by yu-ji
Powered by PHP 5.6.40

HTML convert time to 0.010 sec.