धार संक्षेपण

ग्राफ़ सिद्धांत में, किनारे का संकुचन ग्राफ़ संचालन ऐसा संचालन है, जो ग्राफ़ (अलग गणित) से किनारे को हटा देता है, और साथ ही उन दो शीर्षों(ग्राफ़ सिद्धांत) को विलय करता है जो पहले जुड़े हुए थे। ग्राफ लघु के सिद्धांत में किनारे का संकुचन मौलिक क्रिया है। वर्टेक्स पहचान इस संचालन का कम प्रतिबंधात्मक रूप है।

परिभाषा
इस प्रकार धार संकुचन संचालन विशेष किनारे $$e$$. के सापेक्ष होता है, किनारा $$e$$ हटा दिया गया है और इसके दो आपतित शीर्ष $$u$$ और $$v$$, नए शिखर $$w$$, में विलीन हो जाते हैं जहां  $$w$$ प्रत्येक संबंधित किनारे किसी भी $$u$$ या $$v$$. से संबंधित किनारे को संदर्भित करते हैं। इससे अधिक सामान्य रूप से, यह संचालन समुच्चय के एज पर किया जा सकता है, जिसमें प्रत्येक एज को संक्षेपण किया जाता है (किसी भी क्रम में)।

इस प्रकार परिणामी प्रेरित ग्राफ़ को कभी-कभी $$G/e$$ लिखा जाता है। (इसके साथ समानता करें $$G \setminus e$$, जिसका अर्थ है किनारा हटाना $$e$$.)

जैसा कि नीचे परिभाषित किया गया है, किनारे संकुचन संचालन के परिणामस्वरूप कई किनारों वाला ग्राफ़ बन सकता है, भले ही मूल ग्राफ़ साधारण ग्राफ़ हो। चूँकि, कुछ लेखक एकाधिक किनारों के निर्माण की अनुमति न दें, जिससे सरल ग्राफ़ पर किए गए किनारे संकुचन सदैव सरल ग्राफ़ उत्पन्न करता है।

औपचारिक परिभाषा
मान ले कि $$G = (V, E)$$ ग्राफ़ (या निर्देशित ग्राफ) हो जिसमें किनारा $$e = (u, v)$$ हो साथ $$u \neq v$$, फलन $$f$$ को प्रत्येक शीर्ष को खुद के साथ मैप करता है, $$V \setminus\{u, v\}$$ के लिए, और अन्यथा नए शीर्ष $$w$$ पर मैप करता है। किनारा $$e$$ के संक्षेपण से नया ग्राफ $$G' = (V', E')$$, यहाँ $$V' = (V \setminus\{u, v\})\cup\{w\}$$, $$E' = E \setminus \{e\}$$, और हर किसी के लिए $$x \in V$$, $$x' = f(x)\in V'$$ किनारे की घटना है $$e' \in E'$$ यदि और केवल यदि, संगत किनारा, $$e \in E$$ की घटना $$x$$ में $$G$$ में संबंधित है।

शीर्ष पहचान
शीर्ष पहचान (जिसे कभी-कभी शीर्ष संकुचन भी कहा जाता है) इस प्रतिबंध को हटा देती है कि संकुचन घटना किनारे को साझा करने वाले शीर्षों पर होना चाहिए। (इस प्रकार, किनारे का संकुचन शीर्ष पहचान का विशेष स्थिति है।) संचालन ग्राफ़ में शीर्षों के किसी भी जोड़े (या उपसमुच्चय) पर हो सकता है। दो अनुबंधित शीर्षों के बीच के किनारों को कभी-कभी हटा दिया जाता है। यदि $$v$$ और $$v'$$ के अलग-अलग घटकों के शीर्ष हैं $$G$$, तो हम नया ग्राफ़ बना सकते हैं $$G'$$ पहचान कर $$v$$ और $$v'$$ में $$G$$ नये शिखर के रूप में $$\textbf{v}$$ में $$G'$$. अधिक सामान्यतः, शीर्ष समुच्चय के समुच्चय के विभाजन को देखते हुए, कोई भी विभाजन में शीर्षों की पहचान कर सकता है; परिणामी ग्राफ को भागफल ग्राफ के रूप में जाना जाता है।

वर्टेक्स क्लीविंग
वर्टेक्स क्लीविंग, जो वर्टेक्स विभाजन के समान है,उसका का अर्थ है कि शीर्ष को दो अंश में विभाजित किया जा रहा है, जहां ये दो नए शीर्ष उन शीर्षों के निकट हैं जिनके निकट मूल शीर्ष था। यह शीर्ष पहचान का उलटा संचालन है, चूंकि सामान्यतः पर शीर्ष पहचान के लिए, दो पहचाने गए शीर्षों के आसन्न कोने ही समुच्चय नहीं होते हैं।

पथ संकुचन
पथ संकुचन पथ (ग्राफ़ सिद्धांत) में किनारों के समुच्चय पर होता है जो पथ के अंतिम बिंदुओं के बीच एकल किनारा बनाने के लिए संकुचित होता है। पथ के शीर्षों पर पड़ने वाले किनारों को या तो हटा दिया जाता है, या इच्छानुसार से (या व्यवस्थित रूप से) किसी समापन बिंदु से जोड़ दिया जाता है।

घुमाना
दो असंयुक्त ग्राफ़ पर विचार करें $$G_1$$ और $$G_2$$, यहाँ $$G_1$$ शीर्ष सम्मलित हैं $$u_1$$ और $$v_1$$ और $$G_2$$ शीर्ष सम्मलित हैं $$u_2$$ और $$v_2$$. मान लीजिए हम ग्राफ़ प्राप्त कर सकते हैं $$G$$ शीर्षों की पहचान करके $$u_1$$ का $$G_1$$ और $$u_2$$ का $$G_2$$ शीर्ष के रूप में $$u$$ का $$G$$ और शीर्षों की पहचान करना $$v_1$$ का $$G_1$$ और $$v_2$$ का $$G_2$$ शीर्ष के रूप में $$v$$ का $$G$$. घुमाव में $$G'$$ का $$G$$ शीर्ष समुच्चय के संबंध में $$\{u, v\}$$, हम पहचानते हैं, इसके अतिरिक्त, $$u_1$$ साथ $$v_2$$ और $$v_1$$ साथ $$u_2$$.के साथ पहचानते हैं।

अनुप्रयोग
किसी ग्राफ़ में शीर्षों या किनारों की संख्या को सम्मलित करके किनारे और शीर्ष संकुचन तकनीक दोनों प्रमाण में मूल्यवान हैं, जहां यह माना जा सकता है कि संपत्ति सभी छोटे ग्राफ़ के लिए है और इसका उपयोग बड़े ग्राफ़ के लिए संपत्ति को सिद्ध करने के लिए किया जा सकता है।

इच्छानुसार से जुड़े ग्राफ़ के विस्तरित तरु की संख्या के लिए पुनरावर्ती सूत्र में किनारे संकुचन का उपयोग किया जाता है, और साधारण ग्राफ के रंगीन बहुपद के लिए पुनरावृत्ति सूत्र में किया जाता है।

संकुचन उन संरचनाओं में भी उपयोगी होते हैं जहां हम उन शीर्षों की पहचान करके ग्राफ को सरल बनाना चाहते हैं जो अनिवार्य रूप से समकक्ष संस्थाओं का प्रतिनिधित्व करते हैं। सबसे आम उदाहरणों में से है प्रत्येक दृढ़ता से जुड़े घटक में सभी शीर्षों को अनुबंधित करके सामान्य निर्देशित ग्राफ को चक्रीय निर्देशित ग्राफ में कम करना। यदि ग्राफ़ द्वारा वर्णित संबंध सकर्मक संबंध है, तो कोई भी जानकारी तब तक नष्ट नहीं होती जब तक हम प्रत्येक शीर्ष को उन शीर्षों के लेबल के समुच्चय के साथ लेबल करते हैं जो इसे बनाने के लिए अनुबंधित थे।

अन्य उदाहरण वैश्विक ग्राफ रंग रजिस्टर आवंटन में किया गया सह-संयोजन है, जहां अलग-अलग चर के बीच चाल संचालन को खत्म करने के लिए शीर्षों को अनुबंधित किया जाता है (जहां यह सुरक्षित है)।

किनारे का संकुचन का उपयोग 3D मॉडलिंग पैकेजों में (या इसे मॉडलिंग सॉफ़्टवेयर की किसी विशेषता द्वारा) वर्टेक्स गिनती को सतत रूप से कम करने में किया जाता है, जिससे लो-बहुभुज मॉडल बनाने में सहायक होता है।

यह भी देखें

 * उपखंड (ग्राफ सिद्धांत)