ग्राफ़ के कार्तीय उत्पाद

ग्राफ़ सिद्धांत में, कार्तीय गुणन G □ H ग्राफ़ G और H एक ऐसा ग्राफ़ है जो:: ग्राफ़ के कार्तीय उत्पाद को कभी-कभी ग्राफ़ का बॉक्स उत्पाद कहा जाता है [हैरी 1969]।
 * G □ H का शीर्ष समुच्चय कार्तीय गुणनफल V(G) × V(H) है; और
 * G □ H में दो शीर्ष (u,u' ) और (v,v' ) आसन्न हैं यदि और केवल यदि या तो
 * u = v और u', H में v' के सन्निकट है, या
 * u' = v' और u, G में v के सन्निकट है।

संचालन साहचर्य है, रेखांकन के रूप में $(F □ G) □ H$ और $F □ (G □ H)$ स्वाभाविक रूप से ग्राफ समरूपता हैं। संक्रिया क्रमविनिमेय है, रेखांकन के समरूपता तुल्यता वर्ग पर एक संक्रिया के रूप में, और अधिक दृढ़ता से रेखांकन $G □ H$ और $H □ G$ प्राकृतिक समरूपतावाद हैं, लेकिन यह ग्राफ लेबलिंग पर एक संचालन के रूप में क्रमविनिमेय नहीं है।

अंकन $G × H$ का उपयोग अधिकांशत: ग्राफ़ के कार्तीय उत्पादों के लिए किया जाता है, लेकिन अब इसे ग्राफ़ के प्रदिश उत्पाद के रूप में जाने वाले अन्य निर्माण के लिए अधिक सामान्यतः उपयोग किया जाता है। चौकोर प्रतीक कार्तीय उत्पाद के लिए एक सहज और स्पष्ट संकेतन के रूप में अभिप्रेत है, क्योंकि यह दो किनारों के कार्तीय उत्पाद से उत्पन्न चार किनारों को दृष्टिगत रूप से दिखाता है।

उदाहरण

 * दो किनारों का कार्तीय उत्पाद चार शीर्षों पर एक चक्र ग्राफ है: K2$□$K2 = C4.
 * K2 का कार्तीय उत्पाद और एक पथ ग्राफ एक सीढ़ी ग्राफ है।
 * दो पथ ग्राफ़ का कार्तीय उत्पाद एक जालक(ग्रिड) ग्राफ है।
 * n किनारों का कार्तीय उत्पाद एक अतिविम है:
 * $$(K_2)^{\square n} = Q_n.$$
 * इस प्रकार, दो अतिविम ग्राफ का कार्तीय उत्पाद एक और अतिविम है: Qi□Qj = Qi+j.


 * दो माध्यिका ग्राफ का कार्तीय गुणनफल एक अन्य माध्यिका ग्राफ है।
 * एन-प्रिज्म (ज्यामिति) के कोने और किनारों का ग्राफ कार्तीय उत्पाद ग्राफK2□Cn है।
 * रूक का ग्राफ दो पूर्ण ग्राफों का कार्तीय उत्पाद है।

गुण
यदि जुड़ा हुआ ग्राफ एक कार्तीय उत्पाद है, तो इसे प्रमुख कारकों के उत्पाद के रूप में विशिष्ट रूप से गुणनखंडित किया जा सकता है, ऐसे ग्राफ़ जिन्हें ग्राफ़ के उत्पादों के रूप में स्वयं विघटित नहीं किया जा सकता है। हालाँकि, एक असंगत किए गए ग्राफ़ का वर्णन करें जिसे प्रधान ग्राफ़ के कार्तीय उत्पाद के रूप में दो अलग-अलग तरीकों से व्यक्त किया जा सकता है:
 * $$(K_1 + K_2 + K_2^2) \mathbin{\square} (K_1 + K_2^3) = (K_1 + K_2^2 + K_2^4) \mathbin{\square} (K_1 + K_2),$$

जहां धन चिह्न(प्लस साइन) असंयुक्त संघ को दर्शाता है और उपरिलेख कार्तीय उत्पादों पर घातांक को दर्शाता है।

एक कार्तीय उत्पाद शीर्ष-सकर्मक ग्राफ है यदि और केवल यदि इसके प्रत्येक कारक हैं। एक कार्तीय उत्पाद द्विदलीय ग्राफ है यदि और केवल यदि इसके प्रत्येक कारक हैं। अधिक सामान्यतः, कार्तीय उत्पाद की रंगीन संख्या समीकरण को संतुष्ट करती है:
 * $$\chi (G \mathbin{\square} H) = \max \{ \chi (G), \chi (H) \}.$$

हेडेनीमी का अनुमान रेखांकन के टेंसर उत्पाद के लिए संबंधित समानता बताता है। कार्तीय उत्पाद की स्वतंत्रता संख्या इतनी आसानी से गणना नहीं की जाती है, लेकिन के रूप में ने दिखाया कि यह असमानताओं को संतुष्ट करता है:
 * $$\alpha (G) \alpha (H) + \min \{ |V(G)| -\alpha (G), |V(H)| - \alpha (H) \} \le \alpha (G \mathbin{\square} H) \le \min \{ \alpha (G) |V(H)|, \alpha (H) |V(G)| \}.$$

वाइजिंग अनुमान कहता है कि कार्तीय उत्पाद की प्रभुत्व संख्या असमानता को संतुष्ट करती है:
 * $$\gamma (G \mathbin{\square} H) \ge \gamma (G) \gamma (H).$$

यूनिट दूरी ग्राफ़ का कार्तीय उत्पाद एक और यूनिट दूरी ग्राफ़ है।

कार्तीय उत्पाद रेखांकन को रैखिक समय में कुशलता से पहचाना जा सकता है।

बीजगणितीय ग्राफ सिद्धांत
कार्तीय ग्राफ उत्पाद का विश्लेषण करने के लिए बीजगणितीय ग्राफ सिद्धांत का उपयोग किया जा सकता है। यदि ग्राफ $$G_1$$ है $$n_1$$ शिखर और $$n_1\times n_1$$ सहखंडज मैट्रिक्स $$\mathbf A_1$$, और ग्राफ $$G_2$$ है $$n_2$$ शिखर और $$n_2\times n_2$$ सहखंडज मैट्रिक्स $$\mathbf A_2$$, तो दोनों ग्राफों के कार्तीय उत्पाद के आसन्न मैट्रिक्स द्वारा दिया गया है।
 * $$\mathbf A_{1\mathbin{\square} 2} = \mathbf A_1 \otimes \mathbf I_{n_2} + \mathbf I_{n_1} \otimes \mathbf A_2$$,

जहाँ $$\otimes$$ मैट्रिसेस के क्रोनकर उत्पाद को दर्शाता है और $$\mathbf I_n$$ दर्शाता है $$n\times n$$ तत्समक आव्यूह। कार्तीय ग्राफ उत्पाद का आसन्न मैट्रिक्स इसलिए कारकों के आसन्न मैट्रिक्स का क्रोनकर योग है।

श्रेणी सिद्धांत
एक ग्राफ़ को एक श्रेणी (गणित) के रूप में देखना, जिसकी वस्तुएँ कोने हैं और जिनकी आकृतियाँ ग्राफ़ में पथ हैं, ग्राफ़ का कार्तीय उत्पाद से मेल खाता है अजीब प्रदिश उत्पाद श्रेणियों की। ग्राफ़ का कार्तीय उत्पाद दो ग्राफ़ उत्पादों में से एक है जो ग्राफ़ और ग्राफ़ समरूपता की श्रेणी को एक सममित बंद मोनोइडल श्रेणी में बदल देता है (केवल सममित मोनोइडल के विपरीत), दूसरा ग्राफ़ का टेंसर उत्पाद है। आंतरिक होम $$[G, H]$$ ग्राफ़ के कार्तीय उत्पाद के लिए ग्राफ़ समरूपताएँ हैं $$G$$ को $$H$$ शीर्ष के रूप में और अप्राकृतिक परिवर्तन उनके बीच किनारों के रूप में है।

इतिहास
के अनुसार ग्राफ़ के कार्तीय उत्पाद को 1912 में अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा परिभाषित किया गया था। उन्हें बार-बार बाद में फिर से खोजा गया, विशेष रूप से द्वारा।