3
টিকিউবিএফের এই প্রকরণটি কি এখনও পিএসপিএসিই-সম্পূর্ণ?
কোনও পরিমাণযুক্ত বুলিয়ান সূত্র যেমন সিদ্ধান্ত নিচ্ছেন ∀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- সম্পূর্ণ সমস্যা। এটি দুটি খেলোয়াড়ের মধ্যে একটি বিকল্প পদক্ষেপের সাথে খেলা হিসাবে দেখা যেতে পারে। প্রথম প্লেয়ার বিজোড়-সংখ্যাযুক্ত ভেরিয়েবলের সত্য মান নির্ধারণ করে এবং …