ⓘ मुक्त ज्ञानकोश. क्या आप जानते हैं? पृष्ठ 490

प्रेमयिका लेमा का Sperner

के प्रेमयिका लेमा के Sperner एक प्रमेय का ग्राफ सिद्धांत है कि महत्वपूर्ण अनुप्रयोगों में टोपोलॉजी; विशेष रूप से, बनाता है क्या है, शायद, प्रदर्शन का सबसे प्राथमिक प्रमेय नियत बिन्दु Brouwer के.

सूची की संलग्नता

कम्प्यूटेशनल में गणित, सूचियों की संलग्नता कर रहे हैं की एक विधा में-स्मृति का प्रतिनिधित्व रेखांकन. शायद बेहतर विचार है कि आप कर सकते हैं के बारे में सोचो और आसान लागू करने के लिए, हालांकि, सामान्य रूप में नहीं है के मामले में सबसे कुशल अंतरिक्ष ...

मैट्रिक्स की संलग्नता

के मैट्रिक्स संलग्नता मैट्रिक्स या कनेक्शन का गठन एक विशेष डेटा संरचना आमतौर पर में प्रयोग किया जाता का प्रतिनिधित्व रेखांकन । दिए गए किसी भी ग्राफ, अपने मैट्रिक्स की संलग्नता के द्वारा बनाई है एक द्विआधारी सरणी वर्ग है, जो के रूप में सूचकांक की ...

मैट्रिक्स संक्रमण की संभावना

संक्रमण मैट्रिक्स या मैट्रिक्स मार्कोव प्रक्रिया मार्कोव असतत है मैट्रिक्स द्वारा उत्पन्न संक्रमण की संभावना में कश्मीर चरणों: P n k:= {\displaystyle \mathbf {P} _{n}^{कश्मीर}:={\शुरू{bmatrix}P_{0.0}^{n,k}&\cdots &P_{0,N}^{n,k}\\\vdots &\ddots &\ ...

मैट्रिक्स की डिग्री

के क्षेत्र में ग्राफ सिद्धांत मैट्रिक्स की डिग्री एक विकर्ण मैट्रिक्स है कि जानकारी शामिल की डिग्री पर प्रत्येक शीर्ष के ग्राफ, यानी की संख्या आर्क्स कर रहे हैं कि यह करने के लिए कनेक्टेड. यह प्रयोग किया जाता है एक साथ के साथ की मैट्रिक्स संलग्नत ...

मैट्रिक्स laplaciana

एक grafo सरल G n के साथ कोने में, अपने मैट्रिक्स Laplaciana एल:= n × n {\displaystyle एल:=_{\n \ n बार एन}} के रूप में परिभाषित है: एल = डी एक, {\displaystyle एल=करने के लिए, से} जहाँ डी मैट्रिक्स की डिग्री और एक मैट्रिक्स की संलग्नता ग्राफ. के म ...

मैट्रिक्स unimodulare

एक उदाहरण के एक मैट्रिक्स पूरी तरह से unimodulare निम्नलिखित है: एक = {\displaystyle एक={\शुरू{bmatrix}-1&-1&0&0&0& 1\\ 1&0&-1&-1&0&0\\0& 1& 1&0&-1&0\\0&0&0& 1& 1&-1\\\अंत{bmatrix}}} यह मैट्रिक्स रूपों की कमी के निर्माण में रैखिक प्रोग्रामिंग के ...

प्रतिरूपकता (नेटवर्क)

प्रतिरूपकता एक समारोह में प्रयोग किया जाता का विश्लेषण रेखांकन या नेटवर्क, उदाहरण के लिए, कंप्यूटर नेटवर्क, या सामाजिक नेटवर्क. अपने मूल्य quantifies गुणवत्ता के विभाजन के नेटवर्क में मॉड्यूल या समुदायों. एक अच्छा विभाजन के उच्च मूल्यों के लिए प् ...

आकृति विज्ञान गणित

आकृति विज्ञान के गणित के एक सिद्धांत और तकनीक के विश्लेषण के लिए ज्यामितीय रूपों. आमतौर पर लागू होता है के विकास में डिजिटल छवियों में, लेकिन यह भी रेखांकन, और ठोस ज्यामिति.

Multidigrafo

गणित में और विशेष रूप में ग्राफ सिद्धांत, के लिए multidigrafo हम मतलब है कि एक संरचना है असतत सामान्यीकरण करता है, जो परंपरागत प्रतीक: के रूप में यह है के द्वारा बनाई कोने और कनेक्शन के बीच कोने में, आर्क्स के बीच दो कोने में कई आर्क्स अलग कर रहे ...

Multidigrafo eulerian

ग्राफ सिद्धांत में करने के लिए कहा है multidigrafo eulerian एक multidigrafo जुड़ा हुआ है, छोरों के बिना और एक पथ के साथ eulerian, कि है, एक पथ को छू लेती है कि सभी इसके आर्क्स एक बार और केवल एक बार.

Multigrafo

गणित में और विशेष रूप में ग्राफ सिद्धांत, के लिए multigrafo करने के लिए संदर्भित करता है कि एक संरचना कर सकते हैं किया जा करने के लिए कहा द्वारा रचित एक परिमित सेट के कोने और किनारों से कनेक्ट है कि दो कोने या एक शीर्ष के साथ एक ही संभावना के साथ ...

Multigrafo दोहरी

हम पर विचार एक multigrafo planar मीटर है, और एक के चित्रण फ्लैट planar R. इस प्रतिनिधित्व जुड़ा हुआ है के लिए एक तथाकथित का प्रतिनिधित्व दोहरी आर के * में निम्नलिखित तरीके हैं. हम चुनाव में एक बिंदु प्रत्येक के अनुसंधान और भूमिका असाइन के शीर्ष क ...

Multigrafo eulerian

ग्राफ सिद्धांत में करने के लिए कहा है multigrafo eulerian एक multigrafo जुड़ा हुआ है, छोरों के बिना और एक पथ के साथ eulerian, कि है, एक पथ को छू लेती है कि सभी इसके किनारों एक बार और केवल एक बार.

संकेतन LCF

, साहचर्य में गणित में, अंकन LCF कोड या LCF है एक संकेतन द्वारा तैयार यहोशू Lederberg, और द्वारा बढ़ाया Coxeter और Frucht के लिए, का प्रतिनिधित्व रेखांकन और घन, कर रहे हैं, जो hamiltonian. के बाद से रेखांकन कर रहे हैं hamiltonian, कोने में व्यवस् ...

संख्या के रंगीन कोने

एक ग्राफ G और एक सेट C के रंग, संख्या के रंगों की न्यूनतम संख्या की जरूरत रंग रंग करने के लिए कोने के जी में इस तरह के एक तरीका है कि लिया, दो आसन्न कोने में, वे अलग अलग रंग है. के लिए रंग के कोने में हम मतलब है, एक समारोह च: V G → C के लिए प्रदा ...

होलोन

हॉलों है एक द्वारा गढ़ा शब्द Arthur Koestler 1968 में. के सिद्धांत में nonlinear प्रणाली, lolone का एक हिस्सा है एक जटिल प्रणाली है, जो एक व्यक्तित्व, अपनी खुद की, लेकिन यह भी एक एकीकृत हिस्सा है, की एक प्रणाली की उच्च आदेश. Lolone से बना है, अन् ...

Homeomorphism (ग्राफ सिद्धांत)

दो ग्राफ G और H के लिए कहा रहे हैं omeomorfi यदि और केवल वहाँ मौजूद है अगर एक समाकृतिकता के बीच दो उप विभाजनों के किनारों के G और H. यों, आप को परिभाषित कर सकते हैं omeomorfi दो ग्राफ G और H अगर और केवल अगर वे कर सकते हैं से प्राप्त किया जा सकता ...

Pluridigrafo

गणित में और विशेष रूप में ग्राफ सिद्धांत, के लिए pluridigrafo मतलब है एक संरचना है जो हो सकता है के रूप में माना जाता से मिलकर एक परिवार की digrafi ऊपर बनाया का एक सेट नोड्स के साथ है ।

बहुपद और रंगीन

बहुपद है रंगीन है एक बहुपद अध्ययन में बीजीय सिद्धांत के रेखांकन, गणित की एक शाखा. यह मायने रखता है की संख्या colorings के रेखांकन के रूप में संख्या के एक समारोह के रंग, और यह मूल रूप से परिभाषित जॉर्ज द्वारा दाऊद Birkhoff करने के लिए इस समस्या से ...

पुल (ग्राफ सिद्धांत)

ग्राफ सिद्धांत में, एक पुल है, एक चाप जिसका विलोपन की संख्या बढ़ जाती है घटकों से जुड़ा है. यों, एक चाप एक पुल है अगर और केवल अगर यह में निहित है कोई चक्र. एक ग्राफ के बिना पुलों के बराबर है के साथ एक ग्राफ कनेक्टिविटी की डिग्री के बराबर करने के ...

समस्या के पुलों के Königsberg

इस समस्या के कोनिग्ज़बर्ग के सात पुल एक समस्या है से प्रेरित एक असली शहर और एक वास्तविक स्थिति है. Königsberg में पूर्व Prussia, और आज रूसी exclave बाल्टिक सागर पर नोट के नाम के साथ कैलिनिनग्राद में, यह पार कर जाता है के द्वारा नदी Pregel और इसकी ...

समस्या की सेवाएं

में टोपोलॉजी और ग्राफ सिद्धांत, समस्या की सेवाओं के साथ काम है कि मुद्दों के लिए वापस सुनना क्लासिक सवाल: प्रतीत होता है बाहर के तत्काल समाधान, समस्या के तीन मकान और तीन कुओं आप मुस्कान बनाता है uninitiated, लेकिन आपको लगता है कि गणित के बारे में ...

का प्रतिनिधित्व ग्राफ

है, का प्रतिनिधित्व ग्राफ, या अनुरेखण के ग्राफ, एक अनुशासन है कि झूठ के बीच ग्राफ सिद्धांत और सूचना प्रणाली है, जो के साथ सौदों का प्रतिनिधित्व रेखांकन में दो या तीन आयाम है । इस गतिविधि से प्रेरित है महत्वपूर्ण अनुप्रयोगों के ग्राफ सिद्धांत रूप ...

नेटवर्क invariance के पैमाने

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

Snark (ग्राफ सिद्धांत)

में गणितीय क्षेत्रों के ग्राफ सिद्धांत, एक snark है एक ग्राफ पर एक घन जुड़ा हुआ है, से रहित पुल के साथ, रंग सूचकांक के बराबर करने के लिए 4. दूसरे शब्दों में, एक ग्राफ में जो हर शीर्ष ने तीन पड़ोसियों, और किनारों के नहीं किया जा सकता है के साथ रंग ...

रिलेशनल संरचना

के लिए गणित में संबंधपरक संरचना है एक गणितीय संरचना में जो घटकों प्रकट होता है, कुछ गणितीय संबंध है, या कुछ समारोह या कुछ परिवार के नहीं हो सकता है कि माना जाता है के रूप में एक ऑपरेशन के बीजीय या एक कानून की संरचना बाहरी. और अधिक सरल और रिलेशनल ...

कटौती (ग्राफ सिद्धांत)

ग्राफ सिद्धांत में, एक कट एक विभाजन के लिए एक ग्राफ के कोने में दो कैंपेन्स. हर कटौती को निर्धारित करता है का एक सेट में कटौती या कटौती-सेट है, जो परिभाषित किया गया है के रूप में संपूर्णता के आर्क्स है कि अपने स्वयं चरम सीमाओं में दो कैंपेन्स के ...

प्रमेय के Bondy-Chvátal

प्रमेय के Bondy-Chvátal एक प्रमेय का ग्राफ सिद्धांत के लिए इसी hamiltonian चक्र. यह परीक्षण किया गया है द्वारा 1976 में ब्रिटिश गणितज्ञ और कनाडा के जॉन एड्रियन Bondy, और पोलिश गणितज्ञ Václav Chvátal. प्रदान करता है एक आवश्यक और पर्याप्त शर्त है क ...

प्रमेय घंटे

प्रमेय घंटे के एक प्रमेय का ग्राफ सिद्धांत को साबित कर दिया है द्वारा 1960 में गणितज्ञ नार्वेजियन Oystein Ore. प्रदान करता है एक पर्याप्त शर्त है, लेकिन आवश्यक नहीं है, इसलिए है कि एक ग्राफ है Hamiltonian, बताते हुए कि एक ग्राफ में शामिल है कि एक ...

बीजीय सिद्धांत के रेखांकन

बीजीय सिद्धांत के रेखांकन है गणित की एक शाखा पर लागू होता है कि बीजीय के तरीकों से संबंधित समस्याओं के लिए रेखांकन । इस के विपरीत में है के दृष्टिकोण के साथ ज्यामितीय, मिश्रित, या एल्गोरिथम. वहाँ रहे हैं तीन मुख्य शाखाओं के बीजीय सिद्धांत के रेखा ...

सिद्धांत रासायनिक ग्राफ

सिद्धांत रासायनिक ग्राफ की एक शाखा है रासायनिक गणित लागू होता है, ग्राफ सिद्धांत के लिए इस्तेमाल गणितीय मॉडल का वर्णन करने के लिए रासायनिक घटना है. अग्रदूतों के सिद्धांत, और रासायनिक रेखांकन कर रहे हैं एलेक्ज़ेंड्रु Balaban, इवान Gutman, Haruo Ho ...

सिद्धांत की छोटी सी दुनिया

सिद्धांत के छोटे दुनिया, या छोटी सी दुनिया है, या प्रभाव के छोटे-दुनिया में एक सिद्धांत है कि का दावा है कि सभी जटिल नेटवर्क, प्रकृति में कर रहे हैं कि इस तरह के किसी भी दो नोड्स कनेक्ट किया जा सकता से मिलकर एक पथ के एक अपेक्षाकृत छोटी संख्या के ...

तीन घरों और तीन केंद्रीय

इस समस्या के तीन मकान और तीन बिजली संयंत्रों की एक समस्या है टोपोलॉजी-मुक्त समाधान में ज्यामितीय विमान, जाना जाता है के संदर्भ में शिक्षा और अक्सर मजाक में सुझाव दिया करने के लिए solvers रहे हैं कि दिखाया जा करने के लिए बहुत अभिमान है. समस्या है, ...

शीर्ष (ग्राफ सिद्धांत)

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

गणित के Presburger

गणित Presburger सिद्धांत के पहले के आदेश के प्राकृतिक संख्या के अलावा के साथ पेश द्वारा 1929 में Mojżesz Presburger, जिसमें से यह उसका नाम लेता है. हस्ताक्षर dellaritmetica Presburger शामिल हैं केवल आपरेशन के अलावा और समानता को छोड़ते हुए, पूरी त ...

Peano axioms के

axioms के Peano के एक समूह रहे हैं axioms द्वारा तैयार गणितज्ञ ग्यूसेप Peano क्रम में परिभाषित करने के लिए assiomaticamente की संपूर्णता प्राकृतिक संख्या है. एक अनौपचारिक तरीके का वर्णन करने के axioms निम्न हो सकते हैं: लेता है 0 या 1 के मॉडल के ...

तर्क, intuitionist

intuitionist तर्क या रचनात्मक तर्क, तर्क है dellintuizionismo गणितीय और अन्य रूपों रचनावाद के गणित में है. के अनुसार परिप्रेक्ष्य intuitionist, तर्क, गणित और आवेदन के तरीकों आंतरिक रूप से लगातार की प्राप्ति के लिए मानसिक निर्माणों की बढ़ती जटिलता ...

फजी लॉजिक

फजी लॉजिक या तर्क धुंधला है, या फजी लॉजिक है एक तर्क में जो आप असाइन कर सकते हैं करने के लिए प्रत्येक प्रस्ताव एक डिग्री की सच्चाई से अलग 0 और 1 और उन दोनों के बीच. एक polyvalent तर्क, यानी unestensione के बूलियन तर्क. से जुड़ा हुआ है सिद्धांत के ...

मॉडल की जाँच

मॉडल की जाँच के लिए एक विधि को सत्यापित करने के लिए एल्गोरिदम का औपचारिक प्रणालियों. किया जाता है के माध्यम से सत्यापन के मॉडल, अक्सर से व्युत्पन्न मॉडल के हार्डवेयर या सॉफ्टवेयर को संतोषजनक, एक औपचारिक विनिर्देश. विनिर्देश है अक्सर के रूप में लि ...

औपचारिक शब्दों

के क्षेत्र में कंप्यूटर विज्ञान के सिद्धांत, शब्द औपचारिक शब्दों के साथ संबंध है, गणितीय मॉडल को परिभाषित है कि औपचारिक रूप से प्रोग्रामिंग भाषा, या, अधिक आम तौर पर, गणना में ही है । वहाँ रहे हैं कई दृष्टिकोण के अध्ययन के लिए इन अर्थ; जो सब के सब ...

परिचालन अर्थ विज्ञान

परिचालन शब्दों का वर्णन करता है के निष्पादन के एक कार्यक्रम के माध्यम से बदलाव है कि परिभाषित कर रहे हैं पर सीधे भाषा के कार्यक्रम. इस प्रकार के रीतिवाद है धारणात्मक समान प्रावधानों में जो हम एक अमूर्त मशीन के निर्देशों को लागू राज्य संक्रमण में ...

औपचारिक सत्यापन

के भाग के रूप में सिस्टम सॉफ्टवेयर और हार्डवेयर, औपचारिक सत्यापन की कार्रवाई करने के लिए अस्वीकार करना या साबित गणितीय शुद्धता के एल्गोरिदम की एक प्रणाली द्वारा जाँच है कि अनुपालन के साथ औपचारिक विनिर्देश या संपत्ति का उपयोग कर, औपचारिक विधियों क ...

सार राज्य मशीन

के क्षेत्र में कंप्यूटर विज्ञान शब्द का सार राज्य मशीन या एएसएम अक्सर इस्तेमाल किया जाता है के रूप में के लिए एक पर्याय परिमित राज्य मशीन के साथ संबंध के लिए एल्गोरिदम में सार है । एक विशेष सिद्धांत के संचालन को कवर ASM के लिए औपचारिक विनिर्देश द ...

अभिकथन (कम्प्यूटिंग)

कंप्यूटर विज्ञान में, एक जोर एक विधेय के एक कार्यक्रम में इंगित करता है कि विधेय हमेशा सच है. उदाहरण के लिए, निम्न कोड शामिल दो कथनों: x > 0 और x > 1, और निश्चित रूप से सच हो सकता है में संकेत दिया अंक निष्पादन के दौरान.

Bisimulazione

के क्षेत्र में कंप्यूटर विज्ञान के सिद्धांत, bisimulazione है एक द्विआधारी संबंध प्रणालियों के बीच में संक्रमण राज्यों को जोड़ती है, जो दो प्रणालियों जब वे व्यवहार में एक ही रास्ता है, यानी, जब एक प्रणाली simulates अन्य और इसके विपरीत. Intuitivel ...

समारोह में 91 मैकार्थी

में असतत गणित, समारोह में 91 McCarthy एक पुनरावर्ती समारोह है जो रिटर्न 91 के लिए सभी तर्कों n ≤ 101 और रिटर्न एन − 10 {\displaystyle एन-10} के लिए n > 101 {\displaystyle n> 101}. सीमित करने के लिए के साथ के integers के तहत 102 यह है, इसलिए, unen ...

अपरिवर्तनीय (कंप्यूटर विज्ञान)

कंप्यूटर विज्ञान में, एक विधेय कहा जाता है, किया जा करने के लिए अपरिवर्तनीय के लिए एक दृश्य के संचालन जब विधेय सच है से पहले और बाद में डिजाइन के लिए फिट के अनुक्रम में है. हालांकि कंप्यूटर प्रोग्राम कर रहे हैं मुख्य रूप से निर्दिष्ट करने के मामल ...

लैम्ब्डा पथरी

लैम्ब्डा पथरी या λ-पथरी एक औपचारिक प्रणाली द्वारा परिभाषित गणितज्ञ Alonzo चर्च विकसित की है, का विश्लेषण करने के लिए औपचारिक रूप से कार्य करता है और उनकी गणना. पूर्व व्यक्त कर रहे हैं के माध्यम से एक औपचारिक भाषा है, जो स्थापित नियमों के गठन के ल ...

Postcondition

प्रोग्रामिंग में, एक postcondition एक शर्त है या विधेय होना चाहिए कि हमेशा सच हो सकता है के तुरंत बाद के निष्पादन के एक खंड कोड या बाद में एक ऑपरेशन में एक औपचारिक विनिर्देश. के postconditions कर रहे हैं आमतौर पर परीक्षण का उपयोग कर दावे कोड के भ ...

शब्दकोश

अनुवाद