নন্ট্রাইভিয়াল গ্রাফ অটোমোরফিজমের জটিলতার সীমাবদ্ধতা কী

কোনও সাধারণ পুনর্নির্দেশিত গ্রাফ জি দেওয়া, জি-এর ননক্রিভাল (অ-পরিচয়) স্বশাসন রয়েছে কিনা তা নির্ধারণ করা অনর্থক। তবে এই সিদ্ধান্ত সমস্যার উপরের / নিম্ন সীমাতে ফলাফল কী?

cc.complexity-theory graph-isomorphism automorphism

— চার্লস ইউ
সূত্র

গ্রাফের কোনও নন্ট্রাইভিয়াল অটোমর্ফিিজম রয়েছে কিনা তা নির্ধারণ গ্রাফ আইসোমর্ফিজমে কুক-হ্রাস (বহু-কালীন সময়কালীন) (গ্রাফের একজোড়া আইসোমরফিক হয় কিনা তা নির্ধারণ করুন) (পাঠকের জন্য অনুশীলন)। এটি গ্রাফ আইসোমরফিজমের সমতুল্য বলে জানা যায় না।

পরিবর্তে, গ্রাফ isomorphism সময় এবং । বিশেষত, বহুপক্ষীয় শ্রেণিবিন্যাসের পতন না হওয়া পর্যন্ত এটি সম্পূর্ণ নয় । $2^{\tilde O(\sqrt{n})}$ $NP \cap coAM$ $NP$

— জোশুয়া গ্রোচো
সূত্র

সুতরাং ? আমি ভেবেছিলাম অনেকগুলি হ্রাস করে । আমি কি ভূল? এটি কি known known হিসাবে পরিচিত বা এটিও নাগালের বাইরে?

G A \in P^{G I}

$GA\in P^{GI}$

G A

$GA$

G I

$GI$

G I \in B P P^{G A}

$GI\in BPP^{GA}$

— টি ....