धार संक्षेपण

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

परिभाषा
इस प्रकार धार संकुचन ऑपरेशन विशेष किनारे $$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$$.

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

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

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

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

कम-बहुभुज मॉडल के निर्माण में सहायता करते हुए, वर्टेक्स गिनती को लगातार कम करने के लिए 3 डी मॉडलिंग पैकेज (या तो मैन्युअल रूप से, या मॉडलिंग सॉफ़्टवेयर की कुछ सुविधा के माध्यम से) में एज संकुचन का उपयोग किया जाता है।

यह भी देखें

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