समावेशन-बहिष्करण सिद्धांत
साहचर्य में, गणित की एक शाखा, समावेशन-बहिष्करण सिद्धांत एक गिनती तकनीक है जो दो परिमित सेटों के संघ (सेट सिद्धांत) में तत्वों की संख्या प्राप्त करने की परिचित विधि को सामान्यीकृत करती है; प्रतीकात्मक रूप से व्यक्त किया गया है
जहाँ A और B दो परिमित समुच्चय हैं और |S एक समुच्चय S का (जिसे समुच्चय के तत्वों की संख्या माना जा सकता है, यदि समुच्चय परिमित समुच्चय है)। सूत्र इस तथ्य को व्यक्त करता है कि दो सेटों के आकारों का योग बहुत बड़ा हो सकता है क्योंकि कुछ तत्वों को दो बार गिना जा सकता है। दोहरी गिनती वाले तत्व दो सेटों के प्रतिच्छेदन (सेट सिद्धांत) में हैं और गणना को प्रतिच्छेदन के आकार को घटाकर सही किया जाता है।
समावेशन-बहिष्करण सिद्धांत, दो-सेट मामले का सामान्यीकरण होने के नाते, शायद तीन सेटों के मामले में अधिक स्पष्ट रूप से देखा जाता है, जो सेट ए, बी और सी के लिए दिया गया है
इस सूत्र को यह गिनकर सत्यापित किया जा सकता है कि वेन आरेख चित्र में प्रत्येक क्षेत्र सूत्र के दाईं ओर कितनी बार शामिल है। इस मामले में, अधिक गिने गए तत्वों के योगदान को हटाते समय, तीन सेटों के पारस्परिक प्रतिच्छेदन में तत्वों की संख्या बहुत बार घटा दी गई है, इसलिए सही कुल प्राप्त करने के लिए इसे वापस जोड़ा जाना चाहिए।
इन उदाहरणों के परिणामों को सामान्यीकृत करने से समावेशन-बहिष्करण का सिद्धांत मिलता है। के मिलन की प्रमुखता का पता लगाना n सेट:
- सेट की प्रमुखताएं शामिल करें.
- जोड़ीवार चौराहों की कार्डिनैलिटी को छोड़ दें।
- ट्रिपल-वार चौराहों की प्रमुखताओं को शामिल करें।
- चतुर्गुण-वार प्रतिच्छेदन की प्रमुखताओं को छोड़ दें।
- क्विंटुपल-वार चौराहों की प्रमुखताओं को शामिल करें।
- जारी रखें, जब तक कि कार्डिनैलिटी न हो जाए n-टुपल-वार चौराहा शामिल है (यदि n विषम है) या बहिष्कृत (n यहां तक की)।
यह नाम इस विचार से आया है कि सिद्धांत अत्यधिक उदार समावेशन पर आधारित है, जिसके बाद क्षतिपूर्ति बहिष्करण होता है। इस अवधारणा का श्रेय अब्राहम डी मोइवरे (1718) को दिया जाता है।[1] हालाँकि यह पहली बार डैनियल दा सिल्वा (गणितज्ञ) (1854) के पेपर में दिखाई देता है[2] और बाद में जे. जे. सिल्वेस्टर (1883) के एक पेपर में।[3] कभी-कभी इन प्रकाशनों के कारण सिद्धांत को दा सिल्वा या सिल्वेस्टर के सूत्र के रूप में जाना जाता है। इस सिद्धांत को संख्या सिद्धांत में व्यापक रूप से उपयोग किए जाने वाले छलनी सिद्धांत के उदाहरण के रूप में देखा जा सकता है और इसे कभी-कभी छलनी सूत्र के रूप में भी जाना जाता है।[4] चूंकि परिमित संभावनाओं की गणना संभाव्यता स्थान की कार्डिनैलिटी के सापेक्ष गणना के रूप में की जाती है, इसलिए समावेशन-बहिष्करण के सिद्धांत के सूत्र तब मान्य रहते हैं जब सेट की कार्डिनैलिटी को सीमित संभावनाओं द्वारा प्रतिस्थापित किया जाता है। अधिक सामान्यतः, सिद्धांत के दोनों संस्करणों को माप सिद्धांत की सामान्य छतरी के नीचे रखा जा सकता है।
एक बहुत ही अमूर्त सेटिंग में, समावेशन-बहिष्करण के सिद्धांत को एक निश्चित मैट्रिक्स के व्युत्क्रम की गणना के रूप में व्यक्त किया जा सकता है।[5] इस व्युत्क्रम की एक विशेष संरचना है, जो सिद्धांत को कॉम्बिनेटरिक्स और गणित के संबंधित क्षेत्रों में एक अत्यंत मूल्यवान तकनीक बनाती है। जैसा कि जियान-कार्लो रोटा ने कहा:[6] <ब्लॉककोट> असतत संभाव्यता और संयोजक सिद्धांत में गणना के सबसे उपयोगी सिद्धांतों में से एक समावेशन-बहिष्करण का प्रसिद्ध सिद्धांत है। जब कुशलता से लागू किया जाता है, तो इस सिद्धांत ने कई संयुक्त समस्याओं का समाधान दिया है। </ब्लॉककोट>
सूत्र
इसके सामान्य सूत्र में, समावेशन-बहिष्करण का सिद्धांत कहता है कि परिमित सेटों के लिए A1, …, An, एक की पहचान होती है
-
(1)
इसे संक्षिप्त रूप में इस प्रकार लिखा जा सकता है
या
शब्दों में, परिमित समुच्चयों के एक परिमित संघ में तत्वों की संख्या गिनने के लिए, पहले अलग-अलग समुच्चयों की प्रमुखताओं का योग करें, फिर कम से कम दो समुच्चयों में दिखाई देने वाले तत्वों की संख्या घटाएँ, फिर दिखाई देने वाले तत्वों की संख्या वापस जोड़ें कम से कम तीन सेट, फिर कम से कम चार सेट में दिखाई देने वाले तत्वों की संख्या घटाएं, और इसी तरह। यह प्रक्रिया हमेशा समाप्त होती है क्योंकि संघ में सेटों की संख्या से अधिक कोई भी तत्व प्रकट नहीं हो सकता है। (उदाहरण के लिए, यदि ऐसे कोई तत्व नहीं हो सकते जो इससे अधिक में प्रकट हों सेट; समान रूप से, ऐसे कोई तत्व नहीं हो सकते जो कम से कम दिखाई दें सेट.)
अनुप्रयोगों में सिद्धांत को उसके पूरक रूप में व्यक्त होते देखना आम बात है। यानी देना S एक परिमित सार्वभौमिक समुच्चय बनें जिसमें सभी शामिल हों Ai और देना के पूरक को निरूपित करें Ai में S, डी मॉर्गन के नियमों के अनुसार हमारे पास है
कथन के दूसरे संस्करण के रूप में, आइए P1, ..., Pn एक सेट के तत्वों के गुणों की एक सूची बनें S हो भी सकता है और नहीं भी, तब समावेशन-बहिष्करण का सिद्धांत तत्वों की संख्या की गणना करने का एक तरीका प्रदान करता है S जिसमें कोई भी गुण नहीं है। बस जाने Ai के तत्वों का उपसमुच्चय हो S जिसके पास संपत्ति है Pi और सिद्धांत को उसके पूरक रूप में उपयोग करें। यह संस्करण जे. जे. सिल्वेस्टर के कारण है।[1]
ध्यान दें कि यदि आप केवल पहले को ही ध्यान में रखते हैं m<n दाहिनी ओर योग (सिद्धांत के सामान्य रूप में), तो आपको अधिक अनुमान मिलेगा यदि m अजीब है और यदि कम आंका गया है m सम है।
उदाहरण
पूर्णांकों की गिनती
समावेशन-बहिष्करण के सिद्धांत के उपयोग के एक सरल उदाहरण के रूप में, इस प्रश्न पर विचार करें:[7]
- {1,…, 100} में कितने पूर्णांक 2, 3 या 5 से विभाज्य नहीं हैं?
माना S = {1,…,100} और P1 वह गुण कि एक पूर्णांक 2, P से विभाज्य है2 वह गुण कि एक पूर्णांक 3 और P से विभाज्य है3 वह गुण कि एक पूर्णांक 5 से विभाज्य है। मान लीजिए Ai S का उपसमुच्चय बनें जिसके तत्वों का गुण P हैi प्रारंभिक गिनती से हमारे पास है: |ए1| = 50, |ए2| = 33, और |ए3| = 20. इनमें से 16 ऐसे पूर्णांक हैं जो 6 से विभाज्य हैं, 10 पूर्णांक 10 से विभाज्य हैं, और 6 पूर्णांक 15 से विभाज्य हैं। अंत में, केवल 3 पूर्णांक हैं जो 30 से विभाज्य हैं, इसलिए पूर्णांकों की संख्या 2, 3 या 5 में से किसी से भी विभाज्य नहीं है। द्वारा दिया गया है:
- 100 - (50 + 33 + 20) + (16 + 10 + 6) - 3 = 26।
विकृतियों की गिनती
एक अधिक जटिल उदाहरण निम्नलिखित है.
मान लीजिए कि 1 से n तक क्रमांकित n कार्डों का एक डेक है। मान लीजिए कि m क्रमांकित कार्ड सही स्थिति में है यदि यह डेक में mवां कार्ड है। कम से कम 1 कार्ड सही स्थिति में होने पर कितने तरीकों से कार्डों को फेंटा जा सकता है?
सेट ए को परिभाषित करके प्रारंभ करेंm, जो कि mth कार्ड वाले कार्डों के सभी ऑर्डर सही हैं। तब कम से कम एक कार्ड सही स्थिति में होने पर ऑर्डरों की संख्या, W, m है
समावेशन-बहिष्करण का सिद्धांत लागू करें,
प्रत्येक मान कम से कम p मान m वाले शफ़ल के सेट का प्रतिनिधित्व करता है1, …, एमpसही स्थिति में. ध्यान दें कि कम से कम p मान सही होने पर फेरबदल की संख्या केवल p पर निर्भर करती है, विशेष मान पर नहीं . उदाहरण के लिए, पहले, तीसरे और 17वें कार्ड को सही स्थिति में रखने वाले शफ़ल की संख्या दूसरे, 5वें और 13वें कार्ड को सही स्थिति पर रखने वाले शफ़ल की संख्या के समान है। यह केवल इतना मायने रखता है कि n कार्डों में से 3 को सही स्थिति में चुना गया था। इस प्रकार हैं पीटीएच योग में समान पद (संयोजन देखें)।
सही स्थिति में पी तत्वों वाले ऑर्डर की संख्या है, जो शेष एन - पी तत्वों, या (एन - पी) को ऑर्डर करने के तरीकों की संख्या के बराबर है! इस प्रकार हम अंततः प्राप्त करते हैं:
ऐसा क्रमपरिवर्तन जहां कोई भी कार्ड सही स्थिति में न हो, विव्यवस्था कहलाता है। एन लेना! क्रमपरिवर्तन की कुल संख्या होने के लिए, संभावना Q कि एक यादृच्छिक फेरबदल एक विक्षोभ उत्पन्न करता है, द्वारा दी गई है
ई की टेलर श्रृंखला के n + 1 शब्दों का कटाव−1. इस प्रकार ताश के पत्तों के फेंटे गए डेक के क्रम का अनुमान लगाने और प्रत्येक पत्ते के बारे में गलत होने की संभावना लगभग ई है−1या 37%।
एक विशेष मामला
ऊपर दिए गए विक्षिप्त उदाहरण में जो स्थिति दिखाई देती है वह अक्सर विशेष ध्यान देने के लिए पर्याप्त होती है।[8] अर्थात्, जब समावेशन-बहिष्करण के सिद्धांत के सूत्रों में प्रदर्शित होने वाले प्रतिच्छेदन सेटों का आकार केवल प्रतिच्छेदनों में सेटों की संख्या पर निर्भर करता है, न कि इस बात पर कि कौन से सेट दिखाई देते हैं। अधिक औपचारिक रूप से, यदि चौराहा
समान कार्डिनैलिटी है, मान लीजिए αk= |एJ|, फिर, {1,…,n} के प्रत्येक के-तत्व उपसमुच्चय J के लिए
या, पूरक रूप में, जहां सार्वभौमिक सेट एस में कार्डिनैलिटी α है0,
सूत्र सामान्यीकरण
उपसमुच्चय A के समुच्चय|परिवार (दोहराव की अनुमति) का एक परिवार दिया गया है1, ए2, ..., एn एक सार्वभौमिक समुच्चय S में, समावेशन-बहिष्करण का सिद्धांत इनमें से किसी भी उपसमुच्चय में S के तत्वों की संख्या की गणना नहीं करता है। इस अवधारणा का सामान्यीकरण एस के तत्वों की संख्या की गणना करेगा जो इन सेटों के कुछ निश्चित एम में दिखाई देते हैं।
मान लीजिए N = [n] = {1,2,…,n}। यदि हम परिभाषित करें , तो पिछले अनुभाग के नोटेशन का उपयोग करके समावेशन-बहिष्करण के सिद्धांत को इस प्रकार लिखा जा सकता है; A में से किसी में भी शामिल S के तत्वों की संख्या नहींi है:
यदि I सूचकांक सेट N का एक निश्चित उपसमुच्चय है, तो A से संबंधित तत्वों की संख्याi I में सभी i के लिए और किसी अन्य मान के लिए नहीं है:[9]
सेट को परिभाषित करें
हम बी में से किसी में भी तत्वों की संख्या की तलाश नहीं कर रहे हैंk जो, समावेशन-बहिष्करण के सिद्धांत द्वारा (साथ) ), है
N के उपसमुच्चय और I वाले N के उपसमुच्चय के बीच पत्राचार K ↔ J = I ∪ K एक आक्षेप है और यदि J और K इस मानचित्र के अंतर्गत मेल खाते हैं तो BK = एJ, यह दर्शाता है कि परिणाम वैध है।
संभावना में
प्रायिकता में, घटनाओं के लिए ए1, ..., एn संभाव्यता स्थान में , समावेशन-बहिष्करण सिद्धांत n = 2 के लिए बन जाता है
n=3 के लिए
और सामान्य तौर पर
जिसे बंद रूप में इस प्रकार लिखा जा सकता है
जहां अंतिम योग सूचकांक 1, ..., n के सभी उपसमुच्चय I पर चलता है जिसमें बिल्कुल k तत्व होते हैं, और
उन सभी ए के प्रतिच्छेदन को दर्शाता हैiI में सूचकांक के साथ.
बूले की असमानता#बोनफेरोनी असमानताओं के अनुसार, सूत्र में पहले शब्दों का योग वैकल्पिक रूप से एक समीकरण के पक्षों के लिए एक ऊपरी सीमा और एक निचली सीमा होती है। इसका उपयोग उन मामलों में किया जा सकता है जहां पूरा फॉर्मूला बहुत बोझिल है।
एक सामान्य माप स्थान (एस,Σ,μ) और मापने योग्य उपसमुच्चय ए के लिए1, …, एn परिमित माप में, उपरोक्त सर्वसमिकाएँ संभाव्यता मापते समय भी मान्य होती हैं माप μ द्वारा प्रतिस्थापित किया जाता है।
विशेष मामला
यदि, समावेशन-बहिष्करण सिद्धांत के संभाव्य संस्करण में, प्रतिच्छेदन ए की संभावनाI केवल I की प्रमुखता पर निर्भर करता है, जिसका अर्थ है कि {1,…,n} में प्रत्येक k के लिए एक a हैkऐसा है कि
तब उपरोक्त सूत्र सरल हो जाता है
द्विपद गुणांक की संयुक्त व्याख्या के कारण . उदाहरण के लिए, यदि घटनाएँ तब स्वतंत्र और समान रूप से वितरित होते हैं मेरे और हमारे पास जो कुछ भी है उसके लिए , जिस स्थिति में उपरोक्त अभिव्यक्ति सरल हो जाती है
(घटनाओं के पूरकों के प्रतिच्छेदन पर विचार करके भी यह परिणाम अधिक सरलता से प्राप्त किया जा सकता है .)
सामान्य माप स्थान के मामले में एक समान सरलीकरण संभव है (S, Σ, μ) और मापने योग्य उपसमुच्चय A1, …, एn परिमित माप का.
अन्य सूत्र
सिद्धांत को कभी-कभी रूप में बताया जाता है[10] वह कहता है कि यदि
तब
-
(⁎⁎)
समावेशन-बहिष्करण सिद्धांत का संयोजक और संभाव्य संस्करण इसके उदाहरण हैं (⁎⁎).
Take , , and
respectively for all sets with . Then we obtain
respectively for all sets with . This is because elements of can be contained in other ( with ) as well, and the -formula runs exactly through all possible extensions of the sets with other , counting only for the set that matches the membership behavior of , if runs through all subsets of (as in the definition of ).
Since , we obtain from (⁎⁎) with that
and by interchanging sides, the combinatorial and the probabilistic version of the inclusion–exclusion principle follow.
अगर किसी को कोई नंबर दिखता है इसके प्रमुख कारकों के एक सेट के रूप में, फिर (⁎⁎) वर्ग-मुक्त पूर्णांक|वर्ग-मुक्त प्राकृतिक संख्याओं के लिए मोबियस व्युत्क्रम सूत्र का सामान्यीकरण है। इसलिए, (⁎⁎) को ए के सभी उपसमुच्चयों के आंशिक रूप से क्रमित सेट की घटना बीजगणित के लिए मोबियस व्युत्क्रम सूत्र के रूप में देखा जाता है।
मोबियस व्युत्क्रम सूत्र के पूर्ण संस्करण के सामान्यीकरण के लिए, (⁎⁎) को मल्टीसेट्स के लिए सामान्यीकृत किया जाना चाहिए। सेट के बजाय मल्टीसेट के लिए, (⁎⁎) बन जाता है
-
(⁎⁎⁎)
कहाँ जिसके लिए मल्टीसेट है , और
- μ(S) = 1 यदि S सम और विषम संख्या कार्डिनैलिटी का एक सेट (यानी दोहरे तत्वों के बिना एक मल्टीसेट) है।
- μ(S) = −1 यदि S विषम कार्डिनैलिटी का एक सेट (यानी डबल तत्वों के बिना एक मल्टीसेट) है।
- μ(S) = 0 यदि S एक उचित मल्टीसेट है (अर्थात S में दोहरे तत्व हैं)।
नोटिस जो बस है का (⁎⁎) यदि एक सेट है.
Substitute
Notice that must be a set for each positive or negative appearance of on the right hand side of (⁎⁎⁎) that is obtained by way of the multiset such that . Now each appearance of on the right hand side of (⁎⁎⁎) that is obtained by way of such that is a set that contains cancels out with the one that is obtained by way of the corresponding such that is a set that does not contain . This gives the desired result.
अनुप्रयोग
समावेशन-बहिष्करण सिद्धांत का व्यापक रूप से उपयोग किया जाता है और इसके केवल कुछ अनुप्रयोगों का उल्लेख यहां किया जा सकता है।
विकृतियों की गिनती
समावेशन-बहिष्करण सिद्धांत का एक प्रसिद्ध अनुप्रयोग एक परिमित सेट के सभी विक्षोभों की गिनती की संयुक्त समस्या के लिए है। समुच्चय A का विचलन A से अपने आप में एक विक्षेपण है जिसका कोई निश्चित बिंदु नहीं है। समावेशन-बहिष्करण सिद्धांत के माध्यम से कोई यह दिखा सकता है कि यदि ए की कार्डिनैलिटी एन है, तो विचलन की संख्या [एन! / e] जहां [x] x के निकटतम पूर्णांक फ़ंक्शन को दर्शाता है; एक विस्तृत प्रमाण उपलब्ध है यादृच्छिक क्रमपरिवर्तन आँकड़े#क्रमपरिवर्तन की संख्या जो कि विक्षिप्त हैं और ऊपर #उदाहरण भी देखें।
विक्षोभों की संख्या गिनने की समस्या की पहली घटना संयोग के खेल पर एक प्रारंभिक पुस्तक में है: पी. आर. डी मोंटमॉर्ट (1678 - 1719) द्वारा लिखित एस्साई डी'एनालिसिस सुर लेस ज्यूक्स डे हैजर्ड और इसे या तो मोंटमॉर्ट की समस्या के रूप में जाना जाता था या उसने इसे जो नाम दिया, वह है प्रॉब्लम डेस रेनकॉन्ट्रेस।[11] इस समस्या को हैचचेक समस्या के नाम से भी जाना जाता है।
विक्षोभों की संख्या को n के उपकारक के रूप में भी जाना जाता है, जिसे !n लिखा जाता है। इसका तात्पर्य यह है कि यदि सभी आक्षेपों को एक ही संभावना दी गई है, तो संभावना है कि एक यादृच्छिक आक्षेप एक विक्षिप्तता है, जैसे-जैसे n बढ़ता है, तेजी से 1/e तक पहुंच जाता है।
चौराहों की गिनती
समावेशन-बहिष्करण के सिद्धांत को, डी मॉर्गन के नियम के साथ मिलाकर, सेटों के प्रतिच्छेदन की प्रमुखता की गणना करने के लिए भी इस्तेमाल किया जा सकता है। होने देना ए के पूरक का प्रतिनिधित्व करेंkकुछ सार्वभौमिक सेट ए के संबंध में ऐसा है कि प्रत्येक k के लिए तो हमारे पास हैं
इस प्रकार एक प्रतिच्छेदन खोजने की समस्या को एक संघ खोजने की समस्या में बदल दिया जाता है।
ग्राफ़ रंग
समावेशन बहिष्करण सिद्धांत कई एनपी-हार्ड ग्राफ़ विभाजन समस्याओं, जैसे ग्राफ़ रंग, के लिए एल्गोरिदम का आधार बनाता है।[12] सिद्धांत का एक प्रसिद्ध अनुप्रयोग एक ग्राफ के रंगीन बहुपद का निर्माण है।[13]
द्विपक्षीय ग्राफ पूर्ण मिलान
द्विदलीय ग्राफ के पूर्ण मिलान की संख्या की गणना सिद्धांत का उपयोग करके की जा सकती है।[14]
ऑन्टोफ़ फ़ंक्शंस की संख्या
परिमित समुच्चय A और B दिए जाने पर, A से B तक कितने विशेषण फलन (कार्यों पर) हैं? व्यापकता के किसी भी नुकसान के बिना हम ए = {1, ..., के} और बी = {1, ..., एन} ले सकते हैं, क्योंकि केवल सेट की प्रमुखताएं मायने रखती हैं। ए से बी तक सभी फ़ंक्शन (गणित) के सेट के रूप में एस का उपयोग करके, और बी में प्रत्येक i के लिए, संपत्ति पी को परिभाषित करनाiचूंकि फ़ंक्शन बी में तत्व i को मिस करता है (i फ़ंक्शन की छवि (गणित) में नहीं है), समावेशन-बहिष्करण का सिद्धांत ए और बी के बीच ऑन्ट फ़ंक्शंस की संख्या देता है:[15]
निषिद्ध पदों के साथ क्रमपरिवर्तन
समुच्चय S = {1, ..., n} का क्रमपरिवर्तन जहाँ S का प्रत्येक तत्व कुछ निश्चित स्थितियों में न होने तक सीमित है (यहाँ क्रमपरिवर्तन को S के तत्वों के क्रम के रूप में माना जाता है) को निषिद्ध क्रमपरिवर्तन कहा जाता है पद. उदाहरण के लिए, एस = {1,2,3,4} के साथ, इस प्रतिबंध के साथ क्रमपरिवर्तन कि तत्व 1 स्थिति 1 या 3 में नहीं हो सकता है, और तत्व 2 स्थिति 4 में नहीं हो सकता है: 2134, 2143, 3124, 4123, 2341, 2431, 3241, 3421, 4231 और 4321। ए देकरiउन स्थितियों का सेट बनें जिनमें तत्व i को रखने की अनुमति नहीं है, और संपत्ति Pi यह वह गुण है जो क्रमपरिवर्तन तत्व i को A में एक स्थिति में रखता हैi, समावेशन-बहिष्करण के सिद्धांत का उपयोग उन क्रमपरिवर्तनों की संख्या की गणना करने के लिए किया जा सकता है जो सभी प्रतिबंधों को पूरा करते हैं।[16] दिए गए उदाहरण में, गुण P के साथ 12 = 2(3!) क्रमपरिवर्तन हैं1, 6 = 3! संपत्ति पी के साथ क्रमपरिवर्तन2 और किसी भी क्रमपरिवर्तन में गुण P नहीं है3 या पी4 क्योंकि इन दोनों तत्वों के लिए कोई प्रतिबंध नहीं है। प्रतिबंधों को संतुष्ट करने वाले क्रमपरिवर्तनों की संख्या इस प्रकार है:
- 4! - (12 + 6 + 0 + 0) + (4) = 24 - 18 + 4 = 10।
इस गणना में अंतिम 4 दोनों गुणों पी वाले क्रमपरिवर्तन की संख्या है1 और पी2. सूत्र में कोई अन्य गैर-शून्य योगदान नहीं है।
दूसरे प्रकार की स्टर्लिंग संख्याएँ
दूसरे प्रकार की स्टर्लिंग संख्याएँ, S(n,k) n तत्वों के एक समूह के विभाजन की संख्या को k गैर-रिक्त उपसमुच्चय (अप्रभेद्य बक्से) में गिनती हैं। उनके लिए एक स्पष्ट सूत्र बहुत निकट से संबंधित समस्या में समावेशन-बहिष्करण के सिद्धांत को लागू करके प्राप्त किया जा सकता है, अर्थात्, एन-सेट के विभाजन की संख्या को के गैर-रिक्त लेकिन अलग-अलग बक्से में गिनना (ऑर्डर किया गया सेट गैर-रिक्त उपसमुच्चय) ). एन-सेट के सभी विभाजनों से युक्त सार्वभौमिक सेट का उपयोग करके के (संभवतः खाली) अलग-अलग बक्सों में, ए1, ए2, …, एk, और गुण पीiमतलब कि विभाजन में बॉक्स ए हैiखाली, समावेशन-बहिष्करण का सिद्धांत संबंधित परिणाम का उत्तर देता है। k से विभाजित करना! कृत्रिम क्रम को हटाने के लिए दूसरे प्रकार का स्टर्लिंग नंबर दिया जाता है:[17]
रूक बहुपद
एक रूक बहुपद एक बोर्ड बी पर गैर-आक्रमणकारी रूक (शतरंज) को रखने के तरीकों की संख्या का जनक बहुपद है जो एक बिसात के वर्गों के सबसेट की तरह दिखता है; अर्थात्, कोई भी दो रूक एक ही पंक्ति या स्तंभ में नहीं हो सकते। बोर्ड बी एन पंक्तियों और एम कॉलम वाले आयताकार बोर्ड के वर्गों का कोई उपसमूह है; हम इसे उन वर्गों के रूप में सोचते हैं जिनमें किसी को किश्ती लगाने की अनुमति है। गुणांक, आरk(बी) एक्स काkरूक बहुपद R मेंB(x) उन तरीकों की संख्या है जिनसे k रुकता है, जिनमें से कोई भी दूसरे पर हमला नहीं करता है, उन्हें B के वर्गों में व्यवस्थित किया जा सकता है। किसी भी बोर्ड B के लिए, एक पूरक बोर्ड होता है इसमें आयताकार बोर्ड के वर्ग शामिल हैं जो बी में नहीं हैं। इस पूरक बोर्ड में एक रूक बहुपद भी है गुणांक के साथ पूरक बोर्ड के रूक बहुपद के गुणांकों के संदर्भ में रूक बहुपद के उच्चतम गुणांक की गणना करने में सक्षम होना कभी-कभी सुविधाजनक होता है। व्यापकता खोए बिना हम मान सकते हैं कि n ≤ m, इसलिए यह गुणांक r हैn(बी)। पूर्ण n × m चेकरबोर्ड पर n गैर-आक्रमणकारी बदमाशों को रखने के तरीकों की संख्या (बिना इस बात की परवाह किए कि क्या बदमाशों को बोर्ड बी के वर्गों में रखा गया है) गिरते हुए फैक्टोरियल द्वारा दिया गया है:
लेटिंग पीi संपत्ति यह है कि पूर्ण बोर्ड पर एन गैर-आक्रमणकारी रूक्स के असाइनमेंट में कॉलम I में एक रूक है जो बोर्ड बी के एक वर्ग में नहीं है, तो समावेशन-बहिष्करण के सिद्धांत से हमारे पास है:[18]
यूलर का फाई फ़ंक्शन
यूलर का टोटिएंट या फाई फ़ंक्शन, φ(n) एक अंकगणितीय फ़ंक्शन है जो n से कम या उसके बराबर सकारात्मक पूर्णांकों की संख्या की गणना करता है जो n के लिए अपेक्षाकृत अभाज्य हैं। अर्थात्, यदि n एक धनात्मक पूर्णांक है, तो φ(n) 1 ≤ k ≤ n की श्रेणी में पूर्णांक k की संख्या है, जिसमें 1 के अलावा n के साथ कोई सामान्य कारक नहीं है। समावेशन-बहिष्करण के सिद्धांत का उपयोग प्राप्त करने के लिए किया जाता है φ(n) के लिए एक सूत्र। मान लीजिए कि S समुच्चय {1, …, n} है और गुण P को परिभाषित करता हैiऐसा प्रतीत होता है कि S में एक संख्या अभाज्य संख्या p से विभाज्य हैi, 1 ≤ i ≤ r के लिए, जहां का अभाज्य गुणनखंडन
तब,[19]
पतला समावेशन-बहिष्करण सिद्धांत
कई मामलों में जहां सिद्धांत एक सटीक सूत्र दे सकता है (विशेष रूप से, एराटोस्थनीज की छलनी का उपयोग करके अभाज्य संख्याओं की गणना करना), उत्पन्न होने वाला सूत्र उपयोगी सामग्री प्रदान नहीं करता है क्योंकि इसमें शब्दों की संख्या अत्यधिक है। यदि प्रत्येक शब्द का व्यक्तिगत रूप से सटीक अनुमान लगाया जा सकता है, तो त्रुटियों के संचय का अर्थ यह हो सकता है कि समावेशन-बहिष्करण फॉर्मूला सीधे लागू नहीं है। संख्या सिद्धांत में, इस कठिनाई को विगो ब्रून ने संबोधित किया था। धीमी शुरुआत के बाद, उनके विचारों को दूसरों ने अपनाया और छलनी सिद्धांत की एक विशाल विविधता विकसित हुई। उदाहरण के लिए, ये सटीक सूत्र के बजाय छलनी सेट के लिए ऊपरी सीमा खोजने का प्रयास कर सकते हैं।
चलो ए1, ..., एn मनमाना सेट और पी बनें1, …, पीn बंद इकाई अंतराल में वास्तविक संख्याएँ [0, 1]. फिर, {0,…, n} में प्रत्येक सम संख्या k के लिए, सूचक कार्य असमानता को संतुष्ट करते हैं:[20]
मुख्य कथन का प्रमाण
सभी सेटों के संघ में निहित एक तत्व चुनें और जाने दें इसमें शामिल व्यक्तिगत सेट बनें। (ध्यान दें कि t > 0.) चूँकि तत्व को समीकरण के बाईं ओर से एक बार सटीक रूप से गिना जाता है (1), हमें यह दिखाने की ज़रूरत है कि इसे दाहिनी ओर से ठीक एक बार गिना जाता है। दाहिनी ओर, एकमात्र गैर-शून्य योगदान तब होता है जब किसी विशेष पद के सभी उपसमुच्चयों में चुना हुआ तत्व होता है, अर्थात, सभी उपसमुच्चयों का चयन किया जाता है . इनमें से प्रत्येक सेट के लिए योगदान एक है (शब्द के आधार पर प्लस या माइनस) और इसलिए यह शब्द में उपयोग किए गए इन सबसेट की केवल (हस्ताक्षरित) संख्या है। फिर हमारे पास है:
द्विपद प्रमेय द्वारा,
इस तथ्य का उपयोग करते हुए और शब्दों को पुनर्व्यवस्थित करना, हमारे पास है
और इसलिए, चुने गए तत्व को समीकरण के दाईं ओर केवल एक बार गिना जाता है (1).
बीजगणितीय प्रमाण
संकेतक फ़ंक्शंस (जिन्हें विशिष्ट फ़ंक्शंस के रूप में भी जाना जाता है) का उपयोग करके एक बीजगणितीय प्रमाण प्राप्त किया जा सकता है। समुच्चय X के उपसमुच्चय S का सूचक फलन है
अगर और के दो उपसमुच्चय हैं , तब
मान लीजिए A संघ को दर्शाता है सेट का A1, …, एn. समावेशन-बहिष्करण सिद्धांत को सामान्य रूप से सिद्ध करने के लिए, हम पहले पहचान को सत्यापित करते हैं
-
(⁎)
सूचक कार्यों के लिए, जहां:
निम्नलिखित फ़ंक्शन
समान रूप से शून्य है क्योंकि: यदि x, A में नहीं है, तो सभी कारक 0 − 0 = 0 हैं; और अन्यथा, यदि x किसी A से संबंधित हैm, फिर संगत एमवां कारक 1 − 1 = 0 है। बायीं ओर उत्पाद का विस्तार करके, समीकरण (⁎) अनुसरण करता है।
सेट की कार्डिनैलिटी के लिए समावेशन-बहिष्करण सिद्धांत को सिद्ध करने के लिए, समीकरण का योग करें (⁎) A के मिलन में सभी x पर1, …, एn. संभाव्यता में प्रयुक्त संस्करण प्राप्त करने के लिए, अपेक्षित मान लें (⁎). सामान्य तौर पर, लेबेस्ग ने समीकरण को एकीकृत किया (⁎) μ के संबंध में। इन व्युत्पत्तियों में हमेशा रैखिकता का उपयोग करें।
यह भी देखें
- Boole's inequality
- Combinatorial principles
- Maximum-minimums identity
- Necklace problem
- Pigeonhole principle
- Schuette–Nesbitt formula
टिप्पणियाँ
- ↑ 1.0 1.1 Roberts & Tesman 2009, pg. 405
- ↑ Mazur 2010, pg. 94
- ↑ van Lint & Wilson 1992, pg. 77
- ↑ van Lint & Wilson 1992, pg. 77
- ↑ Stanley 1986, pg. 64
- ↑ Rota, Gian-Carlo (1964), "On the foundations of combinatorial theory I. Theory of Möbius functions", Zeitschrift für Wahrscheinlichkeitstheorie und Verwandte Gebiete, 2 (4): 340–368, doi:10.1007/BF00531932, S2CID 121334025
- ↑ Mazur 2010, pp. 83–4, 88
- ↑ Brualdi 2010, pp. 167–8
- ↑ Cameron 1994, pg. 78
- ↑ Graham, Grötschel & Lovász 1995, pg. 1049
- ↑ van Lint & Wilson 1992, pp. 77-8
- ↑ Björklund, Husfeldt & Koivisto 2009
- ↑ Gross 2008, pp. 211–13
- ↑ Gross 2008, pp. 208–10
- ↑ Mazur 2008, pp.84-5, 90
- ↑ Brualdi 2010, pp. 177–81
- ↑ Brualdi 2010, pp. 282–7
- ↑ Roberts & Tesman 2009, pp.419–20
- ↑ van Lint & Wilson 1992, pg. 73
- ↑ (Fernández, Fröhlich & Alan D. 1992, Proposition 12.6)
संदर्भ
- Allenby, R.B.J.T.; Slomson, Alan (2010), How to Count: An Introduction to Combinatorics, Discrete Mathematics and Its Applications (2 ed.), CRC Press, pp. 51–60, ISBN 9781420082609
- Björklund, A.; Husfeldt, T.; Koivisto, M. (2009), "Set partitioning via inclusion–exclusion", SIAM Journal on Computing, 39 (2): 546–563, doi:10.1137/070683933
- Brualdi, Richard A. (2010), Introductory Combinatorics (5th ed.), Prentice–Hall, ISBN 9780136020400
- Cameron, Peter J. (1994), Combinatorics: Topics, Techniques, Algorithms, Cambridge University Press, ISBN 0-521-45761-0
- Fernández, Roberto; Fröhlich, Jürg; Alan D., Sokal (1992), Random Walks, Critical Phenomena, and Triviality in Quantum Field Theory, Texts an Monographs in Physics, Berlin: Springer-Verlag, pp. xviii+444, ISBN 3-540-54358-9, MR 1219313, Zbl 0761.60061
- Graham, R.L.; Grötschel, M.; Lovász, L. (1995), Hand Book of Combinatorics (volume-2), MIT Press – North Holland, ISBN 9780262071710
- Gross, Jonathan L. (2008), Combinatorial Methods with Computer Applications, Chapman&Hall/CRC, ISBN 9781584887430
- "Inclusion-and-exclusion principle", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Mazur, David R. (2010), Combinatorics A Guided Tour, The Mathematical Association of America, ISBN 9780883857625
- Roberts, Fred S.; Tesman, Barry (2009), Applied Combinatorics (2nd ed.), CRC Press, ISBN 9781420099829
- Stanley, Richard P. (1986), Enumerative Combinatorics Volume I, Wadsworth & Brooks/Cole, ISBN 0534065465
- van Lint, J.H.; Wilson, R.M. (1992), A Course in Combinatorics, Cambridge University Press, ISBN 0521422604
This article incorporates material from principle of inclusion–exclusion on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.