बहुपद का गुणनखंडन

बहुपद या बहुपद का गुणनखंडन किसी दिए गए क्षेत्र में या पूर्णांकों में गुणांक के साथ बहुपद को उसी डोमेन में गुणांक वाले अखण्डनीय कारकों के उत्पाद के रूप में व्यक्त करता हैI पहला बहुपद कारक एल्गोरिथ्म थियोडोर वॉन शुबर्ट द्वारा 1793 में प्रकाशित किया गया था। लियोपोल्ड क्रोनकर ने 1882 में शूबर्ट के एल्गोरिथ्म को फिर से खोजा और बीजगणित में बहुभिन्नरूपी बहुपद और गुणांक तक इसका विस्तार किया गया । बहुपद गुणनखंड कंप्यूटर की बीजगणित प्रणाली के मूलभूत घटकों में से एक है। इस विषय में ज्यादा विस्तार 1965 में किया गया थाI

लंबे समय से ज्ञात परिमित एल्गोरिदम को पहली बार कंप्यूटर पर रखा गया थाI वह इसे खोजने में अधिक अक्षम हो गए थेI थ्योरी के तथ्य के अनुरूप देखा जाए तो ज्ञात होता है कि बहुभिन्नरूपी बहुपद की डिग्री 100 तक और एक मध्यम आकार (100 बिट्स तक) के गुणांक के साथ कंप्यूटर के कुछ मिनटों में आधुनिक एल्गोरिदम द्वारा किया जा सकता है।पहला कंप्यूटर बीजगणितीय सिस्टम 1965 में लॉन्च हुआ थाI

आधुनिक एल्गोरिदम और कंप्यूटर से हजारों अंकों के गुणांक वाले 1000 से अधिक डिग्री के बहुपद को प्रमाणित कर सकते हैंI परिमित क्षेत्र पर बहुपद का गुडनखंड एक मौलिक निर्णय था I

प्रश्न का निर्माण
पूर्णांक पर या एक क्षेत्र पर बहुपद वलय के अद्वितीय कारक हैं। इसका मतलब यह है कि इन प्रत्येक वलयों का निरंतर और न्यूनतम बहुपदों का उत्पाद है (जो दो गैर-निरंतर बहुपद के उत्पाद नहीं हैं)। इसके अलावा पूर्णांक के यह अपघटन स्थिरांक द्वारा कारकों के गुणन के लिए अद्वितीय है।

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

बहुपद गुणनखंडन का प्रश्न केवल संगणनीय क्षेत्र में गुणांकों के लिए प्रस्तावित है I बहुपद के प्रत्येक पद के तत्व को कंप्यूटर में दर्शाया जा सकता हैI जिसके लिए अंकगणित संचालन के लिए एल्गोरिदम हैं। हालांकि यह एक पर्याप्त स्थिति नहीं हैI फ्रॉहलिच और शेफर्डसन ऐसे क्षेत्रों का उदाहरण देते हैं जिनके लिए कोई कारक एल्गोरिथ्म मौजूद नहीं हो सकता है।

गुणांक के कारक एल्गोरिदम के लिए जाने जाते हैं I एल्गोरिदम में तर्कसंगत और प्राइम मॉड्यूलर अंकगणित का क्षेत्र शामिल हैं। पूर्णांक गुणांक भी सरल हैं। क्रोनकर की वर्गीकृत विधि केवल ऐतिहासिक दृष्टिकोण से आकर्षक हैI आधुनिक एल्गोरिदम अनुक्रम द्वारा आगे बढ़ते हैंI

वर्ग मुक्त कारक

और कटौती
 * परिमित क्षेत्रों पर कारक
 * बहुभिन्नरूपी मामले से अविभाज्य मामले तक
 * ग्राउंड फील्ड में एक बीजीय विस्तार में गुणांक से गुणांक तक
 * तर्कसंगत गुणांक से पूर्णांक गुणांक तक
 * नीचे दिए गए उदाहरण में अच्छी तरह से चुने गए P के लिए P तत्वों के साथ प्रमुख क्षेत्र में पूर्णांक गुणांक से गुणांक तक संचारित होते हैं ।

आदिम भाग -कंटेंट फैक्टरकरण
इस खंड में दिखाया गया है कि Q (तर्कसंगत संख्या) और Z (पूर्णांक) पर फैक्टरिंग अनिवार्य रूप से एक ही समस्या है।

एक बहुपद  p  'Z [' X ] की  सामग्री निरूपित प्रतियोगिता ( p )के साइन तक और इसके गुणांक का सबसे बड़ा सामान्य विभाजक है। P का साधारण भाग प्राइमपार्ट ( p ) =  p ''/cont. ( p ) है जो कि पूर्णांक गुणांक के साथ साधारण बहुपद है। यह पूर्णांक और साधारण बहुपद के उत्पाद में  Pके कारक को परिभाषित करता है।यह कारक सामग्री के संकेत के लिए अद्वितीय है।यह सामग्री के संकेत को चुनने के लिए सामान्य चलन है जैसे कि साधारण भाग का प्रमुख गुणांक सकारात्मक है।''

उदाहरण के लिए



-10x^2 + 5x + 5 = (-5) (2x^2 - x - 1) \, $$ सामग्री और साधारण भाग में एक कारक है।

तर्कसंगत गुणांक के साथ प्रत्येक बहुपद q लिखा जा सकता है
 * $$q = \frac{p}{c},$$

जहां p and 'z' [x] और c, 'z': यह q के गुणांक के सभी भाजक (उदाहरण के लिए उनके उत्पाद) और p = cq के सभी भाजक के लिए C पर्याप्त वैल्यू है।Q की सामग्री को इस प्रकार परिभाषित किया गया हैI
 * $$\text{cont} (q) =\frac{\text{cont} (p)}{c},$$

पूर्णांक गुणांक के साथ बहुपद के लिए Q,P का हिस्सा है। यह तर्कसंगत संख्या में कारक को परिभाषित करता है और पूर्णांक गुणांक के साथ साधारण बहुपद को प्रमाणित करता है। यह कारक संकेत की प्राथमिकता के लिए अद्वितीय है।

उदाहरण के लिए,

\frac{x^5}{3} + \frac{7x^2}{2} + 2x + 1 = \frac{2x^5 + 21x^2 + 12x + 6}{6}$$ सामग्री और प्राचीन भाग में एक ही कारक है।

गॉस ने साबित किया कि दो साधारण बहुपदों का उत्पाद भी साधारण हैI इसका तात्पर्य यह है कि साधारण बहुपद तर्कसंगत लोगों पर अखंडनीय हैI इसका तात्पर्य यह है कि तर्कसंगत गुणांक के साथ बहुपद के तर्कसंगतताओं पर कारक अपने साधारण भाग के पूर्णांक पर कारक के समान है। इसी तरह पूर्णांक गुणांक के साथ बहुपद के पूर्णांक का कारक इसकी सामग्री के प्राचीन भाग के कारक का उत्पाद है।

दूसरे शब्दों में पूर्णांक GCD की गणना पूर्णांक गुणांक के साथ बहुपद के कारक के लिए तर्कसंगत बहुपद कारक को कम करती हैI

यदि Z को एक फ़ील्ड F  पर बहुपद रिंग द्वारा प्रतिस्थापित किया जाता है तो सब कुछ सही तौर पर निर्धारित होता है I Q को एक ही चर में  F  पर तर्कसंगत कार्यों द्वारा प्रतिस्थापित किया जाता हैI एक अंतर के साथ साइन को F में एक उल्टे स्थिरांक द्वारा गुणन तक प्रतिस्थापित किया जाना चाहिए। यह  f  पर बहुभिन्नरूपी बहुपद के कारक के लिए  f  के विशुद्ध रूप से पारलौकिक क्षेत्र विस्तार पर कारक को कम करता है।

वर्ग-मुक्त कारक
यदि एक बहुपद के दो या दो से अधिक कारक समान हैं तो बहुपद कारक वर्ग का एक बहुपद है। कई कारक भी बहुपद के व्युत्पन्न का एक कारक है.

न्यूनतम बहुपद के लिए एक कारक कई जड़ों के बराबर हैं। वर्ग-मुक्त कारक इसलिए अधिकांश बहुपद कारक एल्गोरिदम में पहला कदम है। तर्कसंगतताओं पर एक तरफा बहुपद के लिए वर्ग-मुक्त बहुपद के एल्गोरिथ्म अधिक महत्वपूर्ण होते हैं। ऐसे कारक जो एक वर्ग के गुणक नहीं हैं जीसीडी (f(x), f '(x)) से शुरू होने वाले GCD संगणनाओं के अनुक्रम को प्रारंभिक बहुपद का गुणनखंड करने के लिए निष्पादित करते हैं। एक वर्ग का GCD (f (x), f '(x)) के साथ शुरू होने वाले GCD संगणनाओं का अनुक्रम प्रदर्शन करता है। प्रारंभिक बहुपद को फैक्टर करने के लिए प्रत्येक वर्ग-मुक्त कारक को कारक बनाने के लिए पर्याप्त है।

एल्गोरिथ्म बहुपद रिंग पर अविभाजित बहुपद के रूप में बहुभिन्नरूपी बहुपद पर विचार करके बहुभिन्नरूपी मामले में इसका विस्तार करता है।

एक परिमित क्षेत्र पर एक बहुपद के मामले का एल्गोरिथ्म केवल तभी लागू होता है जब डिग्री विशेषता से छोटी होती हैI गैर-शून्य बहुपद का व्युत्पन्न शून्य हो सकता है (पी तत्वों के साथ क्षेत्र में, व्युत्पन्न, व्युत्पन्न, व्युत्पन्न, व्युत्पन्न का व्युत्पन्न हो सकता है एक्स में एक बहुपदPहमेशा शून्य होता है) फिर भी जीसीडी संगणना का उत्तराधिकार बहुपद और उसके व्युत्पन्न से शुरू होता हैI वर्ग-मुक्त अपघटन की गणना करने की अनुमति देता हैI

वर्गीकृत तरीके
यह खंड पाठ्यपुस्तक के तरीकों का वर्णन करता है जो हाथ से कंप्यूटिंग करते समय सुविधाजनक हो सकता है।इन विधियों का उपयोग कंप्यूटर कम्प्यूटेशन के लिए नहीं किया जाता है क्योंकि वे पूर्णांक कारक का उपयोग करते हैं जो वर्तमान में बहुपद कारक की तुलना में धीमा है।

दो विधियाँ जो एक यूनीवेट बहुपद से शुरू होती हैं उन कारकों को खोजने के लिए पूर्णांक गुणांक के साथ शुरू होती हैं जो पूर्णांक गुणांक के साथ बहुपद भी हैं।

रैखिक कारक प्राप्त करना
यदि बहुपद को फैक्टर किया जाता हैI तर्कसंगत गुणांक के साथ सभी रैखिक कारकों को तर्कसंगत रूट परीक्षण का उपयोग करके पाया जा सकता है।$$a_nx^n + a_{n-1}x^{n-1} + \cdots + a_1x + a_0$$ तो सभी संभव रैखिक कारक फॉर्म के हैं $$b_1x-b_0$$, कहाँ पे $$b_1$$ का एक पूर्णांक कारक है $$a_n$$ तथा $$b_0$$ का एक पूर्णांक कारक है $$a_0$$है ।पूर्णांक कारकों के सभी संभावित संयोजनों को वैधता के लिए परीक्षण किया जा सकता हैI प्रत्येक वैध को बहुपद लंबे विभाजन का उपयोग करके बाहर किया जा सकता है। यदि मूल बहुपद कारकों का उत्पाद है जिनमें से कम से कम दो डिग्री या उच्चतर हैं तो यह तकनीक केवल आंशिक कारक प्रदान करती है I विशेष रूप से यदि वास्तव में एक गैर-रैखिक कारक है तो सभी रैखिक कारकों को पीछे कर दिया जाता है I एक क्यूबिक बहुपद के मामले में यदि क्यूबिक कारक है तो तर्कसंगत रूट परीक्षण एक पूर्ण कारक देता हैI

क्रोनकर की विधि
क्रोनकर की विधि का उद्देश्य पूर्णांक गुणांक के साथ पूर्णांक गुणांक के साथ न्यूनतम बहुपद कारक करना है।

विधि इस तथ्य का उपयोग करती है कि पूर्णांक मूल्यों पर पूर्णांक बहुपद का मूल्यांकन करना पूर्णांक का उत्पादन करना चाहिए। अगर $$f(x)$$ पूर्णांक गुणांक के साथ बहुपद है फिर $$f(a)$$ जैसे ही पूर्णांक है $a$ एक पूर्णांक है। केवल संभावित पूर्णांक मानों की एक सीमित संख्या हैI $a$ अगर $$g(x)$$ का एक कारक है $$f(x),$$ का मान है $$g(a)$$ के कारकों में एक होना चाहिए I $$f(a).$$यदि कोई किसी दिए गए डिग्री के कारकों को खोजता है I $d$ विचार कर सकते हैं $$d+1$$ मान, $$a_0, \ldots, a_d$$ के लिये $a$, जो टपल के लिए संभावनाओं की सीमित संख्या देते हैंI $$(f(a_0),\ldots, f(a_d).$$ इस तरह के प्रत्येक ट्यूपल में सबसे अधिक डिग्री के एक अद्वितीय बहुपद को परिभाषित करता हैI $d$ जिसकी गणना बहुपद प्रक्षेप द्वारा की जा सकती हैI बहुपद विभाजन द्वारा कारक होने के लिए परीक्षण किया जा सकता है। एक संपूर्ण खोज सबसे अधिक डिग्री के सभी कारकों को खोजने की अनुमति देती है।

उदाहरण के लिए विचार करें


 * $$f(x) = x^5 + x^4 + x^2 + x + 2$$।

यदि यह बहुपद z पर कारक है तो इसके कम से कम एक कारक $$p(x)$$ दो या उससे कम डिग्री का होना चाहिए इसलिए $$p(x)$$ विशिष्ट रूप से तीन मूल्यों द्वारा निर्धारित किया जाता है।इस प्रकार हम तीन मूल्यों की गणना करते हैं $$f(0) = 2$$, $$f(1) = 6$$ तथा $$f(-1) = 2$$।

यदि इन मानों में से एक 0 है, तो हमारे पास एक रैखिक कारक है।यदि मान नॉनज़ेरो हैं तो हम प्रत्येक के लिए संभावित कारकों को सूचीबद्ध कर सकते हैं।अब 2 केवल कारक के रूप में हो सकता हैI


 * 1 × 2, 2 × 1, 1) × (−2), या (−2) ×  1)।

यदि एक दूसरी डिग्री पूर्णांक बहुपद कारक है तो इनमें से एक मान को लेना होगा I


 * P (0) = 1, 2, −1, या −2

और इसी तरह पी (1) के लिए।6 के आठ कारक हैं (1 × 6 और 2 × 3 के लिए चार प्रत्येक) कुल 4 × 4 × 8 = 128 संभावित ट्रिपल्स (पी (0), पी (1), पी 1)जिनमें से आधे को दूसरे आधे की नकारात्मक के रूप में छोड़ दिया जा सकता है। इस प्रकार हमें 64 स्पष्ट पूर्णांक बहुपद की जांच करनी चाहिएI $$p(x) = ax^2+bx+c$$ के रूप में संभव कारकों $$f(x)$$ से परीक्षण करने से पता चलता है कि $$p(x) = x^2 + x + 1$$

(G (0), G (1), G 1)) = (1,3,1) कारक से निर्मित है $$f(x)$$

P (x) द्वारा f (x) को विभाजित करना अन्य कारक देता है $$q(x) = x^3 - x + 2$$, ताकि $$f(x) = p(x)q(x)$$पी (एक्स) और क्यू (एक्स) कारकों को खोजने के लिए पुनरावर्ती का परीक्षण कर सकता हैI इस मामले में तर्कसंगत रूट परीक्षण का उपयोग करके वे दोनों इसलिए f (x) का अतार्किक कारक हैI
 * $$f(x) = p(x)q(x) = (x^2 + x + 1)(x^3 - x + 2). $$

आधुनिक तरीके

पूर्णांकों पर अविभाज्य बहुपदों का गुणनखंड करना
यदि $$f(x)$$ पूर्णांक पर एक अविभाज्य बहुपद है, माना जाता है एल्गोरिथ्म इस प्रकार आगे बढ़ता है। सबसे पहले, एक प्राइम संख्या $$p$$ चुनेंI ऐसी छवि $$f(x)$$ वर्ग-मुक्त कारक रहता है | वर्ग-मुक्त और उसी डिग्री के रूप में $$f(x)$$
 * 1) प्रिमिटिव पार्ट कंटेंट फैक्टराइजेशन के लिए सामग्री-मुक्त और #वर्ग-मुक्त कारक की गणना करके शुरू होता हैI $$B$$ $$g(x)$$ के गुणांक का कारक है हैI निरपेक्ष मूल्य $$B$$ अगर $$m$$ हैI पूर्णांक से बड़ा $$2B$$ और $$g(x)$$ मोडुलो के नाम से जाना जाता हैI $$m$$, $$g(x)$$ की मॉड से पुनर्निर्माण किया जा सकता है $$m$$।

तत्कालीन कारक $$f(x)$$ आधुनिक $$p$$का कारक है I यह पूर्णांक बहुपद का उत्पादन करता है $$f_1(x),...,f_r(x)$$ जिसका उत्पाद मेल खाता है $$f(x)$$ आधुनिक $$p$$अगला, हेन्सेल के लेम्मा को लागू करें | हेन्सल $$f_i(x)$$ इस तरह से अपडेट करता है कि उनका उत्पाद $$f(x)$$ आधुनिक $$p^a$$से मेल खाता हैI $$2B$$: इस प्रकार प्रत्येक $$f_i(x)$$ एक अच्छी तरह से परिभाषित पूर्णांक बहुपद के अनुरूप है। सापेक्ष $$p^a$$, बहुपद $$f(x)$$ हैI $$2^r$$ कारक सभी इकाइयों तक सबसेट के उत्पाद $${f_1(x),...,f_r(x)}$$ आधुनिक $$p^a$$कारक मोडुलो $$p^a$$ के सही कारकों के अनुरूप नहीं होना चाहिएI $$f(x)$$ में $$\mathbb Z[x]$$ आसानी से  $$\mathbb Z[x]$$ विभाजन में परीक्षण कर सकते हैंI इस तरह सभी न्यूनतम कारकों को सबसे अधिक जाँच करके पाया जा सकता हैI तर्कसंगत बहुपदों को फैक्टरिंग के लिए पहला बहुपद समय एल्गोरिथ्म लेंस्ट्रा, लेंस्ट्रा और लवसेज़ द्वारा खोजा गया था Iयह लेंस्ट्रा -लेंस्ट्रा -लोवाज़ जाली लेटिस बेसिस रिडक्शन एल्गोरिथ्म का एक अनुप्रयोग है।

एलएलएल फैक्टरकरण एल्गोरिथ्म का एक सरलीकृत संस्करण हैI बहुपद के एक जटिल (या पी-एडिक) रूट α की गणना $$f(x)$$ उच्च परिशुद्धता के लिए 1, α, α के बीच एक अनुमानित रैखिक संबंध खोजने के लिए एल्गोरिथम का उपयोग किया जाता हैI ए3पूर्णांक और गुणांक के बीच निकट संबंध हो सकता है I किसी सटीक कारक के लिए अपरिवर्तनीयता प्रमाण का उत्पादन करती है। यद्यपि यह विधि बहुपद समय में समाप्त होती है लेकिन इसका उपयोग व्यवहार में नहीं किया जाता है क्योंकि जाली में उच्च आयाम और विशाल प्रविष्टियाँ होती हैं जो गणना को धीमा कर देती है।

एल्गोरिथ्म में घातीय जटिलता कॉम्बिनेटरियल समस्या आती हैI अत्याधुनिक फैक्टरिंग कार्यान्वयन  के समान तरीके से काम करते हैंI इस दृष्टिकोण में कारकों का उपयोग गुणांक की गणना करने के लिए नहीं किया जाता है बल्कि वैक्टर की गणना करने के लिए किया जाता हैi $$r$$ {0,1} में प्रविष्टियाँ जो सबसेट को एनकोड करती हैंi

बीजगणितीय एक्सटेंशन (ट्रेजर की विधि) पर फैक्टरिंग
बहुपद कारक $$p(x) \in K[x] $$का कार्य कर सकते हैं जहां क्षेत्र $$K$$ का एक परिमित विस्तार हैI सबसे पहले #वर्ग-मुक्त कारक का उपयोग करके वर्ग-मुक्त कर सकते हैंI हम मान सकते हैं कि बहुपद वर्ग-मुक्त हैI भागफल की अंगूठी को परिभाषित करते हैं $$L= K[x]/p(x)$$ डिग्री का$$n=[L:\mathbb{Q}] = \deg p(x)\, [K:\mathbb{Q}]$$यह एक क्षेत्र नहीं है जब तक $$p(x)$$ अपरिवर्तनीय हैI "$p(x) = \prod_{i=1}^m p_i(x)$" p (x) का वांछित कारक है रिंग विशिष्ट रूप से क्षेत्रों में विशिष्ट रूप से विघटित हो जाती हैI


 * $$L = K[x]/p(x) \cong \prod_{i=1}^m K[x]/p_i(x).$$

हम कारक को जाने बिना इस अपघटन को पाएंगे।सबसे पहले स्पष्ट रूप से एक बीजगणित के रूप में एल लिखते हैं I $$\mathbb{Q}$$एक यादृच्छिक तत्व चुनते हैं $$\alpha \in L$$ जो $$L$$ ऊपर $$\mathbb{Q}$$ आदिम तत्व प्रमेय द्वारा उच्च संभावना के साथ उत्पन्न करता है। न्यूनतम बहुपद $$q(y)\in \mathbb{Q}[y]$$  की गणना कर सकते हैं ।
 * $$q(y) = \prod_{i=1}^{n} q_i(y).$$

इस प्रकार हमारे पास है


 * $$L \cong \mathbb{Q}[y]/q(y) \cong \prod_{i=1}^n \mathbb{Q}[y]/q_i(y),$$

$$y\leftrightarrow (y,y,\ldots,y)$$ पिछले अपघटन के लिए $$L$$। आइसोमोर्फिक होना चाहिएI

एल के जनरेटर के साथ x हैंI $$K$$ ऊपर $$\mathbb{Q}$$ इन्हें एक बहुपद के रूप में लिखना $$\alpha$$, एम्बेडिंग का निर्धारण कर सकते हैं $$x$$ तथा $$K$$ प्रत्येक घटक में $$\mathbb{Q}[y]/q_i(y)=K[x]/p_i(x)$$की न्यूनतम बहुपद का पता लगाकर $$x$$ में $$\mathbb{Q}[y]/q_i(y)$$, $$p_i(x)$$ और इस प्रकार कारक $$p(x)$$ ऊपर $$K.$$की गणना करते हैं I

यह भी देखें

 * , प्राथमिक हेयुरिस्टिक तरीकों और स्पष्ट सूत्रों के लिए

ग्रन्थसूची

 * (accessible to readers with undergraduate mathematics)
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.
 * (accessible to readers with undergraduate mathematics)
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.
 * Van der Waerden, Algebra (1970), trans. Blum and Schulenberger, Frederick Ungar.

अग्रिम पठन


] ]