ग्राफॉन: Difference between revisions
| Line 276: | Line 276: | ||
कॉम्पैक्टनेस के प्रमाण के लिए केवल Szemerédi_regularity_lemma#Frieze-Kannan_regularity की आवश्यकता होती है: | कॉम्पैक्टनेस के प्रमाण के लिए केवल Szemerédi_regularity_lemma#Frieze-Kannan_regularity की आवश्यकता होती है: | ||
ग्राफन के लिए कमजोर नियमितता प्रमेयिका। हर ग्राफन के लिए <math>W</math> और <math>\epsilon > 0</math>, एक स्टेपफंक्शन है <math>W'</math> अधिक से अधिक के साथ <math>\lceil 4^{1/\epsilon^2} \rceil</math> ऐसे कदम <math> \lVert W - W' \rVert_\square \le \epsilon</math>. | |||
</ब्लॉककोट> | </ब्लॉककोट> | ||
लेकिन इसका उपयोग मजबूत नियमितता परिणाम साबित करने के लिए किया जा सकता है, जैसे कि Szemerédi_regularity_lemma#Strong_regularity_lemma : | लेकिन इसका उपयोग मजबूत नियमितता परिणाम साबित करने के लिए किया जा सकता है, जैसे कि Szemerédi_regularity_lemma#Strong_regularity_lemma : | ||
ग्राफों के लिए मजबूत नियमितता लेम्मा। हर क्रम के लिए <math>\mathbf{\epsilon} = (\epsilon_0, \epsilon_1, \dots)</math> धनात्मक वास्तविक संख्याओं का, एक धनात्मक पूर्णांक होता है <math>S</math> ऐसा है कि हर ग्राफॉन के लिए <math>W</math>, एक ग्राफन है <math>W'</math> और एक स्टेपफंक्शन <math>U</math> साथ <math>k < S</math> ऐसे कदम <math> \lVert W - W' \rVert_1 \le \epsilon_0 </math> और <math> \lVert W' - U \rVert_\square \le \epsilon_k.</math> | |||
</ब्लॉककोट> | </ब्लॉककोट> | ||
मजबूत नियमितता प्रमेयिका का प्रमाण ऊपर दिए गए परिणाम 1 की अवधारणा के समान है। यह पता चला है कि हर ग्राफॉन <math>W</math> एक स्टेपफंक्शन के साथ अनुमान लगाया जा सकता है <math>U</math> Lp_space#Lp_spaces_and_Lebesgue_integrals | में <math>L_1</math> मानदंड, दिखा रहा है कि गेंदों का सेट <math>B_1(U, \epsilon_0)</math> ढकना <math>\widetilde{\mathcal{W}}_0</math>. ये सेट में नहीं खुले हैं <math>\delta_\square</math> मीट्रिक, लेकिन खुले रहने के लिए उन्हें थोड़ा बड़ा किया जा सकता है। अब, हम एक परिमित उपकवर ले सकते हैं, और कोई यह दिखा सकता है कि वांछित स्थिति इस प्रकार है। | मजबूत नियमितता प्रमेयिका का प्रमाण ऊपर दिए गए परिणाम 1 की अवधारणा के समान है। यह पता चला है कि हर ग्राफॉन <math>W</math> एक स्टेपफंक्शन के साथ अनुमान लगाया जा सकता है <math>U</math> Lp_space#Lp_spaces_and_Lebesgue_integrals | में <math>L_1</math> मानदंड, दिखा रहा है कि गेंदों का सेट <math>B_1(U, \epsilon_0)</math> ढकना <math>\widetilde{\mathcal{W}}_0</math>. ये सेट में नहीं खुले हैं <math>\delta_\square</math> मीट्रिक, लेकिन खुले रहने के लिए उन्हें थोड़ा बड़ा किया जा सकता है। अब, हम एक परिमित उपकवर ले सकते हैं, और कोई यह दिखा सकता है कि वांछित स्थिति इस प्रकार है। | ||
[[Category:Articles with hatnote templates targeting a nonexistent page]] | |||
[[Category:Created On 08/05/2023]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:ग्राफ सिद्धांत]] | |||
[[Category:सिद्धांत संभावना]] | |||
=== सिदोरेंको का अनुमान === | === सिदोरेंको का अनुमान === | ||
Revision as of 13:07, 15 May 2023
ग्राफ़ सिद्धांत और सांख्यिकी में, एक ग्राफ़ॉन (जिसे ग्राफ़ सीमा के रूप में भी जाना जाता है) एक सममित_फ़ंक्शन औसत दर्जे का कार्य है , जो सघन रेखांकन के अध्ययन में महत्वपूर्ण है। घने रेखांकन के अनुक्रम की सीमा के लिए ग्राफ़न्स एक प्राकृतिक धारणा के रूप में उत्पन्न होते हैं, और विनिमेय यादृच्छिक चर यादृच्छिक ग्राफ़ मॉडल की मौलिक परिभाषित वस्तुओं के रूप में। ग्राफ़ॉन निम्नलिखित प्रेक्षणों के युग्म द्वारा सघन ग्राफ़ से बंधे हैं: ग्राफ़ॉन द्वारा परिभाषित यादृच्छिक ग्राफ़ मॉडल लगभग निश्चित रूप से सघन ग्राफ़ को जन्म देते हैं, और, स्ज़ेमेरीडी नियमितता लेम्मा द्वारा, ग्राफ़ॉन मनमाना बड़े सघन ग्राफ़ की संरचना को कैप्चर करते हैं।
सांख्यिकीय सूत्रीकरण
एक ग्राफॉन एक सममित मापने योग्य कार्य है . आमतौर पर एक ग्राफॉन को निम्न योजना के अनुसार विनिमेय यादृच्छिक ग्राफ मॉडल को परिभाषित करने के रूप में समझा जाता है:
- प्रत्येक शीर्ष ग्राफ का एक स्वतंत्र यादृच्छिक मान असाइन किया गया है
- किनारा संभावना के साथ ग्राफ में स्वतंत्र रूप से शामिल है .
एक यादृच्छिक ग्राफ मॉडल एक विनिमेय यादृच्छिक ग्राफ मॉडल है अगर और केवल अगर इसे इस तरह (संभवतः यादृच्छिक) ग्राफॉन के संदर्भ में परिभाषित किया जा सकता है। एक निश्चित ग्राफॉन पर आधारित मॉडल कभी-कभी निरूपित किया जाता है , यादृच्छिक रेखांकन के एर्डोस-रेनी मॉडल के अनुरूप। ग्राफॉन से उत्पन्न ग्राफ इस प्रकार कहा जाता है -यादृच्छिक ग्राफ।
यह इस परिभाषा और बड़ी संख्या के कानून से चलता है कि, यदि विनिमेय यादृच्छिक ग्राफ मॉडल लगभग निश्चित रूप से घने हैं।[1]
उदाहरण
ग्राफॉन का सबसे सरल उदाहरण है कुछ स्थिर के लिए . इस मामले में संबंधित विनिमेय यादृच्छिक ग्राफ मॉडल एर्डोस-रेनी मॉडल है जिसमें संभाव्यता के साथ स्वतंत्र रूप से प्रत्येक किनारा शामिल है .
यदि हम इसके बजाय एक ग्राफ़ॉन के साथ शुरू करते हैं जो टुकड़े-टुकड़े स्थिर है:
- इकाई वर्ग को विभाजित करना ब्लॉक, और
- सेटिंग के बराबर पर अवरोध पैदा करना,
परिणामी विनिमेय यादृच्छिक ग्राफ मॉडल है सामुदायिक स्टोकेस्टिक ब्लॉक मॉडल , एर्डोस-रेनी मॉडल का एक सामान्यीकरण। हम इसे एक यादृच्छिक ग्राफ मॉडल के रूप में व्याख्या कर सकते हैं मापदंडों के साथ विशिष्ट एर्डोस-रेनी ग्राफ क्रमशः, उनके बीच बिग्राफ के साथ जहां ब्लॉक के बीच प्रत्येक संभावित किनारा और संभाव्यता के साथ स्वतंत्र रूप से शामिल है .
कई अन्य लोकप्रिय यादृच्छिक ग्राफ़ मॉडल को कुछ ग्राफ़ॉन द्वारा परिभाषित विनिमेय यादृच्छिक ग्राफ़ मॉडल के रूप में समझा जा सकता है, एक विस्तृत सर्वेक्षण ओर्बंज़ और रॉय में शामिल है।[1]
संयुक्त रूप से विनिमेय आसन्न मैट्रिक्स
आकार का एक यादृच्छिक ग्राफ