बहुपद का विघटन


12

डिग्री के एक अभिन्न बहुपद को देखते हुए कड़ाई से एक से अधिक, पूरी तरह से एक से अधिक सख्ती से डिग्री के अभिन्न बहुपद की रचना में यह विघटित।

विवरण

  • एक अभिन्न बहुपद गुणांक के रूप में केवल पूर्णांकों के साथ एक बहुपद है।
  • दो बहुआयामी पद को देखते हुए pऔर रचना द्वारा परिभाषित किया गया है ।q(p∘q)(x):=p(q(x))
  • अपघटन अभिन्न बहुपद का pअभिन्न बहुआयामी पद के एक परिमित आदेश दिया अनुक्रम है q1,q2,...,qnजहां deg qi > 1सभी के लिए 1 ≤ i ≤ nऔर p(x) = q1(q2(...qn(x)...))है, और सभी qiआगे विच्छेद नहीं हैं। अपघटन आवश्यक नहीं है अद्वितीय।
  • आप गुणांक की सूची का उपयोग कर सकते हैं या इनपुट और आउटपुट के रूप में बहुपद प्रकार में निर्मित कर सकते हैं।
  • ध्यान दें कि इस कार्य के लिए कई बिल्डरों वास्तव में किसी दिए गए क्षेत्र पर बहुपद का विघटन करते हैं और आवश्यक रूप से पूर्णांकों का नहीं, जबकि इस चुनौती के लिए अपघटन पूर्णांक बहुपद की आवश्यकता होती है। (कुछ पूर्णांक बहुपद पूर्णांक बहुपद में विघटन को स्वीकार कर सकते हैं और साथ ही अपघटन में तर्कसंगत बहुपद होते हैं।)

उदाहरण

x^2 + 1
[x^2 + 1] (all polynomials of degree 2 or less are not decomposable)
x^6 - 6x^5 + 15x^4 - 20x^3 + 15x^2 - 6 x - 1
[x^3 - 2, x^2 - 2x + 1]
x^4 - 8x^3 + 18x^2 - 8x + 2 
[x^2 + 1, x^2 - 4x + 1]
x^6 + x^2 + 1
[x^3 + x + 1, x^2]
x^6
[x^2, x^3]
x^8 + 4x^6 + 6x^4 + 4x^2 + 4 = (x^2 + 1)^4 + 3
[x^2 + 3, x^2, x^2 + 1]
x^6 + 6x^4 + x^3 + 9x^2 + 3x - 5
[x^2 + x - 5, x^3 + 3*x], [x^2 + 5*x + 1, x^3 + 3*x - 2]

उदाहरण प्रस्तुत करने के लिए मैक्सिमा का उपयोग करें: इसे ऑनलाइन आज़माएं!

कुछ अपघटन एल्गोरिदम यहां और यहां पाए जा सकते हैं

जवाबों:


4

परी / जीपी , 84 बाइट्स

f(p)=[if(q'',[f(q),r],p)|r<-x*divisors(p\x),r''&&p==subst(q=substpol(p,r,x),x,r)][1]

यहां वर्णित एल्गोरिदम के आधार पर ।

इसे ऑनलाइन आज़माएं!


1
क्या आप जांचते हैं (या फ़िल्टर करते हैं) कि क्या आप वास्तव में अभिन्न बहुपद में एक अपघटन प्राप्त करते हैं? (मैं पूछ रहा हूं क्योंकि लिंक किए गए पेपर में एल्गोरिदम कुछ क्षेत्र पर कारक का वर्णन करते हैं, और मैं किसी भी परी / जीपी को नहीं जानता हूं।)
दोष

1
@flawr मैं पेपर में दूसरी एल्गोरिथ्म का उपयोग कर रहा हूं, जो इनपुट अभिन्न होने पर हमेशा इंटीग्रल पॉलीओनियल्म लौटाता है। वास्तव में, divisorsPari / GP में फ़ंक्शन हमेशा आदिम बहुपद देता है जब यह एक अभिन्न बहुपद लेता है। यह सिद्ध किया जा सकता है कि यदि p=q∘r, कहाँ pऔर rअभिन्न हैं, और rआदिम हैं r(0)=0, तो qअभिन्न होना चाहिए। यहाँ p, q, rपत्र व्यवहार करने f, g, hअखबार में।
एलेफाल्फा

2

वोल्फ्राम भाषा (गणितज्ञ) , 29 बाइट्स

Decompose[#/.x->x+a,x]/.a->0&

इसे ऑनलाइन आज़माएं!

मेरे पास यादृच्छिक क्वाड्रैटिक्स (या कम) से एक यादृच्छिक बहुपद की रचना करने के लिए यहां स्थापित उदाहरण है, इसका विस्तार करें, और फिर इसे विघटित करने का प्रयास करें।

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

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


आपको ऐसी जानकारी कहां से मिली जो Decompose[]हमेशा अभिन्न बहुपद लौटाएगी (यदि पूर्णांक बहुपद के साथ खिलाया जाए)। हाल ही में चैट में चर्चा करने पर हमें इस बारे में कुछ नहीं मिला।
मल्हार

1
करो Options@Decomposeऔर यह तुम्हें बताएगा {Modulus->0}। अब मॉडुलस को देखें और आप देखेंगे "सेटिंग मॉडुलस-> 0 पूर्णांक के [पूर्ण डबलकाक्रैपिटलज़] को निर्दिष्ट करता है।"
केली लोएडर

आह कि अच्छा है, विस्तार के लिए धन्यवाद!
17
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.