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

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

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

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

उदाहरण

 * दो किनारों का कार्तीय उत्पाद चार शीर्षों पर एक चक्र ग्राफ है: K2$□$क2 = सी4.
 * K का कार्टेशियन उत्पाद2 और एक पथ ग्राफ एक सीढ़ी ग्राफ है।
 * दो पथ ग्राफ़ का कार्टेशियन उत्पाद एक ग्रिड ग्राफ़ है।
 * एन किनारों का कार्टेशियन उत्पाद एक हाइपरक्यूब है:
 * $$(K_2)^{\square n} = Q_n.$$
 * इस प्रकार, दो हाइपरक्यूब ग्राफ का कार्टेशियन उत्पाद एक और हाइपरक्यूब है: क्यूi$□$क्यूj = क्यूi+j.


 * दो माध्यिका ग्राफों का कार्तीय गुणनफल एक अन्य माध्यिका ग्राफ है।
 * एन-प्रिज्म (ज्यामिति) के कोने और किनारों का ग्राफ कार्तीय उत्पाद ग्राफ के है2$□$सीn.
 * हाथी का ग्राफ दो पूर्ण ग्राफों का कार्टेशियन उत्पाद है।

गुण
यदि एक कनेक्टेड ग्राफ एक कार्टेशियन उत्पाद है, तो इसे प्रमुख कारकों के उत्पाद के रूप में विशिष्ट रूप से गुणनखंडित किया जा सकता है, ऐसे ग्राफ़ जिन्हें ग्राफ़ के उत्पादों के रूप में स्वयं विघटित नहीं किया जा सकता है। हालाँकि, एक डिस्कनेक्ट किए गए ग्राफ़ का वर्णन करें जिसे प्राइम ग्राफ़ के कार्टेशियन उत्पाद के रूप में दो अलग-अलग तरीकों से व्यक्त किया जा सकता है:
 * $$(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) \}.$$

Hedetniemi अनुमान रेखांकन के टेंसर उत्पाद के लिए संबंधित समानता बताता है। कार्तीय उत्पाद की स्वतंत्रता संख्या इतनी आसानी से गणना नहीं की जाती है, लेकिन के रूप में ने दिखाया कि यह असमानताओं को संतुष्ट करता है
 * $$\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 में अल्फ्रेड नॉर्थ व्हाइटहेड और बर्ट्रेंड रसेल द्वारा परिभाषित किया गया था। उन्हें बार-बार बाद में फिर से खोजा गया, विशेष रूप से द्वारा.