This is a good article. Click here for more information.

राडो ग्राफ

From Vigyanwiki
Revision as of 11:09, 14 August 2023 by Manidh (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

राडो ग्राफ, जैसा कि एकरमैन (1937) और राडो (1964) द्वारा क्रमांकित है।

ग्राफ सिद्धांत के गणितीय क्षेत्र में, राडो ग्राफ, एर्डोस-रेनी ग्राफ, या यादृच्छिक ग्राफ एक गणनीय अनंत ग्राफ है जिसका निर्माण (संभावना एक के साथ) इसके शीर्षों की प्रत्येक जोड़ी के लिए यादृच्छिक रूप से स्वतंत्र रूप से चुनकर किया जा सकता है कि क्या शीर्षों को एक कोर से जोड़ा जाए। इस ग्राफ के नाम रिचर्ड राडो, पॉल एर्डोज़ और अल्फ़्रेड रेनी, गणितज्ञों का सम्मान करते हैं जिन्होंने 1960 के दशक की प्रारम्भ में इसका अध्ययन किया था; यह विल्हेम एकरमैन (1937) के काम में और भी पहले दिखाई देता है। राडो ग्राफ का निर्माण गैर-यादृच्छिक रूप से भी किया जा सकता है, आनुवंशिक रूप से परिमित समुच्चय के सदस्यता संबंध को सममित करके, प्राकृतिक संख्याओं के द्विआधारी प्रतिनिधित्व के लिए बीआईटी विधेय को प्रयुक्त करके, या एक अनंत पैली ग्राफ के रूप में जिसमें 1 मॉड 4 के अनुरूप अभाज्य संख्याओं के जोड़े को जोड़ने वाले कोर होते हैं जो एक दूसरे के द्विघात अवशेष मॉड्यूलो होते हैं।

प्रत्येक परिमित या गणनीय अनंत ग्राफ राडो ग्राफ का प्रेरित सबग्राफ है और इसे एक ग्रीडी एल्गोरिथ्म द्वारा प्रेरित सबग्राफ के रूप में पाया जा सकता है जो एक समय में शीर्ष पर सबग्राफ बनाता है। राडो ग्राफ को गणनीय ग्राफों के बीच, विस्तार गुण द्वारा विशिष्ट रूप से परिभाषित किया गया है जो इस एल्गोरिदम की शुद्धता की प्रत्याभूति देता है: इससे कोई फर्क नहीं पड़ता कि प्रेरित सबग्राफ का हिस्सा बनने के लिए कौन से कोण पहले से ही चुने गए हैं, और इससे कोई फर्क नहीं पड़ता कि सबग्राफ को एक और शीर्ष तक विस्तारित करने के लिए आसन्नताओं के किस पैटर्न की आवश्यकता है, हमेशा आसन्न पैटर्न के साथ एक और शीर्ष उपस्थित होगा जिसे ग्रीडी एल्गोरिदम चुन सकता है।

राडो ग्राफ अत्यधिक सममित है: इसके परिमित प्रेरित उपसमूहों के किसी भी समरूपता को पूरे ग्राफ की समरूपता तक बढ़ाया जा सकता है। प्रथम-क्रम तर्क वाक्य जो राडो ग्राफ के लिए सत्य हैं, वे लगभग सभी यादृच्छिक परिमित ग्राफ के लिए भी सत्य हैं, और जो वाक्य राडो ग्राफ के लिए गलत हैं, वे लगभग सभी परिमित ग्राफ के लिए भी गलत हैं। मॉडल सिद्धांत में, राडो ग्राफ ω-वर्गीकृत सिद्धांत के अद्वितीय गणनीय मॉडल का एक उदाहरण है।

इतिहास

राडो ग्राफ का निर्माण सबसे पहले एकरमैन (1937) द्वारा दो विधियों से किया गया था, जिसमें शीर्ष या तो आनुवंशिक रूप से सीमित समुच्चय या प्राकृतिक संख्याएँ थीं। (यथार्थ रूप से, एकरमैन ने एक निर्देशित ग्राफ का वर्णन किया है, और राडो ग्राफ किनारों पर दिशाओं को भूलकर दिया गया संबंधित अप्रत्यक्ष ग्राफ है।) एर्दो और रेनी (1963) ने राडो ग्राफ को गणनीय संख्या में बिंदुओं पर यादृच्छिक ग्राफ के रूप में बनाया है। उन्होंने सिद्ध किया कि इसमें असीमित रूप से कई ऑटोमोर्फिज्म (स्वाकारिता) हैं, और उनके तर्क से यह भी पता चलता है कि यह अद्वितीय है, हालांकि उन्होंने इसका स्पष्ट रूप से उल्लेख नहीं किया। रिचर्ड राडो (1964) ने राडो ग्राफ को एक सार्वभौमिक ग्राफ के रूप में फिर से खोजा और शीर्ष पर प्राकृतिक संख्याओं को समुच्चय करने के साथ इसका एक स्पष्ट निर्माण दिया। राडो का निर्माण अनिवार्य रूप से एकरमैन के निर्माणों में से एक के बराबर है।

निर्माण

बाइनरी संख्या

एकरमैन (1937) और राडो (1964) ने बीआईटी विधेय का उपयोग करते हुए राडो ग्राफ का निर्माण इस प्रकार किया। उन्होंने ग्राफ के शीर्षों की पहचान प्राकृतिक संख्याओं 0, 1, 2, के साथ की... एक कोर ग्राफ में शीर्षों और को जोड़ता है (जहाँ ) जब भी के द्विआधारी निरूपण का वां बिट गैर-शून्य होता है। इस प्रकार, उदाहरण के लिए, शीर्ष 0 के प्रतिवेश में सभी विषम संख्या वाले शीर्ष सम्मिलित हैं, क्योंकि जिन संख्याओं का 0वां बिट शून्येतर है, वे बिल्कुल विषम संख्याएं हैं। शीर्ष 1 का एक छोटा प्रतिवेश, शीर्ष 0 है, क्योंकि 1 विषम है और शीर्ष 0 सभी विषम शीर्षों से जुड़ा है। शीर्ष 1 के बड़े प्रतिवेश वे सभी शीर्ष हैं जिनकी संख्याएँ 2 या 3 मॉड्यूल 4 के अनुरूप हैं क्योंकि वे बिल्कुल सूचकांक 1 पर एक गैर-शून्य बिट वाली संख्याएँ हैं।[1]

यादृच्छिक ग्राफ

राडो ग्राफ लगभग निश्चित रूप से कई शीर्षों पर एक यादृच्छिक ग्राफ के एर्डो-रेनी मॉडल में बना होता है। विशेष रूप से, कोई व्यक्ति स्वतंत्र रूप से और शीर्षों के प्रत्येक जोड़े के लिए 1/2 संभावना के साथ यह चुनकर एक अनंत ग्राफ बना सकता है कि दोनों शीर्षों को एक कोर से जोड़ना है या नहीं। प्रायिकता 1 के साथ परिणामी ग्राफ राडो ग्राफ के समरूपी है। यह निर्माण तब भी काम करता है जब 1/2 के स्थान पर कोई निश्चित संभाव्यता p जो 0 या 1 के बराबर न हो, का उपयोग किया जाता है।[2]

पॉल एर्डोज़ और अल्फ़्रेड रेनी (1963) द्वारा दिखाया गया यह परिणाम, राडो ग्राफ के लिए सामान्य वैकल्पिक नाम "यादृच्छिक ग्राफ" में निश्चित लेख को सही ठहराता है। एर्दो-रेनी मॉडल से बार-बार एक परिमित ग्राफ खींचने से सामान्यतः अलग-अलग ग्राफ बनेंगे; हालाँकि, जब एक गणनीय अनंत ग्राफ पर प्रयुक्त किया जाता है, तो मॉडल लगभग हमेशा एक ही अनंत ग्राफ बना करता है।[3]

इस तरह से यादृच्छिक रूप से बने किसी भी ग्राफ के लिए, सभी विकल्पों को विपरीत कर एक ही समय में पूरक ग्राफ प्राप्त किया जा सकता है: एक कोर सहित जब पहले ग्राफ में समान कोर सम्मिलित नहीं थी, और इसके विपरीत पूरक ग्राफ का यह निर्माण यादृच्छिक रूप से और स्वतंत्र रूप से यह चुनने की उसी प्रक्रिया का एक उदाहरण है कि प्रत्येक कोर को सम्मिलित किया जाए या नहीं, इसलिए यह (संभावना 1 के साथ) राडो ग्राफ भी बनाता है। इसलिए, राडो ग्राफ एक स्व-पूरक ग्राफ है।[4]

अन्य रचनाएं

एकरमैन के 1937 के मूल निर्माणों में से एक में, राडो ग्राफ के शीर्षों को आनुवंशिक रूप से परिमित समुच्चय द्वारा अनुक्रमित किया जाता है, और दो शीर्षों के बीच एक कोर होता है, ठीक उसी समय जब संबंधित परिमित समुच्चय में से एक दूसरे का सदस्य होता है। समान निर्माण स्कोलेम के विरोधाभास पर आधारित हो सकता है, यह तथ्य कि समुच्चय के प्रथम-क्रम सिद्धांत के लिए एक गणनीय मॉडल उपस्थित है। प्रत्येक समुच्चय के लिए एक शीर्ष बनाकर, ऐसे मॉडल से राडो ग्राफ का निर्माण किया जा सकता है, जिसमें समुच्चय की प्रत्येक जोड़ी को जोड़ने वाला एक कोर होता है, जहां जोड़ी में एक समुच्चय दूसरे का सदस्य होता है।[5]

राडो ग्राफ का निर्माण पाले ग्राफ के सदृश एक निर्माण द्वारा भी किया जा सकता है, जिसमें सभी अभाज्य संख्याओं को एक ग्राफ के शीर्ष के रूप में लिया जाता है जो 1 मॉड्यूलो 4 के अनुरूप होते हैं, और जब भी दो संख्याओं में से एक द्विघात अवशेष मॉड्यूलो अन्य होता है तो दो शीर्षों को एक कोर से जोड़ते हैं। द्विघात पारस्परिकता और 1 मॉड 4 के अनुरूप अभाज्य संख्याओं के शीर्षों के प्रतिबंध द्वारा, यह एक सममित संबंध है, इसलिए यह एक अप्रत्यक्ष ग्राफ को परिभाषित करता है, जो राडो ग्राफ के लिए समरूपी हो जाता है।[6]

राडो ग्राफ के एक अन्य निर्माण से पता चलता है कि यह एक अनंत परिचालित ग्राफ है, जिसके शीर्ष पूर्णांक हैं और प्रत्येक दो पूर्णांकों के बीच एक कोर है, जिनकी दूरी (उनके अंतर का पूर्ण मान) एक विशेष समुच्चय से संबंधित है। इस तरह से राडो ग्राफ का निर्माण करने के लिए, को यादृच्छिक रूप से , या सभी परिमित बाइनरी अनुक्रमों के संयोजन के लिए के संकेतक फलन को चुनकर चुना जा सकता है।[7]

राडो ग्राफ को एक अनंत ब्लॉक डिज़ाइन के ब्लॉक प्रतिच्छेदन ग्राफ के रूप में भी बनाया जा सकता है जिसमें बिंदुओं की संख्या और प्रत्येक ब्लॉक का आकार अनगिनत रूप से अनंत होता है।[8] इसे परिमित ग्राफ के वर्ग की फ़्रैसे सीमा के रूप में भी बनाया जा सकता है।[9]

गुण

विस्तार

राडो ग्राफ का विस्तार गुण: शीर्षों के प्रत्येक दो असंयुक्त परिमित समुच्चय के लिए और , वहाँ एक और शिखर उपस्थित है में हर चीज़ से जुड़ा हुआ है , और अंदर कुछ भी नहीं

राडो ग्राफ निम्नलिखित विस्तार गुण को संतुष्ट करता है: शीर्ष और के प्रत्येक दो असंयुक्त परिमित समुच्चय के लिए, दोनों समुच्चय के बाहर एक शीर्ष उपस्थित होता है जो में सभी शीर्षों से जुड़ा होता है लेकिन में कोई प्रतिवेश नहीं होता है।[2] उदाहरण के लिए, राडो ग्राफ की द्विआधारी-संख्या परिभाषा के साथ, आइए

फिर x के द्विआधारी प्रतिनिधित्व में गैर-शून्य बिट्स के कारण यह में हर चीज के निकट होता है। हालाँकि, के पास में शीर्षों के अनुरूप अपने द्विआधारी प्रतिनिधित्व में कोई गैर-शून्य बिट्स नहीं है, और इतना अधिक है कि के प्रत्येक अवयव का बिट शून्य है। इस प्रकार, , में किसी भी शीर्ष के निकट नहीं है।[10]

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

प्रेरित सबग्राफ

विस्तार गुण का उपयोग राडो ग्राफ के भीतर किसी भी परिमित या गणनीय अनंत ग्राफ की समरूपी प्रतियों को प्रेरित सबग्राफ के रूप में बनाने के लिए किया जा सकता है। ऐसा करने के लिए, के शीर्षों को क्रमबद्ध करें, और राडो ग्राफ के भीतर की आंशिक प्रतिलिपि में उसी क्रम में शीर्ष जोड़ें। प्रत्येक चरण में, में अगला शीर्ष में शीर्षों के कुछ समुच्चय के निकट होगा जो कि शीर्षों के क्रम में पहले हैं, और में पहले के शीर्षों के शेष समुच्चय के निकट नहीं होगा। विस्तार गुण के अनुसार, राडो ग्राफ में एक शीर्ष भी होगा जो आंशिक प्रतिलिपि में सभी शीर्षों के समीप है जो के सदस्यों के अनुरूप है, और आंशिक प्रतिलिपि में सभी शीर्षों के निकट नहीं है जो के सदस्यों के अनुरूप है। की आंशिक प्रतिलिपि में जोड़ना एक और शीर्ष के साथ, एक बड़ी आंशिक प्रतिलिपि तैयार करता है।[[11]

यह विधि प्रेरण द्वारा प्रमाण के लिए आधार बनाती है, इसके आधार स्तिथि के रूप में 0-वर्टेक्स सबग्राफ के साथ, कि प्रत्येक परिमित या गणनीय अनंत ग्राफ राडो ग्राफ का एक प्रेरित सबग्राफ है।[11]

अद्वितीयता

रैडो ग्राफ, ग्राफ समरूपता तक, विस्तार गुण वाला एकमात्र गणनीय ग्राफ है। उदाहरण के लिए, मान लीजिए कि और विस्तार गुण वाले दो गणनीय ग्राफ हैं, मान लीजिए और क्रमशः और के समरूपी परिमित प्रेरित सबग्राफ हैं, और मान लीजिए कि और क्रमशः और के शीर्षों की गणना में पहले शीर्ष हैं जो और से संबंधित नहीं हैं। फिर, विस्तार गुण को दो बार प्रयुक्त करके, कोई समरूपी-प्रेरित सबग्राफ और पा सकता है जिसमें पिछले सबग्राफ के सभी शीर्षों के साथ और सम्मिलित हैं। इस प्रक्रिया को दोहराकर, कोई प्रेरित उपसमूहों के बीच समरूपता का एक क्रम बना सकता है जिसमें अंततः और में प्रत्येक शीर्ष सम्मिलित होता है। इस प्रकार, आगे-पीछे विधि द्वारा, और को समरूपी होना चाहिए।[12] चूँकि यादृच्छिक ग्राफ निर्माण, बाइनरी संख्या निर्माण और पैली ग्राफ निर्माण द्वारा निर्मित ग्राफ सभी विस्तार गुण के साथ गणनीय ग्राफ हैं, यह तर्क दर्शाता है कि वे सभी एक दूसरे के लिए समरूपी हैं।[13]

समरूपता समूह

राडो ग्राफ के किन्हीं दो समरूपी परिमित उपसमूहों के आगे-पीछे निर्माण को प्रयुक्त करने से उनकी समरूपता पूरे राडो ग्राफ के एक ग्राफ ऑटोमोर्फिज्म तक विस्तारित हो जाती है। तथ्य यह है कि परिमित उपग्राफों की प्रत्येक समरूपता पूरे ग्राफ के ऑटोमोर्फिज्म तक फैली हुई है, यह कहकर व्यक्त किया जाता है कि राडो ग्राफ सजातीय ग्राफ है। विशेष रूप से, आसन्न शीर्षों के किसी भी क्रमित जोड़े को ऐसे किसी अन्य क्रमित जोड़े में ले जाने वाली एक ऑटोमोर्फिज्म होती है, इसलिए राडो ग्राफ एक सममित ग्राफ है।[12]

राडो ग्राफ का ऑटोमोर्फिज्म समूह एक सरल समूह है, जिसके अवयवों की संख्या सातत्य की प्रमुखता है। इस समूह का प्रत्येक उपसमूह, जिसके उपसमूह का सूचकांक सातत्य की प्रमुखता से कम है, में शीर्षों के एक सीमित समुच्चय का बिंदुवार स्टेबलाइजर होता है, और इसके अलावा उसी समुच्चय के सेटवाइज स्टेबलाइजर के भीतर समाहित होता है।[14] बिंदुवार स्टेबिलाइजर्स के बारे में बयान को लघु सूचकांक गुण कहा जाता है,[14]और इसे सिद्ध करने के लिए प्रत्येक परिमित ग्राफ के लिए इसे दिखाना आवश्यक है , एक परिमित ग्राफ है युक्त एक प्रेरित सबग्राफ के रूप में, जैसे कि प्रेरित सबग्राफ के बीच प्रत्येक समरूपता की ऑटोमोर्फिज्म तक फैली हुई है .[15] इसे आंशिक ऑटोमोर्फिज्म के लिए विस्तार गुण कहा जाता है और तब से छोटी सूचकांक गुण और अन्य गुणों को दिखाने के लिए इसे आगे की संरचनाओं में सामान्यीकृत किया गया है।[16]

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

परिमित परिवर्तनों के प्रति दृढ़ता

यदि एक ग्राफ राडो ग्राफ से किसी भी सीमित संख्या में किनारों या शीर्षों को हटाकर, या किनारों की एक सीमित संख्या जोड़कर बनाया जाता है, परिवर्तन ग्राफ की विस्तार गुण को प्रभावित नहीं करता है। समुच्चय की किसी भी जोड़ी के लिए और संशोधित ग्राफ में एक शीर्ष खोजना अभी भी संभव है जो कि हर चीज़ के निकट है और हर चीज़ से असन्निकट , के संशोधित भागों को जोड़कर को और असंशोधित राडो ग्राफ में विस्तार गुण को प्रयुक्त करना। इसलिए, इस प्रकार के किसी भी सीमित संशोधन के परिणामस्वरूप एक ग्राफ बनता है जो राडो ग्राफ के समरूपी होता है।[18]

विभाजन

राडो ग्राफ के शीर्षों के किसी भी विभाजन के लिए दो समुच्चय और में, या अधिक सामान्यतः किसी भी विभाजन के लिए बहुत से उपसमुच्चयों में, विभाजन समुच्चय में से एक से प्रेरित कम से कम एक सबग्राफ पूरे राडो ग्राफ के लिए सोमॉर्फिक है। कैमरून (2001) निम्नलिखित संक्षिप्त प्रमाण देता है: यदि कोई भी भाग राडो ग्राफ में एक सबग्राफ समरूपी को प्रेरित नहीं करता है, तो वे सभी विस्तार गुण रखने में विफल हो जाते हैं, और कोई समुच्चय और के जोड़े पा सकता है जिन्हें प्रत्येक सबग्राफ के भीतर विस्तारित नहीं किया जा सकता है। लेकिन फिर, समुच्चयों का संघ और समुच्चयों का संघ एक ऐसा समुच्चय बनाएगा जिसे पूरे ग्राफ में नहीं बढ़ाया जा सकता, जो राडो ग्राफ की विस्तार गुण के विपरीत है। किसी भी विभाजन के प्रेरित उपग्राफों में से एक के समरूपी होने की यह गुण केवल तीन गणनीय अनंत अप्रत्यक्ष ग्राफ द्वारा धारण की जाती है: राडो ग्राफ, पूर्ण ग्राफ और खाली ग्राफ।[19] बोनाटो, कैमरून और डेलीक (2000) और डायस्टेल एट अल। (2007) समान विभाजन गुण के साथ अनंत निर्देशित ग्राफ की जांच करें; सभी पूर्ण ग्राफ या राडो ग्राफ के किनारों के लिए अभिविन्यास चुनकर बनाए जाते हैं।

एक संबंधित परिणाम शीर्ष विभाजन के बजाय कोर विभाजन से संबंधित है: राडो ग्राफ के किनारों के प्रत्येक विभाजन के लिए कई समुच्चय में, पूरे राडो ग्राफ के लिए एक सबग्राफ समरूपी है जो अधिकतम दो रंगों का उपयोग करता है। हालाँकि, जरूरी नहीं कि एक आइसोमॉर्फिक सबग्राफ उपस्थित हो जो किनारों के केवल एक रंग का उपयोग करता हो।[20] अधिक सामान्यतः, प्रत्येक परिमित ग्राफ के लिए एक संख्या होती है (जिसे राडो ग्राफ में की बड़ी रैमसे डिग्री कहा जाता है) जैसे कि राडो ग्राफ में की प्रतियों के प्रत्येक विभाजन के लिए कई समुच्चय में, पूरे राडो ग्राफ में एक प्रेरित सबग्राफ समरूपी होता है जो रंगों के अधिकतम का उपयोग करता है।[21][22]

मॉडल सिद्धांत और 0-1 नियम

फ़ागिन (1976) ने ग्राफ के तर्क में प्रथम-क्रम कथनों के लिए शून्य-एक नियम को सिद्ध करने के लिए राडो ग्राफ का उपयोग किया। जब इस प्रकार का तार्किक कथन राडो ग्राफ के लिए सत्य या ग़लत है, तो यह लगभग सभी परिमित ग्राफ के लिए भी सत्य या ग़लत (क्रमशः) है।

प्रथम-क्रम गुण

ग्राफ की प्रथम-क्रम भाषा गणितीय तर्क में अच्छी तरह से निर्मित वाक्यों का संग्रह है, जो ग्राफ के शीर्षों, सार्वभौमिक और अस्तित्वगत परिमाणकों, तार्किक संयोजकों और शीर्षों की समानता और आसन्नता के लिए विधेय का प्रतिनिधित्व करने वाले चर से निर्मित होती है। उदाहरण के लिए, यह शर्त कि किसी ग्राफ में कोई अलग-अलग शीर्ष न हो, वाक्य द्वारा व्यक्त की जा सकती है।

जहां प्रतीक दो शीर्षों के बीच आसन्न संबंध को दर्शाता है।[23] यह वाक्य कुछ ग्राफ के लिए सत्य है, और अन्य के लिए ग़लत है; एक ग्राफ मॉडलिंग करने के लिए कहा जाता है , लिखा हुआ , अगर के शीर्ष और आसन्न संबंध के बारे में सत्य है .[24] राडो ग्राफ की विस्तार गुण को प्रथम-क्रम वाक्यों के संग्रह द्वारा व्यक्त किया जा सकता है , यह बताते हुए कि हर विकल्प के लिए एक समुच्चय में शीर्ष और एक समुच्चय में शीर्ष , सभी अलग-अलग, हर चीज से सटे एक शीर्ष उपस्थित है और हर चीज़ से असन्निकट .[25] उदाहरण के लिए, के रूप में लिखा जा सकता है।

सम्पूर्णता

गैफ़मैन (1964) ने सिद्ध किया कि वाक्य, , अतिरिक्त वाक्यों के साथ, जो बताते हैं कि आसन्न संबंध सममित और एंटीरिफ्लेक्सिव है (अर्थात, इन वाक्यों को मॉडलिंग करने वाला ग्राफ अप्रत्यक्ष है और इसमें कोई स्व-लूप नहीं है), एक पूर्ण सिद्धांत के स्वयंसिद्ध हैं। इसका मतलब यह है कि, प्रत्येक प्रथम-क्रम वाक्य के लिए, बिल्कुल में से एक और इसका निषेध इन सिद्धांतों से सिद्ध किया जा सकता है। क्योंकि राडो ग्राफ विस्तार सिद्धांतों को मॉडल करता है, यह इस सिद्धांत के सभी वाक्यों को मॉडल करता है।[26]

तर्कशास्त्र में, एक सिद्धांत जिसमें दी गई अनंत प्रमुखता के साथ केवल एक मॉडल (समरूपता तक) होता है, -श्रेणीबद्ध कहा जाता है। तथ्य यह है कि राडो ग्राफ विस्तार गुण के साथ अद्वितीय गणनीय ग्राफ है, इसका तात्पर्य यह है कि यह अपने सिद्धांत के लिए अद्वितीय गणनीय मॉडल भी है। राडो ग्राफ की इस विशिष्टता गुण को यह कहकर व्यक्त किया जा सकता है कि राडो ग्राफ का सिद्धांत ω-वर्गीकृत है। Łoś और वॉट ने 1954 में सिद्ध किया कि जब कोई सिद्धांत एक -श्रेणीबद्ध (कुछ अनंत कार्डिनल के लिए) होता है और, इसके अलावा, कोई परिमित मॉडल नहीं होता है, तो सिद्धांत पूर्ण होना चाहिए।[27] इसलिए, गैफमैन का प्रमेय कि राडो ग्राफ का सिद्धांत पूर्ण है, लोश-वाउट परीक्षण द्वारा राडो ग्राफ की विशिष्टता का अनुसरण करता है।[28]

परिमित ग्राफ और कम्प्यूटेशनल जटिलता

जैसा कि फागिन (1976) ने सिद्ध किया, विस्तार सिद्धांतों से सिद्ध और राडो ग्राफ द्वारा प्रतिरूपित प्रथम-क्रम वाक्य लगभग सभी यादृच्छिक परिमित ग्राफ के लिए बिल्कुल सही वाक्य हैं। इसका मतलब यह है कि यदि कोई लेबल वाले शीर्षों पर सभी ग्राफ़ों के बीच समान रूप से यादृच्छिक रूप से एक -वर्टेक्स ग्राफ चुनता है, तो संभावना है कि चुने गए ग्राफ के लिए ऐसा वाक्य सत्य होगा क्योंकि n अनंत तक पहुंचने पर सीमा में एक के समीप पहुंचता है। सममित रूप से, जो वाक्य राडो ग्राफ द्वारा प्रतिरूपित नहीं होते हैं वे लगभग सभी यादृच्छिक परिमित ग्राफ के लिए ग़लत होते हैं। यह इस प्रकार है कि यादृच्छिक परिमित ग्राफ के लिए प्रत्येक प्रथम-क्रम वाक्य या तो लगभग हमेशा सत्य होता है या लगभग हमेशा गलत होता है, और इन दो संभावनाओं को यह निर्धारित करके अलग किया जा सकता है कि क्या राडो ग्राफ वाक्य को मॉडल करता है। फ़ैगिन का प्रमाण कॉम्पैक्टनेस प्रमेय का उपयोग करता है।[29] इस तुल्यता के आधार पर, राडो ग्राफ द्वारा प्रतिरूपित वाक्यों के सिद्धांत को "यादृच्छिक ग्राफ का सिद्धांत" या "ग्राफ का लगभग निश्चित सिद्धांत" कहा गया है।

इस 0-1 नियम के कारण, n का एक अधिक पर्याप्त मान चुनकर और वाक्य को मॉडल करने वाले -वर्टेक्स ग्राफ की संख्या की गणना करके, यह परीक्षण करना संभव है कि क्या किसी विशेष प्रथम-क्रम वाक्य को सीमित समय में राडो ग्राफ द्वारा मॉडल किया गया है। हालाँकि, यहाँ, "काफ़ी अधिक" वाक्य के आकार में कम से कम घातांकीय है। उदाहरण के लिए, विस्तार अभिगृहीत , एक -वर्टेक्स क्लिक के अस्तित्व को दर्शाता है, लेकिन उस आकार का एक समूह केवल में आकार घातांक के यादृच्छिक ग्राफ में उच्च संभावना के साथ उपस्थित है। यह निर्धारित करना असंभव है कि राडो ग्राफ किसी दिए गए वाक्य को मॉडल करता है या नहीं, इसे घातीय समय की तुलना में अधिक तेज़ी से किया जा सकता है, क्योंकि समस्या पीस्पेस-पूर्ण है।[30]

अन्य मॉडल-सैद्धांतिक गुण

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

राडो ग्राफ का सिद्धांत स्वतंत्रता गुण के साथ एक सिद्धांत का एक प्रोटोटाइपिक उदाहरण है, और एक सरल सिद्धांत का जो स्थिर नहीं है।[35]

संबंधित अवधारणाएँ

यद्यपि राडो ग्राफ प्रेरित सबग्राफ के लिए सार्वभौमिक है, यह ग्राफ के सममितीय अंत:स्थापन के लिए सार्वभौमिक नहीं है, जहां एक सममितीय अंत:स्थापन एक ग्राफ समरूपता है जो दूरी को संरक्षित करता है। राडो ग्राफ का व्यास दो है, और इसलिए बड़े व्यास वाला कोई भी ग्राफ इसमें सममितीय रूप से एम्बेड नहीं होता है। मॉस (1989, 1991) ने सममितीय अंत:स्थापन के लिए सार्वभौमिक ग्राफ के एक परिवार का वर्णन किया है, प्रत्येक संभावित परिमित ग्राफ व्यास के लिए एक; उनके परिवार में व्यास दो के साथ ग्राफ राडो ग्राफ है।

हेन्सन ग्राफ गणनीय ग्राफ हैं (प्रत्येक धनात्मक पूर्णांक के लिए एक)। ) जिसमें i-वर्टेक्स क्लिक नहीं है और ये -क्लिक-मुक्त ग्राफ के लिए सार्वभौमिक हैं। इन्हें राडो ग्राफ के प्रेरित सबग्राफ के रूप में बनाया जा सकता है।[17] राडो ग्राफ, हेंसन ग्राफ और उनके पूरक, अनगिनत अनंत समूहों और उनके पूरकों के असंयुक्त संघ, और समरूपी परिमित समूहों और उनके पूरकों के अनंत असंयुक्त संघ ही एकमात्र संभव गिनती योग्य अनंत सजातीय ग्राफ हैं।[36]

राडो ग्राफ की सार्वभौमिकता गुण को कोर के रंग वाले ग्राफ तक बढ़ाया जा सकता है; अर्थात्, ऐसे ग्राफ जिनमें किनारों को अलग-अलग रंग वर्गों को सौंपा गया है, लेकिन किनारों के रंग की सामान्य आवश्यकता के बिना कि प्रत्येक रंग वर्ग एक संघ बनाता है। रंगों की किसी भी परिमित या गणनीय अनंत संख्या के लिए, एक अद्वितीय गणनीय-अनंत -कोर-रंगीन ग्राफ उपस्थित है, जैसे कि -कोर-रंगीन परिमित ग्राफ के प्रत्येक आंशिक समरूपता को पूर्ण समरूपता तक बढ़ाया जा सकता है। इस अंकन के साथ, राडो ग्राफ सिर्फ है। ट्रस (1985) ग्राफ के इस अधिक सामान्य परिवार के ऑटोमोर्फिज़्म समूहों की जाँच करता है।

जबकि राडो ग्राफ सभी ग्राफ़ों के वर्ग के लिए गणनीय सार्वभौमिक ग्राफ है, सभी ग्राफ वर्गों में गणनीय सार्वभौमिक ग्राफ नहीं है। उदाहरण के लिए, 4-चक्र को सबग्राफ के रूप में छोड़ने वाला कोई गणनीय ग्राफ नहीं है जिसमें अन्य सभी ऐसे गणनीय ग्राफ (आवश्यक रूप से प्रेरित नहीं) सबग्राफ के रूप में सम्मिलित हैं।[37]

यह एक संतृप्त मॉडल के निर्माण के शास्त्रीय मॉडल सिद्धांत के विचारों का अनुसरण करता है कि सातत्य परिकल्पना सीएच के तहत, कई शीर्षों के सातत्य के साथ एक सार्वभौमिक ग्राफ है। निस्संदेह, सीएच के तहत, सातत्य के बराबर है, पहला बेशुमार कार्डिनल। शेला (1984, 1990) सार्वभौमिक ग्राफ की जांच के लिए फोर्सिंग का उपयोग करता है कई शीर्ष और दर्शाते हैं कि CH की अनुपस्थिति में भी, आकार का एक सार्वभौमिक ग्राफ उपस्थित हो सकता है। वह उच्च प्रमुखता के लिए समान प्रश्नों की भी जांच करता है।

टिप्पणियाँ

  1. Ackermann (1937); Rado (1964).
  2. 2.0 2.1 2.2 See Cameron (1997), Fact 1 and its proof.
  3. Erdős & Rényi (1963).
  4. Cameron (1997), Proposition 5.
  5. Cameron (1997), Theorem 2.
  6. 6.0 6.1 Cameron (1997, 2001)
  7. Cameron (1997), Section 1.2.
  8. Horsley, Pike & Sanaei (2011)
  9. Hodges (1997), p. 350.
  10. Essentially the same construction, described in set-theoretic terms rather than using binary numbers, is given as Theorem 2 of Cameron (1997).
  11. 11.0 11.1 Cameron (1997), Proposition 6.
  12. 12.0 12.1 Cameron (2001).
  13. Cameron (1997), Fact 2.
  14. 14.0 14.1 Cameron (1997), Section 1.8: The automorphism group.
  15. Hrushovski (1992)
  16. Macpherson (2011), Sections 5.2 and 5.3.
  17. 17.0 17.1 Henson (1971).
  18. Cameron (1997), Section 1.3: Indestructibility.
  19. Cameron (1990); Diestel et al. (2007).
  20. Pouzet & Sauer (1996).
  21. Sauer (2006)
  22. Dobrinen (2021)
  23. Spencer (2001), Section 1.2, "What Is a First Order Theory?", pp. 15–17.
  24. See, e.g., Grandjean (1983), p. 184.
  25. Spencer (2001), Section 1.3, "Extension Statements and Rooted Graphs", pp. 17–18.
  26. Gaifman (1964); Marker (2002), Theorem 2.4.2, p. 50.
  27. Łoś (1954); Vaught (1954); Enderton (1972), p. 147.
  28. Marker (2002), Theorem 2.2.6, p. 42.
  29. Fagin (1976); Marker (2002), Theorem 2.4.4, pp. 51–52.
  30. Grandjean (1983).
  31. Macpherson (2011), Theorem 2.1.3, Example 2.2.1.
  32. Macpherson (2011), Corollary 3.1.3, Proposition 3.1.6.
  33. Rothmaler (2000), Theorem 13.3.1, Theorem 13.2.1.
  34. McNulty (2016), p.71 and p.75.
  35. Baldwin (2018)
  36. Lachlan & Woodrow (1980).
  37. Cherlin (2011), Fact 1.3

संदर्भ