এই গেমটি কি এক্সপাসেস-সম্পূর্ণ?

Question

যাক একটি বহুপদী সময় নির্ণায়ক মেশিন যে কিছু ওরাকল থেকে প্রশ্ন করতে পারেন হতে । প্রাথমিকভাবে খালি তবে নীচে বর্ণিত একটি গেমের পরে এটি পরিবর্তন করা যেতে পারে। এক্স কিছু স্ট্রিং হতে দিন ।$M$$A$$A$$x$

নিম্নলিখিত অ্যালিস এবং বব গেমটি বিবেচনা করুন। প্রাথমিকভাবে, অ্যালিস এবং ববের যথাক্রমে এবং এম বি ডলার রয়েছে। এলিস এম এ ( এক্স ) = 1 চায় এবং বব এম এ ( এক্স ) = 0 চায় ।$m_A$$m_B$$M^A(x)=1$$M^A(x)=0$

গেমের প্রতিটি পদক্ষেপে একজন খেলোয়াড় তে একটি স্ট্রিং যুক্ত করতে পারে ; এটির দাম এক ডলার। এছাড়াও কোনও খেলোয়াড় তার পদক্ষেপ মিস করতে পারে।$A$

উভয় খেলোয়াড় যদি সমস্ত অর্থ ব্যয় করে বা যদি কোনও খেলোয়াড় তার হারানো অবস্থায় ( এর বর্তমান মান দ্বারা সংজ্ঞায়িত হয় ) পদক্ষেপ না হারিয়ে থাকে তবে খেলাটি শেষ হয় ।$M^A(x)$

প্রশ্ন: প্রদত্ত হ'ল এই গেমের বিজয়ীর সংজ্ঞা দেওয়ার সমস্যাটি কি?$M, x, m_A, m_B$

এক্সপাসে - অসম্পূর্ণ কাজ?

লক্ষ্য করুন (একাত্মতার জন্য অনুরোধ করতে পারেন একটি বহুপদী দৈর্ঘ্য মাত্র স্ট্রিং) তাই কোন মানে এলিস বা বব আরো আর স্ট্রিং যোগ করার জন্য একটি । সুতরাং, এই সমস্যাটি এক্সপাসে রয়েছে । $M$$A$$A$

Answer 1

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