বহুবচনগুলি পচে যাওয়া


12

একের চেয়ে কঠোরতর ডিগ্রির একটি অবিচ্ছেদ্য বহুপদী দেওয়া, একে একে সম্পূর্ণরূপে একাধিক ডিগ্রির অবিচ্ছেদ্য বহুবর্ষের একটি সংমিশ্রণে সম্পূর্ণরূপে দ্রবীভূত করে।

বিস্তারিত

  • একটি অবিচ্ছেদ্য বহুভুজ হ'ল বহুগুণ যা কেবল পূর্ণসংখ্যার সহগ হিসাবে হয় gers
  • দুই polynomials দেওয়া pএবং রচনা দ্বারা সংজ্ঞায়িত করা হয় ।q(p∘q)(x):=p(q(x))
  • পচানি অবিচ্ছেদ্য বহুপদী এর pঅবিচ্ছেদ্য polynomials একটি সসীম আদেশ ক্রম q1,q2,...,qnযেখানে deg qi > 1সবার জন্য 1 ≤ i ≤ nএবং p(x) = q1(q2(...qn(x)...)), এবং সমস্ত qiআরও decomposable নয়। পচনটি প্রয়োজনীয়ভাবে অনন্য নয়।
  • আপনি উদাহরণস্বরূপ সহগের তালিকা বা ইনপুট এবং আউটপুট হিসাবে বহুপদী টাইপগুলিতে নির্মিত ব্যবহার করতে পারেন।
  • মনে রাখবেন যে এই কাজের জন্য অনেকগুলি বিল্টিনগুলি একটি প্রদত্ত ক্ষেত্রের উপরে বহুভুজগুলি প্রকৃতপক্ষে পচে যায় এবং অগত্যা পূর্ণসংখ্যার হয় না, যখন এই চ্যালেঞ্জটির একটি পঁচন পূর্ণসংখ্যার বহুভুজ প্রয়োজন। (কিছু পূর্ণসংখ্যার বহুভুজগুলি যৌক্তিক বহুবচনগুলিতে ক্ষয়কে পাশাপাশি যুক্তিসঙ্গত বহুভুজ ধারণকারী পচনকে স্বীকার করতে পারে))

উদাহরণ

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
@ ফ্লোয়ার আমি কাগজে দ্বিতীয় অ্যালগরিদম ব্যবহার করছি, যা ইনপুট অবিচ্ছেদ্য হলে সর্বদা অবিচ্ছেদ্য বহুভুজ দেয়। প্রকৃতপক্ষে, divisorsপারী / জিপি- র ক্রিয়াকলাপটি সর্বদা আদিম বহুবচনগুলিকে ফিরিয়ে দেয় যখন এটি একটি অবিচ্ছেদ্য বহুবর্ষ নেয়। এটা তোলে প্রমানিত হতে পারে যে যদি 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[]সর্বদা অবিচ্ছেদ্য বহুভুজের ফিরিয়ে দেবে এমন তথ্য কোথায় পেয়েছ? সম্প্রতি চ্যাটে আলোচনার সময় আমরা সে সম্পর্কে কিছুই খুঁজে পাইনি।
flawr

1
কর Options@Decomposeএবং এটি আপনাকে জানাবে {Modulus->0}। এখন মডুলাসটি দেখুন এবং আপনি দেখতে পাবেন "সেটিং মডিউলাস-> 0 পূর্ণসংখ্যার সম্পূর্ণ রিং [DoubleStruckCapitalZ] সুনির্দিষ্ট করে।"
কেলি লোডার

আহ যে দুর্দান্ত, বিস্তারিত জানার জন্য ধন্যবাদ!
flawr
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.