राडो ग्राफ

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

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

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

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

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

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

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

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

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

विस्तार
राडो ग्राफ़ निम्नलिखित विस्तार गुण को संतुष्ट करता है: शीर्षों के प्रत्येक दो असंयुक्त परिमित सेटों के लिए $$U$$ और $$V$$, वहाँ एक शीर्ष मौजूद है $$x$$ दोनों सेटों के बाहर जो सभी शीर्षों से जुड़ा हुआ है $$U$$, लेकिन उसका कोई पड़ोसी नहीं है $$V$$. उदाहरण के लिए, राडो ग्राफ़ की बाइनरी-संख्या परिभाषा के साथ, आइए $$x=2^{1+\max(U\cup V)} + \sum_{u\in U} 2^u.$$ फिर गैर-शून्य बिट्स के द्विआधारी प्रतिनिधित्व में $$x$$ इसका कारण यह है कि यह हर चीज़ के निकट है $$U$$. हालाँकि, $$x$$ इसके बाइनरी प्रतिनिधित्व में शीर्षों के अनुरूप कोई गैर-शून्य बिट नहीं है $$V$$, और $$x$$ इतना बड़ा है कि $$x$$के प्रत्येक तत्व का वां बिट $$V$$ शून्य है. इस प्रकार, $$x$$ में किसी भी शीर्ष के निकट नहीं है $$V$$. राडो ग्राफ़ की यादृच्छिक-ग्राफ़ परिभाषा के साथ, प्रत्येक शीर्ष संघ के बाहर है $$U$$ और $$V$$ संभावना है $$1/2^{|U|+|V|}$$ अन्य शीर्षों से स्वतंत्र रूप से, विस्तार संपत्ति को पूरा करने का। क्योंकि चुनने के लिए अनंत रूप से कई शीर्ष हैं, प्रत्येक की सफलता की समान सीमित संभावना है, संभावना यह है कि एक शीर्ष मौजूद है जो विस्तार संपत्ति को पूरा करता है। किसी भी सेट के लिए पैली ग्राफ़ परिभाषा के साथ $$U$$ और $$V$$, चीनी शेषफल प्रमेय के अनुसार, वे संख्याएँ जो प्रत्येक अभाज्य में द्विघात अवशेष मॉड्यूल हैं $$U$$ और गैर-अवशेष मॉड्यूलो प्रत्येक अभाज्य में $$V$$ एक आवधिक अनुक्रम बनाएं, इसलिए अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय द्वारा|अंकगणितीय प्रगति में अभाज्य पर डिरिचलेट के प्रमेय के अनुसार इस संख्या-सैद्धांतिक ग्राफ में विस्तार गुण है।

प्रेरित उपग्राफ
विस्तार संपत्ति का उपयोग किसी भी परिमित या गणनीय अनंत ग्राफ की आइसोमोर्फिक प्रतियां बनाने के लिए किया जा सकता है $$G$$ राडो ग्राफ़ के भीतर, प्रेरित सबग्राफ़ के रूप में। ऐसा करने के लिए, के शीर्षों को ऑर्डर करें $$G$$, और की आंशिक प्रतिलिपि में उसी क्रम में शीर्ष जोड़ें $$G$$ राडो ग्राफ़ के भीतर। प्रत्येक चरण पर, अगला शीर्ष आता है $$G$$ किसी सेट के निकट होगा $$U$$ शीर्षों में से $$G$$ जो शीर्षों के क्रम में पहले हैं, और शेष सेट से गैर-आसन्न $$V$$ पहले के शीर्षों में से $$G$$. विस्तार गुण के अनुसार, राडो ग्राफ़ में एक शीर्ष भी होगा $$x$$ यह आंशिक प्रतिलिपि में उन सभी शीर्षों के निकट है जो सदस्यों के अनुरूप हैं $$U$$, और आंशिक प्रतिलिपि में उन सभी शीर्षों से न जुड़ा हुआ जो सदस्यों के अनुरूप हैं $$V$$. जोड़ा जा रहा है $$x$$ की आंशिक प्रतिलिपि के लिए $$G$$ एक और शीर्ष के साथ, एक बड़ी आंशिक प्रतिलिपि तैयार करता है। यह विधि प्रेरण द्वारा प्रमाण के लिए आधार बनाती है, इसके आधार मामले के रूप में खाली ग्राफ | 0-वर्टेक्स सबग्राफ के साथ, कि प्रत्येक परिमित या गणनीय सेट ग्राफ राडो ग्राफ का एक प्रेरित सबग्राफ है।

अद्वितीयता
रैडो ग्राफ़, ग्राफ़ समरूपता तक, विस्तार गुण वाला एकमात्र गणनीय ग्राफ़ है। उदाहरण के लिए, चलो $$G$$ और $$H$$ विस्तार गुण के साथ दो गणनीय ग्राफ़ हों, मान लीजिए $$G_i$$ और $$H_i$$ समरूपी परिमित प्रेरित उपसमूह बनें $$G$$ और $$H$$ क्रमशः, और चलो $$g_i$$ और $$h_i$$ के शीर्षों की गणना में पहला शीर्ष बनें $$G$$ और $$H$$ क्रमशः जो संबंधित नहीं हैं $$G_i$$ और $$H_i$$. फिर, विस्तार गुण को दो बार लागू करके, कोई आइसोमोर्फिक प्रेरित सबग्राफ पा सकता है $$G_{i+1}$$ और $$H_{i+1}$$ यह शामिल $$g_i$$ और $$h_i$$ पिछले सबग्राफ़ के सभी शीर्षों के साथ। इस प्रक्रिया को दोहराकर, कोई प्रेरित उपसमूहों के बीच समरूपता का एक क्रम बना सकता है जिसमें अंततः प्रत्येक शीर्ष शामिल होता है $$G$$ और $$H$$. इस प्रकार, आगे-पीछे विधि द्वारा, $$G$$ और $$H$$ समरूपी होना चाहिए. क्योंकि यादृच्छिक ग्राफ़ निर्माण, बाइनरी संख्या निर्माण, और पैली ग्राफ़ निर्माण द्वारा निर्मित ग्राफ़ सभी विस्तार संपत्ति के साथ गणनीय ग्राफ़ हैं, यह तर्क दर्शाता है कि वे सभी एक दूसरे के लिए आइसोमोर्फिक हैं।

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

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

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

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

एक संबंधित परिणाम शीर्ष विभाजन के बजाय किनारे विभाजन से संबंधित है: राडो ग्राफ़ के किनारों के प्रत्येक विभाजन के लिए कई सेटों में, पूरे राडो ग्राफ़ में एक सबग्राफ आइसोमोर्फिक होता है जो अधिकतम दो रंगों का उपयोग करता है। हालाँकि, आवश्यक रूप से एक आइसोमोर्फिक सबग्राफ मौजूद नहीं हो सकता है जो किनारों के केवल एक रंग का उपयोग करता है। अधिक सामान्यतः, प्रत्येक परिमित ग्राफ़ के लिए $$A$$ वहाँ एक संख्या है $$d_A$$ (बड़ी रैमसे डिग्री कहा जाता है $$A$$ राडो ग्राफ़ में) जैसे कि प्रतियों के प्रत्येक विभाजन के लिए $$A$$ राडो ग्राफ़ में सीमित रूप से कई सेटों में, पूरे राडो ग्राफ़ के लिए एक प्रेरित सबग्राफ आइसोमोर्फिक है जो अधिकतम उपयोग करता है $$d_A$$ रंगों का.

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

प्रथम-क्रम गुण
ग्राफ़ की प्रथम-क्रम भाषा ग्राफ़ के शीर्षों, सार्वभौमिक परिमाणीकरण और अस्तित्वगत परिमाणीकरण, तार्किक संयोजकों और शीर्षों की समानता और आसन्नता के लिए विधेय (गणितीय तर्क) का प्रतिनिधित्व करने वाले चर से गठित अच्छी तरह से गठित वाक्य (गणितीय तर्क) का संग्रह है। उदाहरण के लिए, यह शर्त कि ग्राफ़ में कोई पृथक शीर्ष न हो, वाक्य द्वारा व्यक्त की जा सकती है $$\forall u:\exists v: u\sim v$$ जहां $$\sim$$ प्रतीक दो शीर्षों के बीच आसन्न संबंध को दर्शाता है। यह वाक्य $$S$$ कुछ ग्राफ़ के लिए सत्य है, और अन्य के लिए ग़लत है; एक ग्राफ $$G$$ मॉडलिंग करने के लिए कहा जाता है $$S$$, लिखा हुआ $$G\models S$$, अगर $$S$$ के शीर्ष और आसन्न संबंध के बारे में सत्य है $$G$$. राडो ग्राफ़ की विस्तार संपत्ति को प्रथम-क्रम वाक्यों के संग्रह द्वारा व्यक्त किया जा सकता है $$E_{i,j}$$, यह बताते हुए कि हर विकल्प के लिए $$i$$ एक सेट में शीर्ष $$A$$ और $$j$$ एक सेट में शीर्ष $$B$$, सभी अलग-अलग, हर चीज से सटे एक शीर्ष मौजूद है $$A$$ और हर चीज़ से असन्निकट $$B$$. उदाहरण के लिए, $$E_{1,1}$$ के रूप में लिखा जा सकता है $$\forall a:\forall b:a\ne b\rightarrow\exists c:c\ne a\wedge c\ne b\wedge c\sim a\wedge\lnot(c\sim b).$$

सम्पूर्णता
साबित हुआ कि वाक्य $$E_{i,j}$$, अतिरिक्त वाक्यों के साथ जो बताते हैं कि आसन्न संबंध सममित संबंध और रिफ्लेक्सिव संबंध है (अर्थात्, इन वाक्यों को मॉडलिंग करने वाला एक ग्राफ अप्रत्यक्ष है और इसमें कोई स्व-लूप नहीं है), एक पूर्ण सिद्धांत के स्वयंसिद्ध हैं। इसका मतलब यह है कि, प्रत्येक प्रथम-क्रम वाक्य के लिए $$S$$, बिल्कुल एक $$S$$ और इसका निषेध इन सूक्तियों से सिद्ध किया जा सकता है। क्योंकि राडो ग्राफ़ विस्तार सिद्धांतों को मॉडल करता है, यह इस सिद्धांत के सभी वाक्यों को मॉडल करता है। तर्कशास्त्र में, एक सिद्धांत जिसमें दी गई अनंत प्रमुखता के साथ केवल एक मॉडल (आइसोमोर्फिज्म तक) होता है $$\lambda$$ मॉर्ले की श्रेणीबद्धता प्रमेय कहा जाता है|$$\lambda$$-श्रेणीबद्ध। तथ्य यह है कि राडो ग्राफ विस्तार गुण के साथ अद्वितीय गणनीय ग्राफ है, इसका तात्पर्य यह है कि यह अपने सिद्धांत के लिए अद्वितीय गणनीय मॉडल भी है। राडो ग्राफ की इस विशिष्टता संपत्ति को यह कहकर व्यक्त किया जा सकता है कि राडो ग्राफ का सिद्धांत ओमेगा-श्रेणीबद्ध सिद्धांत|ω-श्रेणीबद्ध है। जेरज़ी Łoś|Łoś और रॉबर्ट लॉसन वॉट ने 1954 में साबित किया कि जब कोई सिद्धांत होता है $$\lambda$$-श्रेणीबद्ध (कुछ अनंत कार्डिनल के लिए $$\lambda$$) और, इसके अलावा, कोई सीमित मॉडल नहीं है, तो सिद्धांत पूरा होना चाहिए। इसलिए, गैफ़मैन का प्रमेय कि राडो ग्राफ़ का सिद्धांत पूर्ण है, Łoś-Vaught परीक्षण द्वारा राडो ग्राफ़ की विशिष्टता से अनुसरण करता है।

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

इस 0-1 कानून के कारण, पर्याप्त बड़े मूल्य का चयन करके, यह परीक्षण करना संभव है कि क्या किसी विशेष प्रथम-क्रम वाक्य को एक सीमित समय में राडो ग्राफ द्वारा मॉडल किया गया है। $$n$$ और की संख्या गिनना $$n$$-वर्टेक्स ग्राफ़ जो वाक्य को मॉडल करते हैं। हालाँकि, यहाँ, पर्याप्त बड़ा वाक्य के आकार में कम से कम घातीय है। उदाहरण के लिए विस्तार स्वयंसिद्ध $$E_{k,0}$$ के अस्तित्व का तात्पर्य है $$(k+1)$$-वर्टेक्स क्लिक (ग्राफ़ सिद्धांत), लेकिन उस आकार का एक गुट केवल उच्च संभावना के साथ आकार के घातांक के यादृच्छिक ग्राफ़ में मौजूद है $$k$$. यह निर्धारित करना असंभव है कि राडो ग्राफ किसी दिए गए वाक्य को मॉडल करता है या नहीं, घातीय समय की तुलना में अधिक तेज़ी से किया जा सकता है, क्योंकि समस्या पीएसपीएसीई-पूर्ण है।

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

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

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

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

जबकि राडो ग्राफ़ सभी ग्राफ़ के वर्ग के लिए गणनीय सार्वभौमिक है, सभी ग्राफ़ वर्गों में गणनीय सार्वभौमिक ग्राफ़ नहीं है। उदाहरण के लिए, 4-चक्र को सबग्राफ के रूप में छोड़ने वाला कोई गणनीय ग्राफ़ नहीं है जिसमें ऐसे अन्य सभी गणनीय ग्राफ़ (आवश्यक रूप से प्रेरित नहीं) सबग्राफ के रूप में शामिल हैं। संतृप्त मॉडल के निर्माण के शास्त्रीय मॉडल सिद्धांत के विचारों से यह पता चलता है कि सातत्य परिकल्पना सीएच के तहत, सातत्य के कई शीर्षों की कार्डिनैलिटी के साथ एक सार्वभौमिक ग्राफ है। बेशक, सीएच के तहत, सातत्य बराबर है $$\aleph_1$$, एलेफ़ संख्या। सार्वभौमिक ग्राफ़ की जांच करने के लिए फ़ोर्सिंग (गणित) का उपयोग करता है $$\aleph_1$$ कई शीर्षों से पता चलता है कि सीएच की अनुपस्थिति में भी, आकार का एक सार्वभौमिक ग्राफ मौजूद हो सकता है $$\aleph_1$$. वह उच्च कार्डिनैलिटी के लिए अनुरूप प्रश्नों की भी जांच करता है।