>>82
将棋はループはないが多項式じゃ無理だぞ。
EXPSPACEあれば十分だけど、EXPやNEXPで解けるのかな。