मैं इस समस्या में दिलचस्पी रहा हूँ: एक अनिर्दिष्ट ग्राफ को देखते हुए , वहाँ के एक विभाजन है जी रेखांकन में जी 1 ( ई 1 , वी 1 ) और जी 2 ( ई 2 , वी 2 ) ऐसी है कि जी 1 और जी 2 आइसोमॉर्फिक हैं?
यहाँ को दो डिस्जॉइंट सेट E 1 और E 2 में विभाजित किया गया है । सेट वी 1 और वी 2 आवश्यक रूप से असहमति नहीं है। ई 1 ∪ ई 2 = ई और वी 1 ∪ वी 2 = वी ।
यह समस्या कम से कम ग्राफ़िकल आइसोमॉर्फिज्म समस्या जितनी कठिन है। मुझे लगता है कि यह ग्राफ आइसोमॉर्फिज्म से ज्यादा कठिन है लेकिन एनपी-हार्ड नहीं है।
क्या यह विभाजन समस्या -hard है?
संपादित करें 2012/03/03: पर प्रकाशित किया गया था MathOverflow ।
EDIT 3-5-2012: यह पता चलता है कि डिएगो के उत्तर में संदर्भ अप्रकाशित परिणामों में से एक है। कुछ खुदाई के बाद, मुझे द एनपी-कम्प्लीटनेस कॉलम: एन ऑनिंग गाइड बाई डेविड जॉन्सन (पृष्ठ 8) में इसका संदर्भ मिला। मुझे अन्य कागजात मिले जो ग्राहम और रॉबिन्सन के एनपी-पूर्णता परिणाम को अप्रकाशित बताते हैं।