गैर-सूचीबद्ध ग्राफ़ के मामले में, ग्राफ आइसोमॉर्फिज्म समस्या से कई एल्गोरिदम का सामना किया जा सकता है जो व्यवहार में बहुत अच्छा प्रदर्शन करते हैं। यही है, हालांकि सबसे खराब स्थिति चल रहा समय घातीय है, आमतौर पर एक बहुपद चल रहा है समय है।
मैं उम्मीद कर रहा था कि लेबल ग्राफ के मामले में स्थिति समान है। हालांकि, मेरे पास किसी भी संदर्भ को खोजने के लिए वास्तव में कठिन समय है जो "व्यावहारिक रूप से कुशल" एल्गोरिदम का प्रस्ताव करता है।
टिप्पणी: यहां, हमें आवश्यकता है कि आइसोमोर्फिज्म लेबल को संरक्षित करता है। यही है, दो परिमित ऑटोमेटा / प्रक्रिया बीजगणित शब्दों के बीच एक समरूपता का अर्थ होगा कि ऑटोमेटा / शब्द अनिवार्य रूप से "नोड्स के नामकरण के बराबर" हैं।
एकमात्र संदर्भ जो मुझे मिला, वह विकिपीडिया में एक था जिसमें कहा गया था कि लेबल किए गए रेखांकन की समरूपता की समस्या बहुपद को साधारण रेखांकन से कम किया जा सकता है। हालांकि, अंतर्निहित पेपर व्यावहारिक एल्गोरिदम की तुलना में जटिलता सिद्धांत के बारे में अधिक है।
मुझे कुछ याद आ रहा है, या क्या वास्तव में यह मामला है कि कोई भी कुशल "हेयुरेटिकल" एल्गोरिदम यह तय करने के लिए नहीं है कि क्या दो लेबल ग्राफ़ आइसोमॉर्फिक हैं?
कोई संकेत या संदर्भ महान होगा।