आपकी समस्या निम्नलिखित सरल प्रश्न को कम करती है:
दो कार्य दिए F,G कार्यों के वर्ग में, क्या हमारे पास है F(x)=G(x) सबके लिए x? (दूसरे शब्दों में, क्या उनका हर जगह समान मूल्य है?)
मुझे नहीं पता कि क्या यह इस श्रेणी के कार्यों के लिए निर्णायक है। यदि ऐसा है, तो आपकी समस्या भी विकट होनी चाहिए।
आपकी समस्या के लिए, एक सामान्य दृष्टिकोण है: प्रतीकात्मक रूप से अंतर F(x) लेना F′(x), फिर जांचें कि क्या हमारे पास है F′(x)=G(x) सबके लिए x।
तो महत्वपूर्ण कदम प्रतीकात्मक भेदभाव है। आइए जानें कि अधिक विस्तार से कैसे करें। हम पुनरावर्ती रूप से स्वीकार्य कार्यों के वर्ग को परिभाषित कर सकते हैं:
F(x)::=c|x|ex|log(x)|sin(x)|cos(x)|tan(x)|F1(x)+F2(x)|F1(x)×F2(x)|F1(x)/F2(x)|F1(F2(x))
कहाँ पे c स्थिरांक और F,F1,F2 कार्यों पर सीमा।
पथरी के मानक नियमों (जैसे, चेन नियम, आदि) का उपयोग करके प्रतीकात्मक रूप से कार्यों के इस वर्ग को विभेदित करने के लिए एक पुनरावर्ती एल्गोरिदम तैयार करना संभव है। विशेष रूप से, हम ऊपर दिए गए प्रत्येक मामले को संभाल सकते हैं, और पुनरावर्ती रूप से दिखा सकते हैं कि व्युत्पन्न को इस वर्ग के भीतर एक फ़ंक्शन के रूप में प्रतीकात्मक रूप से व्यक्त किया जा सकता है। उदाहरण के लिए:
अगर F(x)=c, F′(x)=0।
अगर F(x)=x, F′(x)=1।
अगर F(x)=ex, F′(x)=ex।
अगर F(x)=log(x), F′(x)=1/x।
अगर F(x)=sin(x), F′(x)=cos(x)।
अगर F(x)=tan(x), F′(x)=1+(tan(x))2।
अगर F(x)=F1(x)+F2(x), F′(x)=F′1(x)+F′2(x)।
अगर F(x)=F1(x)×F2(x), F′(x)=F′1(x)F2(x)+F1(x)F′2(x)।
अगर F(x)=F1(F2(x)), F′(x)=F′1(F2(x))F′2(x) (श्रृंखला नियम)।
और इसी तरह। प्रत्येक मामले में, यदिF(x) स्वीकार्य कार्यों के वर्ग में है, तो ऐसा है F′(x), और आप पुनरावृत्ति के लिए प्रतीकात्मक अभिव्यक्ति का काम कर सकते हैं F′(x)- इसे प्रतीकात्मक विभेदन के रूप में जाना जाता है ।
अंत में, जो कुछ बचता है वह जांचना है F′(x)=G(x) सबके लिए x। मेरे जवाब के शीर्ष पर यही समस्या है।
यह जाँचने के लिए एक सरल तरीका है कि क्या दो कार्य समान रूप से समान हैं जो मैं अभ्यास में बहुत अच्छी तरह से काम करने की अपेक्षा करता हूँ। एल्गोरिथ्म यह है: बार-बार का एक यादृच्छिक मूल्य चुनेंx, और जाँच करें कि क्या F(x)=G(x) के उस मूल्य के लिए रखती है x। यदि यह कई बेतरतीब ढंग से चुने गए के लिए समानता के साथ रखता हैx, फिर आउटपुट "वे समान रूप से समान हैं"। अगर आपको कोई मिल जाएx जिसके लिए F(x)≠G(x), फिर आउटपुट "वे अलग हैं"।
इस बात की कोई गारंटी नहीं है कि यह काम करेगा, लेकिन कई वर्गों के कार्यों के लिए, इस प्रक्रिया का आउटपुट उच्च संभावना के साथ सही होगा। विशेष रूप से, मान लीजिए कि हमारे पास कुछ वितरण हैx यादृच्छिक चर द्वारा प्रतिनिधित्व किया X और कुछ ϵ>0 ऐसा है कि Pr[F(X)=0]≥ϵ सभी के लिए रखती है Fकक्षा मैं। मान लीजिए कि स्वीकार्य कार्यों का वर्ग घटाव के तहत बंद है (जैसा कि आपकी कक्षा है)। फिर वह इस प्रकार हैr उपरोक्त प्रक्रिया के दौर में प्रायिकता के साथ गलत उत्तर दिया गया है (1−ϵ)r।
इसके अलावा, यदि बहुपद समानता परीक्षण के लिए एक यादृच्छिक प्रक्रिया है, तो समस्या निर्णायक है।
यह पूछने के लिए रहता है कि क्या ऐसा परिणाम आपके विशेष कार्यों के वर्ग के लिए है। ऊपर दिया गया बयान शायद पकड़ में नहीं आएगा। हालांकि, अगर हम भाग्यशाली हैं, तो शायद हम निम्नलिखित में से कुछ को साबित करने में सक्षम हो सकते हैं:
सबके लिए s∈N, शायद हम वास्तविक संख्याओं पर एक वितरण पा सकते हैं, अर्थात, एक यादृच्छिक चर Xs, और एक स्थिर ϵs>0, जैसे कि ऐसा Pr[F(X)=0] सभी कार्यों के लिए रखती है F जो आपकी कक्षा में हैं और उनमें "आकार" है s।
यदि यह सच है, तो यह पालन करेगा कि बहुपद समानता परीक्षण के लिए एक यादृच्छिक एल्गोरिथ्म है और इस प्रकार आपकी समस्या निर्णायक है।