मास्टर प्रमेय (एल्गोरिदम का विश्लेषण)
एल्गोरिदम के विश्लेषण में, विभाजन और जीत पुनरावृत्ति के लिए मास्टर प्रमेय कई विभाजन और जीत एल्गोरिदम के एल्गोरिदम के विश्लेषण में होने वाले प्रकार के पुनरावृत्ति संबंधों के लिए एक स्पर्शोन्मुख विश्लेषण (बिग ओ नोटेशन का उपयोग करके) प्रदान करता है। यह दृष्टिकोण पहली बार 1980 में जॉन बेंटले (कंप्यूटर वैज्ञानिक), डोरोथिया ब्लोस्टीन (नी हेकेन) और जेम्स बी सक्से द्वारा प्रस्तुत किया गया था, जहां इसे इस तरह की पुनरावृत्ति को हल करने के लिए एक एकीकृत विधि के रूप में वर्णित किया गया था।[1] मास्टर प्रमेय का नाम थॉमस एच. कॉर्मेन, चार्ल्स ई. लीसरसन, रॉन रिवेस्ट और क्लिफर्ड स्टीन द्वारा व्यापक रूप से उपयोग किए जाने वाले एल्गोरिदम पाठ्यपुस्तक एल्गोरिदम का परिचय द्वारा लोकप्रिय किया गया था।
इस प्रमेय के उपयोग से सभी पुनरावृत्ति संबंधों को हल नहीं किया जा सकता है; इसके सामान्यीकरण में अकरा-बाज़ी पद्धति शामिल है।
परिचय
एक समस्या पर विचार करें जिसे पुनरावर्ती एल्गोरिथम का उपयोग करके हल किया जा सकता है जैसे कि निम्नलिखित:
प्रक्रिया p(इनपुट x आकार का n): अगर एन <कुछ स्थिर के: रिकर्सन के बिना 'x' को सीधे हल करें अन्य: x की a उप-समस्याएँ बनाएँ, जिनमें से प्रत्येक का आकार n/b है कॉल प्रक्रिया पी प्रत्येक उपसमस्या पर पुनरावर्ती रूप से उप-समस्याओं से परिणामों को मिलाएं
उपरोक्त एल्गोरिथ्म समस्या को पुनरावर्ती रूप से कई उप-समस्याओं में विभाजित करता है, प्रत्येक उप-समस्या आकार की होती है n/b. इसके समाधान के पेड़ में प्रत्येक पुनरावर्ती कॉल के लिए एक नोड होता है, उस नोड के बच्चे उस कॉल से किए गए अन्य कॉल होते हैं। पेड़ की पत्तियां पुनरावर्तन के आधार मामले हैं, उप-समस्याएं (के से कम आकार की) जो पुनरावर्तन नहीं करती हैं। उपरोक्त उदाहरण होगा a प्रत्येक गैर-पत्ती नोड पर चाइल्ड नोड। प्रत्येक नोड काम की मात्रा करता है जो उप-समस्या के आकार के अनुरूप होता है n पुनरावर्ती कॉल के उस उदाहरण को पास किया गया और इसके द्वारा दिया गया . संपूर्ण एल्गोरिथम द्वारा किए गए कार्य की कुल राशि ट्री में सभी नोड्स द्वारा किए गए कार्य का योग है।
एक एल्गोरिथम का रनटाइम जैसे आकार 'एन' के इनपुट पर ऊपर 'पी', आमतौर पर निरूपित किया जाता है , पुनरावृत्ति संबंध द्वारा व्यक्त किया जा सकता है
कहाँ उपरोक्त प्रक्रिया में उप-समस्याओं को बनाने और उनके परिणामों को संयोजित करने का समय है। किए गए कार्य की कुल राशि के लिए एक अभिव्यक्ति प्राप्त करने के लिए इस समीकरण को क्रमिक रूप से स्वयं में प्रतिस्थापित किया जा सकता है और विस्तारित किया जा सकता है।[2] मास्टर प्रमेय इस रूप के कई पुनरावृत्ति संबंधों को पुनरावर्ती संबंध का विस्तार किए बिना सीधे बिग ओ संकेतन|Θ-संकेतन में परिवर्तित करने की अनुमति देता है।
सामान्य रूप
मास्टर प्रमेय हमेशा विभाजित और जीत एल्गोरिदम से पुनरावृत्ति के लिए असम्बद्ध रूप से तंग सीमा उत्पन्न करता है जो एक इनपुट को समान आकार के छोटे उप-समस्याओं में विभाजित करता है, उप-समस्याओं को पुनरावर्ती रूप से हल करता है, और फिर मूल समस्या का समाधान देने के लिए उप-समस्या समाधानों को जोड़ता है। इस तरह के एक एल्गोरिथ्म के लिए समय उस कार्य को जोड़कर व्यक्त किया जा सकता है जो वे अपने पुनरावर्तन के शीर्ष स्तर पर करते हैं (समस्याओं को उप-समस्याओं में विभाजित करने के लिए और फिर उप-समस्याओं के समाधानों को संयोजित करने के लिए) एक साथ एल्गोरिथ्म के पुनरावर्ती कॉल में किए गए समय के साथ। अगर आकार के इनपुट पर एल्गोरिथ्म के लिए कुल समय को दर्शाता है , और पुनरावृत्ति के शीर्ष स्तर पर लगने वाले समय की मात्रा को दर्शाता है तो समय को पुनरावृत्ति संबंध द्वारा व्यक्त किया जा सकता है जो रूप लेता है:
यहाँ एक इनपुट समस्या का आकार है, पुनरावर्तन में उपसमस्याओं की संख्या है, और वह कारक है जिसके द्वारा प्रत्येक पुनरावर्ती कॉल (बी> 1) में उप-समस्या का आकार कम हो जाता है। महत्वपूर्ण रूप से, और पर निर्भर नहीं होना चाहिए . नीचे दिया गया प्रमेय यह भी मानता है कि, पुनरावृत्ति के आधार मामले के रूप में, कब किसी सीमा से कम है , सबसे छोटा इनपुट आकार जो पुनरावर्ती कॉल की ओर ले जाएगा।
समस्या को विभाजित/पुन: संयोजित करने के कार्य के आधार पर, इस फ़ॉर्म की पुनरावृत्ति अक्सर निम्नलिखित तीन शासनों में से एक को संतुष्ट करती है महत्वपूर्ण प्रतिपादक से संबंधित है . (नीचे दी गई तालिका मानक बिग ओ नोटेशन का उपयोग करती है)।
Case | Description | Condition on in relation to , i.e. | Master Theorem bound | Notational examples |
---|---|---|---|---|
1 | Work to split/recombine a problem is dwarfed by subproblems.
i.e. the recursion tree is leaf-heavy |
When where
(upper-bounded by a lesser exponent polynomial) |
... then
(The splitting term does not appear; the recursive tree structure dominates.) |
If and , then . |
2 | Work to split/recombine a problem is comparable to subproblems. | When for a
(rangebound by the critical-exponent polynomial, times zero or more optional s) |
... then
(The bound is the splitting term, where the log is augmented by a single power.) |
If and , then .
If and , then . |
3 | Work to split/recombine a problem dominates subproblems.
i.e. the recursion tree is root-heavy. |
When where
(lower-bounded by a greater-exponent polynomial) |
... this doesn't necessarily yield anything. Furthermore, if
then the total is dominated by the splitting term : |
If and and the regularity condition holds, then . |
केस 2 का एक उपयोगी विस्तार सभी मूल्यों को संभालता है :[3]
Case | Condition on in relation to , i.e. | Master Theorem bound | Notational examples |
---|---|---|---|
2a | When for any | ... then
(The bound is the splitting term, where the log is augmented by a single power.) |
If and , then . |
2b | When for | ... then
(The bound is the splitting term, where the log reciprocal is replaced by an iterated log.) |
If and , then . |
2c | When for any | ... then
(The bound is the splitting term, where the log disappears.) |
If and , then . |
उदाहरण
पहला उदाहरण
जैसा कि उपरोक्त सूत्र से देखा जा सकता है:
- , इसलिए
- , कहाँ
अगला, हम देखते हैं कि क्या हम केस 1 शर्त को पूरा करते हैं:
- .
यह मास्टर प्रमेय के पहले मामले से अनुसरण करता है
(इस परिणाम की पुष्टि पुनरावृत्ति संबंध के सटीक समाधान से होती है, जो है , मानते हुए ).
केस 2 उदाहरण
जैसा कि हम उपरोक्त सूत्र में देख सकते हैं कि चरों को निम्नलिखित मान मिलते हैं:
- कहाँ
अगला, हम देखते हैं कि क्या हम केस 2 शर्त को पूरा करते हैं:
- , और इसलिए, सी और बराबर हैं
तो यह मास्टर प्रमेय के दूसरे मामले से आता है:
- इस प्रकार दिया गया पुनरावृत्ति संबंध में था .
(इस परिणाम की पुष्टि पुनरावृत्ति संबंध के सटीक समाधान से होती है, जो है , मानते हुए ).
केस 3 उदाहरण
जैसा कि हम उपरोक्त सूत्र में देख सकते हैं कि चरों को निम्नलिखित मान मिलते हैं:
- , कहाँ
अगला, हम देखते हैं कि क्या हम केस 3 शर्त को पूरा करते हैं:
- , और इसलिए, हाँ,
नियमितता की स्थिति भी रखती है:
- , चुनना
तो यह मास्टर प्रमेय के तीसरे मामले से आता है:
इस प्रकार दिया गया पुनरावृत्ति संबंध में था , जो इसका अनुपालन करता है मूल सूत्र का।
(इस परिणाम की पुष्टि पुनरावृत्ति संबंध के सटीक समाधान से होती है, जो है , मानते हुए .)
अस्वीकार्य समीकरण
मास्टर प्रमेय का उपयोग करके निम्नलिखित समीकरणों को हल नहीं किया जा सकता है:[4]
-
- a स्थिरांक नहीं है; उप-समस्याओं की संख्या निश्चित की जानी चाहिए
-
- के बीच गैर-बहुपद अंतर और (नीचे देखें; विस्तारित संस्करण लागू होता है)
-
- एक से कम उप समस्या नहीं हो सकती
-
- , जो संयोजन समय है, सकारात्मक नहीं है
-
- केस 3 लेकिन नियमितता का उल्लंघन।
उपरोक्त दूसरे अस्वीकार्य उदाहरण में, के बीच का अंतर और अनुपात में व्यक्त किया जा सकता है . यह स्पष्ट है कि किसी स्थिरांक के लिए . इसलिए, अंतर बहुपद नहीं है और मास्टर प्रमेय का मूल रूप लागू नहीं होता है। विस्तारित रूप (केस 2बी) समाधान देते हुए लागू होता है .
सामान्य एल्गोरिदम के लिए आवेदन
Algorithm | Recurrence relationship | Run time | Comment |
---|---|---|---|
Binary search | Apply Master theorem case , where [5] | ||
Binary tree traversal | Apply Master theorem case where [5] | ||
Optimal sorted matrix search | Apply the Akra–Bazzi theorem for and to get | ||
Merge sort | Apply Master theorem case , where |
यह भी देखें
- एकरा–बाजी विधि
- स्पर्शोन्मुख जटिलता
टिप्पणियाँ
- ↑ Bentley, Jon Louis; Haken, Dorothea; Saxe, James B. (September 1980), "A general method for solving divide-and-conquer recurrences", ACM SIGACT News, 12 (3): 36–44, doi:10.1145/1008861.1008865, S2CID 40642274, archived from the original on September 22, 2017
- ↑ Duke University, "Big-Oh for Recursive Functions: Recurrence Relations", http://www.cs.duke.edu/~ola/ap/recurrence.html
- ↑ Chee Yap, A real elementary approach to the master recurrence and generalizations, Proceedings of the 8th annual conference on Theory and applications of models of computation (TAMC'11), pages 14–26, 2011. Online copy.
- ↑ Massachusetts Institute of Technology (MIT), "Master Theorem: Practice Problems and Solutions", https://people.csail.mit.edu/thies/6.046-web/master.pdf
- ↑ 5.0 5.1 Dartmouth College, http://www.math.dartmouth.edu/archive/m19w03/public_html/Section5-2.pdf
संदर्भ
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw–Hill, 2001. ISBN 0-262-03293-7. Sections 4.3 (The master method) and 4.4 (Proof of the master theorem), pp. 73–90.
- Michael T. Goodrich and Roberto Tamassia. Algorithm Design: Foundation, Analysis, and Internet Examples. Wiley, 2002. ISBN 0-471-38365-1. The master theorem (including the version of Case 2 included here, which is stronger than the one from CLRS) is on pp. 268–270.