3
क्या TQBF की यह भिन्नता अभी भी PSPACE-complete है?
यदि यह निर्धारित किया जाए कि मात्रात्मक बूलियन फॉर्मूला क्या है ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), हमेशा सच का मूल्यांकन एक शास्त्रीय PSPACE- पूर्ण समस्या है। इसे वैकल्पिक चाल के साथ दो खिलाड़ियों के बीच खेल के रूप में देखा जा सकता है। …