बूलियन परिपथ: Difference between revisions
(Created page with "{{Short description|Model of computation}} File:Three_input_Boolean_circuit.jpg|thumb|right|300px|उदाहरण बूलियन सर्किट। <math>\wedge</m...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Model of computation}} | {{Short description|Model of computation}} | ||
[[ | [[/index.php?title=Special:MathShowImage&hash=b6252c47c600d72b4b0f484c229f580d&mode=mathml|thumb|right|उदाहरण बूलियन सर्किट। <math>\wedge</math> h> नोड AND गेट्स हैं, द <math>\vee</math> नोड [[या द्वार]] हैं, और <math>\neg</math> [[गेट नहीं]] नहीं हैं|link=|alt={\displaystyle \wedge }]][[कम्प्यूटेशनल जटिलता सिद्धांत]] और [[सर्किट जटिलता]] में, बूलियन सर्किट [[संयोजन तर्क]] [[डिजिटल इलेक्ट्रॉनिक्स]] के लिए गणना कावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानगणितीय मॉडल है। बूलियन सर्किट केवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानपरिवार द्वारावास्तु प्रौद्योगिकी के चार्टर्ड संस्थान[[औपचारिक भाषा]] तय की जा सकती है, प्रत्येक संभावित इनपुट लंबाई के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट। | ||
बूलियन सर्किट को उनके पास मौजूद [[तर्क द्वार]]्स के संदर्भ में परिभाषित किया गया है। उदाहरण के लिए, | बूलियन सर्किट को उनके पास मौजूद [[तर्क द्वार]]्स के संदर्भ में परिभाषित किया गया है। उदाहरण के लिए,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट में [[बाइनरी फ़ंक्शन]] AND और OR गेट्स और [[एकात्मक ऑपरेशन]] NOT गेट्स हो सकते हैं, या पूरी तरह से बाइनरी NAND गेट्स द्वारा वर्णित हो सकते हैं। प्रत्येक गेट कुछ [[बूलियन समारोह]] से मेल खाता है जो इनपुट के रूप में [[अंश]]्स कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थाननिश्चित संख्या लेता है औरवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबिट को आउटपुट करता है। | ||
बूलियन सर्किट [[कंप्यूटर इंजीनियरिंग]] में उपयोग किए जाने वाले कई डिजिटल घटकों के | बूलियन सर्किट [[कंप्यूटर इंजीनियरिंग]] में उपयोग किए जाने वाले कई डिजिटल घटकों के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानमॉडल प्रदान करते हैं, जिसमें [[बहुसंकेतक]]्स, [[योजक (इलेक्ट्रॉनिक्स)]] और अंकगणितीय तर्क इकाइयां शामिल हैं, लेकिन वे [[अनुक्रमिक तर्क]] को बाहर करते हैं। वेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअमूर्त हैं जो वास्तविक डिजिटल लॉजिक सर्किट को डिजाइन करने के लिए प्रासंगिक कई पहलुओं को छोड़ देते हैं, जैसे कि [[मेटास्टेबिलिटी (इलेक्ट्रॉनिक्स)]], [[प्रशंसक बाहर]], [[खतरा (तर्क)]], [[शक्ति अनुकूलन (EDA)]]ईडीए), और प्रसार विलंब परिवर्तनशीलता। | ||
== औपचारिक परिभाषा == | == औपचारिक परिभाषा == | ||
बूलियन सर्किट | बूलियन सर्किट कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानऔपचारिक परिभाषा देने में, [[हर्बर्ट वोल्मर]] सर्किट मॉडल में स्वीकार्य गेट्स के अनुरूप बूलियन फ़ंक्शंस के सेट बी के रूप मेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानआधार को परिभाषित करके शुरू करते हैं। आधार बी परवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबूलियन सर्किट, एन इनपुट और एम आउटपुट के साथ, फिरवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानपरिमित निर्देशित चक्रीय ग्राफ के रूप में परिभाषित किया जाता है। प्रत्येक वर्टेक्स या तो आधार फ़ंक्शन या इनपुट में सेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसे मेल खाता है, और बिल्कुल एम नोड्स कावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसेट होता है जिसे आउटपुट के रूप में लेबल किया जाता है।<ref name=Vollmer>{{cite book | last = Vollmer | first = Heribert | title = Introduction to Circuit Complexity | year = 1999 | publisher = Springer | location = Berlin | isbn = 3-540-64310-9 }}</ref>{{rp|8}}वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानही बूलियन फ़ंक्शन के विभिन्न तर्कों के बीच अंतर करने के लिए किनारों में कुछ ऑर्डरिंग भी होनी चाहिए।<ref name=Vollmer/>{{rp|9}} | ||
बूलियन सर्किट के | एक विशेष मामले के रूप में,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थान[[प्रस्तावक सूत्र]] या [[बूलियन अभिव्यक्ति]]वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानएकल आउटपुट नोड वाला बूलियन सर्किट है जिसमें हर दूसरे नोड का [[प्रशंसक बाहर]] 1 होता है। . | ||
बूलियन सर्किट के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसामान्य आधार सेट {AND गेट, OR गेट, नॉट गेट} है, जो [[कार्यात्मक पूर्णता]] है, i। इ। जिससे अन्य सभी बूलियन कार्यों का निर्माण किया जा सकता है। | |||
== कम्प्यूटेशनल जटिलता == | == कम्प्यूटेशनल जटिलता == | ||
=== पृष्ठभूमि === | === पृष्ठभूमि === | ||
एक विशेष सर्किट निश्चित आकार के इनपुट पर ही कार्य करता है। हालाँकि, औपचारिक भाषाएँ ([[स्ट्रिंग (कंप्यूटर विज्ञान)]] | [[निर्णय समस्या]]ओं के स्ट्रिंग-आधारित प्रतिनिधित्व) में विभिन्न लंबाई के तार होते हैं, इसलिए भाषाओं | एक विशेष सर्किट निश्चित आकार के इनपुट पर ही कार्य करता है। हालाँकि, औपचारिक भाषाएँ ([[स्ट्रिंग (कंप्यूटर विज्ञान)]] | [[निर्णय समस्या]]ओं के स्ट्रिंग-आधारित प्रतिनिधित्व) में विभिन्न लंबाई के तार होते हैं, इसलिए भाषाओं कोवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट द्वारा पूरी तरह से कैप्चर नहीं किया जा सकता है (ट्यूरिंग मशीन मॉडल के विपरीत, जिसमेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा है पूरी तरह सेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानट्यूरिंग मशीन द्वारा वर्णित)। इसके बजायवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवार द्वारावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा का प्रतिनिधित्व किया जाता है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवार सर्किट की अनंत सूची है <math>(C_0,C_1,C_2,...)</math>, कहाँ <math>C_n</math> है <math>n</math> इनपुट चर। कहा जाता है किवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवारवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा तय करता है <math>L</math> अगर, हर स्ट्रिंग के लिए <math>w</math>, <math>w</math> भाषा में है <math>L</math> अगर और केवल अगर <math>C_n(w)=1</math>, कहाँ <math>n</math> की लम्बाई है <math>w</math>. दूसरे शब्दों में,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा तारों का समूह है, जो सर्किट पर लागू होने पर उनकी लंबाई के अनुरूप होती है, जो 1 का मूल्यांकन करती है।<ref name=Sipser>{{cite book|last=Sipser|first=Michael|author-link=Michael Sipser|title=Introduction to the Theory of Computation|edition=2nd|year=2006|publisher=Thomson Course Technology|location=USA|isbn=978-0-534-95097-2|title-link=Introduction to the Theory of Computation}}</ref>{{rp|354}} | ||
Line 22: | Line 23: | ||
कई महत्वपूर्ण कम्प्यूटेशनल जटिलता सिद्धांत को बूलियन सर्किट पर परिभाषित किया जा सकता है, जिसमें सर्किट की गहराई, सर्किट का आकार और AND गेट्स और OR गेट्स के बीच विकल्पों की संख्या शामिल है। उदाहरण के लिए, बूलियन सर्किट की आकार जटिलता सर्किट में फाटकों की संख्या है। | कई महत्वपूर्ण कम्प्यूटेशनल जटिलता सिद्धांत को बूलियन सर्किट पर परिभाषित किया जा सकता है, जिसमें सर्किट की गहराई, सर्किट का आकार और AND गेट्स और OR गेट्स के बीच विकल्पों की संख्या शामिल है। उदाहरण के लिए, बूलियन सर्किट की आकार जटिलता सर्किट में फाटकों की संख्या है। | ||
सर्किट के आकार की जटिलता और समय की जटिलता के | सर्किट के आकार की जटिलता और समय की जटिलता के बीचवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानस्वाभाविक संबंध है।<ref name=Sipser/>{{rp|355}} सहज रूप से, कम समय की जटिलता वाली भाषा (यानी, [[ट्यूरिंग मशीन]] पर अपेक्षाकृत कुछ अनुक्रमिक संचालन की आवश्यकता होती है), इसमेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानछोटी सर्किट जटिलता भी होती है (अर्थात, अपेक्षाकृत कुछ बूलियन संचालन की आवश्यकता होती है)। औपचारिक रूप से, यह दिखाया जा सकता है कि यदि कोई भाषा में है <math>\mathsf{TIME}(t(n))</math>, कहाँ <math>t</math>वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानकार्य है <math>t:\mathbb{N} \to \mathbb{N}</math>, तो इसमें सर्किट जटिलता है <math>O(t^2(n))</math>. | ||
=== जटिलता वर्ग === | === जटिलता वर्ग === | ||
{{Main article|Complexity classes#Boolean circuits}} | {{Main article|Complexity classes#Boolean circuits}} | ||
बूलियन सर्किट के संदर्भ में कई महत्वपूर्ण जटिलता वर्गों को परिभाषित किया गया है। इनमें से सबसे सामान्य है पी/पॉली, भाषाओं का वह समूह जो बहुपद-आकार के सर्किट परिवारों द्वारा तय किया जा सकता है। यह सीधे इस तथ्य से अनुसरण करता है कि भाषाओं में <math>\mathsf{TIME}(t(n))</math> सर्किट जटिलता है <math>O(t^2(n))</math> वह [[पी (जटिलता)]]<math>\subseteq</math>पी/पॉली। दूसरे शब्दों में, नियतात्मक ट्यूरिंग मशीन द्वारा बहुपद समय में गणना की जा सकने वाली किसी भी समस्या की गणना बहुपद-आकार के सर्किट परिवार द्वारा भी की जा सकती है। आगे यह मामला है कि समावेशन उचित है (यानी पी<math>\subsetneq</math>पी/पॉली) क्योंकि ऐसी अनिर्णीत समस्याएं हैं जो पी/पॉली में हैं। पी/पॉली में कई गुण हैं जो इसे जटिलता वर्गों के बीच संबंधों के अध्ययन में अत्यधिक उपयोगी बनाते हैं। विशेष रूप से, यह P बनाम NP से संबंधित समस्याओं की जाँच करने में सहायक है। उदाहरण के लिए, यदि एनपी में कोई ऐसी भाषा है जो पी/पॉली में नहीं है तो पी<math>\neq</math>ई.जी.<ref name="arorabarak">{{cite book |last1=Arora |first1=Sanjeev |last2=Barak |first2=Boaz |title=Computational Complexity: A Modern Approach |date=2009 |publisher=Cambridge University Press |isbn=978-0-521-42426-4}}</ref>{{rp|286}} P/poly [[बहुपद पदानुक्रम]] के गुणों की जांच करने में भी मदद करता है। उदाहरण के लिए, यदि [[एनपी (जटिलता)]] ⊆ पी/पॉली, तो पीएच गिर जाता है <math>\Sigma_2^{\mathsf P}</math>. पी/पॉली और अन्य जटिलता वर्गों के बीच संबंधों का पूरा विवरण पी/पॉली | बूलियन सर्किट के संदर्भ में कई महत्वपूर्ण जटिलता वर्गों को परिभाषित किया गया है। इनमें से सबसे सामान्य है पी/पॉली, भाषाओं का वह समूह जो बहुपद-आकार के सर्किट परिवारों द्वारा तय किया जा सकता है। यह सीधे इस तथ्य से अनुसरण करता है कि भाषाओं में <math>\mathsf{TIME}(t(n))</math> सर्किट जटिलता है <math>O(t^2(n))</math> वह [[पी (जटिलता)]]<math>\subseteq</math>पी/पॉली। दूसरे शब्दों में, नियतात्मक ट्यूरिंग मशीन द्वारा बहुपद समय में गणना की जा सकने वाली किसी भी समस्या की गणना बहुपद-आकार के सर्किट परिवार द्वारा भी की जा सकती है। आगे यह मामला है कि समावेशन उचित है (यानी पी<math>\subsetneq</math>पी/पॉली) क्योंकि ऐसी अनिर्णीत समस्याएं हैं जो पी/पॉली में हैं। पी/पॉली में कई गुण हैं जो इसे जटिलता वर्गों के बीच संबंधों के अध्ययन में अत्यधिक उपयोगी बनाते हैं। विशेष रूप से, यह P बनाम NP से संबंधित समस्याओं की जाँच करने में सहायक है। उदाहरण के लिए, यदि एनपी में कोई ऐसी भाषा है जो पी/पॉली में नहीं है तो पी<math>\neq</math>ई.जी.<ref name="arorabarak">{{cite book |last1=Arora |first1=Sanjeev |last2=Barak |first2=Boaz |title=Computational Complexity: A Modern Approach |date=2009 |publisher=Cambridge University Press |isbn=978-0-521-42426-4}}</ref>{{rp|286}} P/poly [[बहुपद पदानुक्रम]] के गुणों की जांच करने में भी मदद करता है। उदाहरण के लिए, यदि [[एनपी (जटिलता)]] ⊆ पी/पॉली, तो पीएच गिर जाता है <math>\Sigma_2^{\mathsf P}</math>. पी/पॉली और अन्य जटिलता वर्गों के बीच संबंधों का पूरा विवरण पी/पॉली या Importance of P/poly|Importance of P/poly पर उपलब्ध है। पी / पॉली में दिलचस्प विशेषता यह भी है कि इसे बहुपद-समय ट्यूरिंग मशीन द्वारा बहुपद-सीमित [[सलाह (जटिलता)]] के साथ मान्यता प्राप्त भाषाओं के वर्ग के रूप में समान रूप से परिभाषित किया जा सकता है। | ||
पी/पॉली के दो उपवर्ग जिनके अपने आप में दिलचस्प गुण हैं, एनसी (जटिलता) और [[एसी (जटिलता)]] हैं। इन वर्गों को न केवल उनके सर्किट आकार के संदर्भ में बल्कि उनकी गहराई के संदर्भ में भी परिभाषित किया गया | पी/पॉली के दो उपवर्ग जिनके अपने आप में दिलचस्प गुण हैं, एनसी (जटिलता) और [[एसी (जटिलता)]] हैं। इन वर्गों को न केवल उनके सर्किट आकार के संदर्भ में बल्कि उनकी गहराई के संदर्भ में भी परिभाषित किया गया है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट की गहराई इनपुट नोड से आउटपुट नोड तक सबसे लंबे [[निर्देशित पथ]] की लंबाई है। वर्ग एनसी भाषाओं का समूह है जिसे सर्किट परिवारों द्वारा हल किया जा सकता है जो न केवल बहुपद-आकार तक ही सीमित हैं बल्कि बहुलगणकीय गहराई तक भी सीमित हैं। क्लास AC को NC के समान परिभाषित किया गया है, हालांकि गेट्स को अनबाउंड फैन-इन (यानी AND और OR गेट्स को दो से अधिक बिट्स पर लागू किया जा सकता है) की अनुमति है। नेकांवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानमहत्वपूर्ण वर्ग है क्योंकि यह पता चला है कि यह उन भाषाओं के वर्ग का प्रतिनिधित्व करता है जिनमें कुशल समांतर एल्गोरिदम हैं। | ||
=== सर्किट मूल्यांकन === | === सर्किट मूल्यांकन === | ||
[[सर्किट वैल्यू प्रॉब्लम]] - दिए गए इनपुट [[बाइनरी स्ट्रिंग]] पर दिए गए बूलियन सर्किट के आउटपुट की गणना करने की समस्या - | [[सर्किट वैल्यू प्रॉब्लम]] - दिए गए इनपुट [[बाइनरी स्ट्रिंग]] पर दिए गए बूलियन सर्किट के आउटपुट की गणना करने की समस्या -वास्तु प्रौद्योगिकी के चार्टर्ड संस्थान[[पी-पूर्ण]] निर्णय समस्या है।<ref name="arorabarak"/>{{rp|119}} इसलिए, इस समस्या को इस अर्थ में स्वाभाविक रूप से अनुक्रमिक माना जाता है कि समस्या को हल करने वाला कोई कुशल, अत्यधिक समानांतर एल्गोरिदम नहीं है। | ||
=== पूर्णता === | === पूर्णता === | ||
लॉजिक सर्किट सरल लॉजिक ऑपरेशंस, AND, OR और NOT (और उनके संयोजन, जैसे गैर-अनुक्रमिक फ्लिप-फ्लॉप या सर्किट नेटवर्क) का भौतिक प्रतिनिधित्व करते हैं, | लॉजिक सर्किट सरल लॉजिक ऑपरेशंस, AND, OR और NOT (और उनके संयोजन, जैसे गैर-अनुक्रमिक फ्लिप-फ्लॉप या सर्किट नेटवर्क) का भौतिक प्रतिनिधित्व करते हैं, जोवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानगणितीय संरचना बनाते हैं जिसे [[बूलियन बीजगणित]] के रूप में जाना जाता है। वे इस मायने में पूर्ण हैं कि वे कोई भी नियतात्मक एल्गोरिथम निष्पादित कर सकते हैं। हालाँकि, ऐसा होता है कि यह सब कुछ नहीं है। भौतिक दुनिया में हम यादृच्छिकता का भी सामना करते हैं, परिमाणीकरण प्रभावों द्वारा नियंत्रित छोटी प्रणालियों में उल्लेखनीय है, जिसे क्वांटम यांत्रिकी के सिद्धांत द्वारा वर्णित किया गया है। लॉजिक सर्किट किसी भी यादृच्छिकता का उत्पादन नहीं कर सकते हैं, और इस अर्थ में वेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअपूर्ण लॉजिक सेट बनाते हैं। इसका उपाय तर्क नेटवर्क, या कंप्यूटर, जैसे कि [[संभाव्य ट्यूरिंग मशीन]] मेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानतदर्थ यादृच्छिक बिट जनरेटर को जोड़ने में पाया जाता है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानहालिया काम<ref>{{cite journal |last1=Stipčević |first1=Mario |last2=Batelić |first2=Mateja |title=Entropy considerations in improved circuits for a biologically-inspired random pulse computer |journal=Scientific Reports |volume=12 |page=115 |year=2022 |doi=10.1038/s41598-021-04177-9|doi-access=free }}</ref> रैंडम फ्लिप-फ्लॉप नामकवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअंतर्निहित यादृच्छिक लॉजिक सर्किट कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसैद्धांतिक अवधारणा पेश की है, जो सेट को पूरा करती है। यह आसानी से यादृच्छिकता को पैक करता है और नियतात्मक बूलियन लॉजिक सर्किट के साथ इंटर-ऑपरेबल है। हालांकि, बूलियन बीजगणित के समकक्षवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबीजगणितीय संरचना और विस्तारित सेट के लिए सर्किट निर्माण और कटौती के संबंधित तरीके अभी तक अज्ञात हैं। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 20:56, 20 February 2023
[[/index.php?title=Special:MathShowImage&hash=b6252c47c600d72b4b0f484c229f580d&mode=mathml|thumb|right|उदाहरण बूलियन सर्किट। h> नोड AND गेट्स हैं, द नोड या द्वार हैं, और गेट नहीं नहीं हैं|link=|alt={\displaystyle \wedge }]]कम्प्यूटेशनल जटिलता सिद्धांत और सर्किट जटिलता में, बूलियन सर्किट संयोजन तर्क डिजिटल इलेक्ट्रॉनिक्स के लिए गणना कावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानगणितीय मॉडल है। बूलियन सर्किट केवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानपरिवार द्वारावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानऔपचारिक भाषा तय की जा सकती है, प्रत्येक संभावित इनपुट लंबाई के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट।
बूलियन सर्किट को उनके पास मौजूद तर्क द्वार्स के संदर्भ में परिभाषित किया गया है। उदाहरण के लिए,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट में बाइनरी फ़ंक्शन AND और OR गेट्स और एकात्मक ऑपरेशन NOT गेट्स हो सकते हैं, या पूरी तरह से बाइनरी NAND गेट्स द्वारा वर्णित हो सकते हैं। प्रत्येक गेट कुछ बूलियन समारोह से मेल खाता है जो इनपुट के रूप में अंश्स कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थाननिश्चित संख्या लेता है औरवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबिट को आउटपुट करता है।
बूलियन सर्किट कंप्यूटर इंजीनियरिंग में उपयोग किए जाने वाले कई डिजिटल घटकों के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानमॉडल प्रदान करते हैं, जिसमें बहुसंकेतक्स, योजक (इलेक्ट्रॉनिक्स) और अंकगणितीय तर्क इकाइयां शामिल हैं, लेकिन वे अनुक्रमिक तर्क को बाहर करते हैं। वेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअमूर्त हैं जो वास्तविक डिजिटल लॉजिक सर्किट को डिजाइन करने के लिए प्रासंगिक कई पहलुओं को छोड़ देते हैं, जैसे कि मेटास्टेबिलिटी (इलेक्ट्रॉनिक्स), प्रशंसक बाहर, खतरा (तर्क), शक्ति अनुकूलन (EDA)ईडीए), और प्रसार विलंब परिवर्तनशीलता।
औपचारिक परिभाषा
बूलियन सर्किट कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानऔपचारिक परिभाषा देने में, हर्बर्ट वोल्मर सर्किट मॉडल में स्वीकार्य गेट्स के अनुरूप बूलियन फ़ंक्शंस के सेट बी के रूप मेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानआधार को परिभाषित करके शुरू करते हैं। आधार बी परवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबूलियन सर्किट, एन इनपुट और एम आउटपुट के साथ, फिरवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानपरिमित निर्देशित चक्रीय ग्राफ के रूप में परिभाषित किया जाता है। प्रत्येक वर्टेक्स या तो आधार फ़ंक्शन या इनपुट में सेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसे मेल खाता है, और बिल्कुल एम नोड्स कावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसेट होता है जिसे आउटपुट के रूप में लेबल किया जाता है।[1]: 8 वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानही बूलियन फ़ंक्शन के विभिन्न तर्कों के बीच अंतर करने के लिए किनारों में कुछ ऑर्डरिंग भी होनी चाहिए।[1]: 9
एक विशेष मामले के रूप में,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानप्रस्तावक सूत्र या बूलियन अभिव्यक्तिवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानएकल आउटपुट नोड वाला बूलियन सर्किट है जिसमें हर दूसरे नोड का प्रशंसक बाहर 1 होता है। .
बूलियन सर्किट के लिएवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसामान्य आधार सेट {AND गेट, OR गेट, नॉट गेट} है, जो कार्यात्मक पूर्णता है, i। इ। जिससे अन्य सभी बूलियन कार्यों का निर्माण किया जा सकता है।
कम्प्यूटेशनल जटिलता
पृष्ठभूमि
एक विशेष सर्किट निश्चित आकार के इनपुट पर ही कार्य करता है। हालाँकि, औपचारिक भाषाएँ (स्ट्रिंग (कंप्यूटर विज्ञान) | निर्णय समस्याओं के स्ट्रिंग-आधारित प्रतिनिधित्व) में विभिन्न लंबाई के तार होते हैं, इसलिए भाषाओं कोवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट द्वारा पूरी तरह से कैप्चर नहीं किया जा सकता है (ट्यूरिंग मशीन मॉडल के विपरीत, जिसमेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा है पूरी तरह सेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानट्यूरिंग मशीन द्वारा वर्णित)। इसके बजायवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवार द्वारावास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा का प्रतिनिधित्व किया जाता है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवार सर्किट की अनंत सूची है , कहाँ है इनपुट चर। कहा जाता है किवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट परिवारवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा तय करता है अगर, हर स्ट्रिंग के लिए , भाषा में है अगर और केवल अगर , कहाँ की लम्बाई है . दूसरे शब्दों में,वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानभाषा तारों का समूह है, जो सर्किट पर लागू होने पर उनकी लंबाई के अनुरूप होती है, जो 1 का मूल्यांकन करती है।[2]: 354
जटिलता उपाय
कई महत्वपूर्ण कम्प्यूटेशनल जटिलता सिद्धांत को बूलियन सर्किट पर परिभाषित किया जा सकता है, जिसमें सर्किट की गहराई, सर्किट का आकार और AND गेट्स और OR गेट्स के बीच विकल्पों की संख्या शामिल है। उदाहरण के लिए, बूलियन सर्किट की आकार जटिलता सर्किट में फाटकों की संख्या है।
सर्किट के आकार की जटिलता और समय की जटिलता के बीचवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानस्वाभाविक संबंध है।[2]: 355 सहज रूप से, कम समय की जटिलता वाली भाषा (यानी, ट्यूरिंग मशीन पर अपेक्षाकृत कुछ अनुक्रमिक संचालन की आवश्यकता होती है), इसमेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानछोटी सर्किट जटिलता भी होती है (अर्थात, अपेक्षाकृत कुछ बूलियन संचालन की आवश्यकता होती है)। औपचारिक रूप से, यह दिखाया जा सकता है कि यदि कोई भाषा में है , कहाँ वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानकार्य है , तो इसमें सर्किट जटिलता है .
जटिलता वर्ग
बूलियन सर्किट के संदर्भ में कई महत्वपूर्ण जटिलता वर्गों को परिभाषित किया गया है। इनमें से सबसे सामान्य है पी/पॉली, भाषाओं का वह समूह जो बहुपद-आकार के सर्किट परिवारों द्वारा तय किया जा सकता है। यह सीधे इस तथ्य से अनुसरण करता है कि भाषाओं में सर्किट जटिलता है वह पी (जटिलता)पी/पॉली। दूसरे शब्दों में, नियतात्मक ट्यूरिंग मशीन द्वारा बहुपद समय में गणना की जा सकने वाली किसी भी समस्या की गणना बहुपद-आकार के सर्किट परिवार द्वारा भी की जा सकती है। आगे यह मामला है कि समावेशन उचित है (यानी पीपी/पॉली) क्योंकि ऐसी अनिर्णीत समस्याएं हैं जो पी/पॉली में हैं। पी/पॉली में कई गुण हैं जो इसे जटिलता वर्गों के बीच संबंधों के अध्ययन में अत्यधिक उपयोगी बनाते हैं। विशेष रूप से, यह P बनाम NP से संबंधित समस्याओं की जाँच करने में सहायक है। उदाहरण के लिए, यदि एनपी में कोई ऐसी भाषा है जो पी/पॉली में नहीं है तो पीई.जी.[3]: 286 P/poly बहुपद पदानुक्रम के गुणों की जांच करने में भी मदद करता है। उदाहरण के लिए, यदि एनपी (जटिलता) ⊆ पी/पॉली, तो पीएच गिर जाता है . पी/पॉली और अन्य जटिलता वर्गों के बीच संबंधों का पूरा विवरण पी/पॉली या Importance of P/poly|Importance of P/poly पर उपलब्ध है। पी / पॉली में दिलचस्प विशेषता यह भी है कि इसे बहुपद-समय ट्यूरिंग मशीन द्वारा बहुपद-सीमित सलाह (जटिलता) के साथ मान्यता प्राप्त भाषाओं के वर्ग के रूप में समान रूप से परिभाषित किया जा सकता है।
पी/पॉली के दो उपवर्ग जिनके अपने आप में दिलचस्प गुण हैं, एनसी (जटिलता) और एसी (जटिलता) हैं। इन वर्गों को न केवल उनके सर्किट आकार के संदर्भ में बल्कि उनकी गहराई के संदर्भ में भी परिभाषित किया गया है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसर्किट की गहराई इनपुट नोड से आउटपुट नोड तक सबसे लंबे निर्देशित पथ की लंबाई है। वर्ग एनसी भाषाओं का समूह है जिसे सर्किट परिवारों द्वारा हल किया जा सकता है जो न केवल बहुपद-आकार तक ही सीमित हैं बल्कि बहुलगणकीय गहराई तक भी सीमित हैं। क्लास AC को NC के समान परिभाषित किया गया है, हालांकि गेट्स को अनबाउंड फैन-इन (यानी AND और OR गेट्स को दो से अधिक बिट्स पर लागू किया जा सकता है) की अनुमति है। नेकांवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानमहत्वपूर्ण वर्ग है क्योंकि यह पता चला है कि यह उन भाषाओं के वर्ग का प्रतिनिधित्व करता है जिनमें कुशल समांतर एल्गोरिदम हैं।
सर्किट मूल्यांकन
सर्किट वैल्यू प्रॉब्लम - दिए गए इनपुट बाइनरी स्ट्रिंग पर दिए गए बूलियन सर्किट के आउटपुट की गणना करने की समस्या -वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानपी-पूर्ण निर्णय समस्या है।[3]: 119 इसलिए, इस समस्या को इस अर्थ में स्वाभाविक रूप से अनुक्रमिक माना जाता है कि समस्या को हल करने वाला कोई कुशल, अत्यधिक समानांतर एल्गोरिदम नहीं है।
पूर्णता
लॉजिक सर्किट सरल लॉजिक ऑपरेशंस, AND, OR और NOT (और उनके संयोजन, जैसे गैर-अनुक्रमिक फ्लिप-फ्लॉप या सर्किट नेटवर्क) का भौतिक प्रतिनिधित्व करते हैं, जोवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानगणितीय संरचना बनाते हैं जिसे बूलियन बीजगणित के रूप में जाना जाता है। वे इस मायने में पूर्ण हैं कि वे कोई भी नियतात्मक एल्गोरिथम निष्पादित कर सकते हैं। हालाँकि, ऐसा होता है कि यह सब कुछ नहीं है। भौतिक दुनिया में हम यादृच्छिकता का भी सामना करते हैं, परिमाणीकरण प्रभावों द्वारा नियंत्रित छोटी प्रणालियों में उल्लेखनीय है, जिसे क्वांटम यांत्रिकी के सिद्धांत द्वारा वर्णित किया गया है। लॉजिक सर्किट किसी भी यादृच्छिकता का उत्पादन नहीं कर सकते हैं, और इस अर्थ में वेवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअपूर्ण लॉजिक सेट बनाते हैं। इसका उपाय तर्क नेटवर्क, या कंप्यूटर, जैसे कि संभाव्य ट्यूरिंग मशीन मेंवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानतदर्थ यादृच्छिक बिट जनरेटर को जोड़ने में पाया जाता है।वास्तु प्रौद्योगिकी के चार्टर्ड संस्थानहालिया काम[4] रैंडम फ्लिप-फ्लॉप नामकवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानअंतर्निहित यादृच्छिक लॉजिक सर्किट कीवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानसैद्धांतिक अवधारणा पेश की है, जो सेट को पूरा करती है। यह आसानी से यादृच्छिकता को पैक करता है और नियतात्मक बूलियन लॉजिक सर्किट के साथ इंटर-ऑपरेबल है। हालांकि, बूलियन बीजगणित के समकक्षवास्तु प्रौद्योगिकी के चार्टर्ड संस्थानबीजगणितीय संरचना और विस्तारित सेट के लिए सर्किट निर्माण और कटौती के संबंधित तरीके अभी तक अज्ञात हैं।
यह भी देखें
- सर्किट संतुष्टि
- लॉजिक गेट
- बूलियन तर्क
- स्विचिंग लेम्मा
फुटनोट्स
- ↑ 1.0 1.1 Vollmer, Heribert (1999). Introduction to Circuit Complexity. Berlin: Springer. ISBN 3-540-64310-9.
- ↑ 2.0 2.1 Sipser, Michael (2006). Introduction to the Theory of Computation (2nd ed.). USA: Thomson Course Technology. ISBN 978-0-534-95097-2.
- ↑ 3.0 3.1 Arora, Sanjeev; Barak, Boaz (2009). Computational Complexity: A Modern Approach. Cambridge University Press. ISBN 978-0-521-42426-4.
- ↑ Stipčević, Mario; Batelić, Mateja (2022). "Entropy considerations in improved circuits for a biologically-inspired random pulse computer". Scientific Reports. 12: 115. doi:10.1038/s41598-021-04177-9.
श्रेणी:कम्प्यूटेशनल जटिलता सिद्धांत
श्रेणी:डिजिटल सर्किट
श्रेणी:कंप्यूटर विज्ञान में तर्क