発表資料(ppt)-伊藤大雄研究室.pptVIP

重み付き半順序集合ゲームの必勝法 京都大学 情報学研究科 通信情報システム専攻 高田智史 joint work with 伊藤大雄　中村義作 発表構成 １．組み合わせゲーム理論 ２．半順序集合ゲーム ３．単位毒半順序集合ゲーム ４．重み付き半順序集合ゲーム 　4.1.COST 　4.2.毒の経路ゲーム 　4.3.薬と毒の経路ゲーム ５．まとめ 発表構成 １．組み合わせゲーム理論 ２．半順序集合ゲーム ３．単位毒半順序集合ゲーム ４．重み付き半順序集合ゲーム 　4.1.COST 　4.2.毒の経路ゲーム 　4.3.薬と毒の経路ゲーム ５．まとめ Nim 複数の石からなる山がいくつか与えられる。 ２人のプレイヤーが交互に石を取っていく。 －いくつ取っても良いが、１つの山からしか取れない。 最後の石を取ったプレイヤーの勝ち 排他的論理和による必勝手順[Bouton 1901] 組み合わせゲーム理論 Sprague-Grundy定理[Sprague 1935-1936; Grundy 1939] －全ての組み合わせゲームはNimの山で表せる。 適用分野 －誤り訂正符号 －人工知能（例：碁の終盤局面） －ゲーム理論 －計算量理論 －アルゴリズム（例：必勝法） 発表構成 １．組み合わせゲーム理論 ２．半順序集合ゲーム ３．単位毒半順序集合ゲーム ４．重み付き半順序集合ゲーム 　4.1.COST 　4.2.毒の経路ゲーム 　4.3.薬と毒の経路ゲーム ５．まとめ 半順序集合ゲーム ゲームの盤面としてdag（非閉路的有向グラフ）が与えられる。 交互に節点を１つずつ選んでいく。 選ばれた節点の子孫が消える。 最後の節点を取ったプレイヤーの勝ち。 半順序集合ゲーム ニムはdag（非閉路的有向グラフ）で表現できる。 半順序集合ゲーム 半順序集合ゲームは毒節点で表現できる。 －例：Chomp 我々の拡張（１） 毒節点がdagの任意の場所に複数あるものを考える。 両者が整数値の体力を持つ。 毒を取った数だけ体力が減る。 体力が負になったプレイヤーの負け。 （毒節点の数）＞（２者の体力の和） →引き分けは起こらない 我々の拡張（２） 毒節点が正整数値の重みを持ち、その数だけ体力が減るとする。 非毒節点は重み０の節点として考えることができるため、全ての節点が整数値の重みを持つとする。 （重みの和）＞（２者の体力の和） →引き分けは起こらない。 我々の拡張（２） 毒節点が正整数値の重みを持ち、その数だけ体力が減るとする。 非毒節点は重み０の節点として考えることができるため、全ての節点が整数値の重みを持つとする。 （重みの和）＞（２者の体力の和） →引き分けは起こらない。 我々の拡張（２） 毒節点が正整数値の重みを持ち、その数だけ体力が減るとする。 非毒節点は重み０の節点として考えることができるため、全ての節点が整数値の重みを持つとする。 （重みの和）＞（２者の体力の和） →引き分けは起こらない。 名前の定義 各節点に整数値の重みがあるものを重み付き半順序集合ゲームと呼ぶ。 重みが｛0,1｝であるものを単位毒半順序集合ゲームと呼ぶ。 今回の結果（１） 単位毒半順序集合ゲームにおいて、どちらのプレイヤーが必勝手順を持つか判別できる方法を得た。 今回の結果（２） dagがpathである重み付き半順序集合ゲーム（重み付き経路ゲーム　と呼ぶ）において、多項式時間必勝手順を得た。 発表構成 １．組み合わせゲーム理論 ２．半順序集合ゲーム ３．単位毒半順序集合ゲーム ４．重み付き半順序集合ゲーム 　4.1.COST 　4.2.毒の経路ゲーム 　4.3.薬と毒の経路ゲーム ５．まとめ 単位毒半順序集合ゲーム 各節点に{0,1}の重みがついている。 両者が整数値の体力を持つ。 取った重み和だけ体力が減る。 体力が負になったプレイヤーの負け。 （毒節点の数）＞（２者の体力の和） →引き分けは起こらない 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 単位毒半順序集合ゲーム 我々は以下の結果を得た。 発表構成 １．組み合わせゲーム理論 ２．半順序集合ゲーム ３．単位毒半順序集合ゲーム ４．重み付き半順序集合ゲーム 　4.1.COST 　4.2.毒の経路ゲーム 　4.3.薬と毒の経路