ग्राफॉन: Difference between revisions
No edit summary |
No edit summary |
||
| Line 153: | Line 153: | ||
यदि ये संख्याएं हर ग्राफ के करीब हैं <math>F</math>, तब सहज ज्ञान से <math>G</math> और <math>H</math> समान दिखने वाले ग्राफ हैं। | यदि ये संख्याएं हर ग्राफ के करीब हैं <math>F</math>, तब सहज ज्ञान से <math>G</math> और <math>H</math> समान दिखने वाले ग्राफ हैं। | ||
सबग्राफ से सीधे डीलिंग के बजाय, यह ग्राफ समरूपता के साथ काम करने के लिए आसान हो जाता है। | सबग्राफ से सीधे डीलिंग के बजाय, यह ग्राफ समरूपता के साथ काम करने के लिए आसान हो जाता है। | ||
इस परिदृश्य में बृहत्,सघन ग्राफ से डीलिंग के दौरान यह ठीक है | इस परिदृश्य में बृहत्,सघन ग्राफ से डीलिंग के दौरान यह ठीक है, | ||
सबग्राफ की संख्या और एक निश्चित ग्राफ से ग्राफ समरूपता की संख्या असम्बद्ध रूप से बराबर होती है। | सबग्राफ की संख्या और एक निश्चित ग्राफ से ग्राफ समरूपता की संख्या असम्बद्ध रूप से बराबर होती है। | ||
| Line 160: | Line 160: | ||
ग्राफोन समरूपता घनत्व की गणना करने का एक सरल तरीका प्रदान करते हैं। | ग्राफोन समरूपता घनत्व की गणना करने का एक सरल तरीका प्रदान करते हैं। | ||
दरअसल, एक ग्राफ | दरअसल, एक ग्राफ <math>G</math> संबद्ध ग्राफॉन के साथ <math>W_G</math> और दुसरी <math>F</math>, अपने पास है: | ||
<math display=block> t(F, G) = \int \prod_{(i,j)\in E(F)} W_G(x_i, x_j) \; \left\{\mathrm{d}x_i\right\}_{i\in V(F)}</math> | <math display=block> t(F, G) = \int \prod_{(i,j)\in E(F)} W_G(x_i, x_j) \; \left\{\mathrm{d}x_i\right\}_{i\in V(F)}</math> | ||
जहां | जहां अविभाज्य बहुआयामी है, यूनिट अतिविम पर लिया गया है <math>[0,1]^{V(F)}</math>. | ||
यह संबंधित ग्राफॉन की परिभाषा से अनुसरण करता है, जब उपरोक्त | यह संबंधित ग्राफॉन की परिभाषा से अनुसरण करता है, जब उपरोक्त एकीकृत के बराबर होता है <math>1</math>. | ||
फिर हम | फिर हम समरूपता घनत्व की परिभाषा को यादृच्छिक ग्राफॉन <math>W</math> तक बढ़ा सकते हैं, एक ही अभिन्न और परिभाषित करने का उपयोग करके। | ||
<math display=block> t(F, W) = \int \prod_{(i,j)\in E(F)} W(x_i, x_j) \; \left\{\mathrm{d}x_i\right\}_{i\in V(F)}</math> | |||
किसी भी ग्राफ के लिए <math>F</math>. | किसी भी ग्राफ के लिए <math>F</math>. | ||
इस सेटअप को देखते हुए, हम रेखांकन का एक क्रम कहते हैं <math>(G_n)</math> यदि प्रत्येक नियत ग्राफ के लिए | इस सेटअप को देखते हुए, हम रेखांकन का एक क्रम कहते हैं <math>(G_n)</math> यदि प्रत्येक नियत ग्राफ के लिए <math>F</math> वाम-अभिसरण है, समरूपता घनत्व का क्रम <math>\left(t(F, G_n)\right)</math> अभिसरण। | ||
हालांकि अकेले परिभाषा से स्पष्ट नहीं है, अगर <math>(G_n)</math> इस अर्थ में अभिसरण करता है, तो हमेशा एक ग्राफॉन मौजूद होता है <math>W</math> ऐसा है कि हर ग्राफ के लिए <math>F</math>, अपने पास | हालांकि अकेले परिभाषा से स्पष्ट नहीं है, अगर <math>(G_n)</math> इस अर्थ में अभिसरण करता है, तो हमेशा एक ग्राफॉन मौजूद होता है <math>W</math> ऐसा है कि हर ग्राफ के लिए <math>F</math>, अपने पास है: | ||
<math display = "block"> \lim_{n\to\infty} t(F, G_n) = t(F, W) </math> | <math display = "block"> \lim_{n\to\infty} t(F, G_n) = t(F, W) </math> | ||
इसके साथ ही। | इसके साथ ही। | ||
| Line 178: | Line 178: | ||
दो ग्राफ लीजिए <math>G</math> और <math>H</math> उसी शीर्ष सेट पर। | दो ग्राफ लीजिए <math>G</math> और <math>H</math> उसी शीर्ष सेट पर। | ||
क्योंकि ये रेखांकन समान शीर्षों को साझा करते हैं, | क्योंकि ये रेखांकन समान शीर्षों को साझा करते हैं, | ||
उनकी दूरी को मापने का एक तरीका | उनकी दूरी को मापने का एक तरीका <math>X, Y</math> सबसेट तक सीमित करना है वर्टेक्स सेट की, और ऐसे प्रत्येक जोड़ी सबसेट के लिए अश्रि की संख्या की तुलना करें <math>e_G(X,Y)</math> से <math>X</math> को <math>Y</math> में <math>G</math> अश्रि की संख्या के लिए <math>e_H(X,Y)</math> बीच में <math>X</math> और <math>Y</math> में <math>H</math>. | ||
यदि ये संख्याएँ उपसमुच्चयों की प्रत्येक जोड़ी के लिए समान हैं (वर्टेक्स की कुल संख्या के सापेक्ष), तो यह सुझाव देता है <math>G</math> और <math>H</math> समान रेखांकन हैं। | यदि ये संख्याएँ उपसमुच्चयों की प्रत्येक जोड़ी के लिए समान हैं (वर्टेक्स की कुल संख्या के सापेक्ष), तो यह सुझाव देता है <math>G</math> और <math>H</math> समान रेखांकन हैं। | ||
| Line 227: | Line 227: | ||
</ब्लॉककोट> | </ब्लॉककोट> | ||
गिनती लेम्मा नाम उस सीमा से आता है जो यह लेम्मा | गिनती लेम्मा नाम उस सीमा से आता है जो यह लेम्मा समरूपता घनत्व पर देती है <math>t(F, W)</math>, जो ग्राफ़ के सबग्राफ काउंट के अनुरूप हैं। यह लेम्मा Szemerédi_regularity_lemma#Graph_counting_lemma का एक सामान्यीकरण है जो Szemerédi_regularity_lemma के क्षेत्र में दिखाई देता है, और यह तुरंत दिखाता है कि कट दूरी के तहत अभिसरण का अर्थ बाएं-अभिसरण है। | ||
उलटा काउंटिंग लेम्मा। प्रत्येक वास्तविक संख्या के लिए <math>\epsilon > 0</math>, एक वास्तविक संख्या मौजूद है <math>\eta > 0</math> और एक सकारात्मक पूर्णांक <math>k</math> ऐसा कि किसी भी जोड़ी ग्राफोन के लिए <math>U</math> और <math>W</math> साथ | उलटा काउंटिंग लेम्मा। प्रत्येक वास्तविक संख्या के लिए <math>\epsilon > 0</math>, एक वास्तविक संख्या मौजूद है <math>\eta > 0</math> और एक सकारात्मक पूर्णांक <math>k</math> ऐसा कि किसी भी जोड़ी ग्राफोन के लिए <math>U</math> और <math>W</math> साथ | ||
Revision as of 14:47, 18 May 2023
ग्राफ़ सिद्धांत और सांख्यिकी में, एक ग्राफ़ॉन (जिसे ग्राफ़ सीमा के रूप में भी जाना जाता है) एक सममित फलन औसत दर्जे का कार्य है: , जो सघन रेखांकन के अध्ययन में महत्वपूर्ण है। सघन रेखांकन के अनुक्रम की सीमा के लिए ग्राफ़न्स एक प्राकृतिक धारणा के रूप में उत्पन्न होते हैं, और विनिमेय यादृच्छिक चर यादृच्छिक ग्राफ़ मॉडल की मौलिक परिभाषित वस्तुओं के रूप में हैं। ग्राफ़ॉन निम्नलिखित प्रेक्षणों के युग्म द्वारा सघन ग्राफ़ से बंधे हैं: ग्राफ़ॉन द्वारा परिभाषित यादृच्छिक ग्राफ़ मॉडल लगभग निश्चित रूप से सघन ग्राफ़ को वृद्धि देते हैं, और, नियमितता लेम्मा द्वारा, ग्राफ़ॉन यादृच्छिक बृहत् सघन ग्राफ़ की संरचना को प्रग्रहण करते हैं।
सांख्यिकीय सूत्रीकरण
एक ग्राफॉन एक सममित मापने योग्य कार्य है . आमतौर पर एक ग्राफॉन को निम्न योजना के अनुसार विनिमेय यादृच्छिक ग्राफ मॉडल को परिभाषित करने के रूप में समझा जाता है:
- प्रत्येक शीर्ष ग्राफ का एक स्वतंत्र यादृच्छिक मान नियुक्त किया गया है ।
- किनारा संभावना के साथ ग्राफ में स्वतंत्र रूप से शामिल है ।
एक यादृच्छिक ग्राफ मॉडल एक विनिमेय यादृच्छिक ग्राफ मॉडल है और केवल इसे इस तरह (संभवतः यादृच्छिक) ग्राफॉन के संदर्भ में परिभाषित किया जा सकता है। एक निश्चित ग्राफॉन पर अर्द्धरित मॉडल कभी-कभी निरूपित किया जाता है , यादृच्छिक रेखांकन के एर्डोस-रेनी मॉडल के अनुरूप। ग्राफॉन से उत्पन्न ग्राफ इस प्रकार कहा जाता है -यादृच्छिक ग्राफ है।
यह इस परिभाषा और बड़ी संख्या के कानून से चलता है कि, यदि विनिमेय यादृच्छिक ग्राफ मॉडल लगभग निश्चित रूप से सघन हैं।[1]
उदाहरण
ग्राफॉन का सबसे सरल उदाहरण है कुछ स्थिर के लिए . इस मामले में संबंधित विनिमेय यादृच्छिक ग्राफ मॉडल एर्डोस-रेनी मॉडल है जिसमें संभाव्यता के साथ स्वतंत्र रूप से प्रत्येक किनारा शामिल है ।
यदि हम इसके बजाय एक ग्राफ़ॉन के साथ शुरू करते हैं जो टुकड़े वार स्थिर है:
- इकाई वर्ग को विभाजित करना ब्लॉक, और
- सेटिंग के बराबर पर अवरोध पैदा करना,
परिणामी विनिमेय यादृच्छिक ग्राफ मॉडल सामुदायिक स्टोकेस्टिक ब्लॉक मॉडल, एर्डोस-रेनी मॉडल का एक सामान्यीकरण है। हम इसे एक यादृच्छिक ग्राफ मॉडल के रूप में व्याख्या कर सकते हैं मापदंडों के साथ विशिष्ट एर्डोस-रेनी ग्राफ