শিব Kintali শুধু একটি (কুল!) ঘোষণা করেছে যে ফলাফল প্রস্থের বেষ্টিত treewidth গ্রাফ এর জন্য গ্রাফ isomorphism হয় ⊕ এল -hard । অনানুষ্ঠানিকভাবে, আমার প্রশ্ন, "এটি কতটা কঠিন?"
আমরা জানি যে ইউনিফর্মালি এন এল ⊆ ⊕ এল , এই প্রশ্নের উত্তরগুলি দেখুন । আমরা এও জানি যে এটি অসম্ভাব্য যে ⊕ এল = পি , এর উত্তরগুলি দেখতে এই প্রশ্নের । এল = ⊕ এল থাকলে এটি কত অবাক হবে ? আমি অনেক লোককে বলতে শুনেছি যে L = N L যেভাবে পি = এন পি করবে তাতে হতবাক হবে না।
এর পরিণতিগুলি কী কী ?
সংজ্ঞা: হ'ল একটি নির্নায়ক ট্যুরিং মেশিন দ্বারা স্বীকৃত ভাষাগুলির সেট যা কেবলমাত্র "গ্রহণযোগ্যতা" পাথের (এমনকি শূন্য বা অ-শূন্য সংখ্যার গ্রহণযোগ্যতার পাথের তুলনায়) একক সংখ্যা বা বিজোড় সংখ্যার মধ্যে পার্থক্য করতে পারে, এবং যা লগারিদমিক স্পেসে কাজ করার জন্য আরও সীমাবদ্ধ।