केम्पनर फंक्शन: Difference between revisions

From Vigyanwiki
No edit summary
Line 45: Line 45:


==गुण==
==गुण==
तब से <math>n</math> {{nowrap|divides <math>n!</math>,}} <math>S(n)</math> हमेशा पर है {{nowrap|most <math>S(n)</math>.}} एक संख्या <math>n</math> 4 से अधिक एक अभाज्य संख्या है यदि और केवल {{nowrap|if <math>S(n)=n</math>.<ref>
तब से <math>n</math> {{nowrap|divides <math>n!</math>,}} <math>S(n)</math> हमेशा पर है {{nowrap|most <math>S(n)</math>.}} संख्या <math>n</math> 4 से अधिक अभाज्य संख्या है यदि और केवल {{nowrap|if <math>S(n)=n</math>.<ref>
{{cite journal
{{cite journal
  | author = R. Muller
  | author = R. Muller
Line 58: Line 58:
}}</ref>}}अर्थात् संख्याएँ <math>n</math> जिसके लिए <math>S(n)</math> के सापेक्ष जितना संभव हो उतना बड़ा है <math>n</math> अभाज्य हैं. दूसरी दिशा में, जिसके लिए संख्याएँ <math>S(n)</math> भाज्य जितना संभव हो उतना छोटा है: {{nowrap|<math>S(k!)=k</math>,}} के लिए {{nowrap|all <math>k\ge 1</math>.}}
}}</ref>}}अर्थात् संख्याएँ <math>n</math> जिसके लिए <math>S(n)</math> के सापेक्ष जितना संभव हो उतना बड़ा है <math>n</math> अभाज्य हैं. दूसरी दिशा में, जिसके लिए संख्याएँ <math>S(n)</math> भाज्य जितना संभव हो उतना छोटा है: {{nowrap|<math>S(k!)=k</math>,}} के लिए {{nowrap|all <math>k\ge 1</math>.}}


<math>S(n)</math> पूर्णांक गुणांक वाले एक बहुपद के बहुपद की सबसे छोटी संभव डिग्री है, जिसके पूर्णांकों पर सभी मान विभाज्य हैं {{nowrap|by <math>n</math>.<ref name="oeis"/>}}
<math>S(n)</math> पूर्णांक गुणांक वाले बहुपद के बहुपद की सबसे छोटी संभव डिग्री है, जिसके पूर्णांकों पर सभी मान विभाज्य हैं {{nowrap|by <math>n</math>.<ref name="oeis"/>}}
उदाहरण के लिए, तथ्य यह है कि <math>S(6)=3</math> इसका मतलब है कि एक [[घन बहुपद]] है जिसके सभी मान शून्य हैं [[मॉड्यूलर अंकगणित]] 6, उदाहरण के लिए बहुपद
उदाहरण के लिए, तथ्य यह है कि <math>S(6)=3</math> इसका मतलब है कि [[घन बहुपद]] है जिसके सभी मान शून्य हैं [[मॉड्यूलर अंकगणित]] 6, उदाहरण के लिए बहुपद
<math display=block>x(x-1)(x-2)=x^3-3x^2+2x,</math>
<math display=block>x(x-1)(x-2)=x^3-3x^2+2x,</math>
लेकिन यह कि सभी द्विघात या रैखिक बहुपद (अग्रणी गुणांक एक के साथ) कुछ पूर्णांकों पर गैर-शून्य मॉड्यूलो 6 हैं।
लेकिन यह कि सभी द्विघात या रैखिक बहुपद (अग्रणी गुणांक के साथ) कुछ पूर्णांकों पर गैर-शून्य मॉड्यूलो 6 हैं।
 
[[अमेरिकी गणितीय मासिक]] में 1991 में स्थापित और 1994 में हल की गई उन्नत समस्याओं में से एक में, पॉल एर्डोस ने बताया कि फ़ंक्शन <math>S(n)</math> के सबसे बड़े अभाज्य गुणनखंड से मेल खाता है <math>n</math> लगभग सभी के लिए <math>n</math> (इस अर्थ में कि अपवादों के सेट का [[स्पर्शोन्मुख घनत्व]] शून्य है)।<ref>{{cite journal|title=The smallest factorial that is a multiple of {{mvar|n}} (solution to problem 6674)|journal=[[The American Mathematical Monthly]]|volume=101|year=1994|page=179|url=http://www-fourier.ujf-grenoble.fr/~marin/une_autre_crypto/articles_et_extraits_livres/irationalite/Erdos_P._Kastanas_I.The_smallest_factorial...-.pdf|first1=Paul|last1=Erdős|author1-link=Paul Erdős|first2=Ilias|last2=Kastanas|doi=10.2307/2324376|jstor=2324376 }}.</ref>
 


[[अमेरिकी गणितीय मासिक]] में 1991 में स्थापित और 1994 में हल की गई उन्नत समस्याओं में से  में, पॉल एर्डोस ने बताया कि फ़ंक्शन <math>S(n)</math> के सबसे बड़े अभाज्य गुणनखंड से मेल खाता है <math>n</math> लगभग सभी के लिए <math>n</math> (इस अर्थ में कि अपवादों के सेट का [[स्पर्शोन्मुख घनत्व]] शून्य है)।<ref>{{cite journal|title=The smallest factorial that is a multiple of {{mvar|n}} (solution to problem 6674)|journal=[[The American Mathematical Monthly]]|volume=101|year=1994|page=179|url=http://www-fourier.ujf-grenoble.fr/~marin/une_autre_crypto/articles_et_extraits_livres/irationalite/Erdos_P._Kastanas_I.The_smallest_factorial...-.pdf|first1=Paul|last1=Erdős|author1-link=Paul Erdős|first2=Ilias|last2=Kastanas|doi=10.2307/2324376|jstor=2324376 }}.</ref>
==कम्प्यूटेशनल जटिलता==
==कम्प्यूटेशनल जटिलता==
केम्पनर समारोह <math>S(n)</math> एक मनमानी संख्या का <math>n</math> प्रधान शक्तियों से अधिक, अधिकतम है <math>p^e</math> डिवाइडिंग <math>n</math>, का <math>S(p^e)</math>.<ref name="history3"/>कब <math>n</math> स्वयं एक प्रमुख शक्ति है <math>p^e</math>, इसके केम्पनर फ़ंक्शन को बहुपद समय में गुणकों को क्रमिक रूप से स्कैन करके पाया जा सकता है <math>p</math> जब तक पहला व्यक्ति न मिल जाए जिसके भाज्य में पर्याप्त गुणज हों {{nowrap|of <math>p</math>.}} समान [[कलन विधि]] को किसी के लिए भी बढ़ाया जा सकता है <math>n</math> जिसका अभाज्य गुणनखंडन पहले से ही ज्ञात है, इसे गुणनखंडन में प्रत्येक अभाज्य शक्ति पर अलग से लागू करके और उस एक को चुनना जो सबसे बड़े मूल्य की ओर ले जाता है।
केम्पनर समारोह <math>S(n)</math> मनमानी संख्या का <math>n</math> प्रधान शक्तियों से अधिक, अधिकतम है <math>p^e</math> डिवाइडिंग <math>n</math>, का <math>S(p^e)</math>.<ref name="history3"/>कब <math>n</math> स्वयं प्रमुख शक्ति है <math>p^e</math>, इसके केम्पनर फ़ंक्शन को बहुपद समय में गुणकों को क्रमिक रूप से स्कैन करके पाया जा सकता है <math>p</math> जब तक पहला व्यक्ति न मिल जाए जिसके भाज्य में पर्याप्त गुणज हों {{nowrap|of <math>p</math>.}} समान [[कलन विधि]] को किसी के लिए भी बढ़ाया जा सकता है <math>n</math> जिसका अभाज्य गुणनखंडन पहले से ही ज्ञात है, इसे गुणनखंडन में प्रत्येक अभाज्य शक्ति पर अलग से लागू करके और उस को चुनना जो सबसे बड़े मूल्य की ओर ले जाता है।


फॉर्म के एक नंबर के लिए <math>n=px</math>, कहाँ <math>p</math> प्रधान है और <math>x</math> मै रुक जाना <math>p</math>, केम्पनर फ़ंक्शन <math>n</math> है <math>p</math>.<ref name="history3"/>इससे यह पता चलता है कि [[सेमीप्राइम]] (दो प्राइम का उत्पाद) के केम्पनर फ़ंक्शन की गणना करना कम्प्यूटेशनल रूप से इसके [[मुख्य गुणनखंड प्रक्रिया]] को खोजने के बराबर है, जिसे एक कठिन समस्या माना जाता है। अधिक सामान्यतः, जब भी <math>n</math> एक भाज्य संख्या है, जिसका सबसे बड़ा सामान्य भाजक है <math>S(n)</math> {{nowrap|and <math>n</math>}} आवश्यक रूप से एक गैरतुच्छ [[भाजक]] होगा {{nowrap|of <math>n</math>,}} अनुमति देना <math>n</math> केम्पनर फ़ंक्शन के बार-बार मूल्यांकन द्वारा कारक बनाया जाना। इसलिए, केम्पनर फ़ंक्शन की गणना करना सामान्यतः मिश्रित संख्याओं का गुणनखंड करने से आसान नहीं हो सकता है।
फॉर्म के नंबर के लिए <math>n=px</math>, कहाँ <math>p</math> प्रधान है और <math>x</math> मै रुक जाना <math>p</math>, केम्पनर फ़ंक्शन <math>n</math> है <math>p</math>.<ref name="history3"/>इससे यह पता चलता है कि [[सेमीप्राइम]] (दो प्राइम का उत्पाद) के केम्पनर फ़ंक्शन की गणना करना कम्प्यूटेशनल रूप से इसके [[मुख्य गुणनखंड प्रक्रिया]] को खोजने के बराबर है, जिसे कठिन समस्या माना जाता है। अधिक सामान्यतः, जब भी <math>n</math> भाज्य संख्या है, जिसका सबसे बड़ा सामान्य भाजक है <math>S(n)</math> {{nowrap|and <math>n</math>}} आवश्यक रूप से गैरतुच्छ [[भाजक]] होगा {{nowrap|of <math>n</math>,}} अनुमति देना <math>n</math> केम्पनर फ़ंक्शन के बार-बार मूल्यांकन द्वारा कारक बनाया जाना। इसलिए, केम्पनर फ़ंक्शन की गणना करना सामान्यतः मिश्रित संख्याओं का गुणनखंड करने से आसान नहीं हो सकता है।


==सन्दर्भ और नोट्स==
==सन्दर्भ और नोट्स==

Revision as of 09:19, 8 July 2023

केम्पनर फ़ंक्शन का ग्राफ़

संख्या सिद्धांत में, केम्पनर फ़ंक्शन [1] किसी दिए गए धनात्मक पूर्णांक के लिए परिभाषित किया गया है सबसे छोटी संख्या होना ऐसा है कि को विभाजित करता है factorial . उदाहरण के लिए, संख्या विभाजित नहीं करता , , or , लेकिन करता है divide , so .

इस फ़ंक्शन की विशेषता यह है कि इसमें अत्यधिक असंगत एसिम्प्टोटिक विश्लेषण होता है: यह अभाज्य संख्याओं पर रैखिक कार्य करता है लेकिन केवल फैक्टोरियल संख्याओं पर लघुगणकीय वृद्धि बढ़ाता है।

इतिहास

इस फ़ंक्शन पर सबसे पहले 1883 में फ़्राँस्वा एडौर्ड अनातोले लुकास द्वारा विचार किया गया था,[2] इसके बाद 1887 में जोसेफ जीन-बैप्टिस्ट न्यूबर्ग आए।[3] 1918 में, ऑब्रे जे. केम्पनर|ए. जे. केम्पनर ने इसके लिए पहला सही एल्गोरिथम दिया computing .[4]

फ्लोरेंटिन स्मारांडचे द्वारा फ़ंक्शन की पुनः खोज के बाद केम्पनर फ़ंक्शन को कभी-कभी स्मरैंडचे फ़ंक्शन भी कहा जाता है in 1980.[5]

गुण

तब से divides , हमेशा पर है most . संख्या 4 से अधिक अभाज्य संख्या है यदि और केवल if .[6]अर्थात् संख्याएँ जिसके लिए के सापेक्ष जितना संभव हो उतना बड़ा है अभाज्य हैं. दूसरी दिशा में, जिसके लिए संख्याएँ भाज्य जितना संभव हो उतना छोटा है: , के लिए all .

पूर्णांक गुणांक वाले बहुपद के बहुपद की सबसे छोटी संभव डिग्री है, जिसके पूर्णांकों पर सभी मान विभाज्य हैं by .[1] उदाहरण के लिए, तथ्य यह है कि इसका मतलब है कि घन बहुपद है जिसके सभी मान शून्य हैं मॉड्यूलर अंकगणित 6, उदाहरण के लिए बहुपद

लेकिन यह कि सभी द्विघात या रैखिक बहुपद (अग्रणी गुणांक के साथ) कुछ पूर्णांकों पर गैर-शून्य मॉड्यूलो 6 हैं।

अमेरिकी गणितीय मासिक में 1991 में स्थापित और 1994 में हल की गई उन्नत समस्याओं में से में, पॉल एर्डोस ने बताया कि फ़ंक्शन के सबसे बड़े अभाज्य गुणनखंड से मेल खाता है लगभग सभी के लिए (इस अर्थ में कि अपवादों के सेट का स्पर्शोन्मुख घनत्व शून्य है)।[7]

कम्प्यूटेशनल जटिलता

केम्पनर समारोह मनमानी संख्या का प्रधान शक्तियों से अधिक, अधिकतम है डिवाइडिंग , का .[4]कब स्वयं प्रमुख शक्ति है , इसके केम्पनर फ़ंक्शन को बहुपद समय में गुणकों को क्रमिक रूप से स्कैन करके पाया जा सकता है जब तक पहला व्यक्ति न मिल जाए जिसके भाज्य में पर्याप्त गुणज हों of . समान कलन विधि को किसी के लिए भी बढ़ाया जा सकता है जिसका अभाज्य गुणनखंडन पहले से ही ज्ञात है, इसे गुणनखंडन में प्रत्येक अभाज्य शक्ति पर अलग से लागू करके और उस को चुनना जो सबसे बड़े मूल्य की ओर ले जाता है।

फॉर्म के नंबर के लिए , कहाँ प्रधान है और मै रुक जाना , केम्पनर फ़ंक्शन है .[4]इससे यह पता चलता है कि सेमीप्राइम (दो प्राइम का उत्पाद) के केम्पनर फ़ंक्शन की गणना करना कम्प्यूटेशनल रूप से इसके मुख्य गुणनखंड प्रक्रिया को खोजने के बराबर है, जिसे कठिन समस्या माना जाता है। अधिक सामान्यतः, जब भी भाज्य संख्या है, जिसका सबसे बड़ा सामान्य भाजक है and आवश्यक रूप से गैरतुच्छ भाजक होगा of , अनुमति देना केम्पनर फ़ंक्शन के बार-बार मूल्यांकन द्वारा कारक बनाया जाना। इसलिए, केम्पनर फ़ंक्शन की गणना करना सामान्यतः मिश्रित संख्याओं का गुणनखंड करने से आसान नहीं हो सकता है।

सन्दर्भ और नोट्स

  1. 1.0 1.1 Called the Kempner numbers in the Online Encyclopedia of Integer Sequences: see Sloane, N. J. A. (ed.). "Sequence A002034 (Kempner numbers: smallest number m such that n divides m!)". The On-Line Encyclopedia of Integer Sequences. OEIS Foundation.
  2. Lucas, E. (1883). "Question Nr. 288". Mathesis. 3: 232.
  3. Neuberg, J. (1887). "Solutions de questions proposées, Question Nr. 288". Mathesis. 7: 68–69.
  4. 4.0 4.1 4.2 Kempner, A. J. (1918). "Miscellanea". The American Mathematical Monthly. 25 (5): 201–210. doi:10.2307/2972639. JSTOR 2972639.
  5. Hungerbühler, Norbert; Specker, Ernst (2006). "A generalization of the Smarandache function to several variables". Integers. 6: A23, 11. MR 2264838.
  6. R. Muller (1990). "Editorial" (PDF). Smarandache Function Journal. 1: 1. ISBN 84-252-1918-3.
  7. Erdős, Paul; Kastanas, Ilias (1994). "The smallest factorial that is a multiple of n[[Category: Templates Vigyan Ready]] (solution to problem 6674)" (PDF). The American Mathematical Monthly. 101: 179. doi:10.2307/2324376. JSTOR 2324376. {{cite journal}}: URL–wikilink conflict (help).

This article incorporates material from Smarandache function on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.