वास्तव में बहुत कम संबंध है। पूरी तरह से समझने के लिए, मुझे कार्यक्रमों और सर्किटों के बीच संबंध की व्याख्या करने दें ।
एक प्रोग्राम (या एल्गोरिथ्म , या मशीन ) एक फ़ंक्शन की गणना के लिए एक तंत्र है। निश्चितता के लिए, मान लें कि इनपुट बाइनरी स्ट्रिंग , और आउटपुट बूलियन आउटपुट बी है । इनपुट का आकार संभावित रूप से अनबाउंड है। एक उदाहरण एक प्रोग्राम है जो यह निर्धारित करता है कि इनपुट एक प्रमुख संख्या का द्विआधारी एन्कोडिंग है या नहीं।xb
ए (बुलियन) सर्किट कुछ परिमित फ़ंक्शन की गणना के लिए निर्देशों का एक संग्रह है । हम सर्किट को विद्युत सर्किट के रूप में चित्रित कर सकते हैं, या इसे निर्देशों के अनुक्रम के रूप में सोच सकते हैं (इस दृश्य को भ्रामक रूप से एक सीधी रेखा कहा जाता है )। अफसोस, हम मान सकते हैं कि इनपुट लंबाई n का एक बाइनरी स्ट्रिंग है , और आउटपुट बुलियन है। एक उदाहरण एक सर्किट है जो यह निर्धारित करता है कि इनपुट एक प्राइम नंबर को एन्कोड करता है (पहले की तरह, अब केवल इनपुट को लंबाई n का होना है )।x nn
हम एक प्रोग्राम को एक सर्किट P n में बदल सकते हैं जो P की लंबाई n के इनपुट पर अनुकरण करता है । सर्किट पी 0 , पी 1 , पी 2 के इसी क्रमPPnPn मनमाना नहीं है - वे सब किया जा सकता हैका निर्माणएक कार्यक्रम से है जो दिए गए n आउटपुट पी एन । हम सर्किट के ऐसे अनुक्रम को एकसमानसर्किट कहते हैं (भ्रामक रूप से, हम अक्सर अनुक्रम को "अनिश्चित एन के लिए" सिंगल "सर्किट पी एन के रूप में सोचते हैं)।P0,P1,P2,…nPnPnn
सर्किट का हर क्रम एक समान नहीं है। वास्तव में, सर्किट का एक क्रम बूलियन, कम्प्यूटेशनल या असुविधाजनक से तार तक हर फ़ंक्शन की गणना कर सकता है! फिर भी, जटिलता सिद्धांत में हम ऐसे गैर-समान मॉडल में रुचि रखते हैं जिसमें सर्किट प्रतिबंधित हैं। उदाहरण के लिए, प्रश्न पी = एनपी बताता है कि एनपी-पूर्ण समस्याओं को बहुपद समय एल्गोरिदम द्वारा हल नहीं किया जा सकता है। इसका तात्पर्य है कि एनपी-पूर्ण समस्याओं को बहुपद आकार वर्दी सर्किट द्वारा हल नहीं किया जा सकता है। यह अधिक अनुमान है कि एकरूपता की आवश्यकता के बिना बहुपद आकार सर्किट द्वारा एनपी-पूर्ण समस्याओं को हल नहीं किया जा सकता है ।
ट्यूरिंग-कंप्लीट कंपटीशन मॉडल वे मॉडल होते हैं जो सभी कम्प्यूटेशनल फंक्शंस (और अधिक नहीं) का एहसास कराते हैं। इसके विपरीत, फाटकों की पूरी प्रणाली (जैसे और, या, नहीं या नन्द) कंप्यूटिंग मनमाने ढंग से की अनुमति परिमित इन फाटकों से बना सर्किट का उपयोग कर काम करता है। इस तरह के पूर्ण सिस्टम सर्किट के (अप्रतिबंधित) अनुक्रमों का उपयोग करके पूरी तरह से मनमाने कार्यों की गणना कर सकते हैं।