मैं आकार सभी अप्रत्यक्ष रेखांकन की गणना करना चाहता हूं , लेकिन मुझे केवल प्रत्येक आइसोमोर्फिज्म वर्ग के एक उदाहरण की आवश्यकता है । दूसरे शब्दों में, मैं सभी गैर-आइसोमॉर्फिक (अप्रत्यक्ष) रेखांकन को वर्टीक्यूल्स पर अंकित करना चाहता हूं । मैं यह कैसे कर सकता हूँ?
दरअसल, मैं एक एल्गोरिथ्म कि अनिर्दिष्ट रेखांकन के अनुक्रम उत्पन्न होगा चाहते , निम्नलिखित संपत्ति के साथ: हर अनिर्दिष्ट ग्राफ के लिए पर कोने, वहाँ एक सूचकांक मौजूद है ऐसा है कि isomorphic को है । मैं चाहूंगा कि एल्गोरिथ्म यथासंभव कुशल हो; दूसरे शब्दों में, मैं जिस मीट्रिक की परवाह करता हूं वह ग्राफ़ की इस सूची के माध्यम से उत्पन्न करने और पुनरावृति करने का समय है। एक माध्यमिक लक्ष्य यह है कि यह अच्छा होगा यदि एल्गोरिथ्म लागू करने के लिए बहुत जटिल नहीं है। जी एन आई जी जी मैं
ध्यान दें कि मुझे प्रत्येक आइसोमोर्फिज्म वर्ग से कम से कम एक ग्राफ होना चाहिए, लेकिन यह ठीक है अगर एल्गोरिथ्म एक से अधिक उदाहरणों का उत्पादन करता है। विशेष रूप से, यह ठीक है अगर आउटपुट अनुक्रम में दो आइसोमॉर्फिक ग्राफ़ शामिल हैं, अगर यह इस तरह के एल्गोरिथ्म को खोजने में आसान बनाता है या अधिक कुशल एल्गोरिदम को सक्षम करता है, जब तक कि यह सभी संभव ग्राफ़ को कवर करता है।
मेरा आवेदन इस प्रकार है: मेरे पास एक प्रोग्राम है जिसे मैं आकार सभी ग्राफ़ पर परीक्षण करना चाहता हूं । मुझे पता है कि यदि दो रेखांकन समसामयिक हैं, तो मेरा कार्यक्रम दोनों पर समान व्यवहार करेगा (यह या तो दोनों पर सही होगा, या दोनों पर गलत होगा), इसलिए यह प्रत्येक आइसोमोर्फिक वर्ग से कम से कम एक प्रतिनिधि की गणना करने के लिए पर्याप्त है, और फिर परीक्षण करें उन आदानों पर कार्यक्रम। मेरे आवेदन में, काफी छोटा है।n
कुछ उम्मीदवार एल्गोरिदम मैंने माना है:
मैं सभी संभव आसन्न matrices, यानी, सभी सममित 0 या or-1 मैट्रिसेस की गणना कर सकता हूं जिनके सभी विकर्ण पर 0 है। हालाँकि, इसके लिए मैट्रिसेस की गणना करने की आवश्यकता है । उनमें से कई मेट्रॉज़ आइसोमॉर्फिक ग्राफ़ का प्रतिनिधित्व करेंगे, इसलिए ऐसा लगता है कि यह बहुत प्रयास बर्बाद कर रहा है।2 n ( n - 1 ) / 2
मैं सभी संभव आसन्न मैट्रिसेस की गणना कर सकता हूं, और प्रत्येक के लिए, परीक्षण कर सकता हूं कि क्या यह मेरे द्वारा पहले किए गए किसी भी ग्राफ के लिए आइसोमोर्फिक है; अगर यह पहले से कुछ भी उत्पादन के लिए isomorphic नहीं है, यह उत्पादन। यह आउटपुट सूची को बहुत छोटा कर देगा, लेकिन इसके लिए अभी भी कम से कम संगणना के चरण की आवश्यकता है (भले ही हम मान लें कि आइसोमॉर्फिज्म चेक सुपर-फास्ट है), इसलिए यह ज्यादा बेहतर नहीं है मेरा मेट्रिक।
आसन्न मेट्रिसेस के सबसेट को फिर से जोड़ना संभव है। विशेष रूप से, अगर पर एक ग्राफ है कोने , व्यापकता की हानि के बिना मैं मान सकते हैं कि कोने व्यवस्थित कर रहे हैं ताकि । दूसरे शब्दों में, हर ग्राफ एक आइसोमॉर्फिक होता है जहां गैर-घटती डिग्री के क्रम में कोने व्यवस्थित होते हैं। तो, यह केवल आसन्न matrices है कि इस संपत्ति है की गणना करने के लिए पर्याप्त है। मैं वास्तव में ऐसे कितने समीपता matrices देखते हैं पता नहीं है, लेकिन यह है कई की तुलना में कम , और वे की तुलना में बहुत कम के साथ प्रगणित किया जा सकता हैएन वी = { v 1 , ... , वी एन } डिग्री वी 1 ≤ डिग्री वी 2 ≤ ⋯ ≤ डिग्री वी एन 2 n ( n - 1 ) / 2 2 n ( n - 1 ) / 2संगणना के चरण। हालांकि, यह अभी भी बहुत अधिक अतिरेक छोड़ देता है: कई आइसोमॉर्फिज्म कक्षाएं अभी भी कई बार कवर की जाएंगी, इसलिए मुझे संदेह है कि यह इष्टतम है।
क्या हम बेहतर कर सकते हैं? अगर मैं सही तरीके से समझूं, तो लगभगगैर-समसामयिक रेखांकन के समतुल्य वर्ग। क्या हम एक ऐसा एल्गोरिथ्म पा सकते हैं, जिसका चलने का समय उपरोक्त एल्गोरिदम से बेहतर हो? हम कितने पास पहुँच सकते हैंनिम्न परिबंध? मैं मुख्य रूप से छोटे (जैसे, या या इतने छोटे के लिए ट्रैक्टबिलिटी के बारे में परवाह करता हूं ; छोटा पर्याप्त रूप से जो इस तरह के एल्गोरिदम को पूरा करने के लिए चला सकता है), बड़े लिए asymptotics के बारे में इतना नहीं ।~ 2 n ( n - 1 ) / 2 / n ! n n = 5 n = 8 n
संबंधित: असमान द्विआधारी मेट्रिक्स का निर्माण (हालांकि दुर्भाग्य से ऐसा नहीं लगता है कि किसी को वैध उत्तर मिला है)।