সেখানে অস্তিত্ব আছে , একটি NP- বা পি-সম্পূর্ণ ভাষায় প্রতিসাম্য দলের কিছু পরিবার আছে (অথবা groupoid সেটে, কিন্তু তারপর আলগোরিদিমিক প্রশ্ন আরো খোলাখুলি হয়ে) (বহুপদী সময়) ভারপ্রাপ্ত যেমন কয়েকটি কক্ষপথ রয়েছে, যেমন বড় যথেষ্ট জন্য এবং কিছু , এবং যেমন যে G_n দেওয়া উত্পন্ন করা যেতে পারে এন দক্ষতার?
এখানে বিন্দু যে যেমন এই হিসাবে এক খুঁজে বের একটি ভাষা / গ্রুপ, এবং যদি এক বহুপদী সময় গ্রুপ কর্মের অধীন স্বাভাবিক রূপ জানতে পারেন , তারপর এক কমে যায় একটি দ্বারা একটি থেকে হ্রাস যে কোনও প্রদত্ত এন এর জন্য সাধারণ ফর্মটি গণনা করে বিচ্ছিন্ন ভাষাটি বোঝায় যে বা , শুরুতে আপনি যথাক্রমে এনপি- বা পি-সম্পূর্ণ ভাষা চয়ন করেছেন কিনা তার উপর নির্ভর করে। সুতরাং দেখে মনে হয় হয় হয় বিচ্ছিন্ন কক্ষপথের সাথে এমন কোনও দল নেই বা সাধারণ ফর্মগুলি গণনা করা এই জাতীয় সমস্ত দলের পক্ষে শক্ত বা এই ফলাফলগুলির মধ্যে একটি হ'ল যা আমি মনে করি আমাদের বেশিরভাগ বিশ্বাস করে না। এছাড়াও মনে হবে যে যদি এক স্বাভাবিক রূপ বদলে কক্ষপথ ধরে সমানতা সম্পর্ক গনা করতে পারেন এক এখনও এই nonuniformly না পারে, । আশা করছি কিছু অন্যান্য ব্যক্তির এ সম্পর্কে চিন্তাভাবনা রয়েছে।