संभाव्य विधि: Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Nonconstructive method for mathematical proofs}} गणित में, संभाव्यता पद्धति एक गैर-रचनात...")
 
No edit summary
Line 1: Line 1:
{{short description|Nonconstructive method for mathematical proofs}}
{{short description|Nonconstructive method for mathematical proofs}}


गणित में, संभाव्यता पद्धति एक गैर-रचनात्मक प्रमाण पद्धति है, जो मुख्य रूप से संयोजक में प्रयोग की जाती है और पॉल एर्डोस द्वारा अग्रणी है, [[गणितीय प्रमाण]] के लिए एक निर्धारित प्रकार की गणितीय वस्तु का अस्तित्व है। यह दिखा कर काम करता है कि यदि कोई निर्दिष्ट वर्ग से वस्तुओं को यादृच्छिक रूप से चुनता है, तो [[संभावना]] है कि निर्धारित प्रकार का परिणाम शून्य से अधिक है। हालांकि सबूत संभाव्यता का उपयोग करता है, अंतिम निष्कर्ष बिना किसी संभावित त्रुटि के 'निश्चित' के लिए निर्धारित होता है।
गणित में, '''संभाव्य पद्धति''' एक गैर-रचनात्मक विधि है जो मुख्य रूप से संयोजक में प्रयोग की जाती है और एक निर्धारित प्रकार की [[गणितीय प्रमाण]] के अस्तित्व को सिद्ध करने के लिए पॉल एर्डोस द्वारा अग्रणी है। यह दिखा कर काम करता है कि यदि कोई निर्दिष्ट वर्ग से वस्तुओं को यादृच्छिक रूप से चुनता है, तो [[संभावना]] है कि निर्धारित प्रकार का परिणाम शून्य से अधिक है। यद्यपि प्रमाण संभाव्यता का उपयोग करता है, अंतिम निष्कर्ष बिना किसी संभावित त्रुटि के निश्चित रूप से निर्धारित होता है।


यह पद्धति अब गणित के अन्य क्षेत्रों जैसे [[संख्या सिद्धांत]], रेखीय बीजगणित और [[वास्तविक विश्लेषण]] के साथ-साथ [[कंप्यूटर विज्ञान]] (जैसे [[यादृच्छिक गोलाई]]) और [[सूचना सिद्धांत]] में लागू की गई है।
यह पद्धति अब गणित के अन्य क्षेत्रों जैसे [[संख्या सिद्धांत]], रेखीय बीजगणित और [[वास्तविक विश्लेषण]] के साथ-साथ [[कंप्यूटर विज्ञान]] (जैसे [[यादृच्छिक गोलाई]]) और [[सूचना सिद्धांत]] में प्रयुक्त की गई है।


== परिचय ==
== परिचय ==
Line 16: Line 16:
संभाव्यता पद्धति में उपयोग किए जाने वाले सामान्य उपकरणों में मार्कोव की असमानता, [[Chernoff बाध्य]] और लोवाज़ स्थानीय लेम्मा शामिल हैं।
संभाव्यता पद्धति में उपयोग किए जाने वाले सामान्य उपकरणों में मार्कोव की असमानता, [[Chernoff बाध्य]] और लोवाज़ स्थानीय लेम्मा शामिल हैं।


== Erdős == के कारण दो उदाहरण
== एर्डोस के कारण दो उदाहरण ==
हालांकि उनके पहले के अन्य लोगों ने संभाव्य पद्धति के माध्यम से [[प्रमेय]]ों को सिद्ध किया (उदाहरण के लिए, स्ज़ेल के 1943 के परिणाम में बड़ी संख्या में [[हैमिल्टनियन चक्र]]ों वाले [[टूर्नामेंट (ग्राफ सिद्धांत)]] मौजूद हैं), इस पद्धति का उपयोग करने वाले कई सबसे प्रसिद्ध प्रमाण एर्डोस के कारण हैं। नीचे दिया गया पहला उदाहरण 1947 के एक ऐसे परिणाम का वर्णन करता है जो रैमसे के प्रमेय के लिए निचली सीमा का प्रमाण देता है {{math|''R''(''r'', ''r'')}}.
हालांकि उनके पहले के अन्य लोगों ने संभाव्य पद्धति के माध्यम से प्रमेयों को सिद्ध किया (उदाहरण के लिए, स्ज़ेल के 1943 के परिणाम में [[हैमिल्टनियन चक्र|हैमिल्टनियन]] चक्रों की एक बड़ी संख्या वाले [[टूर्नामेंट (ग्राफ सिद्धांत)]] मौजूद हैं), इस पद्धति का उपयोग करने वाले कई सबसे प्रसिद्ध प्रमाण एर्डोस के कारण हैं। नीचे दिया गया पहला उदाहरण 1947 के एक ऐसे परिणाम का वर्णन करता है जो रैमसे संख्या {{math|''R''(''r'', ''r'')}} के लिए निचली सीमा का प्रमाण देता है।


=== पहला उदाहरण ===
=== पहला उदाहरण ===
मान लीजिए हमारे पास एक [[पूरा ग्राफ]] है {{mvar|n}} [[ शिखर (ग्राफ सिद्धांत) ]]। हम दिखाना चाहते हैं (छोटे पर्याप्त मूल्यों के लिए {{mvar|n}}) कि ग्राफ के किनारे (ग्राफ सिद्धांत) को दो रंगों (लाल और नीला कहते हैं) में रंगना संभव है ताकि कोई पूर्ण सबग्राफ (ग्राफ सिद्धांत) न हो {{mvar|r}} कोने जो मोनोक्रोमैटिक (हर किनारे को एक ही रंग का रंग) है।
मान लीजिए कि हमारे पास {{mvar|n}} शीर्षों पर एक पूर्ण ग्राफ है। हम यह दिखाना चाहते हैं ({{mvar|n}} के पर्याप्त छोटे मानों के लिए) कि ग्राफ के किनारों को दो रंगों (जैसे लाल और नीला) में रंगना संभव है ताकि {{mvar|r}} शीर्षों पर कोई पूर्ण सबग्राफ न हो जो मोनोक्रोमैटिक हो (हर किनारा रंगीन हो) समान रंग) है।


ऐसा करने के लिए, हम ग्राफ़ को बेतरतीब ढंग से रंगते हैं। प्रायिकता के साथ प्रत्येक किनारे को स्वतंत्र रूप से रंगें {{math|1/2}} लाल होना और {{math|1/2}} नीला होना। हम मोनोक्रोमैटिक सबग्राफ की अपेक्षित संख्या की गणना करते हैं {{mvar|r}} कोने इस प्रकार हैं:
ऐसा करने के लिए, हम ग्राफ़ को बेतरतीब ढंग से रंगते हैं। प्रत्येक किनारे को स्वतंत्र रूप से {{math|1/2}} लाल होने और {{math|1/2}} नीला होने की संभावना के साथ रंग दें। हम निम्नानुसार {{mvar|r}} शीर्षों पर मोनोक्रोमैटिक सबग्राफ की अपेक्षित संख्या की गणना करते हैं:


किसी भी सेट के लिए <math>S_r</math> का <math>r</math> हमारे ग्राफ से शिखर, चर को परिभाषित करें <math>X(S_r)</math> होना {{math|1}} अगर हर किनारे के बीच <math>r</math> शिखर एक ही रंग है, और {{math|0}} अन्यथा। ध्यान दें कि मोनोक्रोमैटिक की संख्या <math>r</math>-सबग्राफ का योग है <math>X(S_r)</math> सभी संभावित उपसमुच्चय पर <math>S_r</math>. किसी भी व्यक्तिगत सेट के लिए <math>S_r^i</math>, का अपेक्षित मूल्य <math>X(S_r^i)</math> केवल संभावना है कि सभी <math>C(r, 2)</math> किनारों में <math>S_r^i</math> एक ही रंग हैं:
किसी भी सेट के लिए <math>S_r</math> का <math>r</math> हमारे ग्राफ से शिखर, चर को परिभाषित करें <math>X(S_r)</math> होना {{math|1}} अगर हर किनारे के बीच <math>r</math> शिखर एक ही रंग है, और {{math|0}} अन्यथा। ध्यान दें कि मोनोक्रोमैटिक की संख्या <math>r</math>-सबग्राफ का योग है <math>X(S_r)</math> सभी संभावित उपसमुच्चय पर <math>S_r</math>. किसी भी व्यक्तिगत सेट के लिए <math>S_r^i</math>, का अपेक्षित मूल्य <math>X(S_r^i)</math> केवल संभावना है कि सभी <math>C(r, 2)</math> किनारों में <math>S_r^i</math> एक ही रंग हैं:
Line 32: Line 32:


:<math>\sum_{i=1}^{C(n,r)} E[X(S_r^i)] = {n \choose r}2^{1-{r \choose 2}}.</math>
:<math>\sum_{i=1}^{C(n,r)} E[X(S_r^i)] = {n \choose r}2^{1-{r \choose 2}}.</math>
अपेक्षाओं का योग योग की अपेक्षा है (भले ही चर [[सांख्यिकीय स्वतंत्रता]] हैं), इसलिए योग की अपेक्षा (सभी मोनोक्रोमैटिक की अपेक्षित संख्या <math>r</math>-सबग्राफ) है
अपेक्षाओं का योग योग की अपेक्षा है (भले ही चर [[सांख्यिकीय स्वतंत्रता]]स्वतंत्र हों), इसलिए योग की अपेक्षा (सभी मोनोक्रोमैटिक <math>r</math>-सबग्राफ की अपेक्षित संख्या) है:


:<math>E[X(S_r)] = {n \choose r}2^{1-{r \choose 2}}.</math>
:<math>E[X(S_r)] = {n \choose r}2^{1-{r \choose 2}}.</math>
विचार करें कि क्या होता है यदि यह मान इससे कम है {{math|1}}. मोनोक्रोमैटिक की अपेक्षित संख्या के बाद से {{mvar|r}}-सबग्राफ सख्ती से कम है {{math|1}}, एक रंग मौजूद है जो स्थिति को संतुष्ट करता है कि मोनोक्रोमैटिक की संख्या {{mvar|r}}-सबग्राफ सख्ती से कम है {{math|1}}. मोनोक्रोमैटिक की संख्या {{mvar|r}}-इस यादृच्छिक रंग में सबग्राफ एक गैर-ऋणात्मक [[पूर्णांक]] है, इसलिए यह होना चाहिए {{math|0}} ({{math|0}} से कम एकमात्र गैर-ऋणात्मक पूर्णांक है {{math|1}}). इससे पता चलता है कि अगर
विचार करें कि क्या होता है यदि यह मान {{math|1}} से कम है। चूंकि मोनोक्रोमैटिक {{mvar|r}}-सबग्राफ की अपेक्षित संख्या {{math|1}} से कम है, इसलिए एक रंग मौजूद है जो इस शर्त को संतुष्ट करता है कि मोनोक्रोमैटिक {{mvar|r}}-सबग्राफ की संख्या {{math|1}} से सख्ती से कम है। की संख्या इस यादृच्छिक रंग में मोनोक्रोमैटिक {{mvar|r}}-सबग्राफ एक गैर-ऋणात्मक [[पूर्णांक]] है, इसलिए यह {{math|0}} होना चाहिए  ({{math|0}} केवल {{math|1}} से कम गैर-नकारात्मक पूर्णांक है)इससे पता चलता है कि अगर


:<math>E[X(S_r)] = {n \choose r}2^{1-{r \choose 2}} < 1</math>
:<math>E[X(S_r)] = {n \choose r}2^{1-{r \choose 2}} < 1</math>
Line 49: Line 49:
[[रैमसे संख्या]] की परिभाषा के अनुसार, इसका तात्पर्य है कि {{math|''R''(''r'', ''r'')}} से बड़ा होना चाहिए {{mvar|n}}. विशेष रूप से, {{math|''R''(''r'', ''r'')}} के साथ कम से कम [[घातीय वृद्धि]] होनी चाहिए {{mvar|r}}.
[[रैमसे संख्या]] की परिभाषा के अनुसार, इसका तात्पर्य है कि {{math|''R''(''r'', ''r'')}} से बड़ा होना चाहिए {{mvar|n}}. विशेष रूप से, {{math|''R''(''r'', ''r'')}} के साथ कम से कम [[घातीय वृद्धि]] होनी चाहिए {{mvar|r}}.


इस तर्क की एक कमजोरी यह है कि यह पूरी तरह से अरचनात्मक प्रमाण है। भले ही यह (उदाहरण के लिए) साबित होता है कि पूरे ग्राफ के लगभग हर रंग पर {{math|(1.1)<sup>''r''</sup>}} शीर्षों में कोई एकवर्णी नहीं होता है {{mvar|r}}-सबग्राफ, यह इस तरह के रंग का कोई स्पष्ट उदाहरण नहीं देता है। इस तरह के रंग को खोजने की समस्या 50 से अधिक वर्षों से [[खुली समस्या]] रही है।
इस तर्क की एक कमजोरी यह है कि यह पूरी तरह से असंवैधानिक है। हालांकि यह साबित करता है (उदाहरण के लिए) कि {{math|(1.1)<sup>''r''</sup>}} शीर्षों पर पूर्ण ग्राफ के लगभग हर रंग में कोई मोनोक्रोमैटिक {{mvar|r}}-सबग्राफ नहीं होता है, यह इस तरह के रंग का कोई स्पष्ट उदाहरण नहीं देता है। इस तरह के रंग को खोजने की समस्या 50 से अधिक वर्षों से खुली हुई है।
 
----
 
{{notelist}}


=== दूसरा उदाहरण ===
=== दूसरा उदाहरण ===
Erdős के 1959 के पेपर (नीचे उद्धृत संदर्भ देखें) ने [[ग्राफ सिद्धांत]] में निम्नलिखित समस्या को संबोधित किया: दिए गए सकारात्मक पूर्णांक {{mvar|g}} और {{mvar|k}}, क्या कोई ग्राफ मौजूद है {{mvar|G}} कम से कम लंबाई का केवल [[चक्र (ग्राफ सिद्धांत)]] युक्त {{mvar|g}}, जैसे कि [[रंगीन संख्या]] {{mvar|G}} कम से कम है {{mvar|k}}?
----Erdős के 1959 के पेपर (नीचे उद्धृत संदर्भ देखें) ने [[ग्राफ सिद्धांत]] में निम्नलिखित समस्या को संबोधित किया: दिए गए सकारात्मक पूर्णांक {{mvar|g}} और {{mvar|k}}, क्या कोई ग्राफ मौजूद है {{mvar|G}} कम से कम लंबाई का केवल [[चक्र (ग्राफ सिद्धांत)]] युक्त {{mvar|g}}, जैसे कि [[रंगीन संख्या]] {{mvar|G}} कम से कम है {{mvar|k}}?


यह दिखाया जा सकता है कि ऐसा ग्राफ किसी के लिए भी मौजूद है {{mvar|g}} और {{mvar|k}}, और सबूत यथोचित सरल है। होने देना {{mvar|n}} बहुत बड़ा हो और एक यादृच्छिक ग्राफ पर विचार करें {{mvar|G}} पर {{mvar|n}} कोने, जहां हर किनारा अंदर है {{mvar|G}} संभाव्यता के साथ मौजूद है {{math|''p'' {{=}} ''n''<sup>1/''g''&hairsp;−1</sup>}}. हम दिखाते हैं कि सकारात्मक संभावना के साथ, {{mvar|G}} निम्नलिखित दो गुणों को संतुष्ट करता है:
यह दिखाया जा सकता है कि ऐसा ग्राफ किसी के लिए भी मौजूद है {{mvar|g}} और {{mvar|k}}, और सबूत यथोचित सरल है। होने देना {{mvar|n}} बहुत बड़ा हो और एक यादृच्छिक ग्राफ पर विचार करें {{mvar|G}} पर {{mvar|n}} कोने, जहां हर किनारा अंदर है {{mvar|G}} संभाव्यता के साथ मौजूद है {{math|''p'' {{=}} ''n''<sup>1/''g''&hairsp;−1</sup>}}. हम दिखाते हैं कि सकारात्मक संभावना के साथ, {{mvar|G}} निम्नलिखित दो गुणों को संतुष्ट करता है:
Line 87: Line 83:
== यह भी देखें ==
== यह भी देखें ==
{{Portal|Mathematics}}
{{Portal|Mathematics}}
* [[इंटरएक्टिव प्रूफ सिस्टम]]
* [[इंटरएक्टिव प्रूफ सिस्टम|पारस्परिक प्रमाण प्रणाली]]
* [[लास वेगास एल्गोरिथम]]
* [[लास वेगास एल्गोरिथम|लासवेगास एल्गोरिथम]]
* [[सशर्त संभावनाओं की विधि]]
* [[सशर्त संभावनाओं की विधि|सशर्त संभाव्यता विधि]]
*गैर-संभाव्यता प्रमेय के संभाव्य प्रमाण
*गैर-संभाव्यता प्रमेय के संभाव्य प्रमाण
* [[ यादृच्छिक ग्राफ ]]
* [[ यादृच्छिक ग्राफ | यादृच्छिक आरेख]]


== अतिरिक्त संसाधन ==
== अतिरिक्त संसाधन ==
Line 98: Line 94:


==संदर्भ==
==संदर्भ==
* Alon, Noga; Spencer, Joel H. (2000).  ''The probabilistic method'' (2ed).  New York: Wiley-Interscience.  {{isbn|0-471-37046-0}}.
* {{notelist}}Alon, Noga; Spencer, Joel H. (2000).  ''The probabilistic method'' (2ed).  New York: Wiley-Interscience.  {{isbn|0-471-37046-0}}.
* {{cite journal |doi=10.4153/CJM-1959-003-9 |author=Erdős, P. |year=1959 |title=Graph theory and probability |journal=Can. J. Math. |volume=11 |pages=34–38 |mr=0102081 |s2cid=122784453 |doi-access=free }}
* {{cite journal |doi=10.4153/CJM-1959-003-9 |author=Erdős, P. |year=1959 |title=Graph theory and probability |journal=Can. J. Math. |volume=11 |pages=34–38 |mr=0102081 |s2cid=122784453 |doi-access=free }}
* {{cite journal |doi=10.4153/CJM-1961-029-9 |author=Erdős, P. |year=1961 |title=Graph theory and probability, II |journal=Can. J. Math. |volume=13 |pages=346–352 |mr=0120168 |url=https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/graph-theory-and-probability-ii/38F46DC839201178C2EEC2B14B1647BC|citeseerx=10.1.1.210.6669 |s2cid=15134755 }}
* {{cite journal |doi=10.4153/CJM-1961-029-9 |author=Erdős, P. |year=1961 |title=Graph theory and probability, II |journal=Can. J. Math. |volume=13 |pages=346–352 |mr=0120168 |url=https://www.cambridge.org/core/journals/canadian-journal-of-mathematics/article/graph-theory-and-probability-ii/38F46DC839201178C2EEC2B14B1647BC|citeseerx=10.1.1.210.6669 |s2cid=15134755 }}

Revision as of 17:28, 9 May 2023

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

यह पद्धति अब गणित के अन्य क्षेत्रों जैसे संख्या सिद्धांत, रेखीय बीजगणित और वास्तविक विश्लेषण के साथ-साथ कंप्यूटर विज्ञान (जैसे यादृच्छिक गोलाई) और सूचना सिद्धांत में प्रयुक्त की गई है।

परिचय

यदि वस्तुओं के संग्रह में प्रत्येक वस्तु में एक निश्चित गुण होने में विफल रहता है, तो संभावना है कि संग्रह से चुनी गई एक यादृच्छिक वस्तु में वह संपत्ति शून्य है।

इसी तरह, यह दिखाते हुए कि संभावना (सख्ती से) 1 से कम है, किसी वस्तु के अस्तित्व को साबित करने के लिए इस्तेमाल किया जा सकता है जो निर्धारित गुणों को पूरा नहीं करता है।

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

वैकल्पिक रूप से, संभाव्य विधि का उपयोग नमूना स्थान में एक वांछित तत्व के अस्तित्व की गारंटी देने के लिए भी किया जा सकता है, जो गणना किए गए अपेक्षित मूल्य से अधिक या उसके बराबर है, क्योंकि ऐसे तत्व की गैर-मौजूदगी में प्रत्येक तत्व का अर्थ होगा। नमूना स्थान अपेक्षित मान से कम है, यह एक विरोधाभास है।

संभाव्यता पद्धति में उपयोग किए जाने वाले सामान्य उपकरणों में मार्कोव की असमानता, Chernoff बाध्य और लोवाज़ स्थानीय लेम्मा शामिल हैं।

एर्डोस के कारण दो उदाहरण

हालांकि उनके पहले के अन्य लोगों ने संभाव्य पद्धति के माध्यम से प्रमेयों को सिद्ध किया (उदाहरण के लिए, स्ज़ेल के 1943 के परिणाम में हैमिल्टनियन चक्रों की एक बड़ी संख्या वाले टूर्नामेंट (ग्राफ सिद्धांत) मौजूद हैं), इस पद्धति का उपयोग करने वाले कई सबसे प्रसिद्ध प्रमाण एर्डोस के कारण हैं। नीचे दिया गया पहला उदाहरण 1947 के एक ऐसे परिणाम का वर्णन करता है जो रैमसे संख्या R(r, r) के लिए निचली सीमा का प्रमाण देता है।

पहला उदाहरण

मान लीजिए कि हमारे पास n शीर्षों पर एक पूर्ण ग्राफ है। हम यह दिखाना चाहते हैं (n के पर्याप्त छोटे मानों के लिए) कि ग्राफ के किनारों को दो रंगों (जैसे लाल और नीला) में रंगना संभव है ताकि r शीर्षों पर कोई पूर्ण सबग्राफ न हो जो मोनोक्रोमैटिक हो (हर किनारा रंगीन हो) समान रंग) है।

ऐसा करने के लिए, हम ग्राफ़ को बेतरतीब ढंग से रंगते हैं। प्रत्येक किनारे को स्वतंत्र रूप से 1/2 लाल होने और 1/2 नीला होने की संभावना के साथ रंग दें। हम निम्नानुसार r शीर्षों पर मोनोक्रोमैटिक सबग्राफ की अपेक्षित संख्या की गणना करते हैं:

किसी भी सेट के लिए का हमारे ग्राफ से शिखर, चर को परिभाषित करें होना 1 अगर हर किनारे के बीच शिखर एक ही रंग है, और 0 अन्यथा। ध्यान दें कि मोनोक्रोमैटिक की संख्या -सबग्राफ का योग है सभी संभावित उपसमुच्चय पर . किसी भी व्यक्तिगत सेट के लिए , का अपेक्षित मूल्य केवल संभावना है कि सभी किनारों में एक ही रंग हैं:

(का कारक 2 आता है क्योंकि दो संभावित रंग हैं)।

यह किसी के लिए भी सही है संभावित उपसमुच्चय जिन्हें हम चुन सकते थे, अर्थात से लेकर 1 को . तो हमारे पास इसका योग है कुल मिलाकर है

अपेक्षाओं का योग योग की अपेक्षा है (भले ही चर सांख्यिकीय स्वतंत्रतास्वतंत्र हों), इसलिए योग की अपेक्षा (सभी मोनोक्रोमैटिक -सबग्राफ की अपेक्षित संख्या) है:

विचार करें कि क्या होता है यदि यह मान 1 से कम है। चूंकि मोनोक्रोमैटिक r-सबग्राफ की अपेक्षित संख्या 1 से कम है, इसलिए एक रंग मौजूद है जो इस शर्त को संतुष्ट करता है कि मोनोक्रोमैटिक r-सबग्राफ की संख्या 1 से सख्ती से कम है। की संख्या इस यादृच्छिक रंग में मोनोक्रोमैटिक r-सबग्राफ एक गैर-ऋणात्मक पूर्णांक है, इसलिए यह 0 होना चाहिए (0 केवल 1 से कम गैर-नकारात्मक पूर्णांक है)। इससे पता चलता है कि अगर

(जो रखता है, उदाहरण के लिए, के लिए n = 5 और r = 4), एक रंग मौजूद होना चाहिए जिसमें कोई मोनोक्रोमैटिक न हो r-सबग्राफ।[lower-alpha 1]

रैमसे संख्या की परिभाषा के अनुसार, इसका तात्पर्य है कि R(r, r) से बड़ा होना चाहिए n. विशेष रूप से, R(r, r) के साथ कम से कम घातीय वृद्धि होनी चाहिए r.

इस तर्क की एक कमजोरी यह है कि यह पूरी तरह से असंवैधानिक है। हालांकि यह साबित करता है (उदाहरण के लिए) कि (1.1)r शीर्षों पर पूर्ण ग्राफ के लगभग हर रंग में कोई मोनोक्रोमैटिक r-सबग्राफ नहीं होता है, यह इस तरह के रंग का कोई स्पष्ट उदाहरण नहीं देता है। इस तरह के रंग को खोजने की समस्या 50 से अधिक वर्षों से खुली हुई है।

दूसरा उदाहरण


Erdős के 1959 के पेपर (नीचे उद्धृत संदर्भ देखें) ने ग्राफ सिद्धांत में निम्नलिखित समस्या को संबोधित किया: दिए गए सकारात्मक पूर्णांक g और k, क्या कोई ग्राफ मौजूद है G कम से कम लंबाई का केवल चक्र (ग्राफ सिद्धांत) युक्त g, जैसे कि रंगीन संख्या G कम से कम है k?

यह दिखाया जा सकता है कि ऐसा ग्राफ किसी के लिए भी मौजूद है g और k, और सबूत यथोचित सरल है। होने देना n बहुत बड़ा हो और एक यादृच्छिक ग्राफ पर विचार करें G पर n कोने, जहां हर किनारा अंदर है G संभाव्यता के साथ मौजूद है p = n1/g −1. हम दिखाते हैं कि सकारात्मक संभावना के साथ, G निम्नलिखित दो गुणों को संतुष्ट करता है:

संपत्ति 1। G अधिक से अधिक शामिल हैं n/2 से कम लंबाई के चक्र g.

सबूत। होने देना X से कम लंबाई के संख्या चक्र हो g. लंबाई के चक्रों की संख्या i पूरे ग्राफ में n शिखर है

और उनमें से प्रत्येक में मौजूद है G संभाव्यता के साथ pi. इसलिए मार्कोव की असमानता से हमारे पास है

इस प्रकार पर्याप्त रूप से बड़े के लिए n, संपत्ति 1 से अधिक की संभावना के साथ रखती है 1/2.
संपत्ति 2। G में आकार का कोई स्वतंत्र सेट (ग्राफ़ सिद्धांत) नहीं है .

सबूत। होने देना Y में सबसे बड़े स्वतंत्र सेट का आकार हो G. स्पष्ट रूप से, हमारे पास है

कब

इस प्रकार, पर्याप्त बड़े के लिए n, संपत्ति 2 से अधिक की संभावना के साथ रखती है 1/2.

काफी बड़े के लिए n, संभावना है कि वितरण से एक ग्राफ में दोनों गुण हैं, सकारात्मक है, क्योंकि इन गुणों की घटनाओं को अलग नहीं किया जा सकता है (यदि वे थे, तो उनकी संभावनाएं 1 से अधिक हो जाएंगी)।

यहाँ चाल आती है: चूंकि G में ये दो गुण हैं, हम अधिक से अधिक निकाल सकते हैं n/2 शिखर से G एक नया ग्राफ प्राप्त करने के लिए G′ पर वे शीर्ष जिनमें कम से कम केवल लंबाई के चक्र हों g. हम देख सकते हैं कि इस नए ग्राफ में आकार का कोई स्वतंत्र सेट नहीं है . G′ को केवल कम से कम में विभाजित किया जा सकता है k स्वतंत्र सेट, और, इसलिए, कम से कम रंगीन संख्या होती है k.

यह परिणाम इस बात का संकेत देता है कि किसी ग्राफ की रंगीन संख्या की गणना इतनी कठिन क्यों है: यहां तक ​​​​कि जब ग्राफ के लिए कई रंगों की आवश्यकता के लिए कोई स्थानीय कारण (जैसे छोटे चक्र) नहीं होते हैं, तब भी रंगीन संख्या मनमाने ढंग से बड़ी हो सकती है।

यह भी देखें

अतिरिक्त संसाधन

संदर्भ

  1. The same fact can be proved without probability, using a simple counting argument:
    • The total number of r-subgraphs is .
    • Each r-subgraphs has edges and thus can be colored in different ways.
    • Of these colorings, only 2 colorings are 'bad' for that subgraph (the colorings in which all vertices are red or all vertices are blue).
    • Hence, the total number of colorings that are bad for some (at least one) subgraph is at most .
    • Hence, if , there must be at least one coloring which is not 'bad' for any subgraph.

Alon, Noga; Spencer, Joel H. (2000). The probabilistic method (2ed). New York: Wiley-Interscience. ISBN 0-471-37046-0.


फुटनोट्स


श्रेणी: संयोजन विज्ञान श्रेणी:गणितीय प्रमाण श्रेणी:संभाव्य तर्क