このゲームはEXPSPACE完全ですか？

してみましょう一部のOracleへの質問をすることができます多項式時間決定論マシンである。最初はは空ですが、これは以下で説明するゲームの後で変更できます。ましょういくつかの文字列です。A A $M$$A$$A$$x$

次のアリスとボブのゲームを考えてみましょう。最初、アリスとボブはそれぞれとドルを持っています。アリスはを望み、ボブはM A（x ）= 0を望んでいます。m B M A（x ）= $m_A$$m_B$$M^A(x)=1$$M^A(x)=0$

ゲームのすべてのステップで、プレーヤーは 1つの文字列を追加できます。これには1ドルかかります。また、プレイヤーは自分のステップを逃す可能性があります。$A$

プレーが終了するのは、両方のプレーヤーがすべてのお金を費やした場合、または一部のプレーヤーが負けの位置（現在の値で定義される）にあるときにステップを逃した場合です。$M^A(x)$

質問：与えられたこのゲームの勝者を定義する問題は、m Bは$M, x, m_A, m_B$

EXPSPACE-完全なタスク？

は（Aに属している場合は）多項式の長さの文字列のみを要求できるため、AliceまたはBobがAにさらに長い文字列を追加しても意味がないことに注意してください。したがって、この問題はEXPSPACEにあります。 $M$$A$$A$

$M^{\Sigma^*}(x)$$S$$S$$m_A$