タイトルの通りですが、Tokyo Doves の解析で使った Rust のコア部分を抽出して整理したものを crates.io に公開しました。URL は以下です。 https://crates.io/crates/tokyodoves使い方は上記ページにある Documentation のページに詳しめに書いたので、そ…

お久しぶりです。ここ数カ月いろいろバタバタしていて久しぶりの更新です。今回は Tokyo Doves の棋譜の記法について考えた案を紹介したいと思います。 ハトの種類の表記法 座標の表記法 操作の表記 棋譜の例 ハトの種類の表記法 ハトは6種類います。それぞ…

お久しぶりです。前回宣言したように、今回は後退解析についてお話ししたいと思います。 解析の進捗 後退解析とは？ 局面の分類 局面の分類の全列挙 Lose から Win を列挙する方法 Win から Lose を列挙する方法 まとめ 解析の進捗 本題に入る前に、現在の最…

引き続き Tokyo Doves の記事です。板についてきました。今回は詰み局面の全列挙の方法について紹介します。 詰み局面の定義 探索の方針 ハト配置の形状が与えられたときの詰み局面の全列挙 包囲度 詰み局面となるための必要条件 詰みのための必要条件の証明…

引き続き Tokyo Doves のシリーズです。今回は Tokyo Doves の実現可能局面数について見積もってみます。 実現可能局面数とは？ 実現可能局面数とは、実際にゲームの進行で実現しうる盤面の状態すべての数です。参考までに他のボードゲームの実現可能局面数…

あいかわらず Tokyo Doves の解析にドハマりしているぷりんです。 ゲームの進行について考察していると、以下の性質に気づきました。 手番で実行可能な手のうち、自滅しないものが必ず存在する。 (※千日手禁止ルール*1を採用しない場合) ここで「自滅する手…

先日ダイソーで「トウキョウのハト エサバ・バトル」(英語名 Tokyo Doves) というボドゲを買いました（こんなゲームです↓）。もちろん100円です*1。couple-game.netなんか以前ネット上でバズったゲームらしく、100円で買えるのが驚きなほど面白くて奥深いゲ…