डिसीजन ट्री मॉडल

कम्प्यूटेशनल कॉम्पलेक्सिटी में डिसीजन ट्री मॉडल कम्प्यूटेशन का मॉडल है जिसमें एक एल्गोरिथ्म को मूल रूप से एक डिसीजन ट्री माना जाता है, अर्थात, प्रश्नों या परीक्षणों का एक क्रम जो अनुकूली विधि से किया जाता है, इसलिए पिछले परीक्षणों के परिणाम अगले किए गए परीक्षणों को प्रभावित कर सकते हैं।

सामान्यतः, इन परीक्षणों में परिणामों की एक छोटी संख्या होती है (जैसे यैस-नो प्रश्न) और इन्हें जल्दी से निष्पादित किया जा सकता है (जैसे, यूनिट कम्प्यूटेशनल कॉस्ट के साथ), इसलिए डिसीजन ट्री मॉडल में एल्गोरिदम की सबसे वर्स्ट केस टाइम कॉम्पलेक्सिटी से मेल खाती है संबंधित डिसीजन ट्री की डेप्थ डिसीजन ट्री मॉडल में किसी समस्या या एल्गोरिदम की कम्प्यूटेशनल कॉम्पलेक्सिटी की इस धारणा को इसकी डिसीजन ट्री कॉम्पलेक्सिटी या क्वेरी कॉम्पलेक्सिटी कहा जाता है।

डिसीजन ट्री मॉडल कम्प्यूटेशनल समस्याओं और एल्गोरिदम के कुछ वर्गों के लिए कॉम्पलेक्सिटी सिद्धांत के लिए निम्न बाउंड स्थापित करने में सहायक होते हैं। कम्प्यूटेशनल मॉडल और क्वेरी एल्गोरिदम के सॉर्ट के आधार पर डिसीजन ट्री मॉडल के कई प्रकार प्रस्तुत किए गए हैं।

उदाहरण के लिए, एक डिसीजन ट्री तर्क का उपयोग यह दिखाने के लिए किया जाता है, कि कम्पैरिज़न सॉर्ट $$n$$ आइटम अवश्य लेने होता है, $$n\log(n)$$ कम्पैरिज़न की जाती है। कम्पैरिज़न सॉर्टों के लिए, एक क्वेरी दो आइटम्स की कम्पैरिज़न है, a, b दो परिणामों के साथ (यह मानते हुए कि कोई आइटम समान नहीं हैं), या तो a b, इस मॉडल में कम्पैरिज़न सॉर्टों को डिसीजन ट्री के रूप में व्यक्त किया जा सकता है, क्योंकि ऐसे सॉर्टिंग एल्गोरिदम मात्र इस सॉर्ट के प्रश्नों को निष्पादित करते हैं।

सॉर्टिंग के लिए ट्री और लोवर बाउंड का कम्पैरिज़न करें
सॉर्टिंग और अन्य समान समस्याओं के लिए तथा एल्गोरिदम को समझने के लिए अधिकांशतः डिसीजन ट्री का उपयोग किया जाता है, यह सबसे पहले फोर्ड और जॉनसन द्वारा किया गया है।

उदाहरण के लिए, कई सॉर्टिंग एल्गोरिदम कम्पैरिज़न सॉर्ट हैं, जिसका अर्थ है, कि वे मात्र इनपुट अनुक्रम के बारे में जानकारी प्राप्त करते हैं, $$x_1,x_2,\ldots,x_n$$ स्थानीय कम्पैरिज़नस के माध्यम से: परीक्षण करना कि क्या $$x_i < x_j$$, $$x_i = x_j$$, या $$x_i > x_j$$, यह मानते हुए कि क्रमबद्ध की जाने वाली सभी आइटम्स विशिष्ट और तुलनीय $$x_i > x_j$$ हैं? इसे हाँ-या-नहीं प्रश्न के रूप में दोहराया जा सकता है।

इन एल्गोरिदम को बाइनरी डिसीजन ट्री के रूप में तैयार किया जा सकता है, जहां प्रश्न कम्पैरिज़न हैं, एक आंतरिक नोड एक प्रश्न से मेल खाता है, और नोड के चिल्ड्रेन अगली क्वेरी के अनुरूप होते हैं, जब प्रश्न का उत्तर हां या नहीं होता है। लीफ नोड्स के लिए, आउटपुट परमुटेशन से मेल खाता है, $$\pi$$ जो बताता है, कि आइटमों की पूरी सॉर्ट से ऑर्डर की गई सूची से इनपुट अनुक्रम को कैसे खंगाला जाता है। लीफ नोड्स के लिए, आउटपुट एक परमुटेशन $$\pi$$ से मेल खाता है जो बताता है कि आइटमों की पूरे प्रकार से ऑर्डर की गई सूची से इनपुट अनुक्रम को कैसे स्क्रैम्बल किया गया था। (इस परमुटेशन का इनवर्स, $$\pi^{-1}$$, इनपुट अनुक्रम को पुनः व्यवस्थित करता है।)

कोई यह दिखा सकता है कि कम्पैरिज़न सॉर्टों का उपयोग अवश्य करना होता है, $$\Omega(n\log(n))$$ एक सरल तर्क के माध्यम से कम्पैरिज़न एक एल्गोरिदम के सही होने के लिए, इसे हर संभव परमुटेशन को आउटपुट करने में सक्षम होना चाहिए $$n$$ तत्व; अन्यथा, एल्गोरिदम इनपुट के रूप में उस विशेष परमुटेशन के लिए विफल हो जाता है। इसलिए, इसके संगत डिसीजन ट्री में कम से कम उतने ही पत्ते होने होते हैं, जितने परमुटेशन हैं: $$n!$$ पत्तियाँ। कम से कम कोई बाइनरी ट्री $$n!$$ लीफ्स में कम से कम डेप्थ तो होती है, $$\log_2(n!) = \Omega(n\log_2(n))$$, इसलिए यह कम्पैरिज़न सॉर्टिंग एल्गोरिदम के रन टाइम पर निम्न बाउंड है। इस स्थिति में, इस समय की कॉम्पलेक्सिटी वाले कई कम्पैरिज़न-सॉर्टिंग एल्गोरिदम का अस्तित्व, जैसे मर्जसॉर्ट और हीपसॉर्ट, दर्शाता है कि बाउंड टाइट है।

यह तर्क क्वेरी के सॉर्ट के बारे में कुछ भी उपयोग नहीं करता है, इसलिए यह वास्तव में किसी भी सॉर्टिंग एल्गोरिदम के लिए निम्न बाउंड सिद्ध करता है, जिसे बाइनरी डिसीजन ट्री के रूप में मॉडल किया जा सकता है। संक्षेप में, यह सूचना-सैद्धांतिक तर्क का पुनर्लेखन है, कि एक सही सॉर्टिंग एल्गोरिदम को कम से कम सीखना होता है। $$\log_2(n!)$$ इनपुट अनुक्रम के बारे में जानकारी के अंश है, परिणामस्वरूप, यह रेंडमाइज़्ड डिसीजन ट्री के लिए भी काम करता है।

अन्य डिसीजन ट्री निम्न बाउंड का उपयोग यह करता है, कि क्वेरी एक कम्पैरिज़न है। उदाहरण के लिए, सबसे छोटी संख्या ज्ञात करने के लिए मात्र कम्पैरिज़नस का उपयोग करने के कार्य पर विचार करें $$n$$ एन नंबर है, जो सबसे छोटी संख्या निर्धारित करने से पहले, सबसे छोटी संख्या को छोड़कर प्रत्येक संख्या को कम से कम एक कम्पैरिज़न में "लूज़" (बड़ी कम्पैरिज़न करना) होता है। तो, इसमें कम से कम समय लगता है, न्यूनतम ज्ञात करने के लिए n-1 कम्पैरिज़न होती है। यहां सूचना-सैद्धांतिक तर्क मात्र निम्न बाउंड देता है, एक समान तर्क ऑर्डर आँकड़ों की कम्प्यूटेशन के लिए सामान्य निम्न बाउंड के लिए काम करता है।

रैखिक और बीजगणितीय डिसीजन ट्री
रैखिक डिसीजन ट्री उपरोक्त कम्पैरिज़न डिसीजन ट्री को वास्तविक सदिश लेने वाले अभिकलन कार्यों के लिए सामान्यीकृत करते हैं, $$x \in \mathbb{R}^n$$ इनपुट के रूप में, रैखिक डिसीजन ट्री में परीक्षण रैखिक कार्य हैं, वास्तविक संख्याओं की एक विशेष पसंद के लिए $$a_0, \dots, a_n$$, का $$a_0 + \textstyle\sum_{i = 1}^n a_ix_i$$चिह्न आउटपुट करें, (इस मॉडल में एल्गोरिदम मात्र आउटपुट के संकेत पर निर्भर हो सकते हैं।) कम्पैरिज़न ट्री रैखिक डिसीजन ट्री हैं, $$x_i - x_j$$क्योंकि बीच की कम्पैरिज़न $$x_i$$ और $$x_j$$ रैखिक फ़ंक्शन से मेल खाता है, इसकी परिभाषा से, रैखिक डिसीजन ट्री मात्र कार्य निर्दिष्ट कर सकते हैं, $$f$$ जिसके फ़ाइबर का निर्माण आधे-स्थानों के संघों और प्रतिच्छेदनों को लेकर किया जा सकता है।

बीजगणितीय डिसीजन ट्री रैखिक डिसीजन ट्री का एक सामान्यीकरण है, जो परीक्षण कार्यों को डिग्री के बहुपद होने की अनुमति देते हैं। $$d$$ ज्यामितीय रूप से, समष्टि को अर्ध-बीजगणितीय समूह (हाइपरसमतल का एक सामान्यीकरण) में विभाजित किया गया है।

राबिन और रींगोल्ड द्वारा परिभाषित ये डिसीजन ट्री मॉडल, अधिकांशतः कम्प्यूटेशनल ज्यामिति में निम्न बाउंड सिद्ध करने के लिए उपयोग किए जाते हैं। उदाहरण के लिए, बेन-ऑर ने उस तत्व की विशिष्टता (अभिकलन का कार्य) दिखाई $$f: \mathbb{R}^n \to \{0,1\}$$, कहां $$f(x)$$ 0 है, यदि और मात्र तभी जब भिन्न-भिन्न निर्देशांक उपलब्ध हों $$i, j$$ ऐसा है, $$\Omega(n\log(n))$$ कि $$x_i = x_j$$ को डेप्थ के बीजगणितीय डिसीजन ट्री की आवश्यकता होती है, इसे पहली बार डोबकिन और लिप्टन द्वारा रैखिक डिसीजन मॉडल के लिए दिखाया जाता है। वे यह भी दिखाते हैं, $$n^2$$ नैपसैक समस्या पर रैखिक डिसीजन ट्री के लिए निम्न बाउंड, स्टील और याओ द्वारा बीजगणितीय डिसीजन ट्री के लिए सामान्यीकृत होता है।

बूलियन डिसीजन ट्री कॉम्पलेक्सिटी
बूलियन डिसीजन ट्री के लिए, कार्य एन-बिट बूलियन फ़ंक्शन के मान की कम्प्यूटेशन करना है, $$f: \{0,1\}^n \to \{0,1\}$$एक इनपुट के लिए $$x \in \{0,1\}^n$$, क्वेरीज़ इनपुट का थोड़ा सा पढ़ने से मेल खाती हैं, $$x_i$$, और $$f(x)$$ आउटपुट है, प्रत्येक क्वेरी पिछली क्वेरी पर निर्भर हो सकती है। डिसीजन ट्री का उपयोग करने वाले कई सॉर्ट के कम्प्यूटेशनल मॉडल हैं, जिन पर विचार किया जा सकता है, कई कॉम्पलेक्सिटी धारणाओं को स्वीकार करते हुए, कॉम्पलेक्सिटी उपाय कहा जाता है।

डेटर्मीनिस्टिक डिसीजन ट्री
यदि डिसीजन ट्री का आउटपुट है, $$f(x)$$ सभी के लिए $$x\in \{0,1\}^n$$, डिसीजन ट्री $$f$$ को "कम्प्यूटेशन" करने के लिए कहा जाता है, किसी ट्री की डेप्थ, किसी पत्ते तक पहुंचने और परिणाम प्राप्त होने से पहले होने वाली प्रश्नों की अधिकतम संख्या है। $$D(f)$$, डेटर्मीनिस्टिक डिसीजन ट्री कॉम्पलेक्सिटी $$f$$ कम्प्यूटेशन करने वाले सभी डेटर्मीनिस्टिक डिसीजन ट्री $$f$$ में सबसे छोटी डेप्थ है।

रेंडमाइज़्ड डिसीजन ट्री
रेंडमाइज़्ड डिसीजन ट्री को परिभाषित करने का एक विधि ट्री में अतिरिक्त नोड्स जोड़ना है, $$p_i$$प्रत्येक को एक संभावना द्वारा नियंत्रित किया जाता है, एक अन्य समकक्ष परिभाषा इसे डेटर्मीनिस्टिक डिसीजन ट्री पर वितरण के रूप में परिभाषित करना है। इस दूसरी परिभाषा के आधार पर, रेंडमाइज़्ड ट्री की कॉम्पलेक्सिटी को अंतर्निहित वितरण के समर्थन में सभी ट्री के बीच सबसे बड़ी डेप्थ के रूप में परिभाषित किया गया है।

$$R_2(f)$$ को सबसे कम डेप्थ वाले रेंडमाइज़्ड डिसीजन ट्री की कॉम्पलेक्सिटी के रूप में परिभाषित किया गया है, जिसका परिणाम है, $$f(x)$$ कम से कम संभावना के साथ $$2/3$$ सभी के लिए $$x\in \{0,1\}^n$$ (अर्थात्, बाउंड 2-तरफा त्रुटि के साथ) होता है। $$R_2(f)$$ मोंटे कार्लो रेंडमाइज़्ड डिसीजन-ट्री कॉम्पलेक्सिटी के रूप में जाना जाता है, क्योंकि परिणाम को दो-तरफा त्रुटि के साथ गलत होने की अनुमति है। लास वेगास डिसीजन-ट्री कॉम्पलेक्सिटी $$R_0(f)$$ डिसीजन ट्री की अपेक्षित डेप्थ को मापता है, जो सही होना चाहिए (अर्थात, शून्य-त्रुटि है)। एक तरफा बाउंडेड-एरर संस्करण भी है, $$R_1(f)$$जिसे द्वारा दर्शाया गया है।

नॉनडेटर्मीनिस्टिक डिसीजन ट्री
किसी फ़ंक्शन की गैर-डेटर्मीनिस्टिक डिसीजन ट्री कॉम्पलेक्सिटी को सामान्यतः उस फ़ंक्शन की प्रमाणपत्र कॉम्पलेक्सिटी के रूप में जाना जाता है। यह इनपुट बिट्स की संख्या को मापता है, जिसे एक गैर-डेटर्मीनिस्टिक एल्गोरिदम को निश्चितता के साथ फ़ंक्शन का मूल्यांकन करने के लिए देखने की आवश्यकता होती है।

औपचारिक रूप से, प्रमाणपत्र कॉम्पलेक्सिटी $$f$$ पर $$x$$ सूचकांकों के सबसे छोटे उपसमुच्चय का बनावट है, $$S \subset [n]$$ ऐसा कि, सभी के लिए $$y \in \{0,1\}^n$$, यदि $$y_i = x_i$$ सभी के लिए $$i \in S$$, तब $$f(y) = f(x)$$ है, की प्रमाणपत्र कॉम्पलेक्सिटी $$f$$ सभी की कम्पैरिज़न में $$x$$ अधिकतम प्रमाणपत्र कॉम्पलेक्सिटी है, अनुरूप धारणा जहां किसी को मात्र 2/3 संभावना के साथ सत्यापनकर्ता के सही होने की आवश्यकता होती है, $$RC(f)$$ उसे दर्शाया गया है।

क्वांटम डिसीजन ट्री
क्वांटम डिसीजन ट्री कॉम्पलेक्सिटी $$Q_2(f)$$ सबसे कम डेप्थ वाले क्वांटम डिसीजन ट्री की डेप्थ है, जो परिणाम होता है, $$f(x)$$ कम से कम संभावना के साथ 2 / 3 सभी के लिए $$x\in \{0,1\}^n $$, अन्य मात्रा, $$Q_E(f)$$, को परिणाम देने वाले सबसे कम डेप्थ वाले क्वांटम डिसीजन ट्री की डेप्थ के रूप में परिभाषित किया गया है, $$f(x)$$ सभी स्थितियों में प्रायिकता 1 के साथ (अर्थात कम्प्यूटेशन करता है � एफ पूर्णतया) $$Q_2(f)$$ और $$Q_E(f)$$ को सामान्यतः क्वांटम क्वेरी कॉम्पलेक्सिटीओं के रूप में जाना जाता है, क्योंकि क्वांटम डिसीजन ट्री की प्रत्यक्ष परिभाषा आधारित स्थिति की कम्पैरिज़न में अधिक काम्प्लेक्स है। रेंडमाइज़्ड स्थिति के समान, हम परिभाषित करते हैं।

इसी प्रकार ये धारणाएँ सामान्यतः डिग्री और अनुमानित डिग्री की धारणाओं से बंधी होती हैं। की डिग्री $$f$$, निरूपित $$\deg(f)$$, किसी भी बहुपद की सबसे छोटी डिग्री है, $$p$$ संतोषजनक $$f(x) = p(x)$$ सभी के लिए $$x \in \{0,1\}^n$$, की अनुमानित डिग्री $$f$$, निरूपित $$\widetilde{\deg}(f)$$, किसी भी बहुपद की $$p$$ संतोषजनक $$p(x) \in [0,1/3]$$ जब भी $$f(x) = 0$$ और $$p(x) \in [2/3, 1]$$ जब भी $$f(x) = 1$$ सबसे छोटी डिग्री है।

बील्स एट अल. $$Q_0(f) \geq \deg(f)/2$$ और $$Q_2(f) \geq \widetilde{\deg}(f)/2$$ उसे स्थापित किया गया है।

बूलियन फ़ंक्शन कॉम्पलेक्सिटी माध्यमों के बीच संबंध
यह परिभाषाओं से तुरंत पता चलता है कि $$f$$,$$Q_2(f) \leq R_2(f) \leq R_1(f) \leq R_0(f) \leq D(f) \leq n$$, और $$Q_2(f) \leq Q_0(f) \leq D(f) \leq n$$ सभी के लिए $$n$$-बिट बूलियन फ़ंक्शन है, विपरीत दिशा में सर्वोत्तम ऊपरी सीमा ढूँढना क्वेरी कॉम्पलेक्सिटी के क्षेत्र में एक प्रमुख लक्ष्य है।

इन सभी सॉर्ट की क्वेरी कॉम्पलेक्सिटीएँ बहुपद से संबंधित हैं। ब्लम और इम्पाग्लियाज़ो, हार्टमैनिस और हेमचंद्र, और टार्डोस ने स्वतंत्र रूप से इसकी खोज की $$D(f) \leq R_0(f)^2$$, नोम निसान ने पाया कि$$D(f) = O(R_2(f)^3)$$ मोंटे कार्लो रेंडमाइज़्ड डिसीजन ट्री कॉम्पलेक्सिटी भी बहुपद रूप से डेटर्मीनिस्टिक डिसीजन ट्री कॉम्पलेक्सिटी से संबंधित है: (निसान ने यह भी दिखाया $$D(f) = O(R_1(f)^2)$$) मोंटे कार्लो और $$R_0(f) = O(R_2(f)^2 \log R_2(f))$$ लास वेगास मॉडल के बीच एक मजबूत संबंध ज्ञात है, यह संबंध बहुगणितीय कारकों तक इष्टतम है। क्वांटम डिसीजन ट्री कॉम्पलेक्सिटीओं के लिए, $$D(f) = O(Q_2(f)^4)$$और यह बाउंड कड़ी है। $$D(f) = O(Q_0(f)^3)$$ मिड्रिजनिस ने वह दिखाया है। बील्स एट अल के कारण चतुर्थक सीमा में सुधार होता है।

यह ध्यान रखना महत्वपूर्ण है, कि ये बहुपद संबंध मात्र कुल बूलियन कार्यों के लिए मान्य हैं। आंशिक बूलियन फ़ंक्शंस के लिए, $$\{0,1\}^n$$ जिसमें एक डोमेन का सबसमूह होता है, कि बीच एक घातांकीय पृथक्करण $$Q_0(f)$$ और $$D(f)$$ संभव है; ऐसी समस्या का पहला उदाहरण डीयूत्स्च और जोज़सा द्वारा खोजा गया था।

संवेदनशीलता अनुमान
बूलियन फ़ंक्शन के लिए $$f: \{0,1\}^n \to \{0,1\}$$, की संवेदनशीलता $$f$$ को अधिकतम संवेदनशीलता के रूप में परिभाषित किया गया है, $$f$$ सब से ऊपर $$x$$, जहां की संवेदनशीलता $$f$$ पर $$x$$ एकल-बिट परिवर्तित की संख्या है, $$x$$ जो $$f(x)$$ का मान बदलता है, संवेदनशीलता बूलियन फ़ंक्शंस के विश्लेषण से कुल प्रभाव की धारणा से संबंधित है, $$x$$ जो सभी पर औसत संवेदनशीलता के समतुल्य है।

संवेदनशीलता अनुमान वह अनुमान है, कि संवेदनशीलता बहुपद रूप से क्वेरी कॉम्पलेक्सिटी से संबंधित है, अर्थात् घातांक विद्यमान है, $$c, c'$$ ऐसा कि, सभी के लिए $$f$$, $$D(f) = O(s(f)^c)$$ और $$s(f) = O(D(f)^{c'})$$है, $$s(f) \leq D(f)$$ कोई एक साधारण तर्क के माध्यम से यह दिखा सकता है, इसलिए अनुमान विशेष रूप से संवेदनशीलता के लिए निम्न सीमा खोजने के बारे में चिंतित है। चूंकि पहले चर्चा की गई सभी कॉम्पलेक्सिटी माप बहुपद से संबंधित हैं, इसलिए उपयुक्त सॉर्ट की कॉम्पलेक्सिटी माप प्रासंगिक नहीं है। चूंकि, इसे सामान्यतः ब्लॉक संवेदनशीलता के साथ संवेदनशीलता से संबंधित प्रश्न के रूप में व्यक्त किया जाता है।

की ब्लॉक संवेदनशीलता $$f$$, निरूपित $$bs(f)$$, की अधिकतम ब्लॉक संवेदनशीलता के रूप में परिभाषित किया गया है, $$f$$ सब से ऊपर $$x$$ की ब्लॉक संवेदनशीलता $$f$$ पर $$x$$ अधिकतम संख्या है, $$t$$ असंयुक्त उपसमुच्चय का $$S_1, \ldots, S_t \subset [n]$$ ऐसा कि, किसी भी उपसमुच्चय के लिए $$S_i$$, के बिट्स फ़्लिप करना $$x$$ तदनुसार $$S_i$$ का मान $$f(x)$$ बदल देता है।

चूँकि $$s(f) \leq bs(f)$$ ब्लॉक संवेदनशीलता उपसमुच्चय के अधिक से अधिक संवेदनशीलता प्रतिशत प्रभाव डाले जाते हैं। इसके अतिरिक्त, ब्लॉक संवेदनशीलता बहुपद रूप से पहले चर्चा किए गए कॉम्पलेक्सिटी माध्यमों से संबंधित है, उदाहरण के लिए, $$bs(f) \leq D(f) = O(bs(f)^4)$$ ब्लॉक-संवेदनशीलता का परिचय विवरण वाले निसान के पेपर में यह दिखाया गया है, इसलिए, $$bs(f)=O(s(f)^c)$$ कुछ अनुमान के लिए संवेदनशीलता अनुमान $$c$$ को दोबारा दर्शाया जा सकता है, 1992 में, निसान और सेज़ादी ने यह अनुमान लगाया $$c = 2$$ पर्याप्त है। यह सख्त होगा, क्योंकि रुबिनस्टीन ने 1995 में संवेदनशीलता और ब्लॉक संवेदनशीलता के बीच एक द्विघात भिन्नाव दिखाया था।

जुलाई 2019 में, अनुमान प्रारंभ होने के 27 साल पश्चात, एमोरी विश्वविद्यालय के हाओ हुआंग ने संवेदनशीलता अनुमान सिद्ध किया, $$bs(f) = O(s(f)^4)$$ यह दिखाते हैं। यह प्रमाण विशेष रूप से संक्षिप्त है, इस कथन को दो पृष्ठों में सिद्ध करता है, जब संवेदनशीलता अनुमान की दिशा में पूर्व प्रगति सीमित थी।

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

इसी प्रकार संख्या में $$A$$-वीं पंक्ति और $$B$$-वां कॉलम घातांक $$c$$ पर बाउंड को दर्शाता है, $$k$$ जो सभी का न्यूनतम है, संतोषजनक $$A(f) = O(B(f)^k)$$ सभी बूलियन फ़ंक्शंस के लिए $$f$$ हैं। उदाहरण के लिए, डी-वें पंक्ति और एस-वें कॉलम में प्रविष्टि 3, 6 है, $$D(f) = O(\operatorname{s}(f)^{6 + o(1)})$$ सभी के लिए $$f$$, और $$g$$ ऐसा है, कि $$D(g) = \Omega(\operatorname{s}(g)^{3 - o(1)})$$ वहाँ एक फ़ंक्शन उपलब्ध है।

यह भी देखें

 * कम्पैरिज़न क्रम
 * डिसीजन ट्री
 * आंडेरा-कार्प-रोसेनबर्ग अनुमान
 * न्यूनतम फैले हुए ट्री#डिसीजन ट्री

सर्वेक्षण


श्रेणी:कम्प्यूटेशनल कॉम्पलेक्सिटी सिद्धांत श्रेणी:कम्प्यूटेशन के मॉडल श्रेणी:डिसीजन ट्री