विस्तारित यूक्लिडियन एल्गोरिथम कैलकुलेटर

GCD · बेज़ौत गुणांक · मॉड्यूलर व्युत्क्रम

पूर्णांक s और t के साथ GCD(a, b) की गणना करें जो समीकरण s·a + t·b = GCD को संतुष्ट करते हैं। सह-अभाज्य होने पर पूर्ण पुनरावृत्ति तालिका और मॉड्यूलर व्युत्क्रम भी प्राप्त करें।

त्वरित उदाहरण (Quick Examples)

विस्तारित यूक्लिडियन एल्गोरिथम क्या है?

विस्तारित यूक्लिडियन एल्गोरिथम (Extended Euclidean Algorithm) शास्त्रीय यूक्लिडियन एल्गोरिथम का एक महत्वपूर्ण विस्तार है। जहां मूल यूक्लिडियन एल्गोरिथम बार-बार विभाजन के माध्यम से दो पूर्णांकों a और b के महत्तम समापवर्तक (GCD) को खोजता है, वहीं विस्तारित संस्करण एक साथ दो पूर्णांक गुणांकों s और t की गणना करता है — जिन्हें बेज़ौत गुणांक (Bézout coefficients) कहा जाता है — जो इस रैखिक समीकरण को संतुष्ट करते हैं:

s · a + t · b = GCD(a, b)

इस समीकरण को बेज़ौत की पहचान (Bézout's Identity) के रूप में जाना जाता है। यह सिद्धांत गारंटी देता है कि किसी भी दो पूर्णांकों के लिए ऐसे गुणांक हमेशा मौजूद रहते हैं। विस्तारित एल्गोरिथम इसे GCD गणना में अतिरिक्त विभाजनों के बिना प्राप्त कर लेता है।

बेज़ौत की पहचान की व्याख्या

बेज़ौत का प्रमेय (Bézout's Lemma) बताता है: यदि दो पूर्णांकों a और b का GCD(a, b) = d है, तो ऐसे पूर्णांक s और t मौजूद होते हैं जिनके लिए s · a + t · b = d हो। इसके अतिरिक्त, d वह सबसे छोटा सकारात्मक पूर्णांक है जिसे a और b के रैखिक संयोजन के रूप में लिखा जा सकता है।

बेज़ौत गुणांक अद्वितीय (unique) नहीं होते हैं। यदि (s, t) एक समाधान है, तो किसी भी पूर्णांक k के लिए (s + k · (b/d), t − k · (a/d)) भी एक वैध समाधान होगा। यह कैलकुलेटर सबसे कम निरपेक्ष मान वाले गुणांक प्रदान करता है।

एल्गोरिथम की चरण-दर-चरण कार्यप्रणाली

यह एल्गोरिथम बुनियादी GCD की तरह ही विभाजन लूप चलाता है, लेकिन दो अतिरिक्त अनुक्रमों (si) और (ti) को ट्रैक करता है जो हर चरण में ri = si · a + ti · b को संतुष्ट करते हैं। इसका आवर्ती संबंध (recurrence) इस प्रकार है:

  • ri+1 = ri-1 − qi × ri  (मानक GCD चरण)
  • si+1 = si-1 − qi × si
  • ti+1 = ti-1 − qi × ti

शुरुआती मानों (r₀, s₀, t₀) = (a, 1, 0) और (r₁, s₁, t₁) = (b, 0, 1) से शुरू करके, एल्गोरिथम तब समाप्त होता है जब ri = 0 हो। अंतिम गैर-शून्य शेषफल (ri-1) ही GCD होता है, और उसके साथ वाले गुणांक (si-1, ti-1) बेज़ौत गुणांक होते हैं।

समय जटिलता (Time Complexity) — लामे का प्रमेय

विस्तारित यूक्लिडियन एल्गोरिथम की समय जटिलता O(log min(a, b)) होती है। यह सीधे बुनियादी यूक्लिडियन एल्गोरिथम की जटिलता से मेल खाती है। लामे का प्रमेय (Lamé's Theorem) (1844) सिद्ध करता है कि विभाजन चरणों की संख्या छोटे इनपुट के दशमलव अंकों की संख्या के 5 गुना से अधिक नहीं हो सकती। चूंकि प्रत्येक चरण में केवल गुणांकों को अपडेट करने के लिए निरंतर कार्य (Constant Work) किया जाता है, इसलिए कुल जटिलता O(log min(a, b)) ही रहती है।

विस्तारित GCD के माध्यम से मॉड्यूलर व्युत्क्रम (Modular Inverse)

इसका सबसे महत्वपूर्ण अनुप्रयोग मॉड्यूलर व्युत्क्रम (Modular Inverse) की गणना करना है। a modulo m का मॉड्यूलर व्युत्क्रम (जिसे a⁻¹ mod m लिखा जाता है) एक ऐसा पूर्णांक x है जिसके लिए a × x ≡ 1 (mod m) हो। यह केवल तभी संभव है जब GCD(a, m) = 1 हो (यानी वे सह-अभाज्य हों)।

जब GCD(a, m) = 1 हो, तो विस्तारित यूक्लिडियन एल्गोरिथम से s · a + t · m = 1 प्राप्त होता है। Modulo m करने पर: s · a ≡ 1 (mod m), जिससे a⁻¹ mod m = s mod m मिलता है (यदि s नकारात्मक है तो सकारात्मक बनाने के लिए m जोड़ दिया जाता है)।

अक्सर पूछे जाने वाले प्रश्न (FAQs)

विस्तारित यूक्लिडियन एल्गोरिथम क्या है?
यह एल्गोरिथम पारंपरिक GCD गणना का विस्तार करता है ताकि महत्तम समापवर्तक (GCD) के साथ-साथ ऐसे पूर्णांक बेज़ौत गुणांक s और t भी मिल सकें जो समीकरण s·a + t·b = GCD(a, b) को संतुष्ट करते हैं। यह आधुनिक क्रिप्टोग्राफी और मॉड्यूलर गणित में बहुत उपयोगी है।
बेज़ौत गुणांक (Bézout coefficients) क्या हैं?
बेज़ौत गुणांक ऐसे पूर्णांक s और t होते हैं जिनके लिए s·a + t·b = GCD(a, b) संतुष्ट हो। ये गुणांक अद्वितीय नहीं होते हैं; एक समाधान प्राप्त होने पर असीम रूप से कई और समाधान प्राप्त किए जा सकते हैं।
विस्तारित GCD का उपयोग करके मॉड्यूलर व्युत्क्रम कैसे निकाला जाता है?
यदि GCD(a, m) = 1 है, तो विस्तारित यूक्लिडियन एल्गोरिथम चलाने पर s·a + t·m = 1 प्राप्त होगा। इसका अर्थ है कि a·s ≡ 1 (mod m), जिससे s ही a का मॉड्यूलर व्युत्क्रम बन जाता है (यदि s ऋणात्मक है, तो इसे positive करने के लिए m जोड़ दिया जाता है)।
मॉड्यूलर व्युत्क्रम कब अस्तित्व में नहीं होता?
a modulo m का मॉड्यूलर व्युत्क्रम केवल तभी अस्तित्व में होता है जब a और m सह-अभाज्य (coprime) हों, अर्थात GCD(a, m) = 1 हो। यदि GCD(a, m) > 1 है, तो कोई भी व्युत्क्रम संभव नहीं है।