このゲームの複雑さは何ですか？
これは私の前の質問の一般化です。 してみましょう一部のOracleへの質問をすることができます多項式時間決定論マシンである。最初はは空ですが、これは以下で説明するゲームの後で変更できます。ましょういくつかの文字列です。MMMAAAAAAxxx 次のアリスとボブのゲームを考えてみましょう。最初、アリスとボブはそれぞれとドルを持っています。アリスはを望み、ボブは望んでい。mAmAm_AmBmBm_BMA(x)=1MA(x)=1M^A(x)=1MA(x)=0MA(x)=0M^A(x)=0 ゲームのすべてのステップで、プレーヤーは文字列を追加できます。これはドルかかります。ここで、は多項式時間の計算可能な関数です。また、プレイヤーは自分のステップを逃す可能性があります。yyyAAAf(y)f(y)f(y)f:{0,1}∗→Nf:{0,1}∗→Nf: \{0,1\}^* \to \mathbb{N} プレーが終了するのは、両方のプレーヤーがすべてのお金を費やした場合、または一部のプレーヤーが負けのポジション（現在の値で定義される）にあるときにステップを逃した場合です。MA(x)MA(x)M^A(x) 質問：与えられたため、この試合の勝者を定義する問題であり ありますM,f,x,mA,mBM,f,x,mA,mBM, f, x, m_A, m_B EXPSPACE-完全なタスク？ は（に属して）多項式の長さの文字列のみを要求できるため、AliceまたはBobがさらに長い文字列を追加しても意味がないことに注意してください。したがって、この問題はEXPSPACEにあります。 MMMAAAAAA 前の質問では、すべての文字列を追加すると1ドルかかります（つまり、）。次に、Lance Fortnowが示したように、このゲームはEXPHに属し、場合はPSPACEにます。 AAAf≡1f≡1f \equiv 1mA=mBmA=mBm_A = m_B