बारह गुना शैली (ट्वेल्व फोल्ड वे): Difference between revisions

From Vigyanwiki
(Created page with "{{short description|Systematic classification of 12 related enumerative problems concerning two finite sets}} {{technical|date=March 2019}} साहचर्य में...")
 
No edit summary
 
(8 intermediate revisions by 4 users not shown)
Line 1: Line 1:
{{short description|Systematic classification of 12 related enumerative problems concerning two finite sets}}
{{short description|Systematic classification of 12 related enumerative problems concerning two finite sets}}
{{technical|date=March 2019}}
{{technical|date=मार्च 2019}}
[[साहचर्य]] में, बारह गुना तरीका दो परिमित सेटों से संबंधित 12 संबंधित गणनात्मक समस्याओं का एक व्यवस्थित वर्गीकरण है, जिसमें गणना [[क्रमपरिवर्तन]], संयोजन, [[ multiset ]] और विभाजन या तो एक सेट या [[विभाजन (संख्या सिद्धांत)]] के विभाजन की शास्त्रीय समस्याएं शामिल हैं। वर्गीकरण के विचार का श्रेय [[जियान-कार्लो रोटा]] को दिया जाता है, और नाम [[जोएल स्पेंसर]] द्वारा सुझाया गया था।<ref>[[Richard P. Stanley]] (1997). [http://www-math.mit.edu/~rstan/ec/ ''Enumerative Combinatorics, Volume I'']. Cambridge University Press. {{ISBN|0-521-66351-2}}. p.41</ref>
[[साहचर्य]] में, बारह गुना शैली दो परिमित समुच्चयों से संबंधित 12 संबंधित गणनात्मक समस्याओं का एक व्यवस्थित वर्गीकरण है, जिसमें गणना [[क्रमपरिवर्तन|क्रमचय]], संयोजन, [[ multiset |बहु-समुच्चय]] और विभाजन या तो एक समुच्चय या संख्या की शास्त्रीय समस्याएं सम्मिलित हैं। वर्गीकरण के विचार का श्रेय [[जियान-कार्लो रोटा]] को दिया जाता है और नाम [[जोएल स्पेंसर]] द्वारा सुझाया गया था।<ref>[[Richard P. Stanley]] (1997). [http://www-math.mit.edu/~rstan/ec/ ''Enumerative Combinatorics, Volume I'']. Cambridge University Press. {{ISBN|0-521-66351-2}}. p.41</ref>




== सिंहावलोकन ==
== संक्षिप्त विवरण ==


होने देना {{mvar|N}} और {{mvar|X}} परिमित समुच्चय हो। होने देना <math>n=|N|</math> और <math>x=|X|</math> सेट की [[प्रमुखता]] हो। इस प्रकार {{mvar|N}} एक {{mvar|n}}-सेट, और {{mvar|X}} एक {{mvar|x}}-तय करना।
मान लीजिए कि {{mvar|N}} और {{mvar|X}} परिमित समुच्चय हैं और <math>n=|N|</math> और <math>x=|X|</math> समुच्चय की [[प्रमुखता]] हैं। इस प्रकार {{mvar|N}} एक {{mvar|n}}-समुच्चय और {{mvar|X}} एक {{mvar|x}}-समुच्चय हैं।


हम जिस सामान्य समस्या पर विचार करते हैं, वह है फलन (गणित) के [[तुल्यता वर्ग]]ों की गणना। <math>f: N \to X</math>.
हम जिस सामान्य समस्या पर विचार कर रहे हैं वह फलनों <math>f: N \to X</math> के तुल्यता वर्गों की गणना है।


कार्य निम्नलिखित तीन प्रतिबंधों में से एक के अधीन हैं:
फलन निम्नलिखित तीन प्रतिबंधों में से एक के अधीन हैं:
# कोई शर्त नहीं: प्रत्येक {{mvar|a}} में {{mvar|N}} द्वारा भेजा जा सकता है {{mvar|f}} किसी को {{mvar|b}} में {{mvar|X}}, और प्रत्येक {{mvar|b}} कई बार हो सकता है।
# कोई प्रतिबन्ध नहीं: {{mvar|N}} में प्रत्येक {{mvar|a}} को  {{mvar|f}} द्वारा {{mvar|X}} में किसी भी {{mvar|b}} को भेजा जा सकता है, और प्रत्येक {{mvar|b}} कई बार हो सकता है।
# {{mvar|f}} [[इंजेक्शन समारोह]] है: प्रत्येक मान <math>f(a)</math> के लिए {{mvar|a}} में {{mvar|N}} एक दूसरे से अलग होना चाहिए, और इसलिए प्रत्येक {{mvar|b}} में {{mvar|X}} की [[छवि (गणित)]] में अधिकतम एक बार हो सकता है {{mvar|f}}.
# {{mvar|f}} [[इंजेक्शन समारोह|अंतःक्षेपी]] है: प्रत्येक मान {{mvar|N}} में {{mvar|a}} के लिए <math>f(a)</math> में प्रत्येक दूसरे से अलग होना चाहिए और इसलिए {{mvar|X}}  में प्रत्येक {{mvar|b}}, {{mvar|f}} छवि में अधिकतम एक बार हो सकता है।
# {{mvar|f}} विशेषण फलन है: प्रत्येक के लिए {{mvar|b}} में {{mvar|X}} कम से कम एक होना चाहिए {{mvar|a}} में {{mvar|N}} ऐसा है कि <math>f(a) = b</math>, इस प्रकार प्रत्येक {{mvar|b}} की छवि में कम से कम एक बार होगा {{mvar|f}}.
# {{mvar|f}} प्रक्षेप्य है:  {{mvar|X}} में प्रत्येक {{mvar|b}} के लिए  {{mvar|N}} में कम-से-कम एक {{mvar|a}} ऐसा होना चाहिए कि <math>f(a) = b</math>, इस प्रकार प्रत्येक {{mvar|b}} कम-से-कम एक बार {{mvar|f}} की छवि में होगा।
(स्थिति{{mvar|f}} is [[Bijection]] केवल एक विकल्प है जब <math>n=x</math>; लेकिन तब यह दोनों के बराबर है{{mvar|f}} इंजेक्शन है और{{mvar|f}} विशेषण है।)
(स्थिति "{{mvar|f}} [[Bijection|द्विभाजित]] है" केवल एक विकल्प है जब <math>n=x</math> है; परन्तु तब यह " {{mvar|f}} अंतःक्षेपी है" और "{{mvar|f}} प्रक्षेप्य है" दोनों के समान है)


चार अलग-अलग [[तुल्यता संबंध]] हैं जिन्हें कार्यों के सेट पर परिभाषित किया जा सकता है {{mvar|f}} से {{mvar|N}} को {{mvar|X}}:
चार अलग-अलग [[तुल्यता संबंध]] हैं जिन्हे {{mvar|N}} से {{mvar|X}} तक के फलनों {{mvar|f}} के समुच्चय पर परिभाषित किया जा सकता है:
# समानता;
# समानता;
# के क्रम[[परिवर्तन]] [[तक]] समानता {{mvar|N}};
# {{mvar|N}} के क्रमचय तक समानता;
# के क्रमपरिवर्तन तक समानता {{mvar|X}};
# {{mvar|X}} के क्रमचय तक समानता;
# के क्रमपरिवर्तन तक समानता {{mvar|N}} और {{mvar|X}}.
# {{mvar|N}} और {{mvar|X}} के क्रमचय तक समानता।
कार्यों पर तीन शर्तों और चार समकक्ष संबंधों को जोड़ा जा सकता है {{math|1=3 &times; 4 = 12}} तौर तरीकों।
फलनों पर तीन प्रतिबन्धों और चार तुल्यता संबंधों को {{math|1=3 &times; 4 = 12}} तरीकों से जोड़ा जा सकता है।


कार्यों के समतुल्य वर्गों की गणना की बारह समस्याओं में समान कठिनाइयाँ शामिल नहीं हैं, और उन्हें हल करने के लिए एक व्यवस्थित तरीका नहीं है। समस्याओं में से दो तुच्छ हैं (तुल्यता वर्गों की संख्या 0 या 1 है), पाँच समस्याओं का उत्तर n और x के गुणक सूत्र के संदर्भ में है, और शेष पाँच समस्याओं का उत्तर संयोजक कार्यों (स्टर्लिंग संख्या) के संदर्भ में है और दिए गए भागों की संख्या के लिए विभाजन (संख्या सिद्धांत)
फलनों के समतुल्य वर्गों की गणना की बारह समस्याओं में समान कठिनाइयाँ सम्मिलित नहीं हैं और उन्हें हल करने के लिए एक व्यवस्थित शैली नहीं है। समस्याओं में से दो तुच्छ हैं (तुल्यता वर्गों की संख्या 0 या 1 है), पाँच समस्याओं का उत्तर n और x के गुणक सूत्र के संदर्भ में है और शेष पाँच समस्याओं का उत्तर संयोजक फलन (स्टर्लिंग संख्याओं के संदर्भ में है और दिए गए भागों की संख्या के लिए विभाजन फलन) है।


इस सेटिंग में शास्त्रीय गणना समस्याओं का समावेश इस प्रकार है।
इस समायोजन में शास्त्रीय गणना समस्याओं का समावेश इस प्रकार है।
* एक्स के एन-क्रमपरिवर्तन (यानी, [[आंशिक क्रमपरिवर्तन]] या पुनरावृत्ति के बिना अनुक्रम) की गिनती #केस i|इंजेक्शन कार्यों की गिनती के बराबर है {{math|''N'' &rarr; ''X''}}.
* ''X'' के ''n''-क्रमचय (अर्थात, [[आंशिक क्रमपरिवर्तन|आंशिक क्रमचय]] या पुनरावृत्ति के बिना अनुक्रम) की गणना अंतःक्षेपी फलनों {{math|''N'' &rarr; ''X''}} की गणना के समान है।
* X के n-संयोजनों की गणना #case ininjective प्रकार्यों की गणना करने के बराबर है {{math|''N'' &rarr; ''X''}} N के क्रमपरिवर्तन तक।
* ''X''  के ''n''-संयोजनों की गणना ''N'' के क्रमचय तक अंतःक्षेपी फलनों {{math|''N'' &rarr; ''X''}} की गणना करने के समान है।
* समुच्चय X के क्रमपरिवर्तनों की गणना करना अंतःक्षेपी कार्यों की गिनती के बराबर है {{math|''N'' &rarr; ''X''}} जब n = x, और #case s|surjective कार्यों की गणना करने के लिए भी {{math|''N'' &rarr; ''X''}} कब {{math|1=''n'' = ''x''}}.
* समुच्चय X के क्रमचयों की गणना अंतःक्षेपी फलनों {{math|''N'' &rarr; ''X''}} की गणना के समान है जब n = x, और प्रक्षेप्य फलनों {{math|''N'' &rarr; ''X''}} की गणना करने के लिए भी जब {{math|1=''n'' = ''x''}} है।
* X में तत्वों के आकार n (जिसे पुनरावृत्ति के साथ n-संयोजन के रूप में भी जाना जाता है) के मल्टीसेट की गणना करना सभी #case fn|फ़ंक्शंस की गणना करने के बराबर है {{math|''N'' &rarr; ''X''}} N के क्रमपरिवर्तन तक।
*''X'' में तत्वों के आकार ''n'' (जिसे पुनरावृत्ति के साथ n-संयोजन के रूप में भी जाना जाता है) के बहु-समुच्चयों की गणना ''N'' के क्रमचय तक सभी फलनों {{math|''N'' &rarr; ''X''}} की गणना के समान है।
* समुच्चय N के x उपसमुच्चय में विभाजनों की गणना करना सभी #केस sx | प्रक्षेप कार्यों को गिनने के बराबर है {{math|''N'' &rarr; ''X''}} X के क्रमपरिवर्तन तक।
* समुच्चय ''N'' के ''x'' उपसमुच्चयों में विभाजन की गणना करना, सभी प्रक्षेप्य फलनों {{math|''N'' &rarr; ''X''}} को ''X'' के क्रमचय तक गणना के समान है।
* संख्या n की x भागों में [[रचना (संख्या सिद्धांत)]] की गणना सभी #केस एसएन | प्रक्षेप कार्यों की गिनती के बराबर है {{math|''N'' &rarr; ''X''}} N के क्रमपरिवर्तन तक।
* संख्या ''n'' रचना को ''x'' भागों में गणना करना ''N'' के क्रमचय तक सभी प्रक्षेप्य फलनों {{math|''N'' &rarr; ''X''}} की गणना के समान है।


== दृष्टिकोण ==
== दृष्टिकोण ==
Line 37: Line 37:
बारह प्रकार से विभिन्न समस्याओं पर विभिन्न दृष्टिकोणों से विचार किया जा सकता है।
बारह प्रकार से विभिन्न समस्याओं पर विभिन्न दृष्टिकोणों से विचार किया जा सकता है।


=== बॉल्स और बॉक्स ===
=== गेंद और संदूक ===


पारम्परिक रूप से कई समस्याओं को ट्वेल्वफोल्ड तरीके से कार्यों को परिभाषित करने के बजाय गेंदों को बक्सों (या कुछ इसी तरह के दृश्य) में रखने के संदर्भ में तैयार किया गया है। सेट एन को गेंदों के सेट के साथ पहचाना जा सकता है, और एक्स को बॉक्स के सेट के साथ पहचाना जा सकता है; समारोह ƒ : {{math|''N'' &rarr; ''X''}} फिर गेंदों को बक्से में वितरित करने के तरीके का वर्णन करता है, अर्थात् प्रत्येक गेंद को बॉक्स ƒ(a) में डालकर। एक फ़ंक्शन अपने डोमेन में प्रत्येक मान के लिए एक अद्वितीय छवि प्रदान करता है; यह संपत्ति इस संपत्ति से परिलक्षित होती है कि कोई भी गेंद केवल एक बॉक्स में जा सकती है (इस आवश्यकता के साथ कि कोई भी गेंद बॉक्स के बाहर नहीं रहनी चाहिए), जबकि कोई भी बॉक्स गेंदों की मनमानी संख्या को समायोजित कर सकता है। इसके अलावा ƒ को अंतःक्षेपी होने की आवश्यकता का अर्थ है किसी एक बॉक्स में एक से अधिक गेंद डालने से मना करना, जबकि ƒ को आच्छादक होने की आवश्यकता का अर्थ है कि प्रत्येक बॉक्स में कम से कम एक गेंद हो।
पारम्परिक रूप से कई समस्याओं को बारह प्रकार से फलनों को परिभाषित करने के बजाय गेंदों को संदूकों (या कुछ इसी तरह के दृश्य) में रखने के संदर्भ में तैयार किया गया है। समुच्चय ''N'' को गेंदों के समुच्चयों के साथ पहचाना जा सकता है और X को संदूकों के समुच्चयों के साथ पहचाना जा सकता है; फलन ƒ : {{math|''N'' &rarr; ''X''}} तब गेंदों को संदूकों में, अर्थात् प्रत्येक गेंद को संदूक ƒ(a) में डालकर वितरित करने के तरीके का वर्णन करता है। एक फलन अपने कार्यक्षेत्र में प्रत्येक मान के लिए एक अद्वितीय छवि प्रदान करता है; यह गुणधर्म इस गुणधर्म से परिलक्षित होती है कि कोई भी गेंद केवल एक संदूक में जा सकती है (इस आवश्यकता के साथ कि कोई भी गेंद संदूक के बाहर नहीं रहनी चाहिए), जबकि कोई भी संदूक गेंदों की यादृच्छिक संख्या को समायोजित कर सकता है। इसके अतिरिक्त ƒ को अंतःक्षेपी होने की आवश्यकता का अर्थ है किसी एक संदूक में एक से अधिक गेंद डालने से मना करना, जबकि ƒ को आच्छादक होने की आवश्यकता का अर्थ है कि प्रत्येक संदूक में कम-से-कम एक गेंद हो।


N या ​​X के तुल्यता संबंध क्रमपरिवर्तन की गणना गेंदों या बक्सों को क्रमशः, अप्रभेद्य कह कर परिलक्षित होती है। यह एक सटीक सूत्रीकरण है, जिसका उद्देश्य यह इंगित करना है कि अलग-अलग विन्यासों को अलग-अलग नहीं गिना जाना चाहिए, यदि गेंदों या बक्सों के कुछ आदान-प्रदान से एक को दूसरे में बदला जा सकता है। परिवर्तन की इस संभावना को क्रमपरिवर्तन द्वारा क्रिया द्वारा औपचारिक रूप दिया जाता है।
N या ​​X के तुल्यता संबंध क्रमचय की गणना गेंदों या संदूकों को क्रमशः, "अप्रभेद्य" कह कर परिलक्षित होती है। यह एक सटीक सूत्रीकरण है, जिसका उद्देश्य यह इंगित करना है कि अलग-अलग विन्यासों को अलग-अलग नहीं गिना जाना चाहिए, यदि गेंदों या संदूकों के कुछ आदान-प्रदान से एक को दूसरे में परिवर्तित किया जा सकता है। परिवर्तन की इस संभावना को क्रमचय क्रिया द्वारा औपचारिक रूप दिया जाता है।


=== नमूनाकरण ===
=== प्रतिदर्श ===


कुछ मामलों के बारे में सोचने का दूसरा तरीका आंकड़ों में [[नमूनाकरण (सांख्यिकी)]] के संदर्भ में है। एक्स आइटम (या लोगों) की आबादी की कल्पना करें, जिनमें से हम एन चुनते हैं। दो अलग-अलग योजनाओं को सामान्य रूप से वर्णित किया जाता है, जिन्हें [[प्रतिस्थापन के साथ नमूनाकरण]] और [[प्रतिस्थापन के बिना नमूनाकरण]] के रूप में जाना जाता है। पूर्व मामले में (प्रतिस्थापन के साथ नमूनाकरण), एक बार जब हम एक आइटम चुन लेते हैं, तो हम इसे आबादी में वापस रख देते हैं, ताकि हम इसे फिर से चुन सकें। परिणाम यह है कि प्रत्येक विकल्प अन्य सभी विकल्पों की [[सांख्यिकीय स्वतंत्रता]] है, और नमूनों के सेट को तकनीकी रूप से [[स्वतंत्र समान रूप से वितरित]] के रूप में संदर्भित किया जाता है। हालांकि, बाद वाले मामले में, एक बार जब हम एक आइटम चुन लेते हैं, तो हम उसे एक तरफ रख देते हैं ताकि हम उसे फिर से न चुन सकें। इसका अर्थ है कि किसी वस्तु को चुनने की क्रिया का निम्नलिखित सभी विकल्पों पर प्रभाव पड़ता है (विशेष वस्तु को फिर से नहीं देखा जा सकता है), इसलिए हमारी पसंद एक दूसरे पर निर्भर हैं।
कुछ स्थितियों के विषय में विचार करने का दूसरा तरीका आंकड़ों में [[नमूनाकरण (सांख्यिकी)|प्रतिदर्श]] के संदर्भ में है। X वस्तु (या लोगों) की समष्टि की कल्पना करें, जिनमें से हम ''N'' चुनते हैं। दो अलग-अलग योजनाओं को सामान्य रूप से वर्णित किया जाता है, जिन्हें [[प्रतिस्थापन के साथ नमूनाकरण|प्रतिस्थापन के साथ प्रतिदर्श]] और [[प्रतिस्थापन के बिना नमूनाकरण|प्रतिस्थापन के बिना प्रतिदर्श]] के रूप में जाना जाता है। पूर्व स्थिति में (प्रतिस्थापन के साथ प्रतिदर्श), एक बार जब हम एक वस्तु चुन लेते हैं, तो हम इसे समष्टि में वापस रख देते हैं, ताकि हम इसे फिर से चुन सकें। परिणाम यह है कि प्रत्येक विकल्प अन्य सभी विकल्पों से स्वतंत्र है और प्रतिरूपो के समुच्चय को तकनीकी रूप से [[स्वतंत्र समान रूप से वितरित]] के रूप में संदर्भित किया जाता है। हालांकि, बाद वाली स्थिति में, एक बार जब हम एक वस्तु चुन लेते हैं, तो हम उसे एक ओर रख देते हैं ताकि हम उसे फिर से न चुन सकें। इसका अर्थ है कि किसी वस्तु को चुनने की क्रिया का निम्नलिखित सभी विकल्पों पर प्रभाव पड़ता है (विशेष वस्तु को फिर से नहीं देखा जा सकता है), इसलिए हमारी पसंद एक दूसरे पर निर्भर हैं।


नमूनाकरण योजनाओं के बीच एक दूसरा अंतर यह है कि क्या आदेश देना मायने रखता है। उदाहरण के लिए, यदि हमारे पास दस आइटम हैं, जिनमें से हम दो चुनते हैं, तो विकल्प (4,7) अलग है (7,4) यदि ऑर्डर देना मायने रखता है; दूसरी ओर, यदि आदेश देने से कोई फर्क नहीं पड़ता है, तो विकल्प (4,7) और (7,4) समतुल्य हैं। (इसके बारे में सोचने का एक और तरीका यह है कि प्रत्येक विकल्प को आइटम नंबर से क्रमबद्ध करें, और परिणाम के किसी भी डुप्लीकेट को फेंक दें।)
प्रतिदर्श योजनाओं के मध्य एक दूसरा अंतर यह है कि क्या क्रमीकरण महत्व रखता है। उदाहरण के लिए, यदि हमारे पास दस वस्तु हैं, जिनमें से हम दो चुनते हैं, तो विकल्प (4,7) भिन्न है (7,4) यदि क्रमीकरण महत्व रखता है; दूसरी ओर, यदि क्रमीकरण से कोई असमानता नहीं होती है, तो विकल्प (4,7) और (7,4) समतुल्य हैं (इसके विषय में विचार करने का एक और तरीका यह है कि प्रत्येक विकल्प को वस्तु संख्या से क्रमबद्ध करें और परिणाम के किसी भी अनुकृति को फेंक दें)


नीचे दी गई तालिका की पहली दो पंक्तियाँ और स्तंभ क्रम पर विचार किए बिना और बिना प्रतिस्थापन के नमूने के अनुरूप हैं। प्रतिस्थापन के साथ नमूने के मामले किसी भी एफ लेबल वाले कॉलम में पाए जाते हैं, जबकि बिना प्रतिस्थापन के नमूने के मामले इंजेक्टिव एफ लेबल वाले कॉलम में पाए जाते हैं। ऐसे मामले जहां ऑर्डर देने वाले मामले अलग लेबल वाली पंक्ति में पाए जाते हैं, और ऐसे मामले जहां ऑर्डर देने से कोई फर्क नहीं पड़ता, वे S लेबल वाली पंक्ति में पाए जाते हैं<sub>''n''</sub> कक्षाओं। प्रत्येक तालिका प्रविष्टि इंगित करती है कि किसी विशेष नमूनाकरण योजना में विकल्पों के कितने अलग-अलग सेट हैं। इन तालिका प्रविष्टियों में से तीन [[संभाव्यता वितरण]] के अनुरूप भी हैं। प्रतिस्थापन के साथ नमूनाकरण जहां ऑर्डरिंग मायने रखता है, एन अलग-अलग यादृच्छिक चर के [[संयुक्त वितरण]] का वर्णन करने के लिए तुलनीय है, प्रत्येक एक्स-गुना [[श्रेणीबद्ध वितरण]] के साथ। प्रतिस्थापन के साथ नमूनाकरण जहां ऑर्डर देना मायने नहीं रखता है, हालांकि, एन के एकल बहुराष्ट्रीय वितरण का वर्णन करने के लिए एक एक्स-गुना श्रेणी से तुलना की जाती है, जहां प्रत्येक श्रेणी के केवल देखे गए नंबर मायने रखते हैं। प्रतिस्थापन के बिना नमूनाकरण जहां आदेश देना कोई मायने नहीं रखता है, एक एकल [[बहुभिन्नरूपी हाइपरज्यामितीय वितरण]] के साथ तुलना करने योग्य है। प्रतिस्थापन के बिना नमूनाकरण जहां आदेश मायने रखता है वह संभाव्यता वितरण के अनुरूप नहीं लगता है।<ref>[[Robert V. Hogg and Elliot A. Tanis]] (2001). ''Probability and Statistical Inference''. Prentice-Hall, Inc. {{ISBN|0-13-027294-9}}. p.81</ref> ध्यान दें कि सभी इंजेक्टिव मामलों में (यानी प्रतिस्थापन के बिना नमूनाकरण), विकल्पों के सेट की संख्या शून्य है जब तक कि {{math|''N'' ≤ ''X''}}. (उपर्युक्त मामलों में तुलनीय का मतलब है कि संबंधित वितरण के नमूना स्थान का प्रत्येक तत्व विकल्पों के एक अलग सेट से मेल खाता है, और इसलिए उपयुक्त बॉक्स में संख्या दिए गए वितरण के लिए नमूना स्थान के आकार को इंगित करती है।)
नीचे दी गई तालिका की पहली दो पंक्तियाँ और स्तंभ क्रम पर विचार किए बिना और बिना प्रतिस्थापन के प्रतिरूप के अनुरूप हैं। प्रतिस्थापन के साथ प्रतिरूप की स्थिति "किसी भी ''f"'' लेबल वाले स्तंभ में पाए जाते हैं, जबकि बिना प्रतिस्थापन के प्रतिरूप की स्थिति "अंतःक्षेपी ''f"'' लेबल वाले स्तंभ में पाए जाते हैं। ऐसी स्थिति जहां क्रमीकरण वाली स्थिति "भिन्न" लेबल वाली स्तंभ में पाए जाते हैं और ऐसी स्थिति जहां क्रमीकरण से कोई असमानता नहीं होती है, वे "S<sub>''n''</sub> कक्षाएं" लेबल वाली स्तंभ में पाए जाते हैं। प्रत्येक तालिका प्रविष्टि इंगित करती है कि किसी विशेष प्रतिदर्श योजना में विकल्पों के कितने अलग-अलग समुच्चय हैं। इन तालिका प्रविष्टियों में से तीन [[संभाव्यता वितरण]] के अनुरूप भी हैं। प्रतिस्थापन के साथ प्रतिदर्श जहां क्रमण महत्व रखता है, ''N'' अलग-अलग यादृच्छिक चर के [[संयुक्त वितरण]] का वर्णन करने के लिए प्रत्येक X-गुना [[श्रेणीबद्ध वितरण]] के साथ तुलनीय है। प्रतिस्थापन के साथ प्रतिदर्श जहां क्रमीकरण महत्व नहीं रखता है, हालांकि, ''N'' के एकल बहुराष्ट्रीय वितरण का वर्णन करने के लिए एक X-गुना श्रेणी से तुलना की जाती है, जहां प्रत्येक श्रेणी की केवल देखी गयी संख्या महत्व रखती हैं। प्रतिस्थापन के बिना प्रतिदर्श जहां क्रमीकरण कोई महत्व नहीं रखता है, एक एकल [[बहुभिन्नरूपी हाइपरज्यामितीय वितरण]] के साथ तुलना करने योग्य है। प्रतिस्थापन के बिना प्रतिदर्श जहां क्रमीकरण महत्व रखता है वह संभाव्यता वितरण के अनुरूप नहीं लगता है।<ref>[[Robert V. Hogg and Elliot A. Tanis]] (2001). ''Probability and Statistical Inference''. Prentice-Hall, Inc. {{ISBN|0-13-027294-9}}. p.81</ref> ध्यान दें कि सभी "अंतःक्षेपी" स्थितियों में (अर्थात, प्रतिस्थापन के बिना प्रतिदर्श), विकल्पों के समुच्चयों की संख्या शून्य है जब तक कि {{math|''N'' ≤ ''X''}} है (उपर्युक्त स्थिति में तुलनीय का अर्थ है कि संबंधित वितरण के प्रतिरूप स्थान का प्रत्येक तत्व विकल्पों के एक अलग समुच्चय से मेल खाता है और इसलिए उपयुक्त संदूक में संख्या दिए गए वितरण के लिए प्रतिरूप स्थान के आकार को इंगित करती है)


नमूनाकरण के परिप्रेक्ष्य से, विशेषण f लेबल वाला कॉलम कुछ अजीब है: अनिवार्य रूप से, हम तब तक प्रतिस्थापन के साथ नमूना लेते रहते हैं जब तक कि हम प्रत्येक आइटम को कम से कम एक बार नहीं चुन लेते। फिर, हम गिनते हैं कि हमने कितने चुनाव किए हैं, और यदि यह N के बराबर नहीं है, तो पूरे सेट को बाहर फेंक दें और दोहराएं। यह कूपन कलेक्टर की समस्या के लिए अस्पष्ट रूप से तुलनीय है, जहां प्रक्रिया में प्रत्येक कूपन को कम से कम एक बार देखे जाने तक एक्स कूपन का एक सेट (प्रतिस्थापन के साथ नमूनाकरण द्वारा) एकत्र करना शामिल है। ध्यान दें कि सभी विशेषण मामलों में, पसंद के सेट की संख्या शून्य है जब तक कि {{math|''N'' ≥ ''X''}}.
प्रतिदर्श के परिप्रेक्ष्य से, "परिप्रेक्ष्य f" लेबल वाला स्तंभ कुछ असामान्य है: अनिवार्य रूप से, हम तब तक प्रतिस्थापन के साथ प्रतिरूप लेते रहते हैं जब तक कि हम प्रत्येक वस्तु को कम-से-कम एक बार नहीं चुन लेते। फिर, हम गणना करते हैं कि हमने कितने चुनाव किए हैं और यदि यह ''N'' के समान नहीं है, तो सम्पूर्ण समुच्चय को बाहर फेंक दें और दोहराएं। यह कूपन संग्रहकर्ता की समस्या के लिए अस्पष्ट रूप से तुलनीय है, जहां प्रक्रिया में प्रत्येक कूपन को कम-से-कम एक बार देखे जाने तक X कूपन का एक समुच्चय (प्रतिस्थापन के साथ प्रतिदर्श द्वारा) एकत्र करना सम्मिलित है। ध्यान दें कि सभी प्रक्षेप्य स्थिति में, विकल्प समुच्चय की संख्या शून्य है जब तक कि {{math|''N'' ≥ ''X''}} है।


=== लेबलिंग, चयन, समूहीकरण ===
=== लेबलन, चयन, समूहीकरण ===


एक समारोह ƒ : {{math|''N'' &rarr; ''X''}} को X या N के परिप्रेक्ष्य से माना जा सकता है। यह विभिन्न विचारों की ओर ले जाता है:
एक फलन ƒ : {{math|''N'' &rarr; ''X''}} को ''X'' या ''N'' के परिप्रेक्ष्य से माना जा सकता है। यह विभिन्न विचारों की ओर ले जाता है:


* फ़ंक्शन ƒ N के प्रत्येक तत्व को X के एक तत्व द्वारा लेबल करता है।
* फलन ƒ, ''N'' के प्रत्येक तत्व को ''X'' के एक तत्व द्वारा लेबल करता है।
* फ़ंक्शन ƒ एन के प्रत्येक तत्व के लिए सेट एक्स के एक [[तत्व (गणित)]] का चयन करता है (चुनता है), कुल एन विकल्प।
* फलन ƒ, ''N'' के प्रत्येक तत्व और कुल ''n'' विकल्पों के लिए समुच्चय ''X'' के एक [[तत्व (गणित)|तत्व]] का चयन करता है।
* फ़ंक्शन ƒ N के तत्वों को एक साथ समूहित करता है जिन्हें X के समान तत्व से मैप किया जाता है।
* फलन ƒ, ''N'' के तत्वों को एक साथ समूहित करता है, जिन्हें ''X'' के समान तत्व से मानचित्रित किया जाता है।


ये दृष्टिकोण सभी मामलों के लिए समान रूप से अनुकूल नहीं हैं। लेबलिंग और चयन बिंदु एक्स के तत्वों के क्रमचय के साथ अच्छी तरह से संगत नहीं हैं, क्योंकि यह लेबल या चयन को बदलता है; दूसरी ओर समूहीकरण बिंदु कॉन्फ़िगरेशन के बारे में पूरी जानकारी नहीं देता है जब तक कि एक्स के तत्वों को स्वतंत्र रूप से अनुमत नहीं किया जा सकता है। जब N को अनुमत नहीं किया जाता है, तो लेबलिंग और चयन बिंदु कमोबेश समतुल्य होते हैं, लेकिन जब यह होता है, तो चयन बिंदु अधिक अनुकूल होता है। तब चयन को एक अनियंत्रित चयन के रूप में देखा जा सकता है: X से n तत्वों के एक (बहु-) सेट का एकल विकल्प बनाया जाता है।
ये दृष्टिकोण सभी स्थितियों के लिए समान रूप से अनुकूल नहीं हैं। लेबलन और चयन बिंदु ''X'' के तत्वों के क्रमचय के साथ अच्छी तरह से संगत नहीं हैं, क्योंकि यह लेबल या चयन को परिवर्तित करता है; दूसरी ओर समूहीकरण बिंदु विन्यास के विषय में सम्पूर्ण सूचना नहीं देता है जब तक कि ''X'' के तत्वों को स्वतंत्र रूप से अनुमत नहीं किया जा सकता है। जब ''N'' को अनुमत नहीं किया जाता है, तो लेबलन और चयन बिंदु लगभग समतुल्य होते हैं, परन्तु जब यह होता है, तो चयन बिंदु अधिक अनुकूल होता है। तब चयन को एक अनियंत्रित चयन के रूप में देखा जा सकता है: ''X'' से ''n'' तत्वों के एक (बहु-) समुच्चय का एकल विकल्प बनाया जाता है।


=== लेबलिंग और पुनरावृत्ति के साथ या बिना चयन ===
=== लेबलन और पुनरावृत्ति के साथ या पुनरावृत्ति के बिना ===


जब ƒ को N के तत्वों की लेबलिंग के रूप में देखा जाता है, तो बाद वाले को एक क्रम में व्यवस्थित माना जा सकता है, और X से लेबल को क्रमिक रूप से उन्हें सौंपा जा सकता है। एक आवश्यकता जो ƒ अंतःक्षेपी होने का अर्थ है कि किसी भी लेबल का दूसरी बार उपयोग नहीं किया जा सकता है; नतीजा दोहराव के बिना लेबल का अनुक्रम है। ऐसी आवश्यकता के अभाव में, पुनरावृत्ति के साथ शब्दावली अनुक्रम का उपयोग किया जाता है, जिसका अर्थ है कि लेबल का एक से अधिक बार उपयोग किया जा सकता है (हालांकि पुनरावृत्ति के बिना होने वाले अनुक्रमों की भी अनुमति है)।
जब ƒ को ''N'' के तत्वों के लेबलन के रूप में देखा जाता है, तो बाद वाले को एक क्रम में व्यवस्थित माना जा सकता है और ''X'' से लेबल को क्रमिक रूप से उन्हें सौंपा जा सकता है। एक आवश्यकता जो ƒ अंतःक्षेपी होने का अर्थ है कि किसी भी लेबल का दूसरी बार उपयोग नहीं किया जा सकता है; परिणाम दोहराव के बिना लेबल का अनुक्रम है। ऐसी आवश्यकता के अभाव में, पुनरावृत्ति के साथ शब्दावली अनुक्रम का उपयोग किया जाता है, जिसका अर्थ है कि लेबल का एक से अधिक बार उपयोग किया जा सकता है (हालांकि पुनरावृत्ति के बिना होने वाले अनुक्रमों की भी अनुमति है)।


ƒ को X के तत्वों के एक अनियंत्रित चयन के रूप में देखते समय, उसी प्रकार का भेद लागू होता है। यदि ƒ अंतःक्षेपी होना चाहिए, तो चयन में X के विशिष्ट तत्व शामिल होने चाहिए, इसलिए यह आकार n का X का एक उपसमुच्चय है, जिसे n-[[संयोजन]] भी कहा जाता है। आवश्यकता के बिना, एक्स का एक और एक ही तत्व चयन में कई बार हो सकता है, और नतीजा एक्स से तत्वों के आकार एन का एक मल्टीसेट होता है, जिसे एन-[[ बहुसंयोजन ]] या पुनरावृत्ति के साथ एन-संयोजन भी कहा जाता है।
ƒ को ''X'' के तत्वों के एक अनियंत्रित चयन के रूप में देखते समय, उसी प्रकार का भेद अनुप्रयुक्त होता है। यदि ƒ अंतःक्षेपी होना चाहिए, तो चयन में ''X'' के विशिष्ट तत्व सम्मिलित होने चाहिए, इसलिए यह आकार ''n'' का ''X'' का एक उपसमुच्चय है, जिसे ''n''-[[संयोजन]] भी कहा जाता है। आवश्यकता के बिना, ''X'' का एक और एक ही तत्व चयन में कई बार हो सकता है और परिणाम ''X'' से तत्वों के आकार ''n'' का एक बहु-समुच्चय होता है, जिसे ''n''-[[ बहुसंयोजन ]]या पुनरावृत्ति के साथ ''n''-संयोजन भी कहा जाता है।


एन के लेबलिंग तत्वों के दृष्टिकोण से ƒ विशेषण होने की आवश्यकता का अर्थ है कि प्रत्येक लेबल का कम से कम एक बार उपयोग किया जाना है; एक्स से चयन के दृष्टिकोण से, इसका मतलब है कि एक्स के प्रत्येक तत्व को चयन में कम से कम एक बार शामिल किया जाना चाहिए। प्रक्षेपण के साथ लेबलिंग एन के तत्वों के समूह के बराबर है जिसके बाद प्रत्येक समूह को एक्स के तत्व द्वारा लेबल किया जाता है, और तदनुसार गणितीय रूप से वर्णन करने के लिए कुछ अधिक जटिल है।
''N'' के लेबलन तत्वों के दृष्टिकोण से ƒ प्रक्षेप्य होने की आवश्यकता का अर्थ है कि ''X'' से चयन के दृष्टिकोण से, प्रत्येक लेबल का कम-से-कम एक बार उपयोग किया जाना है, इसका अर्थ है कि ''X'' के प्रत्येक तत्व को चयन में कम-से-कम एक बार सम्मिलित किया जाना चाहिए। प्रक्षेपण के साथ लेबलन ''N'' के तत्वों के समूह के समान है जिसके बाद प्रत्येक समूह को ''X'' के तत्व द्वारा लेबल किया जाता है और तदनुसार गणितीय रूप से वर्णन करने के लिए कुछ अधिक जटिल है।


=== सेट और संख्या का विभाजन ===
=== समुच्चय और संख्या का विभाजन ===


ƒ को N के तत्वों के समूह के रूप में देखते समय (जो मानता है कि X के क्रमपरिवर्तन के तहत पहचान की जाती है), ƒ को विशेषण के रूप में देखने का मतलब है कि समूहों की संख्या निश्चित रूप से x होनी चाहिए। इस आवश्यकता के बिना समूहों की संख्या अधिकतम x हो सकती है। अंतःक्षेपी ƒ की आवश्यकता का अर्थ है कि N का प्रत्येक तत्व अपने आप में एक समूह होना चाहिए, जो अधिक से अधिक एक मान्य समूह छोड़ता है और इसलिए एक दिलचस्प गिनती समस्या देता है।
ƒ को ''N'' के तत्वों के समूह के रूप में देखते समय (जो मानता है कि X के क्रमचय के अंतर्गत पहचान की जाती है), ƒ को प्रक्षेप्य के रूप में देखने का अर्थ है कि समूहों की संख्या निश्चित रूप से ''x'' होनी चाहिए। इस आवश्यकता के बिना समूहों की संख्या अधिकतम ''x'' हो सकती है। अंतःक्षेपी ƒ की आवश्यकता का अर्थ है कि ''N'' का प्रत्येक तत्व स्वयम में एक समूह होना चाहिए, जो अधिक से अधिक एक मान्य समूह छोड़ता है और इसलिए एक अरोचक गणना समस्या देता है।


इसके अलावा जब कोई N के क्रमचय के तहत पहचान करता है, तो इसका अर्थ समूहों को भूल जाना है लेकिन केवल उनके आकार को बनाए रखना है। इसके अलावा ये आकार किसी निश्चित क्रम में नहीं आते हैं, जबकि एक ही आकार एक से अधिक बार हो सकता है; कोई उन्हें संख्याओं की कमजोर रूप से घटती सूची में व्यवस्थित करना चुन सकता है, जिसका योग संख्या n है। यह संख्या n के एक विभाजन (संख्या सिद्धांत) की संयोजी धारणा देता है, बिल्कुल x (आच्छादक ƒ के लिए) या अधिकतम x (मनमानी ƒ के लिए) भागों में।
इसके अतिरिक्त जब कोई ''N'' के क्रमचय के अंतर्गत पहचान करता है, तो इसका अर्थ समूहों को भूल जाना है परन्तु केवल उनके आकार को बनाए रखना है। इसके अतिरिक्त ये आकार किसी निश्चित क्रम में नहीं आते हैं, जबकि एक ही आकार एक से अधिक बार हो सकता है; कोई उन्हें संख्याओं की दुर्बलता से घटती सूची में व्यवस्थित करना चुन सकता है, जिसका योग संख्या ''n'' है। पूर्णतया x (आच्छादक ƒ के लिए) या अधिकतम x (यादृच्छिक ƒ के लिए) भागों में,यह संख्या n के एक विभाजन की संयोजी धारणा देता है।


== सूत्र ==
== सूत्र ==
बारह गुना तरीके के विभिन्न मामलों के सूत्र निम्नलिखित तालिका में संक्षेपित हैं; प्रत्येक तालिका प्रविष्टि सूत्र की व्याख्या करते हुए नीचे एक उपखंड से जुड़ती है।
बारह गुना तरीके के विभिन्न स्थितियों के सूत्र निम्नलिखित तालिका में संक्षेपित हैं; प्रत्येक तालिका प्रविष्टि सूत्र की व्याख्या करते हुए नीचे एक उपखंड से जुड़ती है।
{| class="wikitable" style="margin-left:auto; margin-right:auto; text-align:center; border:none;"
{| class="wikitable" style="margin-left:auto; margin-right:auto; text-align:center; border:none;"
|+ The twelve combinatorial objects and their enumeration formulas
|+ बारह मिश्रित वस्तुएँ और उनके गणना के सूत्र
|-
|-
! ''f''-class
! ''f''-वर्ग
! Any ''f''
! कोई भी ''f''
! Injective ''f''
! अंतःक्षेपक ''f''
! Surjective ''f''
! प्रक्षेप्य ''f''
|-
|-
<!-- | {{mvar|f}}  
<!-- | {{mvar|f}}  
Line 93: Line 93:
| {{mvar|f}}  
| {{mvar|f}}  
|- -->
|- -->
| Distinct <br>{{mvar|f}}  
| विशिष्ट<br>{{mvar|f}}  
| [[#case f|''n''-sequence in ''X'' <br><math>x^n</math>]]
| [[#case f|x में n-अनुक्रम<br><math>x^n</math>]]
| [[#case i|''n''-permutation of ''X'' <br><math>x^{\underline n}</math>]]
| [[#case i|X का n-क्रमपरिवर्तन<br><math>x^{\underline n}</math>]]
| [[#case s|composition of ''N'' with ''x'' subsets <br><math>x!\left\{{n \atop x}\right\}</math>]]
| [[#case s|x उपसमुच्चय के साथ n की संरचना<br><math>x!\left\{{n \atop x}\right\}</math>]]
|-
|-
| '''S'''<sub>''n''</sub> orbits <br>{{math|1=''f'' ∘ S<sub>''n''</sub>}}  
| '''S'''<sub>''n''</sub> कक्षाएं<br>{{math|1=''f'' ∘ S<sub>''n''</sub>}}  
| [[#case fn|''n''-multisubset of ''X'' <br><math>\binom{x + n - 1}{n}</math>]]  
| [[#case fn|''X का'' ''n''- बहु-उपसमुच्चय <br><math>\binom{x + n - 1}{n}</math>]]
| [[#case in|''n''-subset of ''X''<br><math>\binom{x}{n}</math>]]
| [[#case in|X का n-उपसमुच्चय<br><math>\binom{x}{n}</math>]]
| [[#case sn|composition of ''n'' with ''x'' terms <br><math>\binom{n - 1}{n - x}</math>]]
| [[#case sn|x पदों के साथ n की]] [[#case s|संरचना]]<br><math>\binom{n - 1}{n - x}</math>
|
|-
|-
| '''S'''<sub>''x''</sub> orbits <br>{{math|1=S<sub>''x''</sub> ∘ ''f''}}  
| '''S'''<sub>''x''</sub> कक्षाएं<br>{{math|1=S<sub>''x''</sub> ∘ ''f''}}  
| [[#case fx|partition of ''N'' into ''x'' subsets <br><math>\sum_{k=0}^x\left\{{n \atop k}\right\}</math>]]  
| [[#case fx|N का ≤ x उपसमुच्चय में विभाजन<br><math>\sum_{k=0}^x\left\{{n \atop k}\right\}</math>]]
| [[#case ix|partition of ''N'' into ''x'' elements <br><math>[n \leq x]</math>]]
| [[#case ix|N का ≤ x तत्वों में विभाजन<br><math>[n \leq x]</math>]]
| [[#case sx|partition of ''N'' into ''x'' subsets <br><math>\left\{{n \atop x}\right\}</math>]]
| [[#case sx|N का x उपसमुच्चय में विभाजन<br><math>\left\{{n \atop x}\right\}</math>]]
|
|-
|-
| '''S'''<sub>''n''</sub>×'''S'''<sub>''x''</sub> orbits <br>{{math|1=S<sub>''x''</sub> ∘ ''f'' ∘ S<sub>''n''</sub>}}  
| '''S'''<sub>''n''</sub>×'''S'''<sub>''x''</sub> कक्षाएं<br>{{math|1=S<sub>''x''</sub> ∘ ''f'' ∘ S<sub>''n''</sub>}}  
| [[#case fnx|partition of ''n'' into ''x'' parts <br><math>p_x(n + x)</math>]]
| [[#case fnx|n का ≤ x भागों में विभाजन<br><math>p_x(n + x)</math>]]
| [[#case inx|partition of ''n'' into ''x'' parts 1 <br><math>[n \leq x]</math>]]
| [[#case inx|n का ≤ x भाग 1 में विभाजन<br><math>[n \leq x]</math>]]
| [[#case snx|partition of ''n'' into ''x'' parts <br><math>p_x(n)</math>]]
| [[#case snx|n का x भागों में विभाजन<br><math>p_x(n)</math>]]
|}
|}
उपयोग की जाने वाली विशेष नोटेशन हैं:
उपयोग की जाने वाली विशेष संकेत पद्धति हैं:
* गिरती तथ्यात्मक शक्ति <math display="inline">x^{\underline n} = \frac{x!}{(x - n)!} = x(x - 1)(x - 2) \cdots (x - n + 1)</math>,
* अवरोही क्रमगुणित घात <math display="inline">x^{\underline n} = \frac{x!}{(x - n)!} = x(x - 1)(x - 2) \cdots (x - n + 1)</math> है।
* पोचममेर प्रतीक # वैकल्पिक अंकन <math display="inline">x^{\overline n} = \frac{(x + n - 1)!}{(x - 1)!} = x(x + 1)(x + 2) \cdots (x + n - 1)</math>,
* आरोही क्रमगुणित घात <math display="inline">x^{\overline n} = \frac{(x + n - 1)!}{(x - 1)!} = x(x + 1)(x + 2) \cdots (x + n - 1)</math> है।
* तथ्यात्मक <math display="inline">n! = n^{\underline n} = n(n-1)(n-2)\cdots1</math>
* क्रमगुणित <math display="inline">n! = n^{\underline n} = n(n-1)(n-2)\cdots1</math> है।
* [[दूसरी तरह की स्टर्लिंग संख्या]] <math display="inline">\left\{{n \atop k}\right\}</math>, n तत्वों के एक सेट को k सबसेट में विभाजित करने के तरीकों की संख्या को दर्शाता है
* [[दूसरी तरह की स्टर्लिंग संख्या]] <math display="inline">\left\{{n \atop k}\right\}</math> है, ''n'' तत्वों के एक समुच्चय को ''k'' उपसमुच्चयों में विभाजित करने के तरीकों की संख्याओं को दर्शाता है।
* [[द्विपद गुणांक]] <math display="inline">\binom{n}{k} = \frac{n^{\underline k}}{k!}</math>
* [[द्विपद गुणांक]] <math display="inline">\binom{n}{k} = \frac{n^{\underline k}}{k!}</math> है।
* [[आइवरसन ब्रैकेट]] [] एक सत्य मान को 0 या 1 के रूप में एन्कोडिंग करता है
* [[आइवरसन ब्रैकेट|आइवरसन कोष्ठक]] [ ] एक सत्य मान को 0 या 1 के रूप में विकोडन करता है।
* जो नंबर <math display="inline">p_k(n)</math> n के k भागों में विभाजन (संख्या सिद्धांत) का
* जो संख्या <math display="inline">p_k(n)</math> ''n'' के ''k'' भागों में का विभाजन है।


=== पंक्तियों और स्तंभों का सहज अर्थ ===
=== पंक्तियों और स्तंभों का सहज अर्थ ===
यह त्वरित सारांश है कि विभिन्न मामलों का क्या अर्थ है। मामलों का विवरण नीचे दिया गया है।
यह त्वरित सारांश है कि विभिन्न स्थितियों का क्या अर्थ है। स्थितियों का विवरण नीचे दिया गया है।


X क्रमांकित वस्तुओं (1 से x तक क्रमांकित) के एक सेट के बारे में सोचें, जिसमें से हम n चुनते हैं, वस्तुओं की एक आदेशित सूची प्रदान करते हैं: उदा। अगर वहाँ <math>x = 10</math> जिन वस्तुओं को हम चुनते हैं <math>n = 3</math>परिणाम सूची (5, 2, 10) हो सकता है। फिर हम गिनते हैं कि ऐसी कितनी अलग-अलग सूचियाँ मौजूद हैं, कभी-कभी पहले सूचियों को उन तरीकों से रूपांतरित करते हैं जो अलग-अलग संभावनाओं की संख्या को कम करते हैं।
''X'' क्रमांकित वस्तुओं (1 से ''x'' तक क्रमांकित) के एक समुच्चय के विषय में विचार करें, जिसमें से हम ''n'' चुनते हैं, वस्तुओं की एक क्रमित सूची प्रदान करते हैं: उदाहरणार्थ, यदि वहाँ <math>x = 10</math> जिन वस्तुओं को हम चुनते हैं <math>n = 3</math> परिणाम सूची (5, 2, 10) हो सकता है। फिर हम गणना करते हैं कि ऐसी कितनी अलग-अलग सूचियाँ उपस्थित हैं, कभी-कभी पहले सूचियों को उन तरीकों से रूपांतरित करते हैं जो अलग-अलग संभावनाओं की संख्या को कम करते हैं।


तब स्तंभों का अर्थ है:
तब स्तंभों का अर्थ है:
; कोई भी f: किसी आइटम को चुनने के बाद, हम उसे वापस रख देते हैं, ताकि हम उसे फिर से चुन सकें।
; कोई भी ''f'': किसी वस्तु को चयन करने के पश्चात, हम उसे वापस रख देते हैं, ताकि हम उसे पुनः चुन सकें।
; इंजेक्शन एफ: एक आइटम चुनने के बाद, हम इसे अलग रख देते हैं, इसलिए हम इसे फिर से नहीं चुन सकते; इसलिए हम n विशिष्ट वस्तुओं के साथ समाप्त करेंगे। अनिवार्य रूप से, जब तक <math>n \leq x</math>, कोई भी सूची बिल्कुल नहीं चुनी जा सकती।
; अंतःक्षेपी ''f'': एक वस्तु चयन करने के पश्चात, हम इसे अलग रख देते हैं, इसलिए हम इसे पुनः नहीं चुन सकते; इसलिए हम n विशिष्ट वस्तुओं के साथ समाप्त करेंगे। अनिवार्य रूप से, जब तक <math>n \leq x</math> हैं, कोई भी सूची पूर्णतया  चुनी नहीं जा सकती हैं।
; प्रक्षेप्य एफ: एक आइटम चुनने के बाद, हम इसे वापस रख देते हैं, इसलिए हम इसे फिर से चुन सकते हैं - लेकिन अंत में, हमें प्रत्येक आइटम को कम से कम एक बार चुनना होगा। अनिवार्य रूप से, जब तक <math>n \geq x</math>, कोई भी सूची बिल्कुल नहीं चुनी जा सकती।
; प्रक्षेप्य f: एक वस्तु चयन करने के पश्चात, हम इसे वापस रख देते हैं, इसलिए हम इसे पुनः चुन सकते हैं - परन्तु अंत में, हमें प्रत्येक वस्तु को कम-से-कम एक बार चुनना होगा। अनिवार्य रूप से, जब तक <math>n \geq x</math>, कोई भी सूची पूर्णतया चुनी नहीं जा सकती हैं।


और पंक्तियों का अर्थ है:
और स्तंभयों का अर्थ है:
; विशिष्ट: सूचियों को अकेला छोड़ दें; उन्हें सीधे गिनें।
; विशिष्ट: सूचियों को एकाकी छोड़ दें; उन्हें सीधे गिनें।
; एस<sub>''n''</sub> कक्षाएँ: गिनने से पहले, चुने गए आइटमों की आइटम संख्या द्वारा सूचियों को क्रमबद्ध करें, ताकि क्रम कोई मायने न रखे, जैसे, (5, 2, 10), (10, 2, 5), (2, 10, 5) → (2, 5, 10)
; S<sub>''n''</sub> कक्षाएँ: गणना से पूर्व, चुने गए वस्तुओं की वस्तु संख्या द्वारा सूचियों को क्रमबद्ध करें, ताकि क्रम कोई महत्व न रखे, जैसे, (5, 2, 10), (10, 2, 5), (2, 10, 5) → (2, 5, 10) हैं।
; एस<sub>''x''</sub> कक्षाएँ: गिनने से पहले, देखी गई वस्तुओं को फिर से क्रमांकित करें ताकि पहली देखी गई वस्तु की संख्या 1, दूसरी 2, आदि हो। यदि किसी वस्तु को एक से अधिक बार देखा गया था, तो संख्याएँ दोहराई जा सकती हैं, जैसे, (3, 5, 3), (5, 2, 5), (4, 9, 4) → (1, 2, 1) जबकि (3, 3, 5), (5, 5, 3), (2, 2, 9) → (1, 1, 2).
; S<sub>''x''</sub> कक्षाएँ: गणना से पूर्व, देखी गई वस्तुओं को पुनः क्रमांकित करें ताकि पहली देखी गई वस्तु की संख्या 1, दूसरी 2, आदि हो। यदि किसी वस्तु को एक से अधिक बार देखा गया था, तो संख्याएँ दोहराई जा सकती हैं, जैसे, (3, 5, 3), (5, 2, 5), (4, 9, 4) → (1, 2, 1) जबकि (3, 3, 5), (5, 5, 3), (2, 2, 9) → (1, 1, 2) हैं।
; एस<sub>''n''</sub> × एस<sub>''x''</sub> कक्षाएँ: दो सूचियाँ समान मानी जाती हैं यदि यह दोनों को पुन: व्यवस्थित करना और उन्हें ऊपर के रूप में पुन: लेबल करना और समान परिणाम उत्पन्न करना संभव है। उदाहरण के लिए, (3, 5, 3) और (2, 9, 9) को समान माना जाता है क्योंकि उन्हें (3, 3, 5) और (9, 9, 2) के रूप में फिर से क्रमित किया जा सकता है और फिर दोनों को फिर से लेबल करने से समान उत्पादन होता है सूची (1, 1, 2)।
; S<sub>''n''</sub> × S<sub>''x''</sub> कक्षाएँ: दो सूचियाँ समान मानी जाती हैं यदि यह दोनों को पुन: व्यवस्थित करना और उन्हें ऊपर के रूप में पुन: लेबल करना और समान परिणाम उत्पन्न करना संभव है। उदाहरण के लिए, (3, 5, 3) और (2, 9, 9) को समान माना जाता है क्योंकि उन्हें (3, 3, 5) और (9, 9, 2) के रूप में पुनः क्रमित किया जा सकता है और फिर दोनों को पुनः लेबल करने से समान उत्पादन होता है सूची (1, 1, 2 देखें)।


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


{| class="wikitable" style="margin-left:auto; margin-right:auto; text-align:center; border:none;" border="1"
{| class="wikitable" style="margin-left:auto; margin-right:auto; text-align:center; border:none;" border="1"
|+ Table of the 12 combinatorial objects - intuitive chart using balls and boxes
|+ 12 मिश्रित वस्तुओं की तालिका - गेंदों और संदूकों का उपयोग करके सहज ज्ञान युक्त तालिका
|-
|-
!
!
! Any ''f''  
! कोई भी ''f''  
(no rules on placement)
(स्थानन पर कोई नियम नहीं)
! Injective ''f''  
! अंतःक्षेपी ''f''  
(no multi-packs allowed)
(बहु-संकुलों की अनुमति नहीं है)
! Surjective ''f''  
! प्रक्षेप्य ''f''  
(no empty boxes allowed)
(रिक्त संदूकों की अनुमति नहीं है)
|-
|-


! {{nowrap|''f''<br />(Balls and Boxes marked)}}  
! {{nowrap|''f''<br />(चिह्नित गेंदे और संदूके)}}
| [[#case f|''n''-sequence in ''X''
| [[#case f|x में एन-अनुक्रम]]
How many ways can you place <br>
[[#case f|आप कितने तरीकों से रख सकते हैं<br>n चिह्नित गेंदों को x चिह्नित संदूकों में,<br>स्थानन पर कोई अन्य नियम नहीं है?]]
n marked balls into x marked boxes, <br>
| [[#case i|x में n-क्रमचय]]
with no other rules on placement?]]
[[#case i|आप कितने तरीकों से रख सकते हैं<br>n चिह्नित गेंदों को x चिह्नित संदूकों में,<br>बहु-]][[#case ix|संकुलों]] की अनुमति नहीं है?
| [[#case i|''n''-permutation in ''X''
| [[#case s|x उपसमुच्चय के साथ n की संरचना]]
How many ways can you place <br>
[[#case s|आप कितने तरीकों से रख सकते हैं<br>n चिह्नित गेंदों को x चिह्नित संदूकों में,<br>रिक्त संदूकों की अनुमति नहीं है?]]
n marked balls into x marked boxes, <br>
with no multi-packs allowed?]]
| [[#case s|composition of ''N'' with ''x'' subsets
How many ways can you place <br>
n marked balls into x marked boxes, <br>
with no empty boxes allowed?]]
|-
|-
! {{nowrap|1=''f'' ∘ S<sub>''n''</sub><br />(Balls plain, Boxes marked)}}  
! {{nowrap|1=''f'' ∘ S<sub>''n''</sub><br />(सादी गेंदे, चिह्नित संदूक)}}
| [[#case fn|''n''-multisubset of ''X''
| [[#case fn|X का n- बहु-]][[#case in|उपसमुच्चय]]
How many ways can you place <br>
[[#case fn|आप कितने तरीकों से रख सकते हैं<br>n सादे गेंदों को x चिन्हित संदूकों में<br>स्थानन पर कोई अन्य नियम नहीं है?]]
n plain balls into x marked boxes, <br>
| [[#case in|X का n-उपसमुच्चय]]
with no other rules on placement?]]  
[[#case in|आप कितने तरीकों से रख सकते हैं<br>n सादे गेंदों को x चिन्हित संदूकों में<br>बहु-]][[#case ix|संकुलों]] की अनुमति नहीं है?
| [[#case in|''n''-subset of ''X''
| [[#case sn|x पदों के साथ n की रचना]]
How many ways can you place <br>
[[#case sn|आप कितने तरीकों से रख सकते हैं<br>n सादे गेंदों को x चिन्हित संदूकों में<br>रिक्त संदूकों की अनुमति नहीं है?]]
n plain balls into x marked boxes, <br>
with no multi-packs allowed?]]
| [[#case sn|composition of ''n'' with ''x'' terms
How many ways can you place <br>
n plain balls into x marked boxes, <br>
with no empty boxes allowed?]]
|-
|-
! {{nowrap|1=S<sub>''x''</sub> ∘ ''f''<br />(Balls marked, Boxes plain)}}  
! {{nowrap|1=S<sub>''x''</sub> ∘ ''f''<br />(चिह्नित गेंद, सादे संदूक)}}
| [[#case fx|partition of ''N'' into ''x'' subsets
| [[#case fx|N का ≤ x उपसमुच्चय में विभाजन]]
How many ways can you place <br>
[[#case fx|आप कितने तरीकों से रख सकते हैं<br>n चिह्नित गेंदों को x सादे संदूकों में, <br>स्थानन पर कोई अन्य नियम नहीं है?]]
n marked balls into x plain boxes, <br>
| [[#case ix|N का ≤ x तत्वों में विभाजन]]
with no other rules on placement?]]  
[[#case ix|आप कितने तरीकों से रख सकते हैं<br>n चिन्हित गेंदें x सादे]] [[#case inx|संदूकों]] में, <br>बहु-संकुलों की अनुमति नहीं है?
| [[#case ix|partition of ''N'' into ''x'' elements
| [[#case sx|N का x उपसमुच्चय में विभाजन]]
How many ways can you place <br>
[[#case sx|आप कितने तरीकों से रख सकते हैं<br>n चिन्हित गेंदें x सादे]] [[#case inx|संदूकों]] में, <br>रिक्त [[#case inx|संदूकों]] की अनुमति नहीं है?
n marked balls into x plain boxes, <br>
with no multi-packs allowed?]]
| [[#case sx|partition of ''N'' into ''x'' subsets
How many ways can you place <br>
n marked balls into x plain boxes, <br>
with no empty boxes allowed?]]  
|-
|-
! {{nowrap|1=S<sub>''x''</sub> ∘ ''f'' ∘ S<sub>''n''</sub><br />(Balls and Boxes plain)}}  
! {{nowrap|1=S<sub>''x''</sub> ∘ ''f'' ∘ S<sub>''n''</sub><br />(सादी गेंदे और संदूक)}}
| [[#case fnx|partition of ''n'' into ''x'' parts
| [[#case fnx|n का ≤ x भागों में विभाजन]]
How many ways can you place <br>
[[#case fnx|आप कितने तरीकों से रख सकते हैं<br>n]] [[#case fn|सादे]] [[#case fx|गेंदों को x सादे संदूकों में, <br>स्थानन पर कोई अन्य नियम नहीं है?]]
n plain balls into x plain boxes, <br>
| [[#case inx|n का ≤ x भाग 1 में विभाजन]]
with no other rules on placement?]]
[[#case inx|आप कितने तरीकों से रख सकते हैं<br>]][[#case fnx|n]] [[#case fn|सादे]] [[#case fx|गेंदों को x सादे संदूकों में]],<br>बहु-संकुलों की अनुमति नहीं है?
| [[#case inx|partition of ''n'' into ''x'' parts 1
| [[#case snx|n का x भागों में विभाजन]]
How many ways can you place <br>
[[#case snx|आप कितने तरीकों से रख सकते हैं<br>]][[#case inx|n]] [[#case fn|सादे]] [[#case fx|गेंदों को x सादे संदूकों में]],<br>रिक्त संदूकों की अनुमति नहीं है?
n plain balls into x plain boxes, <br>
with no multi-packs allowed?]]
| [[#case snx|partition of ''n'' into ''x'' parts
How many ways can you place <br>
n plain balls into x plain boxes, <br>
with no empty boxes allowed?]]
|}
|}




=== विभिन्न मामलों का विवरण ===
=== विभिन्न स्थितियों का विवरण ===
 
नीचे दिए गए स्थितियों को इस तरह से क्रमबद्ध किया गया है कि उन स्थितियों को समूहित किया जा सके जिनके लिए गणना में उपयोग किए गए तर्क संबंधित हैं, जो दी गई तालिका में क्रम नहीं है।
 
==== N से X तक के फलन ====
यह स्थिति बिना किसी प्रतिबंध के ''X'' के ''n'' तत्वों के अनुक्रमों की गणना के समान है: एक फलन  {{math|''f'' : ''N'' → ''X''}}, ''N'' के तत्वों की ''n'' छवियों द्वारा निर्धारित किया जाता है, जो प्रत्येक को x के तत्वों के मध्य स्वतंत्र रूप से चुना जा सकता है। यह कुल ''x<sup>n</sup>'' संभावनाएं देता है।


नीचे दिए गए मामलों को इस तरह से क्रमबद्ध किया गया है कि उन मामलों को समूहित किया जा सके जिनके लिए गणना में उपयोग किए गए तर्क संबंधित हैं, जो दी गई तालिका में क्रम नहीं है।
उदाहरण:


===={{anchor|case f}} N से X ==== तक कार्य करता है
<math>X = \{a, b, c\}, N = \{1, 2\} \text{, तब }</math>


यह मामला बिना किसी प्रतिबंध के एक्स के 'एन तत्वों के अनुक्रम' की गिनती के बराबर है: एक फ़ंक्शन {{math|''f'' : ''N'' → ''X''}} N के तत्वों की n छवियों द्वारा निर्धारित किया जाता है, जिनमें से प्रत्येक को x के तत्वों के बीच स्वतंत्र रूप से चुना जा सकता है। यह कुल x देता है<sup>n</sup> संभावनाएं।
<math>\left\vert\{(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)\}\right\vert = 3^2 = 9</math>


<ब्लॉककोट>उदाहरण:
==== N से X तक के अंतःक्षेपी फलन ====
<math>X = \{a, b, c\}, N = \{1, 2\} \text{, then }</math>
यह स्थिति X के n अलग-अलग तत्वों के अनुक्रमों की गणना के समान है, जिसे X का "n-क्रमचय" या "बिना दोहराव वाले अनुक्रम" भी कहा जाता है; पुनः यह क्रम ''N'' के तत्वों की ''n'' छवियों द्वारा बनता है। यह स्थिति अप्रतिबंधित अनुक्रमों में से एक से भिन्न होता है जिसमें दूसरे तत्व के लिए एक विकल्प कम होता है और इसी तरह तीसरे तत्व के लिए दो कम होते हैं। इसलिए ''x'' की एक सामान्य घात के बजाय, मान ''x'' की अवरोही भाज्य घात द्वारा दिया जाता है, जिसमें प्रत्येक क्रमिक कारक पिछले एक से एक कम होता है। सूत्र है
<math>\left\vert\{(a, a), (a, b), (a, c), (b, a), (b, b), (b, c), (c, a), (c, b), (c, c)\}\right\vert = 3^2 = 9</math></ब्लॉककोट>


===={{anchor|case i}} एन से एक्स ==== तक इंजेक्शन कार्य
: <math> x^{\underline n} = x(x-1)\cdots(x-n+1)</math>
ध्यान दें कि यदि {{math|''n'' &gt; ''x''}} तो कोई कारक शून्य प्राप्त करता है, इसलिए इस स्थिति में कोई अंतःक्षेपी फलन {{math|''N'' → ''X''}} पूर्णतया नहीं है; यह कोष्ठ के सिद्धांत का केवल एक पुनर्कथन है।


यह मामला X के n अलग-अलग तत्वों के अनुक्रमों की गिनती के बराबर है, जिसे X का 'एन-क्रमपरिवर्तन' या 'बिना दोहराव वाले अनुक्रम' भी कहा जाता है; फिर से यह क्रम N के तत्वों की n छवियों द्वारा बनता है। यह मामला अप्रतिबंधित अनुक्रमों में से एक से भिन्न होता है जिसमें दूसरे तत्व के लिए एक विकल्प कम होता है, तीसरे तत्व के लिए दो कम होते हैं, और इसी तरह। इसलिए x की एक सामान्य शक्ति के बजाय, मान x की गिरती हुई भाज्य शक्ति द्वारा दिया जाता है, जिसमें प्रत्येक क्रमिक कारक पिछले एक से एक कम होता है। सूत्र है
उदाहरण:


: <math> x^{\underline n} = x(x-1)\cdots(x-n+1).</math>
<math>X = \{a, b, c, d \}, N = \{1, 2\} \text{, तब }</math>
ध्यान दें कि अगर {{math|''n'' &gt; ''x''}} तो कोई कारक शून्य प्राप्त करता है, इसलिए इस मामले में कोई इंजेक्शन कार्य नहीं है {{math|''N'' → ''X''}} बिलकुल; यह कबूतरखाने के सिद्धांत का सिर्फ एक पुनर्कथन है।


<ब्लॉककोट>उदाहरण:
<math> \left\vert\{(a, b), (a, c), (a,d), (b, a), (b, c), (b,d), (c, a), (c, b), (c,d), (d,a), (d,b), (d,c) \}\right\vert = 4^{\underline2} = 4 \times 3 = 12</math>
<math>X = \{a, b, c, d \}, N = \{1, 2\} \text{, then }</math>
<math> \left\vert\{(a, b), (a, c), (a,d), (b, a), (b, c), (b,d), (c, a), (c, b), (c,d), (d,a), (d,b), (d,c) \}\right\vert = 4^{\underline2} = 4 \times 3 = 12</math></ब्लॉककोट>


===={{anchor|case in}} एन ==== के क्रमपरिवर्तन तक, एन से एक्स तक इंजेक्शन कार्य
==== ''N'' के क्रमचय तक, ''N'' से ''X'' तक अंतःक्षेपी फलन ====
यह स्थिति ''X'' के उपसमुच्चयों के साथ ''n'' तत्वों की गणना के समान है, जिसे ''X'' का ''n''-संयोजन भी कहा जाता है: ''X'' के ''n'' विशिष्ट तत्वों के अनुक्रमों के मध्य, जो केवल उनके शब्दों के क्रम में भिन्न होते हैं, उन्हें ''N'' के क्रमचय द्वारा पहचाना जाता है। चूंकि सभी स्थिति में यह समूह पूर्णतया ''n!'' विभिन्न अनुक्रमों में, ''X'' के ''n''-संयोजनों की संख्या प्राप्त करने के लिए, हम ऐसे अनुक्रमों की संख्या को ''n!'' से विभाजित कर सकते हैं। इस संख्या को द्विपद गुणांक <math>\tbinom xn</math> के रूप में जाना जाता है, जो इसलिए द्वारा दिया गया है:


यह मामला X के 'उपसमुच्चयों के साथ n तत्वों' की गिनती के बराबर है, जिसे X का n-संयोजन भी कहा जाता है: X के n विशिष्ट तत्वों के अनुक्रमों के बीच, जो केवल उनके शब्दों के क्रम में भिन्न होते हैं, उन्हें N के क्रमपरिवर्तन द्वारा पहचाना जाता है। चूंकि सभी मामलों में यह समूह बिल्कुल n! विभिन्न अनुक्रमों में, हम ऐसे अनुक्रमों की संख्या को n से विभाजित कर सकते हैं! एक्स के एन-संयोजनों की संख्या प्राप्त करने के लिए। इस संख्या को द्विपद गुणांक के रूप में जाना जाता है <math>\tbinom xn</math>, जो इसलिए द्वारा दिया गया है
:<math>\binom xn = \frac{x^{\underline n}}{n!} = \frac{x(x-1)\cdots(x-n+2)(x-n+1)}{n(n-1)\cdots2\cdot1}</math>
उदाहरण:


:<math>\binom xn = \frac{x^{\underline n}}{n!} = \frac{x(x-1)\cdots(x-n+2)(x-n+1)}{n(n-1)\cdots2\cdot1}.</math>
<math>X = \{a, b, c, d \}, N = \{1, 2\} \text{, तब }</math>
<ब्लॉककोट>उदाहरण:
<math>X = \{a, b, c, d \}, N = \{1, 2\} \text{, then }</math>
<math> \left\vert\{\{a, b\}, \{a, c\}, \{a, d\}, \{b, c\}, \{b, d\}, \{c, d\} \}\right\vert = \frac{4^{\underline2}}{2!} = \frac{4 \times 3}{2} = 6</math></ब्लॉककोट>


===={{anchor|case fn}} N से X तक के कार्य, N ==== के क्रमपरिवर्तन तक
<math> \left\vert\{\{a, b\}, \{a, c\}, \{a, d\}, \{b, c\}, \{b, d\}, \{c, d\} \}\right\vert = \frac{4^{\underline2}}{2!} = \frac{4 \times 3}{2} = 6</math>


यह मामला X से 'मल्टीसेट्स विद एन एलिमेंट्स' की गिनती के बराबर है (जिसे एन-मल्टीकोम्बिनेशन भी कहा जाता है)। इसका कारण यह है कि एक्स के प्रत्येक तत्व के लिए यह निर्धारित किया जाता है कि एन के कितने तत्वों को एफ द्वारा मैप किया जाता है, जबकि दो कार्य जो एक्स के प्रत्येक तत्व को समान गुण प्रदान करते हैं, हमेशा एन के क्रमपरिवर्तन द्वारा दूसरे में परिवर्तित हो सकते हैं। सूत्र सभी कार्यों की गिनती करता है {{math|''N'' → ''X''}} यहाँ उपयोगी नहीं है, क्योंकि N के क्रमपरिवर्तन द्वारा एक साथ समूहीकृत उनकी संख्या एक फ़ंक्शन से दूसरे फ़ंक्शन में भिन्न होती है। बल्कि, जैसा कि संयोजन#संख्या के संयोजनों की पुनरावृत्ति के तहत समझाया गया है, x तत्वों वाले एक सेट से n-मल्टीकॉम्बिनेशन की संख्या को एक सेट से n-संयोजनों की संख्या के समान देखा जा सकता है {{math|''x'' + ''n'' − 1}} तत्व। यह समस्या को #मामले में बारह गुना कम कर देता है, और परिणाम देता है
==== N से X तक के फलन, N के क्रमचय तक ====
यह स्थिति X से n तत्वों के साथ बहु-समुच्चय की गणना के समान है (जिसे n-बहुसंयोजन भी कहा जाता है)। इसका कारण यह है कि X के प्रत्येक तत्व के लिए यह निर्धारित किया जाता है कि N के कितने तत्वों को ''f'' द्वारा मानचित्रित किया जाता है, जबकि दो फलन जो X के प्रत्येक तत्व को समान गुण प्रदान करते हैं, सदैव N के क्रमचय द्वारा दूसरे में परिवर्तित हो सकते हैं। सूत्र सभी फलनों {{math|''N'' → ''X''}} की गणना यहाँ उपयोगी नहीं है, क्योंकि N के क्रमचय द्वारा एक साथ समूहीकृत उनकी संख्या एक फलन से दूसरे फलन में भिन्न होती है। बल्कि, जैसा कि संयोजनों की पुनरावृत्ति के अंतर्गत समझाया गया है, x तत्वों वाले समुच्चय से n-बहुसंयोजन की संख्या {{math|''x'' + ''n'' − 1}} तत्वों वाले समुच्चय से n-संयोजनों की संख्या के समान देखा जा सकता है। यह समस्या को बारह गुना तरीके से कम कर देता है और परिणाम देता है:


: <math> \binom{x+n-1}n = \frac{(x+n-1)(x+n-2)\cdots(x+1)x}{n(n-1)\cdots2\cdot1} = \frac{x^{\overline n}}{n!}.</math>
: <math> \binom{x+n-1}n = \frac{(x+n-1)(x+n-2)\cdots(x+1)x}{n(n-1)\cdots2\cdot1} = \frac{x^{\overline n}}{n!}.</math>
<ब्लॉककोट>उदाहरण:
उदाहरण:
<math>X = \{a, b, c\}, N = \{1, 2\} \text{, then } </math>
 
<math>\left\vert\{\{a, a\}, \{a, b\}, \{a, c\}, \{b, b\}, \{b, c\}, \{c, c\}\}\right\vert = \frac{3^{\overline 2}}{2!} = \frac{4 \times 3}{2} = 6</math></ब्लॉककोट>
<math>X = \{a, b, c\}, N = \{1, 2\} \text{, तब } </math>


===={{anchor|case sn}} N ==== के क्रमपरिवर्तन तक, N से X तक विशेषण कार्य करता है
<math>\left\vert\{\{a, a\}, \{a, b\}, \{a, c\}, \{b, b\}, \{b, c\}, \{c, c\}\}\right\vert = \frac{3^{\overline 2}}{2!} = \frac{4 \times 3}{2} = 6</math>


यह मामला X से n तत्वों के साथ मल्टीसेट्स की गिनती के बराबर है, जिसके लिए X का प्रत्येक तत्व कम से कम एक बार होता है। यह x के तत्वों की बहुलताओं को क्रम में सूचीबद्ध करके 'x (गैर-शून्य) पदों के साथ n की 'रचना (संख्या सिद्धांत)' की गणना करने के बराबर है। फ़ंक्शंस और मल्टीसेट्स के बीच पत्राचार पिछले मामले की तरह ही है, और आच्छादन आवश्यकता का मतलब है कि सभी गुणक कम से कम एक हैं। सभी गुणाओं को 1 से घटाकर, यह पिछले मामले में कम हो जाता है; चूँकि परिवर्तन से n का मान x से घट जाता है, परिणाम है
==== N के क्रमचय तक, N से X तक प्रक्षेप्य फलन ====
यह स्थिति X से n तत्वों के साथ बहु-समुच्चयों की गणना के समान है, जिसके लिए X का प्रत्येक तत्व कम-से-कम एक बार होता है। यह x के तत्वों की बहुलताओं को क्रम में सूचीबद्ध करके, x (गैर-शून्य) पदों के साथ n की रचनाओं की गणना करने के समान है। फलनों और बहु-समुच्चयों के मध्य पत्राचार पूर्व स्थिति की तरह ही है और प्रक्षेप्य आवश्यकता का अर्थ है कि सभी गुणक कम-से-कम एक हैं। सभी गुणाओं को 1 से घटाकर, यह पूर्व स्थिति में कम हो जाता है; चूँकि परिवर्तन से n का मान x से घट जाता है, परिणाम है:


:<math> \binom{n-1}{n-x}.</math>
:<math> \binom{n-1}{n-x}.</math>
ध्यान दें कि जब n < x कोई विशेषण फलन नहीं होता है {{math|''N'' → ''X''}} बिल्‍कुल भी (खाली कबूतरखाने का एक प्रकार का सिद्धांत); इसे सूत्र में इस बात पर ध्यान दिया जाता है कि यदि निचला सूचकांक ऋणात्मक है तो द्विपद गुणांक हमेशा 0 होता है। वही मान व्यंजक द्वारा भी दिया जाता है
ध्यान दें कि जब n < x कोई प्रक्षेप्य फलन नहीं होता है तो {{math|''N'' → ''X''}} (एक प्रकार का "रिक्त कोष्ठ" सिद्धांत) है; इसे सूत्र में इस तथ्य पर ध्यान दिया जाता है कि यदि निचला सूचकांक ऋणात्मक है तो द्विपद गुणांक सदैव 0 होता है। वही मान व्यंजक द्वारा भी दिया जाता है;


:<math> \binom{n-1}{x-1},</math>
:<math> \binom{n-1}{x-1},</math>
चरम मामले को छोड़कर {{math|1=''n'' = ''x'' = 0}}, जहां पूर्व अभिव्यक्ति के साथ सही ढंग से देता है <math>\tbinom{-1}0=1</math>, जबकि बाद वाला गलत देता है <math>\tbinom{-1}{-1}=0</math>.
चरम स्थिति को छोड़कर {{math|1=''n'' = ''x'' = 0}}, जहां पूर्व अभिव्यक्ति सही ढंग से <math>\tbinom{-1}0=1</math> देती है, जबकि बाद वाला गलत <math>\tbinom{-1}{-1}=0</math> देता है।
 
परिणाम का रूप विशेषण कार्यों के एक वर्ग को संबद्ध करने के तरीके की तलाश करने का सुझाव देता है {{math|''N'' → ''X''}} सीधे के एक सबसेट के लिए {{math|''n'' − ''x''}} कुल में से चुने गए तत्व {{math|''n'' − 1}}, जो निम्नानुसार किया जा सकता है। पहले समुच्चय N और X का कुल क्रम चुनें, और ध्यान दें कि N का उपयुक्त क्रमपरिवर्तन लागू करने से, प्रत्येक विशेषण फलन {{math|''N'' → ''X''}} को एक कमजोर रूप से बढ़ते (और निश्चित रूप से अभी भी विशेषण) फ़ंक्शन में परिवर्तित किया जा सकता है। यदि कोई N के तत्वों को क्रम से जोड़ता है {{math|''n'' − 1}} एक [[रेखीय ग्राफ]] में आर्क करता है, फिर किसी भी उपसमुच्चय को चुनता है {{math|''n'' − ''x''}} आर्क्स और बाकी को हटाकर, एक्स कनेक्टेड घटकों के साथ एक ग्राफ प्राप्त करता है, और इन्हें एक्स के क्रमिक तत्वों को भेजकर, एक कमजोर रूप से बढ़ते हुए विशेष कार्य को प्राप्त करता है {{math|''N'' → ''X''}}; कनेक्टेड घटकों के आकार भी x भागों में n की संरचना देते हैं। यह तर्क मूल रूप से सितारों और सलाखों (प्रायिकता) पर दिया गया है, सिवाय इसके कि वहाँ का पूरक विकल्प है {{math|''x'' − 1}} अलग किया जाता है।
 
<ब्लॉककोट>उदाहरण:
<math>X = \{a, b\}, N = \{1, 2, 3\}\text{, then } </math>
<math>\left\vert\{\{a, a, b\}, \{a, b, b\}\}\right\vert = \binom{3-1}{3-2} = \binom{2}{1} = \frac{2!}{1!\times (2-1)!} = 2</math></ब्लॉककोट>


===={{anchor|case ix}} एन से एक्स तक इंजेक्शन कार्य, एक्स ==== के क्रमपरिवर्तन तक
परिणाम का रूप कुल {{math|''n'' − 1}} में से चुने गए, {{math|''n'' − ''x''}} तत्वों के एक उपसमुच्चय से स्पष्टतः प्रक्षेप्य फलनों {{math|''N'' → ''X''}}  के एक वर्ग को संबद्ध करने के तरीके की खोज करने का सुझाव देता है जिसे निम्नानुसार किया जा सकता है। सर्वप्रथम, समुच्चय N और X का कुल क्रम चुनें और ध्यान दें कि N का उपयुक्त क्रमचय अनुप्रयुक्त करके, प्रत्येक प्रक्षेप्य फलन {{math|''N'' → ''X''}}  को एक अद्वितीय दुर्बलता से बढ़ते हुए (और निश्चित रूप से अभी भी प्रक्षेप्य) फलन में परिवर्तित किया जा सकता है। यदि कोई N के तत्वों को क्रम {{math|''n'' − 1}} चाप से एक रेखीय [[रेखीय ग्राफ|आलेख]] से जोड़ता है, तो {{math|''n'' − ''x''}} चाप के किसी भी उपसमुच्चय को चुनकर और बाकी को हटाकर, x संसक्त घटकों के साथ एक आलेख प्राप्त करता है और इन्हें X के क्रमिक तत्वों को भेजकर, एक दुर्बलता से बढ़ते हुए विशेष फलन {{math|''N'' → ''X''}} को प्राप्त करता है; संसक्त घटकों के आकार भी x भागों में n की संरचना देते हैं। यह तर्क मूल रूप से सितारे और बार (प्रायिकता) पर दिया गया है, अतिरिक्त इसके कि वहाँ {{math|''x'' − 1}} "पृथक्करण" का पूरक विकल्प बनाया गया है।


इस मामले में हम X से अलग-अलग तत्वों के अनुक्रमों पर विचार करते हैं, लेकिन प्रत्येक तत्व पर X के क्रमचय को लागू करके एक दूसरे से प्राप्त की पहचान करते हैं। यह देखना आसान है कि ऐसे दो अलग-अलग अनुक्रम हमेशा पहचाने जा सकते हैं: क्रमचय को शब्द को मैप करना चाहिए पहले अनुक्रम के i से दूसरे क्रम के i तक, और चूंकि किसी भी क्रम में दो बार कोई मान नहीं होता है, इसलिए ये आवश्यकताएं एक दूसरे के विपरीत नहीं होती हैं; यह उन तत्वों को मानचित्रित करने के लिए बनी हुई है जो पहले क्रम में नहीं होते हैं, दूसरे क्रम में मनमाने तरीके से घटित नहीं होते हैं। एकमात्र तथ्य जो परिणाम को n और x पर बिल्कुल भी निर्भर करता है, वह यह है कि ऐसे किसी भी अनुक्रम के अस्तित्व की आवश्यकता होती है {{math|''n'' ≤ ''x''}}, कबूतर के सिद्धांत द्वारा। संख्या इसलिए व्यक्त की जाती है <math>[n\leq x]</math>, आइवरसन ब्रैकेट का उपयोग करना।
उदाहरण:


===={{anchor|case inx}} एन से एक्स तक इंजेक्शन कार्य, एन और एक्स ==== के क्रमपरिवर्तन तक
<math>X = \{a, b\}, N = \{1, 2, 3\}\text{, तब } </math>


यह मामला पिछले एक तक कम हो गया है: चूँकि X से अलग-अलग तत्वों के सभी अनुक्रमों को पहले से ही उनके प्रत्येक पद के लिए X के क्रमपरिवर्तन को लागू करके एक दूसरे में रूपांतरित किया जा सकता है, साथ ही शर्तों को फिर से व्यवस्थित करने से कोई नई पहचान नहीं मिलती है; संख्या बनी हुई है <math>[n\leq x]</math>.
<math>\left\vert\{\{a, a, b\}, \{a, b, b\}\}\right\vert = \binom{3-1}{3-2} = \binom{2}{1} = \frac{2!}{1!\times (2-1)!} = 2</math>


===={{anchor|case sx}} N से X तक विशेषण फलन, X ==== के क्रमपरिवर्तन तक
==== N से X तक अंतःक्षेपी फलन, X के क्रमचय तक ====
इस स्थिति में हम X से अलग-अलग तत्वों के अनुक्रमों पर विचार करते हैं, परन्तु प्रत्येक तत्व पर X के क्रमचय को अनुप्रयुक्त करके एक दूसरे से प्राप्त की पहचान करते हैं। यह देखना सरल है कि ऐसे दो अलग-अलग अनुक्रम सदैव पहचाने जा सकते हैं: क्रमचय को शब्द को मानचित्रित करना चाहिए पहले अनुक्रम के i से दूसरे क्रम के i तक, और चूंकि किसी भी क्रम में दो बार कोई मान नहीं होता है, इसलिए ये आवश्यकताएं एक दूसरे के विपरीत नहीं होती हैं; यह उन तत्वों को मानचित्रित करने के लिए बनी हुई है जो पहले क्रम में नहीं होते हैं, दूसरे क्रम में यादृच्छिक तरीके से घटित नहीं होते हैं। एकमात्र तथ्य जो परिणाम को n और x पर पूर्णतया भी निर्भर करता है, वह यह है कि कोष्ठ के सिद्धांत द्वारा ऐसे किसी भी अनुक्रम {{math|''n'' ≤ ''x''}} के अस्तित्व की आवश्यकता होती है। आइवरसन कोष्ठक का उपयोग करके, इसलिए संख्या <math>[n\leq x]</math> व्यक्त की जाती है।


यह मामला 'एन के एक सेट के एक्स (गैर-खाली) उपसमुच्चय में विभाजन' की गणना करने के बराबर है, या बिल्कुल एक्स वर्गों के साथ एन पर समकक्ष संबंधों की गणना करने के बराबर है। दरअसल, किसी विशेषण कार्य के लिए {{math|''f'' : ''N'' → ''X''}}, f के अंतर्गत एक ही छवि होने का संबंध एक ऐसा तुल्यता संबंध है, और जब X का क्रमचय बाद में लागू किया जाता है तो यह नहीं बदलता है; इसके विपरीत कोई भी इस तरह के तुल्यता संबंध को x तुल्यता वर्गों में किसी तरह से X के तत्वों को असाइन करके एक विशेषण फलन में बदल सकता है। परिभाषा के अनुसार ऐसे विभाजनों या तुल्यता संबंधों की संख्या दूसरे प्रकार के S(n,x) की स्टर्लिंग संख्या है, जिसे लिखा भी गया है <math>\textstyle\{{n\atop x}\}</math>. इसके मान को एक पुनरावर्ती संबंध का उप[[योग]] करके या उत्पन्न करने वाले कार्यों का उपयोग करके वर्णित किया जा सकता है, लेकिन द्विपद गुणांक के विपरीत इन संख्याओं के लिए कोई [[बंद सूत्र]] नहीं है जिसमें एक योग शामिल नहीं है।
==== N से X तक अंतःक्षेपी फलन, N से X के क्रमचय तक ====
यह स्थिति पूर्व एक तक कम हो गया है: चूँकि X से अलग-अलग तत्वों के सभी अनुक्रमों को पूर्व से ही उनके प्रत्येक पद के लिए X के क्रमचय को अनुप्रयुक्त करके एक दूसरे में रूपांतरित किया जा सकता है, साथ ही प्रतिबन्धों को पुनः व्यवस्थित करने से कोई नई पहचान नहीं मिलती है; संख्या <math>[n\leq x]</math> बनी हुई है।  


===={{anchor|case s}} एन से एक्स ==== विशेषण कार्य करता है
==== N से X तक प्रक्षेप्य फलन, X के क्रमचय तक ====
यह स्थिति N के x (गैर-रिक्त) उपसमुच्चयों में विभाजन की गणना करने के समान है, या पूर्णतया x वर्गों के साथ N पर तुल्यता संबंधों की गणना करने के समान है। वास्तव में, किसी प्रक्षेप्य फलन  {{math|''f'' : ''N'' → ''X''}} के लिए, f के अंतर्गत एक ही छवि होने का संबंध एक ऐसा तुल्यता संबंध है और जब X का क्रमचय बाद में अनुप्रयुक्त किया जाता है तो यह परिवर्तित नहीं होता है; इसके विपरीत कोई भी इस तरह के तुल्यता संबंध को x तुल्यता वर्गों में किसी तरह से X के तत्वों को निर्दिष्ट करके एक प्रक्षेप्य फलन में परिवर्तित कर सकता है। परिभाषा के अनुसार ऐसे विभाजनों या तुल्यता संबंधों की संख्या दूसरे प्रकार के S(n,x) की स्टर्लिंग संख्या है, जिसे <math>\textstyle\{{n\atop x}\}</math>लिखा भी गया है। इसके मान को एक पुनरावर्ती संबंध का उपयोग करके या उत्पन्न करने वाले फलनों का उपयोग करके वर्णित किया जा सकता है, परन्तु द्विपद गुणांक के विपरीत इन संख्याओं के लिए कोई [[बंद सूत्र|संवृत सूत्र]] नहीं है जिसमें एक योग सम्मिलित नहीं है।


प्रत्येक विशेषण समारोह के लिए {{math|''f'' : ''N'' → ''X''}}, X के क्रमचय के अंतर्गत इसकी कक्षा में x है! तत्व, चूंकि रचना (बाईं ओर) X के दो अलग-अलग क्रमपरिवर्तन के साथ कभी भी N पर एक ही फ़ंक्शन नहीं देता है (क्रमपरिवर्तन X के कुछ तत्वों पर भिन्न होना चाहिए, जिसे हमेशा कुछ i ∈ N के लिए f(i) के रूप में लिखा जा सकता है, और रचनाएँ तब i) पर भिन्न होंगी। यह इस प्रकार है कि इस स्थिति के लिए संख्या x है! पिछले मामले की संख्या का गुना, यानी <math>\textstyle x!\{{n\atop x}\}.</math>
==== N से X तक प्रक्षेप्य फलन ====
<ब्लॉककोट>उदाहरण:
प्रत्येक प्रक्षेप्य फलन  {{math|''f'' : ''N'' → ''X''}} के लिए, X के क्रमचय के अंतर्गत इसकी कक्षा में x! तत्व है, चूंकि रचना (बाईं ओर) X के दो अलग-अलग क्रमचय के साथ कभी भी N पर एक ही फलन नहीं देता है (क्रमचय X के कुछ तत्वों पर भिन्न होना चाहिए, जिसे सदैव कुछ ''i ∈ N'' के लिए ''f(i)'' के रूप में लिखा जा सकता है और रचनाएँ तब ''i'' है) पर भिन्न होंगी। यह इस प्रकार है कि इस स्थिति के लिए संख्या ''x!'' है, पूर्व स्थिति की संख्या का गुना, अर्थात <math>\textstyle x!\{{n\atop x}\}</math> है।
<math>X = \{a, b\}, N = \{1, 2, 3\}\text{, then } </math>
<math>\left\vert\{(a, a, b), (a, b, a), (a, b, b), (b, a, a), (b, a, b), (b, b, a)\}\right\vert = 2!\left\{{3\atop 2}\right\} = 2 \times 3 = 6</math></ब्लॉककोट>


===={{anchor|case fx}} N से X तक कार्य, X ==== के क्रमपरिवर्तन तक
उदाहरण:


यह मामला विशेषण कार्यों के लिए #केस एसएक्स की तरह है, लेकिन एक्स के कुछ तत्व किसी भी समकक्ष वर्ग के अनुरूप नहीं हो सकते हैं (चूंकि कोई एक्स के क्रमपरिवर्तन तक कार्यों को मानता है, इससे कोई फर्क नहीं पड़ता कि कौन से तत्व संबंधित हैं, बस कितने ). एक परिणाम के रूप में एन पर समानता संबंधों की गणना अधिकतम x वर्गों के साथ की जा रही है, और परिणाम x तक के मानों के योग द्वारा उल्लिखित मामले से प्राप्त किया जाता है, दे रहा है  <math>\textstyle\sum_{k=0}^x \{{ n\atop k}\}</math>. मामले में x ≥ n, x का आकार कोई प्रतिबंध नहीं लगाता है, और कोई n तत्वों के सेट पर सभी समतुल्य संबंधों की गणना कर रहा है (समान रूप से ऐसे सेट के सभी विभाजन); इसलिए <math>\textstyle\sum_{k=0}^n \{{ n\atop k}\}</math> [[बेल नंबर]] बी के लिए बेल नंबर # योग सूत्र देता है<sub>''n''</sub>.
<math>X = \{a, b\}, N = \{1, 2, 3\}\text{, तब } </math>


===={{anchor|case snx}} N से X तक विशेषण फलन, N और X ==== के क्रमपरिवर्तन तक
<math>\left\vert\{(a, a, b), (a, b, a), (a, b, b), (b, a, a), (b, a, b), (b, b, a)\}\right\vert = 2!\left\{{3\atop 2}\right\} = 2 \times 3 = 6</math>


यह मामला संख्या n के x गैर-शून्य भागों में 'विभाजन (संख्या सिद्धांत)' की गिनती के बराबर है। गिनती के मामले की तुलना में #केस एसएक्स केवल (<math>\textstyle \{{n \atop x}\}</math>), कोई केवल समतुल्यता वर्गों के आकार को बरकरार रखता है जो फ़ंक्शन N को विभाजित करता है (प्रत्येक आकार की बहुलता सहित), क्योंकि दो तुल्यता संबंधों को N के क्रमपरिवर्तन द्वारा एक दूसरे में रूपांतरित किया जा सकता है यदि और केवल यदि उनके वर्गों के आकार मिलान। यह ठीक वही है जो n के विभाजन की धारणा को N के विभाजन की धारणा से अलग करता है, इसलिए परिणामस्वरूप व्यक्ति को संख्या p की परिभाषा मिलती है<sub>''x''</sub>(एन) एन के एक्स गैर-शून्य भागों में विभाजन।
==== N से X तक फलन, X के क्रमचय तक ====
यह स्थिति प्रक्षेप्य फलनों के लिए संबंधित एक जैसा है, परन्तु ''X'' के कुछ तत्व किसी भी तुल्यता वर्ग के अनुरूप नहीं हो सकते हैं (चूंकि कोई X के क्रमचय तक फलनों पर विचार करता है, इससे कोई असमानता नहीं होती कि कौन से तत्व संबंधित हैं, केवल कितने हैं)। एक परिणाम के रूप में, ''N'' पर समानता संबंधों की गणना अधिकतम ''x'' वर्गों के साथ की जा रही है और परिणाम ''x'' तक के मानों के योग द्वारा उल्लिखित स्थिति से प्राप्त किया जाता है, <math>\textstyle\sum_{k=0}^x \{{ n\atop k}\}</math> दे रहा है। स्थिति ''x ≥ n'' में, ''x'' का आकार कोई प्रतिबंध नहीं लगाता है और कोई ''n'' तत्वों के समुच्चय पर सभी समतुल्य संबंधों की गणना कर रहा है (समान रूप से ऐसे समुच्चय के सभी विभाजन); इसलिए <math>\textstyle\sum_{k=0}^n \{{ n\atop k}\}</math> [[बेल नंबर|बेल संख्या]] ''B<sub>n</sub>'' के लिए एक व्यंजक देता है।


===={{anchor|case fnx}} N से X तक के कार्य, N और X ==== के क्रमपरिवर्तन तक
==== N से X तक प्रक्षेप्य फलन, N और X के क्रमचय तक ====
यह स्थिति संख्या ''n'' के ''x'' गैर-शून्य भागों में विभाजन की गणना के समान है। केवल X के क्रमचय तक प्रक्षेप्य फलनों की गणना की स्थिति (<math>\textstyle \{{n \atop x}\}</math>) की तुलना में, कोई केवल समतुल्यता वर्गों के आकार को बनाए रखता है, जो फलन ''N'' को विभाजित करता है (प्रत्येक आकार की बहुलता सहित), क्योंकि दो तुल्यता संबंधों को एक दूसरे में रूपांतरित किया जा सकता है, ''N'' का यदि और केवल यदि उनकी कक्षाओं के आकार मेल खाते हैं। यह ठीक वही है जो ''n'' के विभाजन की धारणा को ''N'' के विभाजन की धारणा से भिन्न करता है, इसलिए एक परिणाम के रूप में, ''x'' गैर-शून्य भागों में ''n'' के विभाजनों की संख्या ''px(n)'' परिभाषा के अनुसार मिलती है।


यह मामला 'संख्या n के विभाजनों को ≤ x भागों' में गिनने के बराबर है। एसोसिएशन पिछले मामले के समान है, सिवाय इसके कि अब विभाजन के कुछ हिस्से 0 के बराबर हो सकते हैं। (विशेष रूप से, वे एक्स के तत्वों के अनुरूप हैं जो फ़ंक्शन की छवि में नहीं हैं।) एन के प्रत्येक विभाजन में अधिकतम x गैर-शून्य भागों को आवश्यक संख्या में शून्य जोड़कर इस तरह के विभाजन तक बढ़ाया जा सकता है, और यह सभी संभावनाओं के लिए एक बार खाता है, इसलिए परिणाम दिया जाता है <math>\textstyle\sum_{k=0}^x p_k(n)</math>. प्रत्येक x भाग में 1 जोड़ने पर, एक विभाजन प्राप्त होता है {{math|''n'' + ''x''}} x अशून्य भागों में, और यह पत्राचार विशेषण है; इसलिए दिए गए व्यंजक को इस रूप में लिखकर सरल किया जा सकता है <math>p_x(n+x)</math>.
==== N से X तक के फलन, N और X के क्रमचय तक ====
यह स्थिति संख्या n के विभाजनों ≤ x भागों की गणना के समान है। संघ पूर्व स्थिति के समान है, अतिरिक्त इसके कि अब विभाजन के कुछ भाग 0 के समान हो सकते हैं (विशेष रूप से, वे X के तत्वों के अनुरूप हैं जो फलन की छवि में नहीं हैं)। n के प्रत्येक विभाजन में अधिकतम x गैर-शून्य भागों को आवश्यक संख्या में शून्य जोड़कर इस तरह के विभाजन तक बढ़ाया जा सकता है और यह सभी संभावनाओं के लिए एक बार खाता है, इसलिए परिणाम <math>\textstyle\sum_{k=0}^x p_k(n)</math> दिया जाता है। x भागों में से प्रत्येक में 1 जोड़कर, ''n'' + ''x'' का x गैर-शून्य भागों में विभाजन प्राप्त करता है, और यह पत्राचार विशेषण है; इसलिए दिए गए व्यंजक को इस <math>p_x(n+x)</math> रूप में लिखकर सरल किया जा सकता है।


=== चरम मामले ===
=== चरम स्थिति ===


उपरोक्त सूत्र सभी परिमित समुच्चय N और X के लिए उचित मान देते हैं। कुछ मामलों में ऐसे वैकल्पिक सूत्र हैं जो लगभग समतुल्य हैं, लेकिन कुछ चरम मामलों में सही परिणाम नहीं देते हैं, जैसे कि जब N या X खाली होते हैं। निम्नलिखित विचार ऐसे मामलों पर लागू होते हैं।
उपरोक्त सूत्र सभी परिमित समुच्चय ''N'' और ''X'' के लिए उचित मान देते हैं। कुछ स्थितियों में ऐसे वैकल्पिक सूत्र हैं जो लगभग समतुल्य हैं, परन्तु कुछ चरम स्थितियों में सही परिणाम नहीं देते हैं, जैसे कि जब ''N'' या ''X'' रिक्त होते हैं। निम्नलिखित विचार ऐसे स्थितियों पर अनुप्रयुक्त होते हैं।
* प्रत्येक सेट एक्स के लिए खाली सेट से एक्स तक बिल्कुल एक फ़ंक्शन होता है (निर्दिष्ट करने के लिए इस फ़ंक्शन का कोई मान नहीं है), जो हमेशा इंजेक्शन होता है, लेकिन जब तक एक्स (भी) खाली नहीं होता है तब तक विशेषण नहीं होता है।
* प्रत्येक समुच्चय ''X'' के लिए रिक्त समुच्चय से ''X'' तक पूर्णतया एक फलन होता है (निर्दिष्ट करने के लिए इस फलन का कोई मान नहीं है), जो सदैव अंतःक्षेपी होता है, परन्तु जब तक ''X'' (भी) रिक्त नहीं होता है तब तक प्रक्षेप्य नहीं होता है।
* प्रत्येक गैर-खाली सेट एन के लिए, एन से खाली सेट तक कोई फ़ंक्शन नहीं है (फ़ंक्शन का कम से कम एक मान है जिसे निर्दिष्ट किया जाना चाहिए, लेकिन यह नहीं हो सकता)।
* प्रत्येक गैर-रिक्त समुच्चय ''N'' के लिए, ''N'' से रिक्त समुच्चय तक कोई फलन नहीं है (फलन का कम-से-कम एक मान है जिसे निर्दिष्ट किया जाना चाहिए, परन्तु यह नहीं हो सकता)।
* कब {{math|1=''n'' &gt; ''x''}} कोई इंजेक्शन कार्य नहीं हैं {{math|''N'' → ''X''}}, और अगर {{math|1=''n'' &lt; ''x''}} कोई विशेषण कार्य नहीं हैं {{math|''N'' → ''X''}}.
* जब {{math|1=''n'' &gt; ''x''}} कोई अंतःक्षेपी फलन नहीं होता है तो {{math|''N'' → ''X''}}, और यदि {{math|1=''n'' &lt; ''x''}} कोई प्रक्षेप्य फलन {{math|''N'' → ''X''}} नहीं हैं।
* सूत्रों में प्रयुक्त भाव विशेष मान के रूप में होते हैं
* सूत्रों में प्रयुक्त भाव विशेष मान के रूप में होते हैं।
::<math>0^0=0^{\underline 0}=0!=\binom00=\binom{-1}0=\left\{{0\atop0}\right\}=p_0(0)=1</math>
::<math>0^0=0^{\underline 0}=0!=\binom00=\binom{-1}0=\left\{{0\atop0}\right\}=p_0(0)=1</math>
: (पहले तीन एक [[खाली उत्पाद]] के उदाहरण हैं, और value <math>\tbinom{-1}{0} = \tfrac{(-1)^{\underline{0}}}{0!} = 1</math> ऊपरी सूचकांक के मनमाने मूल्यों के लिए द्विपद गुणांक के पारंपरिक विस्तार द्वारा दिया जाता है), जबकि
: (प्रथम तीन एक [[खाली उत्पाद|रिक्त उत्पाद]] और मान के उदाहरण <math>\tbinom{-1}{0} = \tfrac{(-1)^{\underline{0}}}{0!} = 1</math> हैं, द्विपद गुणांक के पारंपरिक विस्तार द्वारा दिया जाता है, ऊपरी सूचकांक के यादृच्छिक मान है), जबकि
::<math>\left\{{n\atop x}\right\}=p_x(n)=0 \quad\hbox{whenever either } n>0=x \hbox{ or }0\leq n<x.</math>
::<math>\left\{{n\atop x}\right\}=p_x(n)=0 \quad\hbox{whenever either } n>0=x \hbox{ or }0\leq n<x</math>
विशेष रूप से एक्स से लिए गए एन तत्वों के साथ #केस एफएन के मामले में, दी गई अभिव्यक्ति <math>\tbinom{n+x-1}n</math> के बराबर है <math>\tbinom{n+x-1}{x-1}</math>, लेकिन बाद की अभिव्यक्ति मामले के लिए 0 देगी {{math|1=''n'' = ''x'' = 0}} (सामान्य परिपाटी के अनुसार ऋणात्मक निम्न सूचकांक वाले द्विपद गुणांक हमेशा 0 होते हैं)। इसी प्रकार, x गैर-शून्य भागों के साथ n के #केस एसएन के मामले में, दी गई अभिव्यक्ति <math>\tbinom{n-1}{n-x}</math> अभिव्यक्ति के लगभग बराबर है <math>\tbinom{n-1}{x-1}</math> सितारों और सलाखों (संभावना) तर्क द्वारा दिया गया है, लेकिन बाद वाला गलत मान देता है {{math|1=''n'' = 0}} और x के सभी मान। उन मामलों के लिए जहां परिणाम में एक योग शामिल होता है, अर्थात् #केस fx को अधिकतम x गैर-खाली सबसेट में या #केस fx को अधिकतम x गैर-शून्य भागों में गिनने के लिए, योग सूचकांक को 0 से शुरू करने के लिए लिया जाता है; यद्यपि संगत पद शून्य होता है {{math|''n'' &gt; 0}}, यह अद्वितीय गैर-शून्य शब्द है जब {{math|1=''n'' = 0}}, और परिणाम उन मामलों के लिए गलत होगा यदि योग को 1 से शुरू करने के लिए लिया गया था।
विशेष रूप से, ''X'' से लिए गए ''n'' तत्वों के साथ बहु-समुच्चय की गणना स्थिति में, दी गई अभिव्यक्ति <math>\tbinom{n+x-1}n</math> के समान <math>\tbinom{n+x-1}{x-1}</math> है, परन्तु बाद की अभिव्यक्ति की स्थिति {{math|1=''n'' = ''x'' = 0}} के लिए 0 देगा, (सामान्य परिपाटी के अनुसार ऋणात्मक निम्न सूचकांक वाले द्विपद गुणांक सदैव 0 होते हैं)। इसी प्रकार, ''x'' गैर-शून्य भागों के साथ ''n'' की गणना रचनाओं की स्थिति में, दी गई अभिव्यक्ति <math>\tbinom{n-1}{n-x}</math> के लगभग व्यंजक <math>\tbinom{n-1}{x-1}</math> के समतुल्य है। सितारों और बारों के तर्क द्वारा दिया गया है, परन्तु बाद वाला {{math|1=''n'' = 0}} और ''x'' के सभी मानों के लिए गलत मान देता है। उन स्थितियों के लिए जहां परिणाम में एक योग सम्मिलित होता है, अर्थात् अधिकतम ''x'' गैर-रिक्त उपसमुच्चय में ''N'' विभाजन की गणना या ''n'' के अधिकांश ''x'' गैर-शून्य भागों में विभाजन, योग सूचकांकों को 0 से प्रारंभ करने के लिए लिया जाता है; जब भी {{math|''n'' &gt; 0}} होता है, यह अद्वितीय गैर-शून्य शब्द है जब {{math|1=''n'' = 0}} और परिणाम उन स्थितियों के लिए गलत होगा यदि योग और परिणाम उन स्थितियों के लिए गलत होगा यदि योग 1 से प्रारंभ करने के लिए लिया गया था।


== सामान्यीकरण ==
== सामान्यीकरण ==


हम क्रमपरिवर्तन के अन्य [[समूह (गणित)]] को N और X पर कार्य करने की अनुमति देकर और सामान्य कर सकते हैं। यदि G, N के क्रमपरिवर्तनों का एक समूह है, और H, X के क्रमपरिवर्तनों का एक समूह है, तो हम कार्यों के तुल्यता वर्गों की गणना करते हैं। <math>f \colon N \rightarrow X</math>. दो कार्य {{mvar|f}} और {{mvar|F}} को समतुल्य माना जाता है, और केवल अगर, मौजूद है <math>g\in G, h \in H</math> ताकि <math> F = h \circ f \circ g </math>. यह विस्तार [[चक्रीय क्रमपरिवर्तन]] और [[डायहेड्रल समूह]] क्रमपरिवर्तन, साथ ही संख्याओं और सेटों के चक्रीय और डायहेड्रल विभाजन जैसी धारणाओं की ओर जाता है।
हम क्रमचय के अन्य [[समूह (गणित)|समूहों]] को ''N'' और ''X'' पर कार्य करने की अनुमति देकर और सामान्य कर सकते हैं। यदि ''G'', ''N'' और ''H, X'' के क्रमचयों का एक समूह है, तो हम फलनों <math>f \colon N \rightarrow X</math> के तुल्यता वर्गों की गणना करते हैं। दो फलन {{mvar|f}} और {{mvar|F}} को समतुल्य माना जाता है और केवल यदि, <math>g\in G, h \in H</math> ताकि <math> F = h \circ f \circ g </math> उपस्थित है। यह विस्तार [[चक्रीय क्रमपरिवर्तन|चक्रीय क्रमचय]] और [[डायहेड्रल समूह|द्वितल समूह]] क्रमचय, साथ ही संख्याओं और समुच्चयों के चक्रीय और द्वितल विभाजन जैसी धारणाओं की ओर जाता है।


=== बीस गुना तरीका ===
=== बीस गुना शैली ===


ट्वेंटीफोल्ड वे नामक एक अन्य सामान्यीकरण केनेथ पी. बोगार्ट द्वारा अपनी पुस्तक कॉम्बिनेटरिक्स थ्रू गाइडेड डिस्कवरी में विकसित किया गया था। वस्तुओं को बक्सों में वितरित करने की समस्या में वस्तुएँ और बक्सों दोनों समान या भिन्न हो सकते हैं। बोगार्ट 20 मामलों की पहचान करता है।<ref>Kenneth P. Bogart (2004). [https://math.dartmouth.edu/news-resources/electronic/kpbogart/ ''Combinatorics Through Guided Discovery''], p.57</ref>
बीस गुना वे नामक एक अन्य सामान्यीकरण केनेथ पी. बोगार्ट द्वारा अपनी पुस्तक "निर्देशित खोज के माध्यम से साहचर्य" में विकसित किया गया था। वस्तुओं को संदूकों में वितरित करने की समस्या में वस्तुएँ और संदूकों दोनों समान या भिन्न हो सकते हैं। बोगार्ट 20 स्थितियों की पहचान करता है।<ref>Kenneth P. Bogart (2004). [https://math.dartmouth.edu/news-resources/electronic/kpbogart/ ''Combinatorics Through Guided Discovery''], p.57</ref>


{| class="wikitable" style="text-align:center;" border="1"
{| class="wikitable" style="text-align:center;" border="1"
|+ The twentyfold way; models for distribution of ''n'' objects among ''x'' recipients
|+ बीस गुना शैली; x प्राप्तकर्ताओं के मध्य n वस्तुओं के वितरण के लिए प्रतिरूप
! rowspan="2" |
! rowspan="2" | क्रमांक
! rowspan="2" | Objects
! rowspan="2" | वस्तुएं
! rowspan="2" | Condition <br/>of distribution
! rowspan="2" | वितरण की
! colspan="2" | Recipients
स्थिति
! colspan="2" | प्राप्तकर्ता
|-
|-
! Distinct
! विशिष्ट
! Identical
! अभिन्न
|-
|-
! 1
! 1
! {{rh}} rowspan="4" | Distinct
! {{rh}} rowspan="4" | विशिष्ट
! {{rh}} | No restriction
! {{rh}} | कोई प्रतिबंध नहीं
| [[#case f|''n''-sequence in ''X'']]<br>[[#Generalizations f|<math>x^n</math>]]
| [[#case f|''X'' में ''n''-अनुक्रम]]<br>[[#Generalizations f|<math>x^n</math>]]
| [[#case fx|partition of ''N'' into ≤ ''x'' subsets]]<br><math>\sum_{i=0}^x\left\{{n \atop i}\right\} </math>
| [[#case fx|''N'' का ''x'' उपसमुच्चय में विभाजन]]<br><math>\sum_{i=0}^x\left\{{n \atop i}\right\} </math>


|-
|-
! {{rh}} | 2
! {{rh}} | 2
! {{rh}} | At most one each
! {{rh}} | अधिक से अधिक एक
| [[#case i|''n''-permutation of ''X'']]<br>[[#Generalizations i|<math>x^{\underline n}</math>]]
| [[#case i|''X'' का ''n''-क्रमचय]]<br>[[#Generalizations i|<math>x^{\underline n}</math>]]
| [[#Generalizations in|<math>\begin{cases}1 & \text{if } n \leq x \\ 0 & \text{otherwise}\end{cases}</math>]]
| [[#Generalizations in|<math>\begin{cases}1 & \text{if } n \leq x \\ 0 & \text{otherwise}\end{cases}</math>]]


|-
|-
! {{rh}} | 3
! {{rh}} | 3
! {{rh}} | At least one each
! {{rh}} | कम-से-कम एक
|[[#case s|composition of ''N'' with ''x'' subsets]]<br>[[#Generalizations fx|<math>x!\left\{{n \atop x}\right\}</math>]]
|[[#case s|''x'' उपसमुच्चय के साथ ''N'' की संरचना]]<br>[[#Generalizations fx|<math>x!\left\{{n \atop x}\right\}</math>]]
|[[#case sx|partition of ''N'' into ''x'' subsets]]<br>[[#Generalizations ix|<math>\left\{{n \atop x}\right\}</math>]]
|[[#case sx|''N'' का ''x'' उपसमुच्चय में विभाजन]]<br>[[#Generalizations ix|<math>\left\{{n \atop x}\right\}</math>]]


|-
|-
! {{rh}} | 4
! {{rh}} | 4
! {{rh}} | Exactly one each
! {{rh}} | यथार्थत: एक
|[[#Generalizations fx|<math>n! = x!</math>]]<br>permutations
|[[#Generalizations fx|<math>n! = x!</math>]]<br>क्रमचय
|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>
|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>


|-
|-
! {{rh}} | 5
! {{rh}} | 5
! {{rh}} rowspan="2" | Distinct, <br/>ordered
! {{rh}} rowspan="2" | विशिष्ट, <br/>क्रमवार
! {{rh}} | No restriction
! {{rh}} | प्रतिबंध नहीं
|[[#Generalizations fx|<math>x^{\overline n}</math>]]<br>ordered functions
|[[#Generalizations fx|<math>x^{\overline n}</math>]]<br>क्रमित फलन
|[[#Generalizations ix|<math>\sum_{i=1}^{x}L(n,i)</math>]]<br>broken permutations (<math>\leq x</math> parts)<br>Where <math>L(n,i)</math> is the [[Lah number]]
|[[#Generalizations ix|<math>\sum_{i=1}^{x}L(n,i)</math>]]<br>खंडित क्रमचय (<math>\leq x</math> भागों)<br>जहाँ <math>L(n,i)</math> लाह संख्या है।


|-
|-
! {{rh}} | 6
! {{rh}} | 6
! {{rh}} | At least one each
! {{rh}} | कम-से-कम एक
|[[#Generalizations fx|<math>(n)^{\underline {x}}(n-1)^{\underline {n-x}}</math>]]<br>ordered onto functions
|[[#Generalizations fx|<math>(n)^{\underline {x}}(n-1)^{\underline {n-x}}</math>]]<br>फलनों पर क्रमवार
|[[#Generalizations ix|<math>L(n,x) = \left( {n \atop x} \right) (n-1)^{\underline{n-x}}</math>]]<br>broken permutations (''x'' parts)<br>Where <math>L(n,x)</math> is the [[Lah number]]
|[[#Generalizations ix|<math>L(n,x) = \left( {n \atop x} \right) (n-1)^{\underline{n-x}}</math>]]<br>खंडित क्रमचय (''x'' भागों)<br>जहाँ <math>L(n,x)</math> लाह संख्या है।


|-
|-
! {{rh}} | 7
! {{rh}} | 7
! {{rh}} rowspan="4" | Identical
! {{rh}} rowspan="4" | अभिन्न
! {{rh}} | No restriction
! {{rh}} | प्रतिबंध नहीं
|[[#case fn|''n''-multisubset of ''X'']]<br>[[#Generalizations fx|<math>\left({x+n-1\atop n}\right)</math>]]
|[[#case fn|''X'' का ''n''- बहु-]][[#case sx|उपसमुच्चय]]<br>[[#Generalizations fx|<math>\left({x+n-1\atop n}\right)</math>]]
|[[#Generalizations ix|<math>\sum_{i=1}^{x} p_{i}(n)</math>]]<br>number partitions (<math>\leq x</math> parts)
|[[#Generalizations ix|<math>\sum_{i=1}^{x} p_{i}(n)</math>]]<br>संख्या विभाजन (<math>\leq x</math> भागों)


|-
|-
! {{rh}} | 8
! {{rh}} | 8
! {{rh}} | At most one each
! {{rh}} | अधिक से अधिक एक
|[[#case in|''n''-subset of ''X'']]<br>[[#Generalizations fx|<math>\left({x\atop n}\right)</math>]]
|[[#case in|X का n-उपसमुच्चय]]<br>[[#Generalizations fx|<math>\left({x\atop n}\right)</math>]]
|<math>\begin{cases}1 & \text{if } n \leq x \\ 0 & \text{otherwise}\end{cases}</math>
|<math>\begin{cases}1 & \text{if } n \leq x \\ 0 & \text{otherwise}\end{cases}</math>


|-
|-
! {{rh}} | 9
! {{rh}} | 9
! {{rh}} | At least one each
! {{rh}} | कम-से-कम एक
|[[#Generalizations fx|<math>\left({n-1\atop x-1}\right)</math>]]<br>compositions (''x'' parts)
|[[#Generalizations fx|<math>\left({n-1\atop x-1}\right)</math>]]<br>रचनाएँ (''x'' भाग)
|[[#case snx|partition of ''n'' into ''x'' parts]]<br>[[#Generalizations ix|<math>p_{x}(n)</math>]]
|[[#case snx|''n'' का ''x'' भागों में विभाजन]]<br>[[#Generalizations ix|<math>p_{x}(n)</math>]]


|-
|-
! {{rh}} | 10
! {{rh}} | 10
! {{rh}} | Exactly one each
! {{rh}} | यथार्थत: एक
|[[#Generalizations fnx|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>]]
|[[#Generalizations fnx|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>]]
|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>
|<math>\begin{cases}1 & \text{if } n = x \\ 0 & \text{otherwise}\end{cases}</math>
Line 400: Line 379:
== संदर्भ ==
== संदर्भ ==
<references/>
<references/>
[[Category: साहचर्य]] [[Category: क्रमपरिवर्तन]]


[[Category: Machine Translated Page]]
[[Category:All articles that are too technical]]
[[Category:Articles with invalid date parameter in template]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia articles that are too technical from मार्च 2019]]
[[Category:क्रमपरिवर्तन]]
[[Category:साहचर्य]]

Latest revision as of 09:23, 15 June 2023

साहचर्य में, बारह गुना शैली दो परिमित समुच्चयों से संबंधित 12 संबंधित गणनात्मक समस्याओं का एक व्यवस्थित वर्गीकरण है, जिसमें गणना क्रमचय, संयोजन, बहु-समुच्चय और विभाजन या तो एक समुच्चय या संख्या की शास्त्रीय समस्याएं सम्मिलित हैं। वर्गीकरण के विचार का श्रेय जियान-कार्लो रोटा को दिया जाता है और नाम जोएल स्पेंसर द्वारा सुझाया गया था।[1]


संक्षिप्त विवरण

मान लीजिए कि N और X परिमित समुच्चय हैं और और समुच्चय की प्रमुखता हैं। इस प्रकार N एक n-समुच्चय और X एक x-समुच्चय हैं।

हम जिस सामान्य समस्या पर विचार कर रहे हैं वह फलनों के तुल्यता वर्गों की गणना है।

फलन निम्नलिखित तीन प्रतिबंधों में से एक के अधीन हैं:

  1. कोई प्रतिबन्ध नहीं: N में प्रत्येक a को f द्वारा X में किसी भी b को भेजा जा सकता है, और प्रत्येक b कई बार हो सकता है।
  2. f अंतःक्षेपी है: प्रत्येक मान N में a के लिए में प्रत्येक दूसरे से अलग होना चाहिए और इसलिए X में प्रत्येक b, f छवि में अधिकतम एक बार हो सकता है।
  3. f प्रक्षेप्य है: X में प्रत्येक b के लिए N में कम-से-कम एक a ऐसा होना चाहिए कि , इस प्रकार प्रत्येक b कम-से-कम एक बार f की छवि में होगा।

(स्थिति "f द्विभाजित है" केवल एक विकल्प है जब है; परन्तु तब यह " f अंतःक्षेपी है" और "f प्रक्षेप्य है" दोनों के समान है)।

चार अलग-अलग तुल्यता संबंध हैं जिन्हे N से X तक के फलनों f के समुच्चय पर परिभाषित किया जा सकता है:

  1. समानता;
  2. N के क्रमचय तक समानता;
  3. X के क्रमचय तक समानता;
  4. N और X के क्रमचय तक समानता।

फलनों पर तीन प्रतिबन्धों और चार तुल्यता संबंधों को 3 × 4 = 12 तरीकों से जोड़ा जा सकता है।

फलनों के समतुल्य वर्गों की गणना की बारह समस्याओं में समान कठिनाइयाँ सम्मिलित नहीं हैं और उन्हें हल करने के लिए एक व्यवस्थित शैली नहीं है। समस्याओं में से दो तुच्छ हैं (तुल्यता वर्गों की संख्या 0 या 1 है), पाँच समस्याओं का उत्तर n और x के गुणक सूत्र के संदर्भ में है और शेष पाँच समस्याओं का उत्तर संयोजक फलन (स्टर्लिंग संख्याओं के संदर्भ में है और दिए गए भागों की संख्या के लिए विभाजन फलन) है।

इस समायोजन में शास्त्रीय गणना समस्याओं का समावेश इस प्रकार है।

  • X के n-क्रमचय (अर्थात, आंशिक क्रमचय या पुनरावृत्ति के बिना अनुक्रम) की गणना अंतःक्षेपी फलनों NX की गणना के समान है।
  • X के n-संयोजनों की गणना N के क्रमचय तक अंतःक्षेपी फलनों NX की गणना करने के समान है।
  • समुच्चय X के क्रमचयों की गणना अंतःक्षेपी फलनों NX की गणना के समान है जब n = x, और प्रक्षेप्य फलनों NX की गणना करने के लिए भी जब n = x है।
  • X में तत्वों के आकार n (जिसे पुनरावृत्ति के साथ n-संयोजन के रूप में भी जाना जाता है) के बहु-समुच्चयों की गणना N के क्रमचय तक सभी फलनों NX की गणना के समान है।
  • समुच्चय N के x उपसमुच्चयों में विभाजन की गणना करना, सभी प्रक्षेप्य फलनों NX को X के क्रमचय तक गणना के समान है।
  • संख्या n रचना को x भागों में गणना करना N के क्रमचय तक सभी प्रक्षेप्य फलनों NX की गणना के समान है।

दृष्टिकोण

बारह प्रकार से विभिन्न समस्याओं पर विभिन्न दृष्टिकोणों से विचार किया जा सकता है।

गेंद और संदूक

पारम्परिक रूप से कई समस्याओं को बारह प्रकार से फलनों को परिभाषित करने के बजाय गेंदों को संदूकों (या कुछ इसी तरह के दृश्य) में रखने के संदर्भ में तैयार किया गया है। समुच्चय N को गेंदों के समुच्चयों के साथ पहचाना जा सकता है और X को संदूकों के समुच्चयों के साथ पहचाना जा सकता है; फलन ƒ : NX तब गेंदों को संदूकों में, अर्थात् प्रत्येक गेंद को संदूक ƒ(a) में डालकर वितरित करने के तरीके का वर्णन करता है। एक फलन अपने कार्यक्षेत्र में प्रत्येक मान के लिए एक अद्वितीय छवि प्रदान करता है; यह गुणधर्म इस गुणधर्म से परिलक्षित होती है कि कोई भी गेंद केवल एक संदूक में जा सकती है (इस आवश्यकता के साथ कि कोई भी गेंद संदूक के बाहर नहीं रहनी चाहिए), जबकि कोई भी संदूक गेंदों की यादृच्छिक संख्या को समायोजित कर सकता है। इसके अतिरिक्त ƒ को अंतःक्षेपी होने की आवश्यकता का अर्थ है किसी एक संदूक में एक से अधिक गेंद डालने से मना करना, जबकि ƒ को आच्छादक होने की आवश्यकता का अर्थ है कि प्रत्येक संदूक में कम-से-कम एक गेंद हो।

N या ​​X के तुल्यता संबंध क्रमचय की गणना गेंदों या संदूकों को क्रमशः, "अप्रभेद्य" कह कर परिलक्षित होती है। यह एक सटीक सूत्रीकरण है, जिसका उद्देश्य यह इंगित करना है कि अलग-अलग विन्यासों को अलग-अलग नहीं गिना जाना चाहिए, यदि गेंदों या संदूकों के कुछ आदान-प्रदान से एक को दूसरे में परिवर्तित किया जा सकता है। परिवर्तन की इस संभावना को क्रमचय क्रिया द्वारा औपचारिक रूप दिया जाता है।

प्रतिदर्श

कुछ स्थितियों के विषय में विचार करने का दूसरा तरीका आंकड़ों में प्रतिदर्श के संदर्भ में है। X वस्तु (या लोगों) की समष्टि की कल्पना करें, जिनमें से हम N चुनते हैं। दो अलग-अलग योजनाओं को सामान्य रूप से वर्णित किया जाता है, जिन्हें प्रतिस्थापन के साथ प्रतिदर्श और प्रतिस्थापन के बिना प्रतिदर्श के रूप में जाना जाता है। पूर्व स्थिति में (प्रतिस्थापन के साथ प्रतिदर्श), एक बार जब हम एक वस्तु चुन लेते हैं, तो हम इसे समष्टि में वापस रख देते हैं, ताकि हम इसे फिर से चुन सकें। परिणाम यह है कि प्रत्येक विकल्प अन्य सभी विकल्पों से स्वतंत्र है और प्रतिरूपो के समुच्चय को तकनीकी रूप से स्वतंत्र समान रूप से वितरित के रूप में संदर्भित किया जाता है। हालांकि, बाद वाली स्थिति में, एक बार जब हम एक वस्तु चुन लेते हैं, तो हम उसे एक ओर रख देते हैं ताकि हम उसे फिर से न चुन सकें। इसका अर्थ है कि किसी वस्तु को चुनने की क्रिया का निम्नलिखित सभी विकल्पों पर प्रभाव पड़ता है (विशेष वस्तु को फिर से नहीं देखा जा सकता है), इसलिए हमारी पसंद एक दूसरे पर निर्भर हैं।

प्रतिदर्श योजनाओं के मध्य एक दूसरा अंतर यह है कि क्या क्रमीकरण महत्व रखता है। उदाहरण के लिए, यदि हमारे पास दस वस्तु हैं, जिनमें से हम दो चुनते हैं, तो विकल्प (4,7) भिन्न है (7,4) यदि क्रमीकरण महत्व रखता है; दूसरी ओर, यदि क्रमीकरण से कोई असमानता नहीं होती है, तो विकल्प (4,7) और (7,4) समतुल्य हैं (इसके विषय में विचार करने का एक और तरीका यह है कि प्रत्येक विकल्प को वस्तु संख्या से क्रमबद्ध करें और परिणाम के किसी भी अनुकृति को फेंक दें)।

नीचे दी गई तालिका की पहली दो पंक्तियाँ और स्तंभ क्रम पर विचार किए बिना और बिना प्रतिस्थापन के प्रतिरूप के अनुरूप हैं। प्रतिस्थापन के साथ प्रतिरूप की स्थिति "किसी भी f" लेबल वाले स्तंभ में पाए जाते हैं, जबकि बिना प्रतिस्थापन के प्रतिरूप की स्थिति "अंतःक्षेपी f" लेबल वाले स्तंभ में पाए जाते हैं। ऐसी स्थिति जहां क्रमीकरण वाली स्थिति "भिन्न" लेबल वाली स्तंभ में पाए जाते हैं और ऐसी स्थिति जहां क्रमीकरण से कोई असमानता नहीं होती है, वे "Sn कक्षाएं" लेबल वाली स्तंभ में पाए जाते हैं। प्रत्येक तालिका प्रविष्टि इंगित करती है कि किसी विशेष प्रतिदर्श योजना में विकल्पों के कितने अलग-अलग समुच्चय हैं। इन तालिका प्रविष्टियों में से तीन संभाव्यता वितरण के अनुरूप भी हैं। प्रतिस्थापन के साथ प्रतिदर्श जहां क्रमण महत्व रखता है, N अलग-अलग यादृच्छिक चर के संयुक्त वितरण का वर्णन करने के लिए प्रत्येक X-गुना श्रेणीबद्ध वितरण के साथ तुलनीय है। प्रतिस्थापन के साथ प्रतिदर्श जहां क्रमीकरण महत्व नहीं रखता है, हालांकि, N के एकल बहुराष्ट्रीय वितरण का वर्णन करने के लिए एक X-गुना श्रेणी से तुलना की जाती है, जहां प्रत्येक श्रेणी की केवल देखी गयी संख्या महत्व रखती हैं। प्रतिस्थापन के बिना प्रतिदर्श जहां क्रमीकरण कोई महत्व नहीं रखता है, एक एकल बहुभिन्नरूपी हाइपरज्यामितीय वितरण के साथ तुलना करने योग्य है। प्रतिस्थापन के बिना प्रतिदर्श जहां क्रमीकरण महत्व रखता है वह संभाव्यता वितरण के अनुरूप नहीं लगता है।[2] ध्यान दें कि सभी "अंतःक्षेपी" स्थितियों में (अर्थात, प्रतिस्थापन के बिना प्रतिदर्श), विकल्पों के समुच्चयों की संख्या शून्य है जब तक कि NX है (उपर्युक्त स्थिति में तुलनीय का अर्थ है कि संबंधित वितरण के प्रतिरूप स्थान का प्रत्येक तत्व विकल्पों के एक अलग समुच्चय से मेल खाता है और इसलिए उपयुक्त संदूक में संख्या दिए गए वितरण के लिए प्रतिरूप स्थान के आकार को इंगित करती है)।

प्रतिदर्श के परिप्रेक्ष्य से, "परिप्रेक्ष्य f" लेबल वाला स्तंभ कुछ असामान्य है: अनिवार्य रूप से, हम तब तक प्रतिस्थापन के साथ प्रतिरूप लेते रहते हैं जब तक कि हम प्रत्येक वस्तु को कम-से-कम एक बार नहीं चुन लेते। फिर, हम गणना करते हैं कि हमने कितने चुनाव किए हैं और यदि यह N के समान नहीं है, तो सम्पूर्ण समुच्चय को बाहर फेंक दें और दोहराएं। यह कूपन संग्रहकर्ता की समस्या के लिए अस्पष्ट रूप से तुलनीय है, जहां प्रक्रिया में प्रत्येक कूपन को कम-से-कम एक बार देखे जाने तक X कूपन का एक समुच्चय (प्रतिस्थापन के साथ प्रतिदर्श द्वारा) एकत्र करना सम्मिलित है। ध्यान दें कि सभी प्रक्षेप्य स्थिति में, विकल्प समुच्चय की संख्या शून्य है जब तक कि NX है।

लेबलन, चयन, समूहीकरण

एक फलन ƒ : NX को X या N के परिप्रेक्ष्य से माना जा सकता है। यह विभिन्न विचारों की ओर ले जाता है:

  • फलन ƒ, N के प्रत्येक तत्व को X के एक तत्व द्वारा लेबल करता है।
  • फलन ƒ, N के प्रत्येक तत्व और कुल n विकल्पों के लिए समुच्चय X के एक तत्व का चयन करता है।
  • फलन ƒ, N के तत्वों को एक साथ समूहित करता है, जिन्हें X के समान तत्व से मानचित्रित किया जाता है।

ये दृष्टिकोण सभी स्थितियों के लिए समान रूप से अनुकूल नहीं हैं। लेबलन और चयन बिंदु X के तत्वों के क्रमचय के साथ अच्छी तरह से संगत नहीं हैं, क्योंकि यह लेबल या चयन को परिवर्तित करता है; दूसरी ओर समूहीकरण बिंदु विन्यास के विषय में सम्पूर्ण सूचना नहीं देता है जब तक कि X के तत्वों को स्वतंत्र रूप से अनुमत नहीं किया जा सकता है। जब N को अनुमत नहीं किया जाता है, तो लेबलन और चयन बिंदु लगभग समतुल्य होते हैं, परन्तु जब यह होता है, तो चयन बिंदु अधिक अनुकूल होता है। तब चयन को एक अनियंत्रित चयन के रूप में देखा जा सकता है: X से n तत्वों के एक (बहु-) समुच्चय का एकल विकल्प बनाया जाता है।

लेबलन और पुनरावृत्ति के साथ या पुनरावृत्ति के बिना

जब ƒ को N के तत्वों के लेबलन के रूप में देखा जाता है, तो बाद वाले को एक क्रम में व्यवस्थित माना जा सकता है और X से लेबल को क्रमिक रूप से उन्हें सौंपा जा सकता है। एक आवश्यकता जो ƒ अंतःक्षेपी होने का अर्थ है कि किसी भी लेबल का दूसरी बार उपयोग नहीं किया जा सकता है; परिणाम दोहराव के बिना लेबल का अनुक्रम है। ऐसी आवश्यकता के अभाव में, पुनरावृत्ति के साथ शब्दावली अनुक्रम का उपयोग किया जाता है, जिसका अर्थ है कि लेबल का एक से अधिक बार उपयोग किया जा सकता है (हालांकि पुनरावृत्ति के बिना होने वाले अनुक्रमों की भी अनुमति है)।

ƒ को X के तत्वों के एक अनियंत्रित चयन के रूप में देखते समय, उसी प्रकार का भेद अनुप्रयुक्त होता है। यदि ƒ अंतःक्षेपी होना चाहिए, तो चयन में X के विशिष्ट तत्व सम्मिलित होने चाहिए, इसलिए यह आकार n का X का एक उपसमुच्चय है, जिसे n-संयोजन भी कहा जाता है। आवश्यकता के बिना, X का एक और एक ही तत्व चयन में कई बार हो सकता है और परिणाम X से तत्वों के आकार n का एक बहु-समुच्चय होता है, जिसे n-बहुसंयोजन या पुनरावृत्ति के साथ n-संयोजन भी कहा जाता है।

N के लेबलन तत्वों के दृष्टिकोण से ƒ प्रक्षेप्य होने की आवश्यकता का अर्थ है कि X से चयन के दृष्टिकोण से, प्रत्येक लेबल का कम-से-कम एक बार उपयोग किया जाना है, इसका अर्थ है कि X के प्रत्येक तत्व को चयन में कम-से-कम एक बार सम्मिलित किया जाना चाहिए। प्रक्षेपण के साथ लेबलन N के तत्वों के समूह के समान है जिसके बाद प्रत्येक समूह को X के तत्व द्वारा लेबल किया जाता है और तदनुसार गणितीय रूप से वर्णन करने के लिए कुछ अधिक जटिल है।

समुच्चय और संख्या का विभाजन

ƒ को N के तत्वों के समूह के रूप में देखते समय (जो मानता है कि X के क्रमचय के अंतर्गत पहचान की जाती है), ƒ को प्रक्षेप्य के रूप में देखने का अर्थ है कि समूहों की संख्या निश्चित रूप से x होनी चाहिए। इस आवश्यकता के बिना समूहों की संख्या अधिकतम x हो सकती है। अंतःक्षेपी ƒ की आवश्यकता का अर्थ है कि N का प्रत्येक तत्व स्वयम में एक समूह होना चाहिए, जो अधिक से अधिक एक मान्य समूह छोड़ता है और इसलिए एक अरोचक गणना समस्या देता है।

इसके अतिरिक्त जब कोई N के क्रमचय के अंतर्गत पहचान करता है, तो इसका अर्थ समूहों को भूल जाना है परन्तु केवल उनके आकार को बनाए रखना है। इसके अतिरिक्त ये आकार किसी निश्चित क्रम में नहीं आते हैं, जबकि एक ही आकार एक से अधिक बार हो सकता है; कोई उन्हें संख्याओं की दुर्बलता से घटती सूची में व्यवस्थित करना चुन सकता है, जिसका योग संख्या n है। पूर्णतया x (आच्छादक ƒ के लिए) या अधिकतम x (यादृच्छिक ƒ के लिए) भागों में,यह संख्या n के एक विभाजन की संयोजी धारणा देता है।

सूत्र

बारह गुना तरीके के विभिन्न स्थितियों के सूत्र निम्नलिखित तालिका में संक्षेपित हैं; प्रत्येक तालिका प्रविष्टि सूत्र की व्याख्या करते हुए नीचे एक उपखंड से जुड़ती है।

बारह मिश्रित वस्तुएँ और उनके गणना के सूत्र
f-वर्ग कोई भी f अंतःक्षेपक f प्रक्षेप्य f
विशिष्ट
f
x में n-अनुक्रम
X का n-क्रमपरिवर्तन
x उपसमुच्चय के साथ n की संरचना
Sn कक्षाएं
f ∘ Sn
X का n- बहु-उपसमुच्चय
X का n-उपसमुच्चय
x पदों के साथ n की संरचना
Sx कक्षाएं
Sxf
N का ≤ x उपसमुच्चय में विभाजन
N का ≤ x तत्वों में विभाजन
N का x उपसमुच्चय में विभाजन
Sn×Sx कक्षाएं
Sxf ∘ Sn
n का ≤ x भागों में विभाजन
n का ≤ x भाग 1 में विभाजन
n का x भागों में विभाजन

उपयोग की जाने वाली विशेष संकेत पद्धति हैं:

  • अवरोही क्रमगुणित घात है।
  • आरोही क्रमगुणित घात है।
  • क्रमगुणित है।
  • दूसरी तरह की स्टर्लिंग संख्या है, n तत्वों के एक समुच्चय को k उपसमुच्चयों में विभाजित करने के तरीकों की संख्याओं को दर्शाता है।
  • द्विपद गुणांक है।
  • आइवरसन कोष्ठक [ ] एक सत्य मान को 0 या 1 के रूप में विकोडन करता है।
  • जो संख्या n के k भागों में का विभाजन है।

पंक्तियों और स्तंभों का सहज अर्थ

यह त्वरित सारांश है कि विभिन्न स्थितियों का क्या अर्थ है। स्थितियों का विवरण नीचे दिया गया है।

X क्रमांकित वस्तुओं (1 से x तक क्रमांकित) के एक समुच्चय के विषय में विचार करें, जिसमें से हम n चुनते हैं, वस्तुओं की एक क्रमित सूची प्रदान करते हैं: उदाहरणार्थ, यदि वहाँ जिन वस्तुओं को हम चुनते हैं परिणाम सूची (5, 2, 10) हो सकता है। फिर हम गणना करते हैं कि ऐसी कितनी अलग-अलग सूचियाँ उपस्थित हैं, कभी-कभी पहले सूचियों को उन तरीकों से रूपांतरित करते हैं जो अलग-अलग संभावनाओं की संख्या को कम करते हैं।

तब स्तंभों का अर्थ है:

कोई भी f
किसी वस्तु को चयन करने के पश्चात, हम उसे वापस रख देते हैं, ताकि हम उसे पुनः चुन सकें।
अंतःक्षेपी f
एक वस्तु चयन करने के पश्चात, हम इसे अलग रख देते हैं, इसलिए हम इसे पुनः नहीं चुन सकते; इसलिए हम n विशिष्ट वस्तुओं के साथ समाप्त करेंगे। अनिवार्य रूप से, जब तक हैं, कोई भी सूची पूर्णतया चुनी नहीं जा सकती हैं।
प्रक्षेप्य f
एक वस्तु चयन करने के पश्चात, हम इसे वापस रख देते हैं, इसलिए हम इसे पुनः चुन सकते हैं - परन्तु अंत में, हमें प्रत्येक वस्तु को कम-से-कम एक बार चुनना होगा। अनिवार्य रूप से, जब तक , कोई भी सूची पूर्णतया चुनी नहीं जा सकती हैं।

और स्तंभयों का अर्थ है:

विशिष्ट
सूचियों को एकाकी छोड़ दें; उन्हें सीधे गिनें।
Sn कक्षाएँ
गणना से पूर्व, चुने गए वस्तुओं की वस्तु संख्या द्वारा सूचियों को क्रमबद्ध करें, ताकि क्रम कोई महत्व न रखे, जैसे, (5, 2, 10), (10, 2, 5), (2, 10, 5) → (2, 5, 10) हैं।
Sx कक्षाएँ
गणना से पूर्व, देखी गई वस्तुओं को पुनः क्रमांकित करें ताकि पहली देखी गई वस्तु की संख्या 1, दूसरी 2, आदि हो। यदि किसी वस्तु को एक से अधिक बार देखा गया था, तो संख्याएँ दोहराई जा सकती हैं, जैसे, (3, 5, 3), (5, 2, 5), (4, 9, 4) → (1, 2, 1) जबकि (3, 3, 5), (5, 5, 3), (2, 2, 9) → (1, 1, 2) हैं।
Sn × Sx कक्षाएँ
दो सूचियाँ समान मानी जाती हैं यदि यह दोनों को पुन: व्यवस्थित करना और उन्हें ऊपर के रूप में पुन: लेबल करना और समान परिणाम उत्पन्न करना संभव है। उदाहरण के लिए, (3, 5, 3) और (2, 9, 9) को समान माना जाता है क्योंकि उन्हें (3, 3, 5) और (9, 9, 2) के रूप में पुनः क्रमित किया जा सकता है और फिर दोनों को पुनः लेबल करने से समान उत्पादन होता है सूची (1, 1, 2 देखें)।

गेंद और संदूक परिदृश्य का उपयोग करके तालिका का सहज अर्थ

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

12 मिश्रित वस्तुओं की तालिका - गेंदों और संदूकों का उपयोग करके सहज ज्ञान युक्त तालिका
कोई भी f

(स्थानन पर कोई नियम नहीं)

अंतःक्षेपी f

(बहु-संकुलों की अनुमति नहीं है)

प्रक्षेप्य f

(रिक्त संदूकों की अनुमति नहीं है)

f
(चिह्नित गेंदे और संदूके)
x में एन-अनुक्रम

आप कितने तरीकों से रख सकते हैं
n चिह्नित गेंदों को x चिह्नित संदूकों में,
स्थानन पर कोई अन्य नियम नहीं है?

x में n-क्रमचय

आप कितने तरीकों से रख सकते हैं
n चिह्नित गेंदों को x चिह्नित संदूकों में,
बहु-
संकुलों की अनुमति नहीं है?

x उपसमुच्चय के साथ n की संरचना

आप कितने तरीकों से रख सकते हैं
n चिह्नित गेंदों को x चिह्नित संदूकों में,
रिक्त संदूकों की अनुमति नहीं है?

f ∘ Sn
(सादी गेंदे, चिह्नित संदूक)
X का n- बहु-उपसमुच्चय

आप कितने तरीकों से रख सकते हैं
n सादे गेंदों को x चिन्हित संदूकों में
स्थानन पर कोई अन्य नियम नहीं है?

X का n-उपसमुच्चय

आप कितने तरीकों से रख सकते हैं
n सादे गेंदों को x चिन्हित संदूकों में
बहु-
संकुलों की अनुमति नहीं है?

x पदों के साथ n की रचना

आप कितने तरीकों से रख सकते हैं
n सादे गेंदों को x चिन्हित संदूकों में
रिक्त संदूकों की अनुमति नहीं है?

Sxf
(चिह्नित गेंद, सादे संदूक)
N का ≤ x उपसमुच्चय में विभाजन

आप कितने तरीकों से रख सकते हैं
n चिह्नित गेंदों को x सादे संदूकों में,
स्थानन पर कोई अन्य नियम नहीं है?

N का ≤ x तत्वों में विभाजन

आप कितने तरीकों से रख सकते हैं
n चिन्हित गेंदें x सादे
संदूकों में,
बहु-संकुलों की अनुमति नहीं है?

N का x उपसमुच्चय में विभाजन

आप कितने तरीकों से रख सकते हैं
n चिन्हित गेंदें x सादे
संदूकों में,
रिक्त संदूकों की अनुमति नहीं है?

Sxf ∘ Sn
(सादी गेंदे और संदूक)
n का ≤ x भागों में विभाजन

आप कितने तरीकों से रख सकते हैं
n
सादे गेंदों को x सादे संदूकों में,
स्थानन पर कोई अन्य नियम नहीं है?

n का ≤ x भाग 1 में विभाजन

आप कितने तरीकों से रख सकते हैं
n सादे गेंदों को x सादे संदूकों में,
बहु-संकुलों की अनुमति नहीं है?

n का x भागों में विभाजन

आप कितने तरीकों से रख सकते हैं
n सादे गेंदों को x सादे संदूकों में,
रिक्त संदूकों की अनुमति नहीं है?


विभिन्न स्थितियों का विवरण

नीचे दिए गए स्थितियों को इस तरह से क्रमबद्ध किया गया है कि उन स्थितियों को समूहित किया जा सके जिनके लिए गणना में उपयोग किए गए तर्क संबंधित हैं, जो दी गई तालिका में क्रम नहीं है।

N से X तक के फलन

यह स्थिति बिना किसी प्रतिबंध के X के n तत्वों के अनुक्रमों की गणना के समान है: एक फलन f : NX, N के तत्वों की n छवियों द्वारा निर्धारित किया जाता है, जो प्रत्येक को x के तत्वों के मध्य स्वतंत्र रूप से चुना जा सकता है। यह कुल xn संभावनाएं देता है।

उदाहरण:

N से X तक के अंतःक्षेपी फलन

यह स्थिति X के n अलग-अलग तत्वों के अनुक्रमों की गणना के समान है, जिसे X का "n-क्रमचय" या "बिना दोहराव वाले अनुक्रम" भी कहा जाता है; पुनः यह क्रम N के तत्वों की n छवियों द्वारा बनता है। यह स्थिति अप्रतिबंधित अनुक्रमों में से एक से भिन्न होता है जिसमें दूसरे तत्व के लिए एक विकल्प कम होता है और इसी तरह तीसरे तत्व के लिए दो कम होते हैं। इसलिए x की एक सामान्य घात के बजाय, मान x की अवरोही भाज्य घात द्वारा दिया जाता है, जिसमें प्रत्येक क्रमिक कारक पिछले एक से एक कम होता है। सूत्र है

ध्यान दें कि यदि n > x तो कोई कारक शून्य प्राप्त करता है, इसलिए इस स्थिति में कोई अंतःक्षेपी फलन NX पूर्णतया नहीं है; यह कोष्ठ के सिद्धांत का केवल एक पुनर्कथन है।

उदाहरण:

N के क्रमचय तक, N से X तक अंतःक्षेपी फलन

यह स्थिति X के उपसमुच्चयों के साथ n तत्वों की गणना के समान है, जिसे X का n-संयोजन भी कहा जाता है: X के n विशिष्ट तत्वों के अनुक्रमों के मध्य, जो केवल उनके शब्दों के क्रम में भिन्न होते हैं, उन्हें N के क्रमचय द्वारा पहचाना जाता है। चूंकि सभी स्थिति में यह समूह पूर्णतया n! विभिन्न अनुक्रमों में, X के n-संयोजनों की संख्या प्राप्त करने के लिए, हम ऐसे अनुक्रमों की संख्या को n! से विभाजित कर सकते हैं। इस संख्या को द्विपद गुणांक के रूप में जाना जाता है, जो इसलिए द्वारा दिया गया है:

उदाहरण:

N से X तक के फलन, N के क्रमचय तक

यह स्थिति X से n तत्वों के साथ बहु-समुच्चय की गणना के समान है (जिसे n-बहुसंयोजन भी कहा जाता है)। इसका कारण यह है कि X के प्रत्येक तत्व के लिए यह निर्धारित किया जाता है कि N के कितने तत्वों को f द्वारा मानचित्रित किया जाता है, जबकि दो फलन जो X के प्रत्येक तत्व को समान गुण प्रदान करते हैं, सदैव N के क्रमचय द्वारा दूसरे में परिवर्तित हो सकते हैं। सूत्र सभी फलनों NX की गणना यहाँ उपयोगी नहीं है, क्योंकि N के क्रमचय द्वारा एक साथ समूहीकृत उनकी संख्या एक फलन से दूसरे फलन में भिन्न होती है। बल्कि, जैसा कि संयोजनों की पुनरावृत्ति के अंतर्गत समझाया गया है, x तत्वों वाले समुच्चय से n-बहुसंयोजन की संख्या x + n − 1 तत्वों वाले समुच्चय से n-संयोजनों की संख्या के समान देखा जा सकता है। यह समस्या को बारह गुना तरीके से कम कर देता है और परिणाम देता है:

उदाहरण:

N के क्रमचय तक, N से X तक प्रक्षेप्य फलन

यह स्थिति X से n तत्वों के साथ बहु-समुच्चयों की गणना के समान है, जिसके लिए X का प्रत्येक तत्व कम-से-कम एक बार होता है। यह x के तत्वों की बहुलताओं को क्रम में सूचीबद्ध करके, x (गैर-शून्य) पदों के साथ n की रचनाओं की गणना करने के समान है। फलनों और बहु-समुच्चयों के मध्य पत्राचार पूर्व स्थिति की तरह ही है और प्रक्षेप्य आवश्यकता का अर्थ है कि सभी गुणक कम-से-कम एक हैं। सभी गुणाओं को 1 से घटाकर, यह पूर्व स्थिति में कम हो जाता है; चूँकि परिवर्तन से n का मान x से घट जाता है, परिणाम है:

ध्यान दें कि जब n < x कोई प्रक्षेप्य फलन नहीं होता है तो NX (एक प्रकार का "रिक्त कोष्ठ" सिद्धांत) है; इसे सूत्र में इस तथ्य पर ध्यान दिया जाता है कि यदि निचला सूचकांक ऋणात्मक है तो द्विपद गुणांक सदैव 0 होता है। वही मान व्यंजक द्वारा भी दिया जाता है;

चरम स्थिति को छोड़कर n = x = 0, जहां पूर्व अभिव्यक्ति सही ढंग से देती है, जबकि बाद वाला गलत देता है।

परिणाम का रूप कुल n − 1 में से चुने गए, nx तत्वों के एक उपसमुच्चय से स्पष्टतः प्रक्षेप्य फलनों NX के एक वर्ग को संबद्ध करने के तरीके की खोज करने का सुझाव देता है जिसे निम्नानुसार किया जा सकता है। सर्वप्रथम, समुच्चय N और X का कुल क्रम चुनें और ध्यान दें कि N का उपयुक्त क्रमचय अनुप्रयुक्त करके, प्रत्येक प्रक्षेप्य फलन NX को एक अद्वितीय दुर्बलता से बढ़ते हुए (और निश्चित रूप से अभी भी प्रक्षेप्य) फलन में परिवर्तित किया जा सकता है। यदि कोई N के तत्वों को क्रम n − 1 चाप से एक रेखीय आलेख से जोड़ता है, तो nx चाप के किसी भी उपसमुच्चय को चुनकर और बाकी को हटाकर, x संसक्त घटकों के साथ एक आलेख प्राप्त करता है और इन्हें X के क्रमिक तत्वों को भेजकर, एक दुर्बलता से बढ़ते हुए विशेष फलन NX को प्राप्त करता है; संसक्त घटकों के आकार भी x भागों में n की संरचना देते हैं। यह तर्क मूल रूप से सितारे और बार (प्रायिकता) पर दिया गया है, अतिरिक्त इसके कि वहाँ x − 1 "पृथक्करण" का पूरक विकल्प बनाया गया है।

उदाहरण:

N से X तक अंतःक्षेपी फलन, X के क्रमचय तक

इस स्थिति में हम X से अलग-अलग तत्वों के अनुक्रमों पर विचार करते हैं, परन्तु प्रत्येक तत्व पर X के क्रमचय को अनुप्रयुक्त करके एक दूसरे से प्राप्त की पहचान करते हैं। यह देखना सरल है कि ऐसे दो अलग-अलग अनुक्रम सदैव पहचाने जा सकते हैं: क्रमचय को शब्द को मानचित्रित करना चाहिए पहले अनुक्रम के i से दूसरे क्रम के i तक, और चूंकि किसी भी क्रम में दो बार कोई मान नहीं होता है, इसलिए ये आवश्यकताएं एक दूसरे के विपरीत नहीं होती हैं; यह उन तत्वों को मानचित्रित करने के लिए बनी हुई है जो पहले क्रम में नहीं होते हैं, दूसरे क्रम में यादृच्छिक तरीके से घटित नहीं होते हैं। एकमात्र तथ्य जो परिणाम को n और x पर पूर्णतया भी निर्भर करता है, वह यह है कि कोष्ठ के सिद्धांत द्वारा ऐसे किसी भी अनुक्रम nx के अस्तित्व की आवश्यकता होती है। आइवरसन कोष्ठक का उपयोग करके, इसलिए संख्या व्यक्त की जाती है।

N से X तक अंतःक्षेपी फलन, N से X के क्रमचय तक

यह स्थिति पूर्व एक तक कम हो गया है: चूँकि X से अलग-अलग तत्वों के सभी अनुक्रमों को पूर्व से ही उनके प्रत्येक पद के लिए X के क्रमचय को अनुप्रयुक्त करके एक दूसरे में रूपांतरित किया जा सकता है, साथ ही प्रतिबन्धों को पुनः व्यवस्थित करने से कोई नई पहचान नहीं मिलती है; संख्या बनी हुई है।

N से X तक प्रक्षेप्य फलन, X के क्रमचय तक

यह स्थिति N के x (गैर-रिक्त) उपसमुच्चयों में विभाजन की गणना करने के समान है, या पूर्णतया x वर्गों के साथ N पर तुल्यता संबंधों की गणना करने के समान है। वास्तव में, किसी प्रक्षेप्य फलन f : NX के लिए, f के अंतर्गत एक ही छवि होने का संबंध एक ऐसा तुल्यता संबंध है और जब X का क्रमचय बाद में अनुप्रयुक्त किया जाता है तो यह परिवर्तित नहीं होता है; इसके विपरीत कोई भी इस तरह के तुल्यता संबंध को x तुल्यता वर्गों में किसी तरह से X के तत्वों को निर्दिष्ट करके एक प्रक्षेप्य फलन में परिवर्तित कर सकता है। परिभाषा के अनुसार ऐसे विभाजनों या तुल्यता संबंधों की संख्या दूसरे प्रकार के S(n,x) की स्टर्लिंग संख्या है, जिसे लिखा भी गया है। इसके मान को एक पुनरावर्ती संबंध का उपयोग करके या उत्पन्न करने वाले फलनों का उपयोग करके वर्णित किया जा सकता है, परन्तु द्विपद गुणांक के विपरीत इन संख्याओं के लिए कोई संवृत सूत्र नहीं है जिसमें एक योग सम्मिलित नहीं है।

N से X तक प्रक्षेप्य फलन

प्रत्येक प्रक्षेप्य फलन f : NX के लिए, X के क्रमचय के अंतर्गत इसकी कक्षा में x! तत्व है, चूंकि रचना (बाईं ओर) X के दो अलग-अलग क्रमचय के साथ कभी भी N पर एक ही फलन नहीं देता है (क्रमचय X के कुछ तत्वों पर भिन्न होना चाहिए, जिसे सदैव कुछ i ∈ N के लिए f(i) के रूप में लिखा जा सकता है और रचनाएँ तब i है) पर भिन्न होंगी। यह इस प्रकार है कि इस स्थिति के लिए संख्या x! है, पूर्व स्थिति की संख्या का गुना, अर्थात है।

उदाहरण:

N से X तक फलन, X के क्रमचय तक

यह स्थिति प्रक्षेप्य फलनों के लिए संबंधित एक जैसा है, परन्तु X के कुछ तत्व किसी भी तुल्यता वर्ग के अनुरूप नहीं हो सकते हैं (चूंकि कोई X के क्रमचय तक फलनों पर विचार करता है, इससे कोई असमानता नहीं होती कि कौन से तत्व संबंधित हैं, केवल कितने हैं)। एक परिणाम के रूप में, N पर समानता संबंधों की गणना अधिकतम x वर्गों के साथ की जा रही है और परिणाम x तक के मानों के योग द्वारा उल्लिखित स्थिति से प्राप्त किया जाता है, दे रहा है। स्थिति x ≥ n में, x का आकार कोई प्रतिबंध नहीं लगाता है और कोई n तत्वों के समुच्चय पर सभी समतुल्य संबंधों की गणना कर रहा है (समान रूप से ऐसे समुच्चय के सभी विभाजन); इसलिए बेल संख्या Bn के लिए एक व्यंजक देता है।

N से X तक प्रक्षेप्य फलन, N और X के क्रमचय तक

यह स्थिति संख्या n के x गैर-शून्य भागों में विभाजन की गणना के समान है। केवल X के क्रमचय तक प्रक्षेप्य फलनों की गणना की स्थिति () की तुलना में, कोई केवल समतुल्यता वर्गों के आकार को बनाए रखता है, जो फलन N को विभाजित करता है (प्रत्येक आकार की बहुलता सहित), क्योंकि दो तुल्यता संबंधों को एक दूसरे में रूपांतरित किया जा सकता है, N का यदि और केवल यदि उनकी कक्षाओं के आकार मेल खाते हैं। यह ठीक वही है जो n के विभाजन की धारणा को N के विभाजन की धारणा से भिन्न करता है, इसलिए एक परिणाम के रूप में, x गैर-शून्य भागों में n के विभाजनों की संख्या px(n) परिभाषा के अनुसार मिलती है।

N से X तक के फलन, N और X के क्रमचय तक

यह स्थिति संख्या n के विभाजनों ≤ x भागों की गणना के समान है। संघ पूर्व स्थिति के समान है, अतिरिक्त इसके कि अब विभाजन के कुछ भाग 0 के समान हो सकते हैं (विशेष रूप से, वे X के तत्वों के अनुरूप हैं जो फलन की छवि में नहीं हैं)। n के प्रत्येक विभाजन में अधिकतम x गैर-शून्य भागों को आवश्यक संख्या में शून्य जोड़कर इस तरह के विभाजन तक बढ़ाया जा सकता है और यह सभी संभावनाओं के लिए एक बार खाता है, इसलिए परिणाम दिया जाता है। x भागों में से प्रत्येक में 1 जोड़कर, n + x का x गैर-शून्य भागों में विभाजन प्राप्त करता है, और यह पत्राचार विशेषण है; इसलिए दिए गए व्यंजक को इस रूप में लिखकर सरल किया जा सकता है।

चरम स्थिति

उपरोक्त सूत्र सभी परिमित समुच्चय N और X के लिए उचित मान देते हैं। कुछ स्थितियों में ऐसे वैकल्पिक सूत्र हैं जो लगभग समतुल्य हैं, परन्तु कुछ चरम स्थितियों में सही परिणाम नहीं देते हैं, जैसे कि जब N या X रिक्त होते हैं। निम्नलिखित विचार ऐसे स्थितियों पर अनुप्रयुक्त होते हैं।

  • प्रत्येक समुच्चय X के लिए रिक्त समुच्चय से X तक पूर्णतया एक फलन होता है (निर्दिष्ट करने के लिए इस फलन का कोई मान नहीं है), जो सदैव अंतःक्षेपी होता है, परन्तु जब तक X (भी) रिक्त नहीं होता है तब तक प्रक्षेप्य नहीं होता है।
  • प्रत्येक गैर-रिक्त समुच्चय N के लिए, N से रिक्त समुच्चय तक कोई फलन नहीं है (फलन का कम-से-कम एक मान है जिसे निर्दिष्ट किया जाना चाहिए, परन्तु यह नहीं हो सकता)।
  • जब n > x कोई अंतःक्षेपी फलन नहीं होता है तो NX, और यदि n < x कोई प्रक्षेप्य फलन NX नहीं हैं।
  • सूत्रों में प्रयुक्त भाव विशेष मान के रूप में होते हैं।
(प्रथम तीन एक रिक्त उत्पाद और मान के उदाहरण हैं, द्विपद गुणांक के पारंपरिक विस्तार द्वारा दिया जाता है, ऊपरी सूचकांक के यादृच्छिक मान है), जबकि

विशेष रूप से, X से लिए गए n तत्वों के साथ बहु-समुच्चय की गणना स्थिति में, दी गई अभिव्यक्ति के समान है, परन्तु बाद की अभिव्यक्ति की स्थिति n = x = 0 के लिए 0 देगा, (सामान्य परिपाटी के अनुसार ऋणात्मक निम्न सूचकांक वाले द्विपद गुणांक सदैव 0 होते हैं)। इसी प्रकार, x गैर-शून्य भागों के साथ n की गणना रचनाओं की स्थिति में, दी गई अभिव्यक्ति के लगभग व्यंजक के समतुल्य है। सितारों और बारों के तर्क द्वारा दिया गया है, परन्तु बाद वाला n = 0 और x के सभी मानों के लिए गलत मान देता है। उन स्थितियों के लिए जहां परिणाम में एक योग सम्मिलित होता है, अर्थात् अधिकतम x गैर-रिक्त उपसमुच्चय में N विभाजन की गणना या n के अधिकांश x गैर-शून्य भागों में विभाजन, योग सूचकांकों को 0 से प्रारंभ करने के लिए लिया जाता है; जब भी n > 0 होता है, यह अद्वितीय गैर-शून्य शब्द है जब n = 0 और परिणाम उन स्थितियों के लिए गलत होगा यदि योग और परिणाम उन स्थितियों के लिए गलत होगा यदि योग 1 से प्रारंभ करने के लिए लिया गया था।

सामान्यीकरण

हम क्रमचय के अन्य समूहों को N और X पर कार्य करने की अनुमति देकर और सामान्य कर सकते हैं। यदि G, N और H, X के क्रमचयों का एक समूह है, तो हम फलनों के तुल्यता वर्गों की गणना करते हैं। दो फलन f और F को समतुल्य माना जाता है और केवल यदि, ताकि उपस्थित है। यह विस्तार चक्रीय क्रमचय और द्वितल समूह क्रमचय, साथ ही संख्याओं और समुच्चयों के चक्रीय और द्वितल विभाजन जैसी धारणाओं की ओर जाता है।

बीस गुना शैली

बीस गुना वे नामक एक अन्य सामान्यीकरण केनेथ पी. बोगार्ट द्वारा अपनी पुस्तक "निर्देशित खोज के माध्यम से साहचर्य" में विकसित किया गया था। वस्तुओं को संदूकों में वितरित करने की समस्या में वस्तुएँ और संदूकों दोनों समान या भिन्न हो सकते हैं। बोगार्ट 20 स्थितियों की पहचान करता है।[3]

बीस गुना शैली; x प्राप्तकर्ताओं के मध्य n वस्तुओं के वितरण के लिए प्रतिरूप
क्रमांक वस्तुएं वितरण की

स्थिति

प्राप्तकर्ता
विशिष्ट अभिन्न
1 विशिष्ट कोई प्रतिबंध नहीं X में n-अनुक्रम
N का ≤ x उपसमुच्चय में विभाजन
2 अधिक से अधिक एक X का n-क्रमचय
3 कम-से-कम एक x उपसमुच्चय के साथ N की संरचना
N का x उपसमुच्चय में विभाजन
4 यथार्थत: एक
क्रमचय
5 विशिष्ट,
क्रमवार
प्रतिबंध नहीं
क्रमित फलन

खंडित क्रमचय ( भागों)
जहाँ लाह संख्या है।
6 कम-से-कम एक
फलनों पर क्रमवार

खंडित क्रमचय (x भागों)
जहाँ लाह संख्या है।
7 अभिन्न प्रतिबंध नहीं X का n- बहु-उपसमुच्चय

संख्या विभाजन ( भागों)
8 अधिक से अधिक एक X का n-उपसमुच्चय
9 कम-से-कम एक
रचनाएँ (x भाग)
n का x भागों में विभाजन
10 यथार्थत: एक


यह भी देखें

संदर्भ

  1. Richard P. Stanley (1997). Enumerative Combinatorics, Volume I. Cambridge University Press. ISBN 0-521-66351-2. p.41
  2. Robert V. Hogg and Elliot A. Tanis (2001). Probability and Statistical Inference. Prentice-Hall, Inc. ISBN 0-13-027294-9. p.81
  3. Kenneth P. Bogart (2004). Combinatorics Through Guided Discovery, p.57