वास्तव में, मुझे लगता है कि यहां की घटना यह है कि जीआई कुछ अर्थों में बहुत अधिक संरचना है। यह कुछ तरह से अपने गवाहों के समूह-सिद्धांत की प्रकृति है, जो GI के लिए एल्गोरिथ्म की ओर जाता है और तकनीकी सबूतों के टुकड़ों में से एक है, क्यों लोगों का मानना है कि GI नहीं है । यहाँ मेरी सोच यह है कि इतनी संरचना है कि समस्या "बहुत कठोर" है मनमाने ढंग से समस्याओं को एनकोड करने के लिए ।N P P N Pसी ओ ए एमएन पीएन पी
इस पर कब्जा करने का एक और तरीका यह है कि जीआई की गिनती और निर्णय संस्करण समतुल्य हैं, जबकि सभी ज्ञात समस्याओं के लिए यह मामला नहीं है जब तक कि बहुपद पदानुक्रम ढह नहीं जाता। इसे संरचना / अतिरेक के कुछ पहलू को कैप्चर करने के रूप में भी देखा जा सकता है: असंरचित, सामान्य समस्याओं के लिए, गणना समाधान यह बताने की तुलना में बहुत कठिन लगता है कि क्या कोई मौजूद है, जबकि जीआई की व्यापक संरचना किसी को यह दिखाने की अनुमति देती है कि गिनती और निर्णय बराबर हैं।एन पी
(दूसरी ओर, समूह समरूपता जीआई की तुलना में और भी अधिक संरचित लगती है , फिर भी समूह आइसो के लिए कोई गिनती-टू-निर्णय कमी ज्ञात नहीं है। शायद यह कहता है कि जीआई संरचना के "न्यायसंगत" स्तर के समान है - बहुत संरचित। एनपी-पूर्ण हो, लेकिन गिनती-से-निर्णय में कमी की अनुमति देने के लिए पर्याप्त रूप से असंरचित हो।)