স্বেচ্ছাসেবী পি-ডিগ্রিগুলিতে শব্দের সমস্যা নিয়ে এমন গ্রুপ রয়েছে কি?

Question

এটি দীর্ঘদিন ধরেই পরিচিত ছিল যে কোনও পুনরায় টিউরিং ডিগ্রি দেওয়া হলে একটি চূড়ান্তভাবে উপস্থাপিত গোষ্ঠী রয়েছে যার শব্দ সমস্যাটি সেই ডিগ্রীতে। আমার প্রশ্ন হ'ল একই জিনিস নির্বিচারে বহুপদী সময় টুরিং ডিগ্রির ক্ষেত্রে সত্য । বিশেষ করে, একটি নির্ধার্য সেট দেওয়া , সেখানে শব্দ সমস্যা, সঙ্গে একটি finitely উপস্থাপন গ্রুপ বিদ্যমান, না ওয়াট , যেমন যে ওয়াট ≤ পি টি এ এবং একটি ≤ পি টি ডব্লিউ ? আমি পুনরাবৃত্তভাবে উপস্থাপিত উপস্থাপিত চূড়ান্ত শিথিল করতে ইচ্ছুক হবে।$A$$W$$W\leq_T^P A$$A\leq_T^P W$

আমি সন্দেহ করি যে উত্তরটি হ্যাঁ, এবং আমি অন্যকে শুনেছি তারা এটি কোথাও পড়েছে, তবে আমি কোনও রেফারেন্স তাড়া করতে সক্ষম হইনি।

Comments

এছাড়াও, যদি কেউ এর উপর একটি গ্রুপ-তত্ত্ব বা গোষ্ঠী সম্পর্কিত ট্যাগ আটকে রাখতে পারে তবে আমি এটির প্রশংসা করব।

— অবারে দা কুনহা

আপনি সঠিক. সংশোধন করা হয়েছে।

— অউব্রে দা কুনহা

Answer 1

$\mathsf{NP}$

$L \subseteq A^*$$A$$G$$G$$L$.

$\leq_T^p$