क्यूब ग्राफ पर एक धार विभाजन समस्या


25

क्या निम्नलिखित समस्या की जटिलता का अध्ययन किया गया है?


इनपुट : एक क्यूबिक (या अनियमित) ग्राफ जी = ( वी , ) , एक प्राकृतिक ऊपरी बाध्य टी3G=(V,E)t

प्रश्न : वहाँ के एक विभाजन है में | | / आकार 3 के 3 भाग जैसे कि (गैर-कनेक्टेड) ​​समान सबग्राफ के आदेशों का योग सबसे अधिक होता है ?E|E|/33t


संबंधित काम मुझे साहित्य में काफी कुछ कागजात मिले जो विभाजन के अस्तित्व के लिए आवश्यक और / या पर्याप्त स्थिति साबित करते हैं, जिसमें तीन किनारों वाले कुछ रेखांकन होते हैं, जो किसी न किसी तरह से संबंधित होते हैं, और कुछ अन्य समस्याओं के कम्प्यूटेशनल जटिलता मामलों पर होते हैं, जो अंतर के साथ अंतरंग होते हैं ऊपर (उदाहरण के लिए विभाजन को या P 4 को उपसमूह उपज देना चाहिए , और किसी दिए गए विभाजन के साथ कोई वजन नहीं जुड़ा हुआ है), लेकिन उनमें से कोई भी उपरोक्त समस्या से बिल्कुल नहीं निपटता है।K1,3P4

उन सभी पत्रों को यहाँ सूचीबद्ध करना थोड़ा थकाऊ होगा, लेकिन उनमें से ज्यादातर डोर और तारसी द्वारा उद्धृत या उद्धृत किए जाते हैं ।

20101024: मुझे यह पेपर गोल्डस्स्मिड एट अल द्वारा मिला , जो साबित होता है कि धार की समस्या सबसे एटी युक्त भागों में एक ग्राफ विभाजन किनारों, इस तरह से है कि प्रेरित subgraphs के आदेश की राशि अधिक से अधिक है टी ,, एनपी पूरा हो गया है यहां तक कि जब कश्मीर = 3 । क्या यह स्पष्ट है कि समस्या घन रेखांकन पर एनपी-पूर्ण बनी हुई है, जब हमें सख्त समानता की आवश्यकता है k k ?ktk=3k

अतिरिक्त जानकारी

मैंने कुछ रणनीतियों की कोशिश की है जो विफल रही। अधिक सटीक रूप से, मुझे कुछ काउंटरटेम्पल्स मिले जो यह साबित करते हैं कि:

  • त्रिकोण की संख्या को अधिकतम करने से एक इष्टतम समाधान नहीं होता है; जो मुझे किसी भी तरह से सहज ज्ञान युक्त लगता है, क्योंकि त्रिभुज उन सबग्राफ हैं जिनमें तीन किनारों पर सभी संभावित रेखांकन हैं;

  • जुड़े हुए घटकों में ग्राफ को विभाजित करने से जरूरी नहीं कि इष्टतम समाधान भी हो। ऐसा क्यों लगा कि यह आशाजनक लग रहा है कि यह कम स्पष्ट हो सकता है, लेकिन कई मामलों में कोई भी उस स्वैपिंग किनारों को देख सकता है, ताकि किसी दिए गए सबग्राफ को कनेक्ट करने के लिए छोटे वजन के साथ एक समाधान हो सके (उदाहरण: कोशिश करें कि त्रिकोण पर प्रत्येक से जुड़ा एक अतिरिक्त किनारा हो। शीर्ष, त्रिकोण एक हिस्सा है, बाकी एक दूसरा है, जिसका कुल वजन 3 + 6 = 9 है। फिर दो किनारों का आदान-प्रदान एक पथ और एक स्टार देता है, जिसका कुल वजन 4 + 4 = 8 है।)


एक सबग्राफ का आदेश क्या है?
मोहम्मद अल-तुर्कस्टनी

इसके शीर्ष सेट की कार्डिनैलिटी।
एंथनी लैबर्रे

1
शायद उस मामले को देखते हुए जहां ग्राफ भी प्लैनर है, अधिक सामान्य मामले में कुछ जानकारी दे सकता है?
जोसेफ मल्केविच 15

धन्यवाद, मैंने ऐसा नहीं सोचा था। मैं कोशिश करता हूँ और देखता हूँ कि क्या यह मदद करता है।
एंथनी लैबर्रे

मैं सोच रहा था कि क्या "अतिरिक्त जानकारी" खंड में वर्णित रणनीतियों की तरह काम करेगा या नहीं। यह बहुत अच्छा है कि आपने वह हिस्सा जोड़ा!
त्सुयोशी इतो

जवाबों:


3

यहाँ एक सुझाव है कि यह कैसे दिखाना है कि एनपी कठिन है। मुझे नहीं पता कि यह काम करता है या नहीं। सबसे पहले, मल्टीग्राफ पर एक ही समस्या पर विचार करें। एनपी कठोरता वहाँ साबित करने के लिए आसान हो सकता है। क्यूबिक मैक्स कट से कम करने की कोशिश करें जो एनपी कठिन है यहां तक ​​कि लगभग (बर्मन और कारपिन्स्की "कुछ तंग Inapproximability परिणाम पर")। प्रत्येक किनारे को दो में विभाजित करें और प्रत्येक नए डिग्री -2 कोने में सेल्फ लूप के साथ एक शीर्ष संलग्न करें। क्या आपका अधिकतम विभाजन अधिकतम कटौती के अनुरूप है?

-

यहाँ थोड़ा और स्पष्टीकरण दिया गया है।

(1) एक घन ग्राफ के सभी झुकावों पर अधिकतम (स्रोतों की संख्या + सिंक की संख्या) अधिकतम रैखिक समारोह से संबंधित है। इसके लिए मैक्सिमम कट्स और सोर्स-एंड-सिंक-मैक्सिमल ओरिएंटेशन के बीच कुछ कॉरस्पॉन्डेंस दिखाने की जरूरत होती है। एक दिशा में, अधिकतम कट (यू, वी) में, हम यू से वी तक सभी छोरों को उन्मुख कर सकते हैं। आंतरिक किनारों ई (यू) एक मिलान बनाते हैं, इसलिए ये मनमाने ढंग से और इसी तरह ई (वी) के लिए उन्मुख हो सकते हैं, और स्रोतों और सिंक की कुल संख्या में कटौती के आकार का कुछ रैखिक कार्य है। दूसरी दिशा में, एक स्रोत-और-अधिकतम-अधिकतम अभिविन्यास दिया जाता है, इन-डिग्री 0 या 1 के विभाजन यू = वर्टिस, डिग्री 2 या 3 के वी = कोने कट देता है।

(२) मेरे द्वारा बताए गए एज-बाइसेक्टिंग ट्रांसफ़ॉर्मेशन में, एक इष्टतम कॉन्फ़िगरेशन में प्रत्येक लूप को किनारे के बगल के समान रंग का किया जाता है, और उस किनारे को वैसा ही रंग दिया जाता है जैसे कि कुछ अन्य (नॉन-लूप) एज के बगल में उस। इसलिए प्रत्येक उभरे हुए किनारे में एक रंग अपने संलग्न पाश और एक अन्य रंग से आता है। यह एक अभिविन्यास से मेल खाता है और (1) लागू होता है।


ये बात हुई न। अभी, मैं गोल्डस्मिथ एट अल की समस्या को मेरे लिए बदलने की कोशिश कर रहा हूं, लेकिन मैं इसे अपनी सूची में जोड़ूंगा। धन्यवाद!
एंथोनी लैबर्रे
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.