वहाँ मौजूद है , एक NP- या पी-पूरा भाषा है जो समरूपता समूहों में से कुछ परिवार है (या groupoid सेट पर है, लेकिन फिर एल्गोरिथम सवाल अधिक खुला हो जाते हैं) (बहुपद समय में) अभिनय जैसे कि कुछ , जैसे कि बड़ा पर्याप्त के लिए और कुछ , और इस तरह कि दिया उत्पन्न किया जा सकता कुशलतापूर्वक?जी एन एल एन = { एल ∈ एल | | ल | = एन } | एल एन / जी एन | < एन सी एन सी जी एन एन
यहाँ बिंदु यह है कि यदि कोई इस तरह की भाषा / समूह पाता है, और यदि कोई व्यक्ति में बहुपद समय समूह क्रियाओं के तहत सामान्य रूप पा सकता है , तो कोई को एक घटाकर घटा सकता है। किसी भी लिए सामान्य रूप की गणना करके विरल भाषा , उस या अर्थ है। L P T T I M E N P = N P L = P, इस पर निर्भर करता है कि आपने शुरू में क्रमशः एक एनपी- या पी-पूर्ण भाषा को चुना था। तो ऐसा लगता है कि या तो विरल कक्षाओं वाले ऐसे समूह नहीं हैं या ऐसे सभी समूहों के लिए सामान्य रूपों की गणना करना कठिन है या इनमें से कोई एक परिणाम होगा जो मुझे लगता है कि हममें से अधिकांश को विश्वास नहीं है। यह भी प्रतीत होता है कि यदि कोई सामान्य रूपों के बजाय कक्षाओं के समतुल्य संबंध की गणना कर सकता है, तो भी कोई व्यक्ति इसे गैर-समान रूप से, । कुछ अन्य लोगों की आशा इस पर विचार है।