PGSolverとか

研究 主テーマ

期末に突入したので、Ｄ論が書けません。。なぜかPGSolverに現実逃避
danilewskiの例
Piotr Danilewski's Slides Page18/54
http://react.cs.uni-sb.de/fileadmin/user_upload/react/gamesseminar08/Danilewski-Slides.pdf

がうまくできないと、問い合わせてみたら速攻で返事が返ってきた。
PGSolverはmax-gameだった(infinitely often現れるプライオリティの最大で判断）
というわけで、p=even upper bound of priorityから

new_priority = p - old_priority

をすることによりmin-gameからmax-gameへ変換できて

parity 7;
1 3 1 3,2 "q1";
2 2 1 3,4 "q2";
3 0 0 1,6,5 "q3";
4 1 0 5,7 "q4";
5 1 0 2 "q5";
6 3 1 3,7 "q6";
7 0 0 6 "q7";

以下の正解が得られました。

Player 0 wins from nodes:
{1,2,3,4,5}
with strategy
[3->5,4->5,5->2]
Player 1 wins from nodes:
{6,7}
with strategy
[6->7]