2006年今井研演习Ⅲ课题说明会-东京大学.PPT

関連研究の紹介 離散数学　 有向マトロイド実現可能性判定 ゲームツリーサーチ 計算量理論?暗号理論　 ゼロ知識証明 ゲーム理論 量子計算 対話証明?隠れ部分群問題?量子ウォーク 今井研 研究紹介有向マトロイドの実現可能性判定とその応用 中山裕貴 （博士３年） 森山園子 （助手） ゲーム、パズル 美添 二人ゲーム、パズルに関連する研究テーマ 探索アルゴリズム αβ、証明数サーチなどの研究 評価関数の研究(学習など) パズルの性質の研究 ソルバーの開発 計算量の研究 組合せゲーム理論など 今井研究室の関連研究 ゲームツリーサーチ AND/OR木探索アルゴリズムDf-pnの提案とその応用(長井 歩 2002) “Searching for Double Threats in Subproblems of the Game of Go” (美添2005) パズル/ゲームの計算量の解析 “ぷよぷよの全消し判定問題はNP完全” (牟田 2005) “Finding Yozume of Generalized Tsume-Shogi is Exptime-complete” (八登, 瀬田, 伊藤 2005) “Complexity and Completeness of Finding Another Solution and Its Application to Puzzles” (八登, 瀬田 2003) 宣伝 「詰将棋についてはコンピュータが人間を完全に凌駕した」 これは主にDFPN[長井 2002]によるものと言える 長井はIS19期で、今井研のOB 世界最強の詰碁ソルバーもDFPN-(r) [岸本 2005]がベース 岸本もIS19期 研究の背景 : ゲームプレイングプログラム/コンピュータの強さ チェッカー : CHINOOK (Jonathan Schaeffer) 1992, 1994にTinsleyと対戦 オセロ : Logistello (Michael Buro) 1996に世界チャンピオン村上に勝利 チェス : Deep Blue 1997にKasparovに勝利 中国将棋 チェスと将棋の中間の強さらしい 将棋 :激指、 YSS 、IS将棋、Bonanza… アマ五段クラス 角落ちでプロ(勝又五段)に勝利 アマ竜王戦ベスト16 (激指) 囲碁 甘く見て、アマ初段 αβの基本 mini-maxと同じ結果を返すことが保証される αカット、βカットにより探索が省略される 候補手が理想的な順番にソートされていれば、 探索ノード数は元のツリーのノード数のほぼsqrtになる 2倍深く読める [Knuth and Moore 1975] αβの進歩 探索アルゴリズム自体の進歩 PVS, MTD(f), … 評価関数の研究 学習など logistelloなどが有名 対αβ耐性(こんな言葉はありません、念のため) αβにやられてしまったゲーム チェッカー、オセロ、チェス、中国将棋、??? ギリギリ持ちこたえているゲーム 将棋 αβだけではどうにもならないゲーム 囲碁 ゲーム研究の意義 確かに、強くするのが研究目的であるが αβは凄いが、それだけをやっているわけではない それだけじゃつまらない 囲碁は難しいので、囲碁を強くすることができれば、自然と意義のある成果が生まれているはず 囲碁の難しさ 評価関数が存在することがαβの前提 囲碁には適切な評価関数が無い 静的に評価すると不正確 正確に評価するには探索が必要 現在、僕(美添)が取り組んでいるテーマ 単一の評価関数が作れない場合にどうやって探索を行うか 目指すものは、単純な評価関数の代わりに、いろいろ自動的に探索したり評価したりしてくれる枠組みを作ること 単純な評価関数の組み合わせで評価し、依存関係の解決をする 単純な評価値では無い、確率分布のようなものを元に探索する 副産物λDFPN Search Algorithm 目標達成までの「手数」を考慮した探索アルゴリズム 証明数を用いた探索アルゴリズムと、threatという考え方を用いたアルゴリズムの融合 囲碁の捕獲探索について、過去のアルゴリズムを凌駕する性能を発揮 論文執筆中???締め切りは6月30日 計算量理論?暗号理論 永岡　悟（M1） 高橋　敏明（M1） 上野　賢哉（M2） 今井研での最近の研究 確率的アルゴリズムの威力 素数判定問題（２、３、５、７、１１、１３???） Solovay Strassen 1977 Rabin 1980 無向グラフの連結性判定問題 Aleliunas, Karp, Lipton Lovasz Rackoff 1979 領域制約アルゴリズムの脱ランダム化 擬似乱数生成と