オセロが解決されたとする論文 69
証明 部門より
オセロが解決されたとする論文が出たようだ。arXiv
全ての手を解析した訳ではなく、双方のプレイヤーが最善手を打つと引き分けになることを証明したらしい。
arXivに掲載されている論文は査読前なのでまだマユツバだが、マイルストーンになると良いですね。
オセロゲームには「10の58乗通り」の棋譜と「10の28乗通り」の局面があり、未だに計算機的に解決されていない複雑なゲームなのだそう。プリファードネットワークスのHiroki Takizawa氏は、オセロが両プレイヤーが完璧にプレイした場合に引き分けになることが計算上証明されたとする論文を発表した。研究では証明をおこなうために、大規模なデータセットを使用、2587の仮説が正しいことが証明されたと述べられている。論文ではオセロゲームを解き明かすことは、コンピュータ・サイエンス分野における壮大な挑戦の一つであるとしている(arXiv/a>、 論文[PDF])。