दूसरे प्रकार की स्टर्लिंग संख्याएँ: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(24 intermediate revisions by 4 users not shown)
Line 1: Line 1:
गणित में, विशेष रूप से [[साहचर्य]] में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) ''n'' ऑब्जेक्ट के एक समुच्चय को ''k'' अरिक्‍त उपसमुच्चय में विभाजित करने के तरीकों की संख्या है और इसे <math>S(n,k)</math> या <math>\textstyle \left\{{n\atop k}\right\}</math> द्वारा निरूपित किया जाता है।<ref>Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) ''[[Concrete Mathematics]]'', Addison–Wesley, Reading MA. {{isbn|0-201-14236-8}}, p.&nbsp;244.</ref> दूसरी प्रकार की [[स्टर्लिंग संख्या]] गणितीय क्षेत्र में होती है जिसे साहचर्य कहा जाता है तथा जो [[विभाजन (संख्या सिद्धांत)]] का अध्ययन करता है। इनका नाम [[जेम्स स्टर्लिंग (गणितज्ञ)]] के नाम पर रखा गया है।


[[File:Set partitions 4; Hasse; circles.svg|thumb|right|300px|एक हासे आरेख में आदेशित 4-तत्व सेट के बेल संख्या विभाजन {{paragraph}}S(4,1), ..., S(4, 4) = 1, 7, 6, 1 विभाजन हैं जिनमें 1, 2, 3, 4 सेट हैं।]]गणित में, विशेष रूप से [[साहचर्य]] में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) ''n'' ऑब्जेक्ट के एक समुच्चय को ''k'' अरिक्‍त उपसमुच्चय में विभाजित करने के तरीकों की संख्या है और इसे <math>S(n,k)</math> या <math>\textstyle \left\{{n\atop k}\right\}</math> द्वारा निरूपित किया जाता है।<ref>Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) ''[[Concrete Mathematics]]'', Addison–Wesley, Reading MA. {{isbn|0-201-14236-8}}, p.&nbsp;244.</ref> दूसरी प्रकार की [[स्टर्लिंग संख्या]] गणितीय क्षेत्र में होती है जिसे साहचर्य कहा जाता है तथा जो [[विभाजन (संख्या सिद्धांत)]] का अध्ययन करता है। इनका नाम [[जेम्स स्टर्लिंग (गणितज्ञ)]] के नाम पर रखा गया है।
[[त्रिकोणीय मैट्रिक्स]] के रूप में देखे जाने पर प्रथम और द्वितीय प्रकार की स्टर्लिंग संख्या को एक दूसरे के व्युत्क्रम के रूप में समझा जा सकता है। यह लेख द्वितीय प्रकार की स्टर्लिंग संख्याओं की विशेषताओं के लिए समर्पित है। यह लेख स्टर्लिंग संख्याओं के दो प्रकारों को जोड़ने वाली सर्वसमिका प्रतीत होती है।
 
[[त्रिकोणीय मैट्रिक्स]] के रूप में देखे जाने पर प्रथम और द्वितीय प्रकार की स्टर्लिंग संख्या को एक दूसरे के व्युत्क्रम के रूप में समझा जा सकता है। यह लेख दूसरी तरह की स्टर्लिंग संख्याओं की बारीकियों के लिए समर्पित है। स्टर्लिंग संख्या पर लेख में दो प्रकारों को जोड़ने वाली पहचान दिखाई देती है।


== परिभाषा ==
== परिभाषा ==
दूसरी तरह की स्टर्लिंग संख्याएँ, लिखी गईं <math>S(n,k)</math> या <math>\lbrace\textstyle{n\atop k}\rbrace</math> या अन्य अंकन के साथ, एक सेट के एक [[सेट (गणित)]] के विभाजन के तरीकों की संख्या की गणना करें <math>n</math> लेबल की गई वस्तुएं <math>k</math> गैर-रिक्त लेबल रहित सबसेट। समतुल्य रूप से, वे विभिन्न [[तुल्यता संबंध]]ों की संख्या को सटीक रूप से गिनते हैं <math>k</math> तुल्यता वर्ग जिन्हें एक पर परिभाषित किया जा सकता है <math>n</math> तत्व सेट। वास्तव में, किसी दिए गए सेट पर विभाजन के सेट और समतुल्य संबंधों के सेट के बीच एक आक्षेप है। ज़ाहिर तौर से,
दूसरे प्रकार की लिखी गईं <math>S(n,k)</math> या <math>\lbrace\textstyle{n\atop k}\rbrace</math> या अन्य अंकन के साथ स्टर्लिंग संख्या <math>n</math> चिह्नित ऑब्जेक्ट्स के एक [[सेट (गणित)|समुच्चय(गणित)]] को <math>k</math> अरिक्त तथा अचिह्नित उपसमुच्चय में विभाजित करने के तरीकों की संख्या की गणना करती है। तुल्यांकतः वे विभिन्न [[तुल्यता संबंध|तुल्यता संबंधों]] की संख्या की गणना शुद्ध रुप से <math>k</math> समकक्ष वर्गों के साथ करते हैं जिन्हें <math>n</math> तत्व समुच्चय पर परिभाषित किया जा सकता है। वस्तुतः विभाजन के समुच्चय और दिए गए समुच्चय पर तुल्यता संबंधों के समुच्चय के मध्य एक द्विअंतथक्षेपण है। स्पष्ट रुप से,
:<math>\left\{ {n \atop n} \right\} = 1</math> एन ≥ 0 के लिए, और  <math>\left\{ {n \atop 1}\right\} = 1</math> एन ≥ 1 के लिए,
:<math>\left\{ {n \atop n} \right\} = 1</math> के लिए n ≥ 0, और  <math>\left\{ {n \atop 1}\right\} = 1</math> के लिए n ≥ 1  
एन-एलिमेंट सेट को एन भागों में विभाजित करने का एकमात्र तरीका सेट के प्रत्येक तत्व को अपने हिस्से में रखना है, और एक गैर-खाली सेट को एक हिस्से में विभाजित करने का एकमात्र तरीका सभी तत्वों को एक ही हिस्से में रखना है .
n-तत्व समुच्चय को n भागों में विभाजित करने का एकमात्र तरीका समुच्चय के प्रत्येक तत्व को अपने क्षेत्र में रखना है और एक अरिक्‍त समुच्चय को एक क्षेत्र में विभाजित करने का एकमात्र तरीका सभी तत्वों को एक ही क्षेत्र में रखना है। निम्नलिखित स्पष्ट सूत्र का उपयोग करके उनकी गणना की जा सकती है:<ref>{{Cite web|url=https://discrete.openmathbooks.org/more/mdm/sec_adv-stirling.html|title=Stirling Numbers of the Second Kind, Theorem 3.4.1|last=|first=|date=|website=|publisher=|access-date=}}</ref>
निम्नलिखित स्पष्ट सूत्र का उपयोग करके उनकी गणना की जा सकती है:<ref>{{Cite web|url=https://discrete.openmathbooks.org/more/mdm/sec_adv-stirling.html|title=Stirling Numbers of the Second Kind, Theorem 3.4.1|last=|first=|date=|website=|publisher=|access-date=}}</ref>
:<math>\left\{ {n \atop k}\right\} = \frac{1}{k!}\sum_{i=0}^k (-1)^{k-i} \binom{k}{i} i^n = \sum_{i=1}^k \frac{(-1)^{k-i} i^{n-1}}{(i-1)!(k-i)!}.</math>
:<math>\left\{ {n \atop k}\right\} = \frac{1}{k!}\sum_{i=0}^k (-1)^{k-i} \binom{k}{i} i^n = \sum_{i=1}^k \frac{(-1)^{k-i} i^{n-1}}{(i-1)!(k-i)!}.</math>
दूसरे प्रकार की स्टर्लिंग संख्याओं को उन संख्याओं के रूप में भी चित्रित किया जा सकता है जो तब उत्पन्न होती हैं जब कोई अनिश्चित x की शक्तियों को घटते क्रमगुणों के संदर्भ में व्यक्त करता है।<ref>Confusingly, the notation that combinatorialists use for ''falling'' factorials coincides with the notation used in [[special function]]s for ''rising'' factorials; see [[Pochhammer symbol]].</ref>
द्वितीय प्रकार की स्टर्लिंग संख्याओं को उन संख्याओं के रूप में भी चित्रित किया जा सकता है जो तब उत्पन्न होती हैं जब घटते क्रमगुणों के संदर्भ में अनिश्चित X की शक्तियों को व्यक्त किया जाता है।<ref>Confusingly, the notation that combinatorialists use for ''falling'' factorials coincides with the notation used in [[special function]]s for ''rising'' factorials; see [[Pochhammer symbol]].</ref>
:<math>(x)_n=x(x-1)(x-2)\cdots(x-n+1) .</math>
:<math>(x)_n=x(x-1)(x-2)\cdots(x-n+1) .</math>
(विशेष रूप से, (एक्स)<sub>0</sub> = 1 क्योंकि यह एक [[खाली उत्पाद]] है।) सामान्य तौर पर, किसी के पास होता है
(विशेष रूप से, (''x'')<sub>0</sub> = 1 क्योंकि यह एक [[खाली उत्पाद|रिक्‍त परिणाम]] है।)सामान्यतः किसी के पास होता है


:<math>\sum_{k=0}^n \left\{ {n \atop k} \right\}(x)_k=x^n.</math>
:<math>\sum_{k=0}^n \left\{ {n \atop k} \right\}(x)_k=x^n.</math>




== नोटेशन ==
== संकेतन ==
दूसरी तरह की स्टर्लिंग संख्याओं के लिए विभिन्न संकेतन का उपयोग किया गया है। ब्रेस नोटेशन <math>\textstyle \lbrace{n\atop k}\rbrace</math> 1962 में इन नंबरों के वेरिएंट के लिए इमानुएल मार्क्स और एंटोनियो सालमेरी द्वारा इस्तेमाल किया गया था।<ref>Transformation of Series by a Variant of Stirling's Numbers, Imanuel Marx, ''The American Mathematical Monthly'' '''69''', #6 (June–July 1962), pp. 530–532, {{JSTOR|2311194}}.</ref><ref>Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, ''Giornale di Matematiche di Battaglini '''90''' (1962), pp. 44–54.</ref> इसने [[डोनाल्ड एर्विन नुथ]] को इसका उपयोग करने के लिए प्रेरित किया, जैसा कि यहाँ दिखाया गया है, [[कंप्यूटर प्रोग्रामिंग की कला]] (1968) के पहले खंड में।<ref name=tnn>{{citation |author-link=Donald Knuth|first=D.E.|last=Knuth| journal = Amer. Math. Monthly | title=Two notes on notation| year=1992 | volume=99 |issue=5| pages=403–422 | arxiv=math/9205211 | doi=10.2307/2325085 | jstor= 2325085|bibcode=1992math......5211K|s2cid=119584305 }}</ref><ref>Donald E. Knuth, ''Fundamental Algorithms'', Reading, Mass.: Addison–Wesley, 1968.</ref> कंप्यूटर प्रोग्रामिंग की कला के तीसरे संस्करण के अनुसार, इस संकेतन का उपयोग पहले 1935 में [[जोवन करामाता]] द्वारा भी किया गया था।<ref>p. 66, Donald E. Knuth, ''Fundamental Algorithms'', 3rd ed., Reading, Mass.: Addison–Wesley, 1997.</ref><ref>Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, ''Mathematica'' (Cluj) '''9''' (1935), pp, 164–178.</ref> संकेतन S(n, k) का उपयोग रिचर्ड पी. स्टेनली ने अपनी पुस्तक [[गणनात्मक कॉम्बिनेटरिक्स]] में और बहुत पहले, कई अन्य लेखकों द्वारा भी किया था।<ref name=tnn />
द्वितीय प्रकार की स्टर्लिंग संख्याओं के लिए विभिन्न संकेतन का उपयोग किया गया है। वर्ष 1962 में इन संख्याओं के परिवर्त्य के लिए ब्रेस नोटेशन <math>\textstyle \lbrace{n\atop k}\rbrace</math> का प्रयोग इमानुएल मार्क्स और एंटोनियो सालमेरी द्वारा किया गया था।<ref>Transformation of Series by a Variant of Stirling's Numbers, Imanuel Marx, ''The American Mathematical Monthly'' '''69''', #6 (June–July 1962), pp. 530–532, {{JSTOR|2311194}}.</ref><ref>Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, ''Giornale di Matematiche di Battaglini '''90''' (1962), pp. 44–54.</ref> इसने [[डोनाल्ड एर्विन नुथ]] को इसका उपयोग करने के लिए प्रेरित किया, जैसा कि [[कंप्यूटर प्रोग्रामिंग की कला|द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग]] (वर्ष 1968) के प्रथम खंड में दिखाया गया है।<ref name=tnn>{{citation |author-link=Donald Knuth|first=D.E.|last=Knuth| journal = Amer. Math. Monthly | title=Two notes on notation| year=1992 | volume=99 |issue=5| pages=403–422 | arxiv=math/9205211 | doi=10.2307/2325085 | jstor= 2325085|bibcode=1992math......5211K|s2cid=119584305 }}</ref><ref>Donald E. Knuth, ''Fundamental Algorithms'', Reading, Mass.: Addison–Wesley, 1968.</ref> द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग के तृतीय संस्करण के अनुसार इस संकेतन का प्रथम उपयोग वर्ष 1935 में [[जोवन करामाता]] द्वारा भी किया गया था।<ref>p. 66, Donald E. Knuth, ''Fundamental Algorithms'', 3rd ed., Reading, Mass.: Addison–Wesley, 1997.</ref><ref>Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, ''Mathematica'' (Cluj) '''9''' (1935), pp, 164–178.</ref> संकेतन S(n, k) का उपयोग रिचर्ड पी. स्टेनली ने अपनी पुस्तक [[गणनात्मक कॉम्बिनेटरिक्स|एन्युमरेटिव कॉम्बिनेटरिक्स]] में और बहुत पहले, कई अन्य लेखकों द्वारा भी किया था।<ref name=tnn />


स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं, और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं।
स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं।


==घंटी संख्या से संबंध==
==बेल संख्या से संबंध==
{{main|Bell number}}
{{main|बेल संख्या}}


स्टर्लिंग संख्या के बाद से <math>\left\{ {n \atop k} \right\}</math> किसी n-एलिमेंट सेट के विभाजन को k भागों में गिनता है, योग
चूँकि स्टर्लिंग संख्या <math>\left\{ {n \atop k} \right\}</math> किसी n-तत्व समुच्चय के विभाजन को k भागों में गिनता है, जिसका योग


:<math>B_n=\sum_{k=0}^n \left\{ {n \atop k} \right\}</math>
:<math>B_n=\sum_{k=0}^n \left\{ {n \atop k} \right\}</math>
k के सभी मानों में n सदस्यों वाले सेट के विभाजनों की कुल संख्या है। इस नंबर को nवें [[बेल नंबर]] के रूप में जाना जाता है।
k के सभी मानों में n सदस्यों वाले समुच्चय के विभाजनों की कुल संख्या है। इस संख्या को nवें [[बेल नंबर|बेल संख्या]] के रूप में जाना जाता है।


अनुरूप रूप से, आदेशित बेल नंबरों की गणना दूसरे प्रकार के स्टर्लिंग नंबरों से की जा सकती है
तुलनात्मक रूप से, क्रमित बेल संख्याओं की गणना दूसरे प्रकार के स्टर्लिंग संख्याओं से की जा सकती है
:<math>a_n = \sum_{k=0}^n k! \left\{ {n \atop k}\right\}.</math><ref>{{citation
:<math>a_n = \sum_{k=0}^n k! \left\{ {n \atop k}\right\}.</math><ref>{{citation
  | last = Sprugnoli | first = Renzo
  | last = Sprugnoli | first = Renzo
Line 45: Line 43:




== मूल्यों की तालिका ==
== तालिका मान ==
नीचे दूसरी तरह की स्टर्लिंग संख्याओं के लिए मानों की त्रिकोणीय सारणी दी गई है {{OEIS|A008277}}:
नीचे दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए मानों की त्रिकोणीय सारणी दी गई है :
{| style="text-align:right;" class="wikitable"
{| style="text-align:right;" class="wikitable"
|-
|-
Line 150: Line 148:
| 1
| 1
|}
|}
[[द्विपद गुणांक]]ों के साथ, इस तालिका को बढ़ाया जा सकता है{{math|''k'' > ''n''}}, लेकिन सभी प्रविष्टियां 0 होंगी।
[[द्विपद गुणांक|द्विपद गुणांकों]] के साथ इस तालिका को {{math|''k'' > ''n''}} तक बढ़ाया जा सकता है, किन्तु सभी प्रविष्टियां 0 होंगी।


== गुण ==
== गुणधर्म ==


===पुनरावृत्ति संबंध===
===पुनरावृत्ति संबंध===
दूसरी तरह की स्टर्लिंग संख्याएँ पुनरावृत्ति संबंध का पालन करती हैं
दूसरी प्रकार की स्टर्लिंग संख्याएँ पुनरावृत्ति संबंध का पालन करती हैं


:<math>\left\{{n+1\atop k}\right\} = k \left\{{ n \atop k }\right\} + \left\{{n\atop k-1}\right\}
:<math>\left\{{n+1\atop k}\right\} = k \left\{{ n \atop k }\right\} + \left\{{n\atop k-1}\right\}
Line 162: Line 160:
:<math>\left\{{ n \atop n }\right\} = 1 \quad  \mbox{ for} \; n \geq 0 \quad \text{ and } \quad
:<math>\left\{{ n \atop n }\right\} = 1 \quad  \mbox{ for} \; n \geq 0 \quad \text{ and } \quad
\left\{{ n \atop 0 }\right\} = \left\{{ 0 \atop n }\right\} = 0 \quad \text{ for } n>0 \text{.} </math>
\left\{{ n \atop 0 }\right\} = \left\{{ 0 \atop n }\right\} = 0 \quad \text{ for } n>0 \text{.} </math>
उदाहरण के लिए, कॉलम k = 3 और पंक्ति n = 5 में संख्या 25 25 = 7 + (3×6) द्वारा दी गई है, जहां 7 ऊपर की संख्या है और 25 के बाईं ओर, 6 25 और 3 से ऊपर की संख्या है वह स्तंभ है जिसमें 6 है.
उदाहरण के लिए संख्या 25 में कॉलम k=3 और 25 = 7 + (3×6) द्वारा पंक्ति n = 5 दी गई है जहां ऊपर की संख्या 7 है और 25 के बाईं ओर है तथा 25 से ऊपर की संख्या 6 है और जिसमें 6 है, वह कॉलम 3 है।


इस पुनरावृत्ति को सिद्ध करने के लिए, निरीक्षण करें कि का एक विभाजन {{tmath|n-1}} ऑब्जेक्ट्स को k गैर-रिक्त उपसमुच्चय में या तो समाहित करता है {{tmath|(n+1)}}-वें ऑब्जेक्ट को सिंगलटन के रूप में या नहीं। सिंगलटन उपसमुच्चयों में से एक होने के तरीकों की संख्या द्वारा दी गई है
इस पुनरावृत्ति को सिद्ध करने के लिए देखें कि {{tmath|n-1}} ऑब्जेक्ट्स के k अरिक्त उपसमुच्चय विभाजन में या तो {{tmath|(n+1)}}-वें ऑब्जेक्ट एकल के रूप में होता है या नहीं। एकल उपसमुच्चयों में से एक होने के तरीकों की संख्या द्वारा दी गई है


:<math>\left\{{ n \atop k-1 }\right\}</math>
:<math>\left\{{ n \atop k-1 }\right\}</math>
चूंकि हमें शेष का विभाजन करना चाहिए {{mvar|n}} ऑब्जेक्ट उपलब्ध हैं {{tmath|k-1}} सबसेट। दूसरे मामले में {{tmath|(n+1)}}-ऑब्जेक्ट अन्य ऑब्जेक्ट्स वाले सबसेट से संबंधित है। तरीकों की संख्या द्वारा दिया गया है
चूँकि हमें शेष {{mvar|n}} ऑब्जेक्ट को उपलब्ध {{tmath|k-1}} उपसमुच्चय में विभाजित करना होगा। दूसरी स्थिति में {{tmath|(n+1)}}-वें ऑब्जेक्ट अन्य उपसमुच्चय के ऑब्जेक्ट्स से संबंधित है। तरीकों की संख्या द्वारा दिया गया है


:<math>k \left\{{ n \atop k }\right\}</math>
:<math>k \left\{{ n \atop k }\right\}</math>
चूंकि हम के अलावा अन्य सभी वस्तुओं का विभाजन करते हैं {{tmath|(n+1)}}-th को k सबसेट में, और फिर हमारे पास ऑब्जेक्ट डालने के लिए k विकल्पों के साथ छोड़ दिया जाता है {{tmath|n+1}}. इन दो मूल्यों का योग वांछित परिणाम देता है।
चूंकि हम {{tmath|(n+1)}} -वें के अतिरिक्त अन्य सभी ऑब्जेक्ट्स को k उपसमुच्चय में विभाजित करते हैं और फिर हमारे पास ऑब्जेक्ट {{tmath|n+1}} प्रविष्ट करने के लिए k विकल्पों के साथ छोड़ दिया जाता है। इन दो मानों का योग वांछित परिणाम देता है।


ठोस गणित के खंड 6.1 की तालिका स्टर्लिंग संख्याओं को शामिल करने वाले परिमित योगों के सामान्यीकृत रूपों की अधिकता प्रदान करती है। इस लेख के लिए प्रासंगिक कई विशेष परिमित राशियों में शामिल हैं।
विविक्त गणित के खंड 6.1 की तालिका स्टर्लिंग संख्याओं को सम्मिलित करने वाले परिमित योगों के सामान्यीकृत रूपों की अधिकता प्रदान करती है। इस लेख के लिए प्रासंगिक कई विशेष परिमित राशियों में सम्मिलित हैं।


:<math>
:<math>
Line 182: Line 180:
\end{align}
\end{align}
</math>
</math>
 
:
 
=== निचला और ऊपरी सीमा ===
=== निचला और ऊपरी सीमा ===
अगर <math>n \geq 2</math> और <math>1 \leq k \leq n-1</math>, तब
अगर <math>n \geq 2</math> और <math>1 \leq k \leq n-1</math>, तब


:<math>\frac{1}{2}(k^2+k+2)k^{n-k-1}-1 \leq \left\{{n \atop k}\right\} \leq \frac{1}{2}{n \choose k} k^{n-k} </math> <ref name="RennieDobson1969">{{cite journal|last1=Rennie|first1=B.C.|last2=Dobson|first2=A.J.|title=दूसरी तरह की स्टर्लिंग संख्या पर|journal=[[Journal of Combinatorial Theory]]|volume=7|issue=2|year=1969|pages=116–121|issn=0021-9800|doi=10.1016/S0021-9800(69)80045-1|doi-access=free}}</ref>
:<math>\frac{1}{2}(k^2+k+2)k^{n-k-1}-1 \leq \left\{{n \atop k}\right\} \leq \frac{1}{2}{n \choose k} k^{n-k} </math> <ref name="RennieDobson1969">{{cite journal|last1=Rennie|first1=B.C.|last2=Dobson|first2=A.J.|title=दूसरी तरह की स्टर्लिंग संख्या पर|journal=[[Journal of Combinatorial Theory]]|volume=7|issue=2|year=1969|pages=116–121|issn=0021-9800|doi=10.1016/S0021-9800(69)80045-1|doi-access=free}}</ref>
=== अधिकतम ===
=== अधिकतम ===
निश्चित के लिए <math>n</math>, <math>\left\{{n \atop k}\right\}</math> एक एकल अधिकतम है, जो k के अधिकतम दो लगातार मानों के लिए प्राप्त किया जाता है। यानी एक पूर्णांक है <math>K_n</math> ऐसा है कि
निर्धारित <math>n</math>, <math>\left\{{n \atop k}\right\}</math> के लिए एकल अधिकतम है, जो k के अधिकतम दो निरंतर मानों के लिए प्राप्त किया जाता है। अर्थात् एक पूर्णांक <math>K_n</math> ऐसा है कि


:<math>\left\{{n \atop 1}\right\} < \left\{{n \atop 2}\right\} < \cdots < \left\{{n \atop K_n}\right\},</math>
:<math>\left\{{n \atop 1}\right\} < \left\{{n \atop 2}\right\} < \cdots < \left\{{n \atop K_n}\right\},</math>
:<math>\left\{{n \atop K_n}\right\} \geq \left\{{n \atop K_n+1}\right\} > \cdots > \left\{{n \atop n}\right\}.</math>
:<math>\left\{{n \atop K_n}\right\} \geq \left\{{n \atop K_n+1}\right\} > \cdots > \left\{{n \atop n}\right\}.</math>
कब <math>n</math> बड़ी है
जब <math>n</math> बड़ी है


:<math>K_n \sim \frac{n}{\log n},</math>
:<math>K_n \sim \frac{n}{\log n},</math>
और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मूल्य है
और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मान है
:<math>\log \left\{{n \atop K_n}\right\} = n\log n - n \log\log n - n + O(n \log\log n / \log n).</math> <ref name="RennieDobson1969"/>
:<math>\log \left\{{n \atop K_n}\right\} = n\log n - n \log\log n - n + O(n \log\log n / \log n).</math> <ref name="RennieDobson1969"/>
=== समता ===
=== समता ===
[[Image:Stirling numbers of the second kind - Parity.svg|256px|right|thumb|दूसरी तरह की स्टर्लिंग संख्या की समानता।]]दूसरे प्रकार की स्टर्लिंग संख्या की [[समता (गणित)]] संबंधित [[द्विपद गुणांक]] की समता के बराबर होती है:
दूसरे प्रकार की स्टर्लिंग संख्या की [[समता (गणित)]] संबंधित [[द्विपद गुणांक]] की समता के समान होती है:
:<math>\left\{ {n\atop k}\right\}\equiv \binom{z}{w}\ \pmod{2},</math> कहाँ <math>z = n - \left\lceil\displaystyle\frac{k + 1}{2}\right\rceil,\ w = \left\lfloor\displaystyle\frac{k - 1}{2}\right\rfloor.</math>
:<math>\left\{ {n\atop k}\right\}\equiv \binom{z}{w}\ \pmod{2},</math> कहाँ <math>z = n - \left\lceil\displaystyle\frac{k + 1}{2}\right\rceil,\ w = \left\lfloor\displaystyle\frac{k - 1}{2}\right\rfloor.</math>
यह संबंध Sierpinski Triangle|Sierpinski Triangle पर n और k निर्देशांक मैप करके निर्दिष्ट किया गया है।
यह संबंध सियरपिंस्की त्रिभुज पर मानचित्रण n और k निर्देशांक द्वारा निर्दिष्ट किया गया है।


अधिक सीधे तौर पर, दो सेटों में संबंधित भावों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:
अधिकतम प्रत्यक्ष रूप से, दो समुच्चयों में संबंधित व्यंजकों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:


:<math>
:<math>
Line 215: Line 208:
\end{align}
\end{align}
</math>
</math>
इन दो सेटों को इंटरसेक्ट करके एक [[बिटवाइज़ AND]] ऑपरेशन की नकल की जा सकती है:
इन दो समुच्चयों को प्रतिच्छेद करके एक [[बिटवाइज़ AND|बिटवाइज़ एंड]] ऑपरेशन की नकल की जा सकती है:


:<math>
:<math>
Line 224: Line 217:
\end{cases}
\end{cases}
</math>
</math>
बिग ओ नोटेशन | ओ (1) समय में दूसरी तरह की स्टर्लिंग संख्या की समानता प्राप्त करने के लिए। [[स्यूडोकोड]] में:
O(1) समय में दूसरी प्रकार की स्टर्लिंग संख्या की समता प्राप्त करने के लिए। [[स्यूडोकोड]] में:


:<math>
:<math>
\begin{Bmatrix}n\\k\end{Bmatrix}\,\bmod\,2 := \left[\left( \left(n-k\right)\ \And\ \left( \left(k-1\right)\,\mathrm{div}\,2 \right)\right) = 0\right];
\begin{Bmatrix}n\\k\end{Bmatrix}\,\bmod\,2 := \left[\left( \left(n-k\right)\ \And\ \left( \left(k-1\right)\,\mathrm{div}\,2 \right)\right) = 0\right];
</math>
</math>
कहाँ <math>
जहाँ <math>
\left[b\right]
\left[b\right]
</math> [[आइवरसन ब्रैकेट]] है।
</math> [[आइवरसन ब्रैकेट|आइवरसन कोष्ठक]] है।


दूसरी तरह की केंद्रीय स्टर्लिंग संख्या की समता <math>\textstyle \left\{{2n\atop n}\right\}</math> विषम है अगर और केवल अगर <math>n</math> एक फाइबिनरी संख्या है, एक संख्या जिसका बाइनरी प्रतिनिधित्व में लगातार दो 1s नहीं होते हैं।<ref>{{citation
दूसरे प्रकार के<math>\textstyle \left\{{2n\atop n}\right\}</math> की केंद्रीय स्टर्लिंग संख्या की समता विषम होती है यदि <math>n</math> एक फ़िबिनरी संख्या है जिसका द्विआधारी प्रतिनिधित्व कोई दो निरंतर 1s नहीं हैं।<ref>{{citation
  | last1 = Chan | first1 = O-Yeat
  | last1 = Chan | first1 = O-Yeat
  | last2 = Manna | first2 = Dante
  | last2 = Manna | first2 = Dante
Line 246: Line 239:
  | volume = 517
  | volume = 517
  | year = 2010}}</ref>
  | year = 2010}}</ref>
 
=== सरल सर्वसमिका ===
 
कुछ साधारण सर्वसमिका सम्मिलित हैं
=== सरल पहचान ===
कुछ साधारण पहचान शामिल हैं


:<math>\left\{ {n \atop n-1}\right\} = \binom{n}{2}. </math>
:<math>\left\{ {n \atop n-1}\right\} = \binom{n}{2}. </math>
ऐसा इसलिए है क्योंकि n तत्वों को विभाजित करना {{math|''n''&nbsp;&minus;&nbsp;1}} सेट का अर्थ आवश्यक रूप से इसे आकार 2 के एक सेट में विभाजित करना है और {{math|''n''&nbsp;&minus;&nbsp;2}} आकार 1 के सेट। इसलिए हमें केवल उन दो तत्वों को चुनने की आवश्यकता है;
ऐसा इसलिए है क्योंकि n तत्वों को {{math|''n''&nbsp;&minus;&nbsp;1}} समुच्चय में विभाजित करने का अर्थ है कि इसे आकार 2 के एक समुच्चय और आकार 1 के {{math|''n''&nbsp;&minus;&nbsp;2}} समुच्चय में विभाजित करना। इसलिए हमें केवल उन दो तत्वों का चयन करने की आवश्यकता है;


और
और


:<math>\left\{ {n \atop 2}\right\} = 2^{n-1}-1.</math>
:<math>\left\{ {n \atop 2}\right\} = 2^{n-1}-1.</math>
इसे देखने के लिए, पहले ध्यान दें कि 2 हैं{{sup|''n''}} पूरक उपसमुच्चय A और B के आदेशित जोड़े। एक मामले में, A खाली है, और दूसरे में B खाली है, इसलिए {{math|2{{sup|''n''}}&nbsp;&minus;&nbsp;2}} उपसमुच्चय के क्रमित युग्म बने रहते हैं। अंत में, चूँकि हम क्रमित युग्मों के बजाय अक्रमित युग्म चाहते हैं, हम इस अंतिम संख्या को 2 से विभाजित करते हैं, ऊपर परिणाम देते हुए।
इसे देखने के लिए, सर्वप्रथम ध्यान दें कि पूरक उपसमुच्चय  A और B के 2{{sup|''n''}} क्रमित युग्म हैं। प्रथम स्थिति में A रिक्त तथा द्वितीय स्थिति में B रिक्त है, इसलिए {{math|2{{sup|''n''}}&nbsp;&minus;&nbsp;2}} उपसमुच्चय के क्रमित युग्म बने रहते हैं। अंत में, चूंकि हमें क्रमित युग्म के स्थान पर अव्यवस्थित युग्म आवश्यकता होती हैं, इसलिए हम ऊपर दिए गए परिणाम को देते हुए इस अंतिम संख्या को 2 से विभाजित करते हैं।


पुनरावृत्ति-संबंध का एक और स्पष्ट विस्तार उपर्युक्त उदाहरण की भावना में सर्वसमिका देता है।
पुनरावृत्ति-संबंध का एक और स्पष्ट विस्तार उपर्युक्त उदाहरण की भावना में सर्वसमिका देता है।
Line 277: Line 268:
\frac{k^n}{k!}-\sum_{r=1}^{k-1} \frac{\left\lbrace\begin{matrix} n \\ r\end{matrix}\right\rbrace}{(k-r)!}.
\frac{k^n}{k!}-\sum_{r=1}^{k-1} \frac{\left\lbrace\begin{matrix} n \\ r\end{matrix}\right\rbrace}{(k-r)!}.
</math>
</math>


=== स्पष्ट सूत्र ===
=== स्पष्ट सूत्र ===
दूसरी तरह की स्टर्लिंग संख्याएँ स्पष्ट सूत्र द्वारा दी गई हैं:
दूसरी प्रकार की स्टर्लिंग संख्याएँ स्पष्ट सूत्र द्वारा दी गई हैं:


:<math>\left\{ {n \atop k} \right\}
:<math>\left\{ {n \atop k} \right\}
Line 286: Line 276:
=\sum_{j=1}^k \frac{(-1)^{k-j} j^{n-1}}{(j-1)!(k-j)!}
=\sum_{j=1}^k \frac{(-1)^{k-j} j^{n-1}}{(j-1)!(k-j)!}
.</math>
.</math>
इसे n से k तक के अनुमानों की संख्या की गणना करने के लिए समावेश-बहिष्करण सिद्धांत | समावेशन-बहिष्करण का उपयोग करके और इस तथ्य का उपयोग करके प्राप्त किया जा सकता है कि ऐसे अनुमानों की संख्या है <math display="inline"> k! \left\{ {n \atop k} \right\} </math>.
इसे n से k तक के अनुमानों की संख्या की गणना करने के लिए समावेशन-निष्‍कासन तथा इस तथ्य का उपयोग करके प्राप्त किया जा सकता है कि ऐसे अनुमानों की संख्या <math display="inline"> k! \left\{ {n \atop k} \right\} </math> है।


इसके अतिरिक्त, यह सूत्र [[ एकपद ]] के kवें आगे के अंतर का एक विशेष मामला है <math>x^n</math> x = 0 पर मूल्यांकन किया गया:
इसके अतिरिक्त यह सूत्र x = 0 पर मूल्यांकन किए गए [[ एकपद |एकपद]] <math>x^n</math> के kवें अग्रगामी अंतर की एक विशेष स्थिति है:


:<math> \Delta^k x^n = \sum_{j=0}^{k}(-1)^{k-j}{k \choose j} (x+j)^n.</math>
:<math> \Delta^k x^n = \sum_{j=0}^{k}(-1)^{k-j}{k \choose j} (x+j)^n.</math>
क्योंकि बर्नौली बहुपदों को इन आगे के अंतरों के संदर्भ में लिखा जा सकता है, बर्नौली संख्याओं में तुरंत एक संबंध प्राप्त होता है:
क्योंकि बर्नौली बहुपदों को इन आगे के अंतरों के संदर्भ में लिखा जा सकता है, जिससे बर्नौली संख्याओं में तत्काल एक संबंध प्राप्त होता है:


:<math>B_m(0)=\sum_{k=0}^m \frac {(-1)^k k!}{k+1} \left\{ {m \atop k} \right\}. </math>
:<math>B_m(0)=\sum_{k=0}^m \frac {(-1)^k k!}{k+1} \left\{ {m \atop k} \right\}. </math>
गणितीय कार्यों की एनआईएसटी हैंडबुक में दिया गया एक और स्पष्ट सूत्र है
गणितीय फलन की एनआईएसटी हैंडबुक में दिया गया एक और स्पष्ट सूत्र है


:<math>
:<math>
Line 304: Line 294:
} 1^{c_1} 2^{c_2} \cdots k^{c_k}  
} 1^{c_1} 2^{c_2} \cdots k^{c_k}  
</math>
</math>
 
=== फलनों का निर्माण ===
 
एक निश्चित पूर्णांक n के लिए, दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए [[सामान्य जनरेटिंग फ़ंक्शन|सामान्य फलनों का निर्माण]] <math>\left\{ {n\atop 0} \right\}, \left\{ {n\atop 1} \right\}, \ldots</math> द्वारा दिया गया है
=== कार्यों का निर्माण ===
एक निश्चित पूर्णांक n के लिए, दूसरी तरह की स्टर्लिंग संख्याओं के लिए [[सामान्य जनरेटिंग फ़ंक्शन]] <math>\left\{ {n\atop 0} \right\}, \left\{ {n\atop 1} \right\}, \ldots</math> द्वारा दिया गया है
:<math> \sum_{k=0}^n \left\{ {n\atop k} \right\} x^k = T_n(x),</math>
:<math> \sum_{k=0}^n \left\{ {n\atop k} \right\} x^k = T_n(x),</math>
कहाँ <math>T_n(x)</math> [[टचर्ड बहुपद]] हैं।
जहाँ <math>T_n(x)</math> [[टचर्ड बहुपद]] हैं। यदि इसके स्थान पर घटते भाज्य के विरुद्ध स्टर्लिंग संख्याओं का योग किया जाए, तो अन्य सर्वसमिकाओं के मध्य निम्नलिखित सर्वसमिकाओं को प्रदर्शित किया जा सकता है:  
यदि इसके बजाय घटते भाज्य के विरुद्ध स्टर्लिंग संख्याओं का योग किया जाए, तो अन्य के साथ-साथ निम्नलिखित सर्वसमिकाओं को दिखाया जा सकता है:
:<math> \sum_{k=0}^n \left\{ {n\atop k} \right\} (x)_k = x^n</math>
:<math> \sum_{k=0}^n \left\{ {n\atop k} \right\} (x)_k = x^n</math>
और
और
:<math> \sum_{k=1}^{n+1} \left\{ {n+1 \atop k} \right\} (x-1)_{k-1} = x^n.</math>
:<math> \sum_{k=1}^{n+1} \left\{ {n+1 \atop k} \right\} (x-1)_{k-1} = x^n.</math>
एक निश्चित पूर्णांक k के लिए, दूसरी तरह की स्टर्लिंग संख्याएँ <math>\left\{ {0\atop k} \right\}, \left\{ {1\atop k} \right\}, \ldots</math> लीजिये
एक निश्चित पूर्णांक k के लिए, दूसरी प्रकार की <math>\left\{ {0\atop k} \right\}, \left\{ {1\atop k} \right\}, \ldots</math> की स्टर्लिंग संख्या में एक परिमय साधारण जनरेटिंग फ़ंक्शन होता है
तर्कसंगत साधारण जनरेटिंग फ़ंक्शन
:<math>\sum_{n=k}^\infty \left\{ {n\atop k} \right\} x^{n - k} = \prod_{r=1}^k \frac{1}{1-rx} = \frac{1}{(k+1)! x^{k + 1} \binom{\frac{1}{x}}{k+1}}</math>
:<math>\sum_{n=k}^\infty \left\{ {n\atop k} \right\} x^{n - k} = \prod_{r=1}^k \frac{1}{1-rx} = \frac{1}{(k+1)! x^{k + 1} \binom{\frac{1}{x}}{k+1}}</math>
और इसके द्वारा दिया गया एक [[घातीय जनरेटिंग फ़ंक्शन]] है
और इसके द्वारा दिया गया एक [[घातीय जनरेटिंग फ़ंक्शन]] है
:<math> \sum_{n=k}^\infty \left\{ {n \atop k}\right\} \frac{x^n}{n!} = \frac{(e^x-1)^k}{k!}.</math>
:<math> \sum_{n=k}^\infty \left\{ {n \atop k}\right\} \frac{x^n}{n!} = \frac{(e^x-1)^k}{k!}.</math>
दूसरी तरह की स्टर्लिंग संख्याओं के लिए एक मिश्रित द्विभाजित जनक फलन है
दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए एक मिश्रित द्विभाजित जनरेटिंग फ़ंक्शन है
:<math> \sum_{0 \leq k \leq n} \left\{ {n \atop k} \right\} \frac{x^n}{n!} y^k = e^{y(e^x-1)}.</math>
:<math> \sum_{0 \leq k \leq n} \left\{ {n \atop k} \right\} \frac{x^n}{n!} y^k = e^{y(e^x-1)}.</math>
 
:


=== स्पर्शोन्मुख सन्निकटन ===
=== स्पर्शोन्मुख सन्निकटन ===
के निश्चित मूल्य के लिए <math>k,</math> दूसरी तरह की स्टर्लिंग संख्याओं का स्पर्शोन्मुख मान <math> n\rightarrow \infty </math> द्वारा दिया गया है
<math>k,</math> के निश्चित मान के लिए दूसरी प्रकार की स्टर्लिंग संख्याओं का स्पर्शोन्मुख मान <math> n\rightarrow \infty </math> द्वारा दिया गया है
:<math> \left\{{n \atop k}\right\} \sim \frac{k^n}{k!}.</math>
:<math> \left\{{n \atop k}\right\} \sim \frac{k^n}{k!}.</math>
दूसरी तरफ अगर <math> k = o(\sqrt{n}) </math> (जहाँ o छोटे o संकेतन को दर्शाता है) तब
दूसरी ओर, यदि <math> k = o(\sqrt{n}) </math> (जहाँ o छोटे o संकेतन को दर्शाता है) तब
:<math> \left\{{n \atop n-k}\right\} \sim \frac{(n-k)^{2k}}{2^k k!} \left( 1 + \frac{1}{3} \frac{2 k^2 + k}{n-k} + \frac{1}{18} \frac{4k^4-k^2-3k}{(n-k)^2} + \cdots \right).</math><ref>[[Leetsch C. Hsu|L. C. Hsu]], Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277</ref>
:<math> \left\{{n \atop n-k}\right\} \sim \frac{(n-k)^{2k}}{2^k k!} \left( 1 + \frac{1}{3} \frac{2 k^2 + k}{n-k} + \frac{1}{18} \frac{4k^4-k^2-3k}{(n-k)^2} + \cdots \right).</math><ref>[[Leetsch C. Hsu|L. C. Hsu]], Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277</ref>
एक समान रूप से मान्य सन्निकटन भी मौजूद है: सभी के लिए {{mvar|k}} ऐसा है कि {{math|1 < ''k'' < ''n''}}, किसी के पास
एक समान रूप से मान्य सन्निकटन भी उपस्थित है: सभी {{mvar|k}} के लिए जैसे कि {{math|1 < ''k'' < ''n''}}, किसी के पास


:<math> \left\{{n \atop k}\right\} \sim \sqrt{\frac{v-1}{v(1-G)}} \left(\frac{v-1}{v-G}\right)^{n-k} \frac{k^n}{n^k} e^{k(1-G)} \left({n \atop k}\right),</math>
:<math> \left\{{n \atop k}\right\} \sim \sqrt{\frac{v-1}{v(1-G)}} \left(\frac{v-1}{v-G}\right)^{n-k} \frac{k^n}{n^k} e^{k(1-G)} \left({n \atop k}\right),</math>
कहाँ <math > v=n/k </math>, और <math> G\in (0,1) </math> का अनूठा उपाय है <math>  G = v e^{G-v} </math>.<ref>N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.</ref> सापेक्ष त्रुटि लगभग से बंधी है <math> 0.066/n </math>.
जहाँ <math > v=n/k </math>, और <math> G\in (0,1) </math>, <math>  G = v e^{G-v} </math> अद्वितीय हल है।<ref>N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.</ref> सापेक्ष त्रुटि लगभग <math> 0.066/n </math> से बंधी है।


== अनुप्रयोग ==
== अनुप्रयोग ==


=== पोइसन वितरण के क्षण ===
=== प्वासों वितरण के क्षण ===
यदि एक्स [[अपेक्षित मूल्य]] λ के साथ [[पॉसों वितरण]] के साथ एक यादृच्छिक चर है, तो इसका एन-वें [[पल (गणित)]] है
यदि X [[अपेक्षित मूल्य|अपेक्षित मान]] λ के साथ [[पॉसों वितरण|प्वासों वितरण]] के साथ एक यादृच्छिक चर है, तो इसका n-वाँ [[पल (गणित)|क्षण (गणित)]] है


:<math>E(X^n)=\sum_{k=0}^n \left\{ {n \atop k} \right\}\lambda^k.</math>
:<math>E(X^n)=\sum_{k=0}^n \left\{ {n \atop k} \right\}\lambda^k.</math>
विशेष रूप से, अपेक्षित मान 1 के साथ पोइसन वितरण का nवां क्षण ठीक आकार n के सेट के विभाजन की संख्या है, अर्थात, यह nवां बेल नंबर है (यह तथ्य डोबिंस्की का सूत्र है)।
विशेष रूप से अपेक्षित मान 1 के साथ प्वासों वितरण का nवां क्षण आकार n के एक समुच्चय की विभाजन संख्या है, अर्थात, यह nवां बेल संख्या है (यह तथ्य डोबिन्स्की का सूत्र है)।


=== [[यादृच्छिक क्रमपरिवर्तन]] के निश्चित बिंदुओं के क्षण ===
=== यादृच्छिक क्रमचय के निश्चित बिंदुओं के क्षण ===
बता दें कि रैंडम वेरिएबल X [[असतत समान वितरण]] के निश्चित बिंदुओं की संख्या है, आकार m के परिमित सेट का यादृच्छिक क्रमचय। तो X का nवां क्षण है
बता दें कि यादृच्छिक चर X आकार m के परिमित समुच्चय के समान रूप से वितरित यादृच्छिक क्रमचय के निश्चित बिंदुओं की संख्या है। इस प्रकार X का nवां क्षण है


:<math>E(X^n) = \sum_{k=1}^m \left\{ {n \atop k} \right\}.</math>
:<math>E(X^n) = \sum_{k=1}^m \left\{ {n \atop k} \right\}.</math>
नोट: योग की ऊपरी सीमा ''m'' है, न कि ''n''।
नोट: संकलन की ऊपरी सीमा ''m'' है।


दूसरे शब्दों में, इस प्रायिकता बंटन का ''n''वां क्षण ''n'' आकार के सेट के विभाजनों की संख्या है, जो ''m'' भागों से अधिक नहीं है।
दूसरे शब्दों में, इस प्रायिकता बंटन का nवाँ क्षण आकार n के समुच्चय विभाजनों की संख्या है जो m भागों से अधिक नहीं है। यह यादृच्छिक क्रमचय सांख्यिकी पर लेख में सिद्ध किया गया है, यद्यपि अंकन थोड़ा भिन्न है।
यह रैंडम परमुटेशन स्टैटिस्टिक्स # मोमेंट्स ऑफ फिक्स्ड पॉइंट्स पर लेख में साबित होता है, हालांकि नोटेशन थोड़ा अलग है।


=== अंत्यानुप्रासवाला योजनाएँ ===
=== अंत्यानुप्रासवाला योजनाएँ ===
दूसरी तरह की स्टर्लिंग संख्याएँ n पंक्तियों की कविता के लिए तुकबंदी योजनाओं की कुल संख्या का प्रतिनिधित्व कर सकती हैं। <math>S(n,k)</math> k अद्वितीय अंत्यानुप्रासवाला शब्दांशों का उपयोग करके n पंक्तियों के लिए संभावित अंत्यानुप्रासवाला योजनाओं की संख्या देता है। एक उदाहरण के रूप में, 3 पंक्तियों की एक कविता के लिए, केवल एक तुक (आआ) का उपयोग करके 1 तुकबंदी योजना है, दो तुकबंदी (आब, अबा, एबीबी) का उपयोग करते हुए 3 तुकबंदी योजना है, और तीन तुकबंदी (एबीसी) का उपयोग करते हुए 1 तुकबंदी योजना है।
दूसरी प्रकार की स्टर्लिंग संख्याएँ n पंक्तियों की कविता के लिए तुकबंदी योजनाओं की कुल संख्या का प्रतिनिधित्व कर सकती हैं। <math>S(n,k)</math> k अद्वितीय अंत्यानुप्रासवाला शब्दांशों का उपयोग करके n पंक्तियों के लिए संभावित अंत्यानुप्रासवाला योजनाओं की संख्या देता है। '''एक उदाहरण के रूप में, 3 पंक्तियों की एक कविता के लिए, केवल एक कविता (एएए) का उपयोग करके 1 कविता योजना है तथा 3 तुकबंदी योजनाएँ दो तुकबंदी (एएबी, एबीए, एबीबी) और 1 कविता योजना तीन तुकबंदी (एबीसी) का उपयोग करती हैं।'''


== वेरिएंट ==
== परिवर्त्य ==


=== दूसरी तरह की संबद्ध स्टर्लिंग संख्या ===
=== दूसरी प्रकार की संबद्ध स्टर्लिंग संख्याएँ ===
दूसरी तरह की एक r-संबद्ध स्टर्लिंग संख्या, n वस्तुओं के एक सेट को k उपसमुच्चय में विभाजित करने के तरीकों की संख्या है, जिसमें प्रत्येक उपसमुच्चय में कम से कम r तत्व होते हैं।<ref>L. Comtet, ''Advanced Combinatorics'', Reidel, 1974, p. 222.</ref> द्वारा निरूपित किया जाता है <math>S_r(n,k)</math> और पुनरावृत्ति संबंध का पालन करता है
दूसरे प्रकार की एक r-संबद्ध स्टर्लिंग संख्या, n आब्जेक्ट के एक समुच्चय को k उपसमुच्चय में विभाजित करने के तरीकों की संख्या है, जिसमें प्रत्येक उपसमुच्चय में कम से कम r तत्व होते हैं।<ref>L. Comtet, ''Advanced Combinatorics'', Reidel, 1974, p. 222.</ref> इसे <math>S_r(n,k)</math> द्वारा निरूपित किया जाता है तथा यह पुनरावृत्ति संबंध का पालन करता है


:<math>S_r(n+1, k)=k\ S_r(n, k)+\binom{n}{r-1}S_r(n-r+1, k-1)</math>
:<math>S_r(n+1, k)=k\ S_r(n, k)+\binom{n}{r-1}S_r(n-r+1, k-1)</math>
2-संबद्ध संख्याएँ {{OEIS|A008299}} कहीं और वार्ड संख्या के रूप में और [[Mahler बहुपद]]ों के गुणांकों के परिमाण के रूप में दिखाई देते हैं।
2-संबद्ध संख्याएँ अन्यत्र वार्ड संख्या के रूप में और [[Mahler बहुपद|महलार बहुपदों]] के गुणांकों के परिमाण के रूप में दिखाई देती हैं।


=== दूसरी तरह की घटी हुई स्टर्लिंग संख्या ===
=== दूसरी प्रकार की न्यूनीकृत स्टर्लिंग संख्या ===
एन ऑब्जेक्ट्स को पूर्णांक 1, 2, ..., एन द्वारा विभाजित करने के लिए निरूपित करें। दूसरी तरह की घटी हुई स्टर्लिंग संख्या को निरूपित करें <math>S^d(n, k)</math>, पूर्णांक 1, 2, ..., n को k गैर-रिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या होने के लिए, जैसे कि प्रत्येक उपसमुच्चय में सभी तत्वों की जोड़ीदार दूरी कम से कम d हो। अर्थात्, किसी दिए गए उपसमुच्चय में किसी भी पूर्णांक i और j के लिए, यह आवश्यक है <math>|i-j| \geq d</math>. यह दिखाया गया है कि ये संख्याएँ संतुष्ट करती हैं
पूर्णांक 1, 2, ..., n द्वारा विभाजन के लिए n ऑब्जेक्ट को निरूपित करें। पूर्णांक 1, 2, ..., n को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या होने के लिए दूसरे प्रकार की न्यूनीकृत स्टर्लिंग संख्या को <math>S^d(n, k)</math> के रूप में परिभाषित करें जिससे कि प्रत्येक उपसमुच्चय में सभी तत्वों की युग्मानूसार दूरी कम से कम d हो। अर्थात किसी दिए गए उपसमुच्चय में किसी भी पूर्णांक i और j के लिए यह <math>|i-j| \geq d</math>. आवश्यक है।


:<math>S^d(n, k) = S(n-d+1, k-d+1), n \geq k \geq d</math>
:<math>S^d(n, k) = S(n-d+1, k-d+1), n \geq k \geq d</math>
(इसलिए नाम घटाया गया)।<ref>A. Mohr and T.D. Porter, ''[http://www.austinmohr.com/work/files/stirling.pdf Applications of Chromatic Polynomials Involving Stirling Numbers]'', Journal of Combinatorial Mathematics and Combinatorial Computing '''70''' (2009), 57–64.</ref> निरीक्षण करें (दोनों परिभाषा और कमी सूत्र द्वारा), कि <math>S^1(n, k) = S(n, k)</math>, दूसरी तरह की परिचित स्टर्लिंग संख्याएँ।
(इसलिए नाम घटाया गया)।<ref>A. Mohr and T.D. Porter, ''[http://www.austinmohr.com/work/files/stirling.pdf Applications of Chromatic Polynomials Involving Stirling Numbers]'', Journal of Combinatorial Mathematics and Combinatorial Computing '''70''' (2009), 57–64.</ref> यह दिखाया गया है कि ये संख्याएँ संतुष्ट करती हैं ।ध्यान दें (दोनों परिभाषा और न्यूनीकरण सूत्र द्वारा), कि <math>S^1(n, k) = S(n, k)</math> दूसरी प्रकार की परिचित स्टर्लिंग संख्या है।


== यह भी देखें ==
== यह भी देखें ==
* स्टर्लिंग संख्या
* स्टर्लिंग संख्या
* पहली तरह की स्टर्लिंग संख्याएँ
* प्रथम प्रकार की स्टर्लिंग संख्याएँ
* बेल नंबर - n सदस्यों वाले सेट के विभाजनों की संख्या
* बेल संख्या - n सदस्यों वाले समुच्चय के विभाजनों की संख्या
* [[स्टर्लिंग बहुपद]]
* [[स्टर्लिंग बहुपद]]
*बारह मार्ग
*बारह मार्ग
* {{Wikiversity-inline|Partition related number triangles}}
* {{Wikiversity-inline|विभाजन संबंधित संख्या त्रिकोण}}


==संदर्भ==
==संदर्भ==
Line 388: Line 373:


{{Classes of natural numbers}}
{{Classes of natural numbers}}
[[Category: क्रमपरिवर्तन]] [[Category: क्रमगुणित और द्विपद विषय]] [[Category: संख्याओं का त्रिकोण]] [[Category: संख्याओं पर संचालन]]
   


[[pl:Liczby Stirlinga#Liczby Stirlinga II rodzaju]]
[[pl:Liczby Stirlinga#Liczby Stirlinga II rodzaju]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
[[Category:Collapse templates]]
[[Category: Machine Translated Page]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with script errors]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:क्रमगुणित और द्विपद विषय]]
[[Category:क्रमपरिवर्तन]]
[[Category:संख्याओं का त्रिकोण]]
[[Category:संख्याओं पर संचालन]]

Latest revision as of 14:31, 6 June 2023

गणित में, विशेष रूप से साहचर्य में, दूसरी प्रकार की स्टर्लिंग संख्या (या स्टर्लिंग विभाजन संख्या) n ऑब्जेक्ट के एक समुच्चय को k अरिक्‍त उपसमुच्चय में विभाजित करने के तरीकों की संख्या है और इसे या द्वारा निरूपित किया जाता है।[1] दूसरी प्रकार की स्टर्लिंग संख्या गणितीय क्षेत्र में होती है जिसे साहचर्य कहा जाता है तथा जो विभाजन (संख्या सिद्धांत) का अध्ययन करता है। इनका नाम जेम्स स्टर्लिंग (गणितज्ञ) के नाम पर रखा गया है।

त्रिकोणीय मैट्रिक्स के रूप में देखे जाने पर प्रथम और द्वितीय प्रकार की स्टर्लिंग संख्या को एक दूसरे के व्युत्क्रम के रूप में समझा जा सकता है। यह लेख द्वितीय प्रकार की स्टर्लिंग संख्याओं की विशेषताओं के लिए समर्पित है। यह लेख स्टर्लिंग संख्याओं के दो प्रकारों को जोड़ने वाली सर्वसमिका प्रतीत होती है।

परिभाषा

दूसरे प्रकार की लिखी गईं या या अन्य अंकन के साथ स्टर्लिंग संख्या चिह्नित ऑब्जेक्ट्स के एक समुच्चय(गणित) को अरिक्त तथा अचिह्नित उपसमुच्चय में विभाजित करने के तरीकों की संख्या की गणना करती है। तुल्यांकतः वे विभिन्न तुल्यता संबंधों की संख्या की गणना शुद्ध रुप से समकक्ष वर्गों के साथ करते हैं जिन्हें तत्व समुच्चय पर परिभाषित किया जा सकता है। वस्तुतः विभाजन के समुच्चय और दिए गए समुच्चय पर तुल्यता संबंधों के समुच्चय के मध्य एक द्विअंतथक्षेपण है। स्पष्ट रुप से,

के लिए n ≥ 0, और के लिए n ≥ 1

n-तत्व समुच्चय को n भागों में विभाजित करने का एकमात्र तरीका समुच्चय के प्रत्येक तत्व को अपने क्षेत्र में रखना है और एक अरिक्‍त समुच्चय को एक क्षेत्र में विभाजित करने का एकमात्र तरीका सभी तत्वों को एक ही क्षेत्र में रखना है। निम्नलिखित स्पष्ट सूत्र का उपयोग करके उनकी गणना की जा सकती है:[2]

द्वितीय प्रकार की स्टर्लिंग संख्याओं को उन संख्याओं के रूप में भी चित्रित किया जा सकता है जो तब उत्पन्न होती हैं जब घटते क्रमगुणों के संदर्भ में अनिश्चित X की शक्तियों को व्यक्त किया जाता है।[3]

(विशेष रूप से, (x)0 = 1 क्योंकि यह एक रिक्‍त परिणाम है।)सामान्यतः किसी के पास होता है


संकेतन

द्वितीय प्रकार की स्टर्लिंग संख्याओं के लिए विभिन्न संकेतन का उपयोग किया गया है। वर्ष 1962 में इन संख्याओं के परिवर्त्य के लिए ब्रेस नोटेशन का प्रयोग इमानुएल मार्क्स और एंटोनियो सालमेरी द्वारा किया गया था।[4][5] इसने डोनाल्ड एर्विन नुथ को इसका उपयोग करने के लिए प्रेरित किया, जैसा कि द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग (वर्ष 1968) के प्रथम खंड में दिखाया गया है।[6][7] द आर्ट ऑफ़ कंप्यूटर प्रोग्रामिंग के तृतीय संस्करण के अनुसार इस संकेतन का प्रथम उपयोग वर्ष 1935 में जोवन करामाता द्वारा भी किया गया था।[8][9] संकेतन S(n, k) का उपयोग रिचर्ड पी. स्टेनली ने अपनी पुस्तक एन्युमरेटिव कॉम्बिनेटरिक्स में और बहुत पहले, कई अन्य लेखकों द्वारा भी किया था।[6]

स्टर्लिंग नंबरों के लिए इस पृष्ठ पर उपयोग किए गए अंकन सार्वभौमिक नहीं हैं और अन्य स्रोतों में संकेतन के साथ विरोध कर सकते हैं।

बेल संख्या से संबंध

चूँकि स्टर्लिंग संख्या किसी n-तत्व समुच्चय के विभाजन को k भागों में गिनता है, जिसका योग

k के सभी मानों में n सदस्यों वाले समुच्चय के विभाजनों की कुल संख्या है। इस संख्या को nवें बेल संख्या के रूप में जाना जाता है।

तुलनात्मक रूप से, क्रमित बेल संख्याओं की गणना दूसरे प्रकार के स्टर्लिंग संख्याओं से की जा सकती है

[10]


तालिका मान

नीचे दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए मानों की त्रिकोणीय सारणी दी गई है :

k
n
0 1 2 3 4 5 6 7 8 9 10
0 1
1 0 1
2 0 1 1
3 0 1 3 1
4 0 1 7 6 1
5 0 1 15 25 10 1
6 0 1 31 90 65 15 1
7 0 1 63 301 350 140 21 1
8 0 1 127 966 1701 1050 266 28 1
9 0 1 255 3025 7770 6951 2646 462 36 1
10 0 1 511 9330 34105 42525 22827 5880 750 45 1

द्विपद गुणांकों के साथ इस तालिका को k > n तक बढ़ाया जा सकता है, किन्तु सभी प्रविष्टियां 0 होंगी।

गुणधर्म

पुनरावृत्ति संबंध

दूसरी प्रकार की स्टर्लिंग संख्याएँ पुनरावृत्ति संबंध का पालन करती हैं

प्रारंभिक शर्तों के साथ

उदाहरण के लिए संख्या 25 में कॉलम k=3 और 25 = 7 + (3×6) द्वारा पंक्ति n = 5 दी गई है जहां ऊपर की संख्या 7 है और 25 के बाईं ओर है तथा 25 से ऊपर की संख्या 6 है और जिसमें 6 है, वह कॉलम 3 है।

इस पुनरावृत्ति को सिद्ध करने के लिए देखें कि ऑब्जेक्ट्स के k अरिक्त उपसमुच्चय विभाजन में या तो -वें ऑब्जेक्ट एकल के रूप में होता है या नहीं। एकल उपसमुच्चयों में से एक होने के तरीकों की संख्या द्वारा दी गई है

चूँकि हमें शेष n ऑब्जेक्ट को उपलब्ध उपसमुच्चय में विभाजित करना होगा। दूसरी स्थिति में -वें ऑब्जेक्ट अन्य उपसमुच्चय के ऑब्जेक्ट्स से संबंधित है। तरीकों की संख्या द्वारा दिया गया है

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

विविक्त गणित के खंड 6.1 की तालिका स्टर्लिंग संख्याओं को सम्मिलित करने वाले परिमित योगों के सामान्यीकृत रूपों की अधिकता प्रदान करती है। इस लेख के लिए प्रासंगिक कई विशेष परिमित राशियों में सम्मिलित हैं।

निचला और ऊपरी सीमा

अगर और , तब

[11]

अधिकतम

निर्धारित , के लिए एकल अधिकतम है, जो k के अधिकतम दो निरंतर मानों के लिए प्राप्त किया जाता है। अर्थात् एक पूर्णांक ऐसा है कि

जब बड़ी है

और दूसरी तरह की स्टर्लिंग संख्या का अधिकतम मान है

[11]

समता

दूसरे प्रकार की स्टर्लिंग संख्या की समता (गणित) संबंधित द्विपद गुणांक की समता के समान होती है:

कहाँ

यह संबंध सियरपिंस्की त्रिभुज पर मानचित्रण n और k निर्देशांक द्वारा निर्दिष्ट किया गया है।

अधिकतम प्रत्यक्ष रूप से, दो समुच्चयों में संबंधित व्यंजकों के परिणामों के द्विआधारी प्रतिनिधित्व में 1 की स्थिति होती है:

इन दो समुच्चयों को प्रतिच्छेद करके एक बिटवाइज़ एंड ऑपरेशन की नकल की जा सकती है:

O(1) समय में दूसरी प्रकार की स्टर्लिंग संख्या की समता प्राप्त करने के लिए। स्यूडोकोड में:

जहाँ आइवरसन कोष्ठक है।

दूसरे प्रकार के की केंद्रीय स्टर्लिंग संख्या की समता विषम होती है यदि एक फ़िबिनरी संख्या है जिसका द्विआधारी प्रतिनिधित्व कोई दो निरंतर 1s नहीं हैं।[12]

सरल सर्वसमिका

कुछ साधारण सर्वसमिका सम्मिलित हैं

ऐसा इसलिए है क्योंकि n तत्वों को n − 1 समुच्चय में विभाजित करने का अर्थ है कि इसे आकार 2 के एक समुच्चय और आकार 1 के n − 2 समुच्चय में विभाजित करना। इसलिए हमें केवल उन दो तत्वों का चयन करने की आवश्यकता है;

और

इसे देखने के लिए, सर्वप्रथम ध्यान दें कि पूरक उपसमुच्चय A और B के 2n क्रमित युग्म हैं। प्रथम स्थिति में A रिक्त तथा द्वितीय स्थिति में B रिक्त है, इसलिए 2n − 2 उपसमुच्चय के क्रमित युग्म बने रहते हैं। अंत में, चूंकि हमें क्रमित युग्म के स्थान पर अव्यवस्थित युग्म आवश्यकता होती हैं, इसलिए हम ऊपर दिए गए परिणाम को देते हुए इस अंतिम संख्या को 2 से विभाजित करते हैं।

पुनरावृत्ति-संबंध का एक और स्पष्ट विस्तार उपर्युक्त उदाहरण की भावना में सर्वसमिका देता है।

अन्य पहचान

इन उदाहरणों को पुनरावृत्ति द्वारा संक्षेपित किया जा सकता है

स्पष्ट सूत्र

दूसरी प्रकार की स्टर्लिंग संख्याएँ स्पष्ट सूत्र द्वारा दी गई हैं:

इसे n से k तक के अनुमानों की संख्या की गणना करने के लिए समावेशन-निष्‍कासन तथा इस तथ्य का उपयोग करके प्राप्त किया जा सकता है कि ऐसे अनुमानों की संख्या है।

इसके अतिरिक्त यह सूत्र x = 0 पर मूल्यांकन किए गए एकपद के kवें अग्रगामी अंतर की एक विशेष स्थिति है:

क्योंकि बर्नौली बहुपदों को इन आगे के अंतरों के संदर्भ में लिखा जा सकता है, जिससे बर्नौली संख्याओं में तत्काल एक संबंध प्राप्त होता है:

गणितीय फलन की एनआईएसटी हैंडबुक में दिया गया एक और स्पष्ट सूत्र है

फलनों का निर्माण

एक निश्चित पूर्णांक n के लिए, दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए सामान्य फलनों का निर्माण द्वारा दिया गया है

जहाँ टचर्ड बहुपद हैं। यदि इसके स्थान पर घटते भाज्य के विरुद्ध स्टर्लिंग संख्याओं का योग किया जाए, तो अन्य सर्वसमिकाओं के मध्य निम्नलिखित सर्वसमिकाओं को प्रदर्शित किया जा सकता है:

और

एक निश्चित पूर्णांक k के लिए, दूसरी प्रकार की की स्टर्लिंग संख्या में एक परिमय साधारण जनरेटिंग फ़ंक्शन होता है

और इसके द्वारा दिया गया एक घातीय जनरेटिंग फ़ंक्शन है

दूसरी प्रकार की स्टर्लिंग संख्याओं के लिए एक मिश्रित द्विभाजित जनरेटिंग फ़ंक्शन है

स्पर्शोन्मुख सन्निकटन

के निश्चित मान के लिए दूसरी प्रकार की स्टर्लिंग संख्याओं का स्पर्शोन्मुख मान द्वारा दिया गया है

दूसरी ओर, यदि (जहाँ o छोटे o संकेतन को दर्शाता है) तब

[13]

एक समान रूप से मान्य सन्निकटन भी उपस्थित है: सभी k के लिए जैसे कि 1 < k < n, किसी के पास

जहाँ , और , अद्वितीय हल है।[14] सापेक्ष त्रुटि लगभग से बंधी है।

अनुप्रयोग

प्वासों वितरण के क्षण

यदि X अपेक्षित मान λ के साथ प्वासों वितरण के साथ एक यादृच्छिक चर है, तो इसका n-वाँ क्षण (गणित) है

विशेष रूप से अपेक्षित मान 1 के साथ प्वासों वितरण का nवां क्षण आकार n के एक समुच्चय की विभाजन संख्या है, अर्थात, यह nवां बेल संख्या है (यह तथ्य डोबिन्स्की का सूत्र है)।

यादृच्छिक क्रमचय के निश्चित बिंदुओं के क्षण

बता दें कि यादृच्छिक चर X आकार m के परिमित समुच्चय के समान रूप से वितरित यादृच्छिक क्रमचय के निश्चित बिंदुओं की संख्या है। इस प्रकार X का nवां क्षण है

नोट: संकलन की ऊपरी सीमा m है।

दूसरे शब्दों में, इस प्रायिकता बंटन का nवाँ क्षण आकार n के समुच्चय विभाजनों की संख्या है जो m भागों से अधिक नहीं है। यह यादृच्छिक क्रमचय सांख्यिकी पर लेख में सिद्ध किया गया है, यद्यपि अंकन थोड़ा भिन्न है।

अंत्यानुप्रासवाला योजनाएँ

दूसरी प्रकार की स्टर्लिंग संख्याएँ n पंक्तियों की कविता के लिए तुकबंदी योजनाओं की कुल संख्या का प्रतिनिधित्व कर सकती हैं। k अद्वितीय अंत्यानुप्रासवाला शब्दांशों का उपयोग करके n पंक्तियों के लिए संभावित अंत्यानुप्रासवाला योजनाओं की संख्या देता है। एक उदाहरण के रूप में, 3 पंक्तियों की एक कविता के लिए, केवल एक कविता (एएए) का उपयोग करके 1 कविता योजना है तथा 3 तुकबंदी योजनाएँ दो तुकबंदी (एएबी, एबीए, एबीबी) और 1 कविता योजना तीन तुकबंदी (एबीसी) का उपयोग करती हैं।

परिवर्त्य

दूसरी प्रकार की संबद्ध स्टर्लिंग संख्याएँ

दूसरे प्रकार की एक r-संबद्ध स्टर्लिंग संख्या, n आब्जेक्ट के एक समुच्चय को k उपसमुच्चय में विभाजित करने के तरीकों की संख्या है, जिसमें प्रत्येक उपसमुच्चय में कम से कम r तत्व होते हैं।[15] इसे द्वारा निरूपित किया जाता है तथा यह पुनरावृत्ति संबंध का पालन करता है

2-संबद्ध संख्याएँ अन्यत्र वार्ड संख्या के रूप में और महलार बहुपदों के गुणांकों के परिमाण के रूप में दिखाई देती हैं।

दूसरी प्रकार की न्यूनीकृत स्टर्लिंग संख्या

पूर्णांक 1, 2, ..., n द्वारा विभाजन के लिए n ऑब्जेक्ट को निरूपित करें। पूर्णांक 1, 2, ..., n को k अरिक्त उपसमुच्चय में विभाजित करने के तरीकों की संख्या होने के लिए दूसरे प्रकार की न्यूनीकृत स्टर्लिंग संख्या को के रूप में परिभाषित करें जिससे कि प्रत्येक उपसमुच्चय में सभी तत्वों की युग्मानूसार दूरी कम से कम d हो। अर्थात किसी दिए गए उपसमुच्चय में किसी भी पूर्णांक i और j के लिए यह . आवश्यक है।

(इसलिए नाम घटाया गया)।[16] यह दिखाया गया है कि ये संख्याएँ संतुष्ट करती हैं ।ध्यान दें (दोनों परिभाषा और न्यूनीकरण सूत्र द्वारा), कि दूसरी प्रकार की परिचित स्टर्लिंग संख्या है।

यह भी देखें

संदर्भ

  1. Ronald L. Graham, Donald E. Knuth, Oren Patashnik (1988) Concrete Mathematics, Addison–Wesley, Reading MA. ISBN 0-201-14236-8, p. 244.
  2. "Stirling Numbers of the Second Kind, Theorem 3.4.1".
  3. Confusingly, the notation that combinatorialists use for falling factorials coincides with the notation used in special functions for rising factorials; see Pochhammer symbol.
  4. Transformation of Series by a Variant of Stirling's Numbers, Imanuel Marx, The American Mathematical Monthly 69, #6 (June–July 1962), pp. 530–532, JSTOR 2311194.
  5. Antonio Salmeri, Introduzione alla teoria dei coefficienti fattoriali, Giornale di Matematiche di Battaglini 90 (1962), pp. 44–54.
  6. 6.0 6.1 Knuth, D.E. (1992), "Two notes on notation", Amer. Math. Monthly, 99 (5): 403–422, arXiv:math/9205211, Bibcode:1992math......5211K, doi:10.2307/2325085, JSTOR 2325085, S2CID 119584305
  7. Donald E. Knuth, Fundamental Algorithms, Reading, Mass.: Addison–Wesley, 1968.
  8. p. 66, Donald E. Knuth, Fundamental Algorithms, 3rd ed., Reading, Mass.: Addison–Wesley, 1997.
  9. Jovan Karamata, Théorèmes sur la sommabilité exponentielle et d'autres sommabilités s'y rattachant, Mathematica (Cluj) 9 (1935), pp, 164–178.
  10. Sprugnoli, Renzo (1994), "Riordan arrays and combinatorial sums" (PDF), Discrete Mathematics, 132 (1–3): 267–290, doi:10.1016/0012-365X(92)00570-H, MR 1297386
  11. 11.0 11.1 Rennie, B.C.; Dobson, A.J. (1969). "दूसरी तरह की स्टर्लिंग संख्या पर". Journal of Combinatorial Theory. 7 (2): 116–121. doi:10.1016/S0021-9800(69)80045-1. ISSN 0021-9800.
  12. Chan, O-Yeat; Manna, Dante (2010), "Congruences for Stirling numbers of the second kind" (PDF), Gems in Experimental Mathematics, Contemporary Mathematics, vol. 517, Providence, Rhode Island: American Mathematical Society, pp. 97–111, doi:10.1090/conm/517/10135, MR 2731094
  13. L. C. Hsu, Note on an Asymptotic Expansion of the nth Difference of Zero, AMS Vol.19 NO.2 1948, pp. 273--277
  14. N. M. Temme, Asymptotic Estimates of Stirling Numbers, STUDIES IN APPLIED MATHEMATICS 89:233-243 (1993), Elsevier Science Publishing.
  15. L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 222.
  16. A. Mohr and T.D. Porter, Applications of Chromatic Polynomials Involving Stirling Numbers, Journal of Combinatorial Mathematics and Combinatorial Computing 70 (2009), 57–64.