मैं कहता हूं कि एक subgraph की (समान शिखर सेट के साथ) है SP-बराबर करने के लिए अगर । दूसरे शब्दों में, से जाने के लिए किनारों को हटाने को कम से कम पथ की लंबाई को बदल नहीं करता है; हटाए गए किनारों को किसी भी सबसे छोटे रास्ते की आवश्यकता नहीं है।
सामान्य तौर पर का कोई भी एकल-सम-समकक्ष उपसमूह नहीं है जो समावेशन के लिए न्यूनतम है। उदाहरण के लिए, अगर अनिर्दिष्ट जाता है और सभी किनारों वजन , के किसी भी स्पैनिंग ट्री एक न्यूनतम SP-बराबर subgraph (वास्तव में, एक चक्र में किसी भी किनारे से हटाया जा सकता है, लेकिन एक शीर्ष जोड़ी जाहिर दूरी में परिवर्तन डिस्कनेक्ट करने) है। हालांकि मैं अभी भी के किनारों कॉल कर सकते हैं बेकार अगर वे कोई कम से कम SP-बराबर subgraph में हैं, आवश्यक अगर वे सब कम से कम SP-बराबर subgraphs (यानी, उनके चौराहे में) में हैं, और वैकल्पिक वे उनमें से कुछ में हैं (यानी , उनके संघ में)।
मेरा पहला सवाल है: क्या इन धारणाओं का एक मानक नाम है?
मेरा दूसरा सवाल है: के किनारों को इस तरह से वर्गीकृत करने की जटिलता क्या है, यह इस बात पर निर्भर करता है कि अप्रत्यक्ष या निर्देशित है, और एकत्रीकरण समारोह पर?
(उदाहरण के लिए, अप्रत्यक्ष और , न्यूनतम sp- समतुल्य उप-वर्ग न्यूनतम वजन के वृक्षों को फैला रहे हैं, इसलिए कम से कम यदि सभी किनारे के वज़न अलग-अलग हों तो अद्वितीय न्यूनतम फैले हुए पेड़ की गणना करके वर्गीकरण को आसानी से गणना की जाती है, लेकिन सामान्य तौर पर मुझे नहीं पता कि चीजें कैसे काम करती हैं। ”