लेहमर कोड: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 7: Line 7:
लेहमर कोड इस तथ्य का उपयोग करता है कि वहाँ हैं
लेहमर कोड इस तथ्य का उपयोग करता है कि वहाँ हैं
:<math>n!=n\times(n-1)\times\cdots\times2\times1</math>
:<math>n!=n\times(n-1)\times\cdots\times2\times1</math>
एन संख्याओं के अनुक्रम के क्रमपरिवर्तन। यदि एक क्रमचय σ अनुक्रम द्वारा निर्दिष्ट किया जाता है (σ<sub>1</sub>, ..., पी<sub>''n''</sub>) इसकी 1, …, n की छवियों का, तो यह n संख्याओं के अनुक्रम द्वारा एन्कोड किया गया है, लेकिन ऐसे सभी क्रम मान्य नहीं हैं क्योंकि प्रत्येक संख्या का केवल एक बार उपयोग किया जाना चाहिए। इसके विपरीत यहां पर विचार किए गए एनकोडिंग n मानों के एक सेट से पहली संख्या चुनते हैं, अगले नंबर के एक निश्चित सेट से {{math|''n'' − 1}} मान, और इसी तरह अंतिम संख्या तक संभावनाओं की संख्या घटाना जिसके लिए केवल एक निश्चित मान की अनुमति है; इन सेटों से चुनी गई संख्याओं का प्रत्येक क्रम एक एकल क्रमचय को कूटबद्ध करता है। जबकि कई एनकोडिंग को परिभाषित किया जा सकता है, लेहमर कोड में कई अतिरिक्त उपयोगी गुण हैं; यह क्रम है
एन संख्याओं के अनुक्रम के क्रमपरिवर्तन। यदि एक क्रमचय σ अनुक्रम के माध्यम से  निर्दिष्ट किया जाता है (σ<sub>1</sub>, ..., पी<sub>''n''</sub>) इसकी 1, …, n की छवियों का, तो यह n संख्याओं के अनुक्रम के माध्यम से  एन्कोड किया गया है, लेकिन ऐसे सभी क्रम मान्य नहीं हैं क्योंकि प्रत्येक संख्या का एकमात्र एक बार उपयोग किया जाना चाहिए। इसके विपरीत यहां पर विचार किए गए एनकोडिंग n मानों के एक सेट से पहली संख्या चुनते हैं, अगले नंबर के एक निश्चित सेट से {{math|''n'' − 1}} मान, और इसी प्रकार अंतिम संख्या तक संभावनाओं की संख्या घटाना जिसके लिए एकमात्र एक निश्चित मान की अनुमति है; इन सेटों से चुनी गई संख्याओं का प्रत्येक क्रम एक एकल क्रमचय को कूटबद्ध करता है। चूँकि कई एनकोडिंग को परिभाषित किया जा सकता है, लेहमर कोड में कई अतिरिक्त उपयोगी गुण हैं; यह क्रम है
:<math>L(\sigma)=(L(\sigma)_1,\ldots,L(\sigma)_n)\quad\text{where}\quad L(\sigma)_i=\#\{ j>i : \sigma_j<\sigma_i \},</math>
:<math>L(\sigma)=(L(\sigma)_1,\ldots,L(\sigma)_n)\quad\text{where}\quad L(\sigma)_i=\#\{ j>i : \sigma_j<\sigma_i \},</math>
दूसरे शब्दों में शब्द L(σ)<sub>''i''</sub> शब्दों की संख्या (σ) में गिनता है<sub>1</sub>, ..., पी<sub>''n''</sub>) σ के दाईं ओर<sub>''i''</sub> जो इससे छोटे हैं, 0 और के बीच की संख्या {{math|''n'' − ''i''}}, के लिए अनुमति {{math|''n'' + 1 − ''i''}} विभिन्न मान।
दूसरे शब्दों में शब्द L(σ)<sub>''i''</sub> शब्दों की संख्या (σ) में गिनता है<sub>1</sub>, ..., पी<sub>''n''</sub>) σ के दाईं ओर<sub>''i''</sub> जो इससे छोटे हैं, 0 और के बीच की संख्या {{math|''n'' − ''i''}}, के लिए अनुमति {{math|''n'' + 1 − ''i''}} विभिन्न मान।


सूचकांकों की एक जोड़ी (i,j) के साथ {{math|''i'' &lt; ''j''}} और {{math|''σ''<sub>''i''</sub> &gt; ''σ''<sub>''j''</sub>}} को ''σ'', और ''L''(''σ'') का उलटा कहा जाता है<sub>''i''</sub> व्युत्क्रमों की संख्या (i, j) की गणना करता है i निश्चित और भिन्न j के साथ। यह इस प्रकार है कि {{math|''L''(''σ'')<sub>1</sub> + ''L''(''σ'')<sub>2</sub> + … + ''L''(''σ'')<sub>''n''</sub>}} σ के व्युत्क्रमों की कुल संख्या है, जो क्रमचय को पहचान क्रमपरिवर्तन में बदलने के लिए आवश्यक आसन्न परिवर्तनों की संख्या भी है। लेह्मर कोड के अन्य गुणों में शामिल है कि दो क्रमपरिवर्तनों के कूटलेखन का शब्दकोषीय क्रम उनके अनुक्रमों (σ) के समान है<sub>1</sub>, ..., पी<sub>''n''</sub>), कि कोड में कोई भी मान 0 क्रमचय में दाएँ-से-बाएँ न्यूनतम प्रतिनिधित्व करता है (अर्थात, एक {{math|''σ''<sub>''i''</sub>}} किसी से छोटा {{math|''σ''<sub>''j''</sub>}} इसके दाईं ओर), और एक मान {{math|''n'' − ''i''}}
सूचकांकों की एक जोड़ी (i,j) के साथ {{math|''i'' &lt; ''j''}} और {{math|''σ''<sub>''i''</sub> &gt; ''σ''<sub>''j''</sub>}} को ''σ'', और ''L''(''σ'') का उलटा कहा जाता है<sub>''i''</sub> व्युत्क्रमों की संख्या (i, j) की गणना करता है i निश्चित और भिन्न j के साथ। यह इस प्रकार है कि {{math|''L''(''σ'')<sub>1</sub> + ''L''(''σ'')<sub>2</sub> + … + ''L''(''σ'')<sub>''n''</sub>}} σ के व्युत्क्रमों की कुल संख्या है, जो क्रमचय को पहचान क्रमपरिवर्तन में बदलने के लिए आवश्यक आसन्न परिवर्तनों की संख्या भी है। लेह्मर कोड के अन्य गुणों में सम्मलित है कि दो क्रमपरिवर्तनों के कूटलेखन का शब्दकोषीय क्रम उनके अनुक्रमों (σ) के समान है<sub>1</sub>, ..., पी<sub>''n''</sub>), कि कोड में कोई भी मान 0 क्रमचय में दाएँ-से-बाएँ न्यूनतम प्रतिनिधित्व करता है (अर्थात, एक {{math|''σ''<sub>''i''</sub>}} किसी से छोटा {{math|''σ''<sub>''j''</sub>}} इसके दाईं ओर), और एक मान {{math|''n'' − ''i''}}


स्थिति पर मैं समान रूप से दाएं-से-बाएं अधिकतम को दर्शाता है, और यह कि σ का लेह्मर कोड लेक्सिकोग्राफिक क्रम में n के क्रमपरिवर्तन की सूची में अपनी स्थिति के [[भाज्य संख्या प्रणाली]] प्रतिनिधित्व के साथ मेल खाता है (0 से शुरू होने वाले पदों की संख्या)।
स्थिति पर मैं समान रूप से दाएं-से-बाएं अधिकतम को दर्शाता है, और यह कि σ का लेह्मर कोड लेक्सिकोग्राफिक क्रम में n के क्रमपरिवर्तन की सूची में अपनी स्थिति के [[भाज्य संख्या प्रणाली]] प्रतिनिधित्व के साथ मेल खाता है (0 से प्रारंभ  होने वाले पदों की संख्या)।


निश्चित छोटे मान के साथ व्युत्क्रमों की गणना करके, निश्चित i के बजाय निश्चित j के लिए व्युत्क्रम (i, j) की गणना करके इस एन्कोडिंग के बदलाव प्राप्त किए जा सकते हैं। {{math|''σ''<sub>''j''</sub>}} छोटे इंडेक्स i के बजाय, या व्युत्क्रम के बजाय गैर-इनवर्जन की गणना करके; जबकि यह मौलिक रूप से अलग प्रकार के एन्कोडिंग का उत्पादन नहीं करता है, एन्कोडिंग के कुछ गुण तदनुसार बदल जाएंगे। विशेष रूप से एक निश्चित छोटे मूल्य के साथ उलटा गिनती {{math|''σ''<sub>''j''</sub>}} σ की व्युत्क्रम तालिका देता है, जिसे व्युत्क्रम क्रमचय के लेह्मर कोड के रूप में देखा जा सकता है।
निश्चित छोटे मान के साथ व्युत्क्रमों की गणना करके, निश्चित i के अतिरिक्त निश्चित j के लिए व्युत्क्रम (i, j) की गणना करके इस एन्कोडिंग के बदलाव प्राप्त किए जा सकते हैं। {{math|''σ''<sub>''j''</sub>}} छोटे इंडेक्स i के अतिरिक्त, या व्युत्क्रम के अतिरिक्त गैर-इनवर्जन की गणना करके; चूँकि यह मौलिक रूप से अलग प्रकार के एन्कोडिंग का उत्पादन नहीं करता है, एन्कोडिंग के कुछ गुण तदनुसार बदल जाएंगे। विशेष रूप से एक निश्चित छोटे मूल्य के साथ उलटा गिनती {{math|''σ''<sub>''j''</sub>}} σ की व्युत्क्रम तालिका देता है, जिसे व्युत्क्रम क्रमचय के लेह्मर कोड के रूप में देखा जा सकता है।


== एन्कोडिंग और डिकोडिंग ==
== एन्कोडिंग और डिकोडिंग ==


यह सिद्ध करने का सामान्य तरीका है कि n! n वस्तुओं के विभिन्न क्रमपरिवर्तनों का निरीक्षण करना है कि पहली वस्तु को चुना जा सकता है {{math|''n''}} अलग-अलग तरीके, अगली वस्तु अंदर {{math|''n'' − 1}} अलग-अलग तरीकों से (क्योंकि पहली वाली संख्या को चुनना वर्जित है), अगले में {{math|''n'' − 2}} अलग-अलग तरीके (क्योंकि अब 2 वर्जित मान हैं), और इसी तरह। पसंद की इस स्वतंत्रता का प्रत्येक चरण में एक संख्या में अनुवाद करने पर, एक कोडिंग एल्गोरिथम प्राप्त होता है, एक वह जो दिए गए क्रमचय के लेह्मर कोड को खोजता है। किसी को वस्तुओं को संख्याओं के रूप में मानने की आवश्यकता नहीं है, लेकिन वस्तुओं के सेट के कुल क्रम की आवश्यकता है। चूँकि कोड संख्याएँ 0 से शुरू होनी हैं, प्रत्येक वस्तु σ को एनकोड करने के लिए उपयुक्त संख्या<sub>''i''</sub> द्वारा उन वस्तुओं की संख्या है जो उस बिंदु पर उपलब्ध थीं (इसलिए वे स्थिति i से पहले नहीं होती हैं), लेकिन जो वस्तु σ से छोटी हैं<sub>''i''</sub> वास्तव में चुना गया। (अनिवार्य रूप से ऐसी वस्तुओं को किसी स्थान पर प्रकट होना चाहिए {{math|''j'' &gt; ''i''}}, और (i,j) एक उलटा होगा, जो दर्शाता है कि यह संख्या वास्तव में L(σ) है<sub>''i''</sub>.)
यह सिद्ध करने का सामान्य तरीका है कि n! n वस्तुओं के विभिन्न क्रमपरिवर्तनों का निरीक्षण करना है कि पहली वस्तु को चुना जा सकता है {{math|''n''}} अलग-अलग विधियां, अगली वस्तु अंदर {{math|''n'' − 1}} अलग-अलग तरीकों से (क्योंकि पहली वाली संख्या को चुनना वर्जित है), अगले में {{math|''n'' − 2}} अलग-अलग विधियां (क्योंकि अब 2 वर्जित मान हैं), और इसी प्रकार। पसंद की इस स्वतंत्रता का प्रत्येक चरण में एक संख्या में अनुवाद करने पर, एक कोडिंग एल्गोरिथम प्राप्त होता है, एक वह जो दिए गए क्रमचय के लेह्मर कोड को खोजता है। किसी को वस्तुओं को संख्याओं के रूप में मानने की आवश्यकता नहीं है, लेकिन वस्तुओं के सेट के कुल क्रम की आवश्यकता है। चूँकि कोड संख्याएँ 0 से प्रारंभ  होनी हैं, प्रत्येक वस्तु σ को एनकोड करने के लिए उपयुक्त संख्या<sub>''i''</sub> के माध्यम से  उन वस्तुओं की संख्या है जो उस बिंदु पर उपलब्ध थीं (इसलिए वे स्थिति i से पहले नहीं होती हैं), लेकिन जो वस्तु σ से छोटी हैं<sub>''i''</sub> वास्तव में चुना गया। (अनिवार्य रूप से ऐसी वस्तुओं को किसी स्थान पर प्रकट होना चाहिए {{math|''j'' &gt; ''i''}}, और (i,j) एक उलटा होगा, जो दर्शाता है कि यह संख्या वास्तव में L(σ) है<sub>''i''</sub>.)


प्रत्येक वस्तु को एनकोड करने के लिए यह संख्या कई तरीकों से प्रत्यक्ष गणना द्वारा पाई जा सकती है (प्रत्यक्ष रूप से व्युत्क्रमों की गिनती, या किसी दिए गए से छोटी वस्तुओं की कुल संख्या को सही करना, जो कि सेट में 0 से शुरू होने वाली इसकी अनुक्रम संख्या है, जो हैं अपनी स्थिति में अनुपलब्ध)। एक और तरीका जो जगह में है, लेकिन वास्तव में अधिक कुशल नहीं है, {0, 1, ... के क्रमचय के साथ शुरू करना है। {{math|''n'' − 1}}} प्रत्येक वस्तु को उसकी उल्लिखित अनुक्रम संख्या द्वारा प्रदर्शित करके प्राप्त किया जाता है, और फिर प्रत्येक प्रविष्टि x के लिए, बाएं से दाएं के क्रम में, x से बड़ी सभी प्रविष्टियों (अभी भी) में से 1 घटाकर (तथ्य को दर्शाने के लिए) वस्तुओं को उसके दाईं ओर सही करें x से संबंधित वस्तु अब उपलब्ध नहीं है)। अक्षरों के क्रमचय B,F,A,G,D,E,C के लिए विशेष रूप से एक लेह्मर कोड, वर्णानुक्रम में क्रमबद्ध, पहले अनुक्रम संख्या 1,5,0,6,3,4,2 की सूची देगा, जो है क्रमिक रूप से परिवर्तित
प्रत्येक वस्तु को एनकोड करने के लिए यह संख्या कई तरीकों से प्रत्यक्ष गणना के माध्यम से  पाई जा सकती है (प्रत्यक्ष रूप से व्युत्क्रमों की गिनती, या किसी दिए गए से छोटी वस्तुओं की कुल संख्या को सही करना, जो कि सेट में 0 से प्रारंभ  होने वाली इसकी अनुक्रम संख्या है, जो हैं अपनी स्थिति में अनुपलब्ध)। एक और तरीका जो जगह में है, लेकिन वास्तव में अधिक कुशल नहीं है, {0, 1, ... के क्रमचय के साथ प्रारंभ  करना है। {{math|''n'' − 1}}} प्रत्येक वस्तु को उसकी उल्लिखित अनुक्रम संख्या के माध्यम से  प्रदर्शित करके प्राप्त किया जाता है, और फिर प्रत्येक प्रविष्टि x के लिए, बाएं से दाएं के क्रम में, x से बड़ी सभी प्रविष्टियों (अभी भी) में से 1 घटाकर (तथ्य को दर्शाने के लिए) वस्तुओं को उसके दाईं ओर सही करें x से संबंधित वस्तु अब उपलब्ध नहीं है)। अक्षरों के क्रमचय B,F,A,G,D,E,C के लिए विशेष रूप से एक लेह्मर कोड, वर्णानुक्रम में क्रमबद्ध, पहले अनुक्रम संख्या 1,5,0,6,3,4,2 की सूची देगा, जो है क्रमिक रूप से परिवर्तित
:<math> \begin{matrix}
:<math> \begin{matrix}
   \mathbf1&5&0&6&3&4&2\\
   \mathbf1&5&0&6&3&4&2\\
Line 34: Line 34:
जहां अंतिम पंक्ति लेहमर कोड है (अगली पंक्ति बनाने के लिए बोल्डफेस तत्व के दाईं ओर बड़ी प्रविष्टियों से प्रत्येक पंक्ति में 1 घटाया जाता है)।
जहां अंतिम पंक्ति लेहमर कोड है (अगली पंक्ति बनाने के लिए बोल्डफेस तत्व के दाईं ओर बड़ी प्रविष्टियों से प्रत्येक पंक्ति में 1 घटाया जाता है)।


किसी दिए गए सेट के क्रमचय में एक लेहमर कोड को डिकोड करने के लिए, बाद की प्रक्रिया को उलटा किया जा सकता है: प्रत्येक प्रविष्टि x के लिए, दाएं से बाएं क्रम में, उन सभी (वर्तमान में) से अधिक 1 जोड़कर आइटम को उसके दाईं ओर सही करें या एक्स के बराबर; अंत में {0, 1, ... के परिणामी क्रमचय की व्याख्या करें {{math|''n'' − 1}}} अनुक्रम संख्या के रूप में (यदि {1, 2, … n} का क्रमपरिवर्तन मांगा जाता है तो प्रत्येक प्रविष्टि में 1 जोड़ने के बराबर है)। वैकल्पिक रूप से लेहमर कोड की प्रविष्टियों को बाएँ से दाएँ संसाधित किया जा सकता है, और एक संख्या के रूप में व्याख्या की जा सकती है जो ऊपर बताए गए तत्व की अगली पसंद का निर्धारण करती है; इसके लिए उपलब्ध तत्वों की एक सूची बनाए रखने की आवश्यकता होती है, जिसमें से प्रत्येक चयनित तत्व को हटा दिया जाता है। उदाहरण में इसका अर्थ होगा {A,B,C,D,E,F,G} (जो कि B है) से तत्व 1 को चुनना, फिर {A,C,D,E,F,G} से तत्व 4 को चुनना (जो है एफ), फिर {A, C, D, E, G} से तत्व 0 (ए दे रहा है) और इसी तरह, अनुक्रम B, F, A, G, D, E, C का पुनर्निर्माण।
किसी दिए गए सेट के क्रमचय में एक लेहमर कोड को डिकोड करने के लिए, बाद की प्रक्रिया को उलटा किया जा सकता है: प्रत्येक प्रविष्टि x के लिए, दाएं से बाएं क्रम में, उन सभी (वर्तमान में) से अधिक 1 जोड़कर आइटम को उसके दाईं ओर सही करें या एक्स के बराबर; अंत में {0, 1, ... के परिणामी क्रमचय की व्याख्या करें {{math|''n'' − 1}}} अनुक्रम संख्या के रूप में (यदि {1, 2, … n} का क्रमपरिवर्तन मांगा जाता है तो प्रत्येक प्रविष्टि में 1 जोड़ने के बराबर है)। वैकल्पिक रूप से लेहमर कोड की प्रविष्टियों को बाएँ से दाएँ संसाधित किया जा सकता है, और एक संख्या के रूप में व्याख्या की जा सकती है जो ऊपर बताए गए तत्व की अगली पसंद का निर्धारण करती है; इसके लिए उपलब्ध तत्वों की एक सूची बनाए रखने की आवश्यकता होती है, जिसमें से प्रत्येक चयनित तत्व को हटा दिया जाता है। उदाहरण में इसका अर्थ होगा {A,B,C,D,E,F,G} (जो कि B है) से तत्व 1 को चुनना, फिर {A,C,D,E,F,G} से तत्व 4 को चुनना (जो है एफ), फिर {A, C, D, E, G} से तत्व 0 (ए दे रहा है) और इसी प्रकार, अनुक्रम B, F, A, G, D, E, C का पुनर्निर्माण।


== कॉम्बिनेटरिक्स और संभावनाओं के लिए आवेदन ==
== कॉम्बिनेटरिक्स और संभावनाओं के लिए आवेदन ==
Line 43: Line 43:


=== दाएं-से-बाएं मिनिमा और मैक्सिमा === की संख्या
=== दाएं-से-बाएं मिनिमा और मैक्सिमा === की संख्या
परिभाषा : एक क्रम में यू{{=}}(में<sub>k</sub>)<sub>1≤k≤n</sub>, रैंक k पर 'राइट-टू-लेफ्ट मिनिमम' (resp. 'मैक्सिमम') होता है, अगर यू<sub>k</sub>प्रत्येक तत्व यू की तुलना में सख्ती से छोटा (उत्तर सख्ती से बड़ा) है<sub>i</sub>i>k के साथ, यानी इसके दाईं ओर।
परिभाषा : एक क्रम में यू{{=}}(में<sub>k</sub>)<sub>1≤k≤n</sub>, रैंक k पर 'राइट-टू-लेफ्ट मिनिमम' (resp. 'मैक्सिमम') होता है, अगर यू<sub>k</sub>प्रत्येक तत्व यू की तुलना में सख्ती से छोटा (उत्तर सख्ती से बड़ा) है<sub>i</sub>i>k के साथ, अर्थात इसके दाईं ओर।


चलो B(k) (जवाब H(k)) रैंक k पर दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) होने की घटना है, यानी B(k) क्रमपरिवर्तन का सेट है <math>\scriptstyle\ \mathfrak{S}_n</math> जो रैंक k पर दाएँ-से-बाएँ न्यूनतम (प्रतिक्रिया अधिकतम) प्रदर्शित करता है। हमारे पास स्पष्ट रूप से है
चलो B(k) (जवाब H(k)) रैंक k पर दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) होने की घटना है, अर्थात B(k) क्रमपरिवर्तन का सेट है <math>\scriptstyle\ \mathfrak{S}_n</math> जो रैंक k पर दाएँ-से-बाएँ न्यूनतम (प्रतिक्रिया अधिकतम) प्रदर्शित करता है। हमारे पास स्पष्ट रूप से है
<डिव वर्ग = केंद्र><math>\{\omega\in B(k)\}\Leftrightarrow\{L(k,\omega)=0\}\quad\text{and}\quad\{\omega\in H(k)\}\Leftrightarrow\{L(k,\omega)=k-1\}.</math></div>
<डिव वर्ग = केंद्र><math>\{\omega\in B(k)\}\Leftrightarrow\{L(k,\omega)=0\}\quad\text{and}\quad\{\omega\in H(k)\}\Leftrightarrow\{L(k,\omega)=k-1\}.</math></div>
इस प्रकार संख्या एन<sub>b</sub>(ओ) (उत्तर एन<sub>h</sub>क्रमचय ω के लिए दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) के (ω)) को 1/k के संबंधित पैरामीटर के साथ प्रत्येक स्वतंत्र [[बर्नौली यादृच्छिक चर]] के योग के रूप में लिखा जा सकता है:
इस प्रकार संख्या एन<sub>b</sub>(ओ) (उत्तर एन<sub>h</sub>क्रमचय ω के लिए दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) के (ω)) को 1/k के संबंधित पैरामीटर के साथ प्रत्येक स्वतंत्र [[बर्नौली यादृच्छिक चर]] के योग के रूप में लिखा जा सकता है:
Line 62: Line 62:
जो हमें उत्पादन समारोह के लिए उत्पाद सूत्र को पुनर्प्राप्त करने की अनुमति देता है
जो हमें उत्पादन समारोह के लिए उत्पाद सूत्र को पुनर्प्राप्त करने की अनुमति देता है


[[पहली तरह की स्टर्लिंग संख्या]] (अहस्ताक्षरित)।
[[पहली तरह की स्टर्लिंग संख्या|पहली प्रकार की स्टर्लिंग संख्या]] (अहस्ताक्षरित)।


=== सचिव समस्या ===
=== सचिव समस्या ===
Line 68: Line 68:
{{Main|सचिव समस्या}}
{{Main|सचिव समस्या}}


यह एक इष्टतम रोक समस्या है, निर्णय सिद्धांत, सांख्यिकी और अनुप्रयुक्त संभावनाओं में एक क्लासिक है, जहां एक यादृच्छिक क्रमचय धीरे-धीरे इसके लेहमर कोड के पहले तत्वों के माध्यम से प्रकट होता है, और जहां लक्ष्य ठीक तत्व k पर रुकना है जैसे कि σ( k)=n, जबकि केवल उपलब्ध जानकारी (लेह्मर कोड का k प्रथम मान) σ(k) की गणना करने के लिए पर्याप्त नहीं है।
यह एक इष्टतम रोक समस्या है, निर्णय सिद्धांत, सांख्यिकी और अनुप्रयुक्त संभावनाओं में एक क्लासिक है, जहां एक यादृच्छिक क्रमचय धीरे-धीरे इसके लेहमर कोड के पहले तत्वों के माध्यम से प्रकट होता है, और जहां लक्ष्य ठीक तत्व k पर रुकना है जैसे कि σ( k)=n, चूँकि एकमात्र उपलब्ध जानकारी (लेह्मर कोड का k प्रथम मान) σ(k) की गणना करने के लिए पर्याप्त नहीं है।


कम गणितीय शब्दों में: n आवेदकों की एक श्रृंखला का एक के बाद एक साक्षात्कार किया जाता है। साक्षात्कारकर्ता को सर्वश्रेष्ठ आवेदक को किराए पर लेना चाहिए, लेकिन अपना निर्णय ("किराया" या "किराया नहीं"), अगले आवेदक का साक्षात्कार किए बिना (और सभी आवेदकों का साक्षात्कार किए बिना एक फोर्टियोरी) लेना चाहिए।
कम गणितीय शब्दों में: n आवेदकों की एक श्रृंखला का एक के बाद एक साक्षात्कार किया जाता है। साक्षात्कारकर्ता को सर्वश्रेष्ठ आवेदक को किराए पर लेना चाहिए, लेकिन अपना निर्णय ("किराया" या "किराया नहीं"), अगले आवेदक का साक्षात्कार किए बिना (और सभी आवेदकों का साक्षात्कार किए बिना एक फोर्टियोरी) लेना चाहिए।


साक्षात्कारकर्ता इस प्रकार k की रैंक जानता है<sup>वें</sup> आवेदक, इसलिए, अपने k बनाने के समय वें निर्णय, साक्षात्कारकर्ता लेहमर कोड के केवल k पहले तत्वों को जानता है, जबकि उसे एक अच्छी तरह से सूचित निर्णय लेने के लिए उन सभी को जानने की आवश्यकता होगी।
साक्षात्कारकर्ता इस प्रकार k की रैंक जानता है<sup>वें</sup> आवेदक, इसलिए, अपने k बनाने के समय वें निर्णय, साक्षात्कारकर्ता लेहमर कोड के एकमात्र k पहले तत्वों को जानता है, चूँकि उसे एक अच्छी प्रकार से सूचित निर्णय लेने के लिए उन सभी को जानने की आवश्यकता होगी।


इष्टतम रणनीतियों का निर्धारण करने के लिए (अर्थात जीत की संभावना को अधिकतम करने वाली रणनीति), लेहमर कोड के सांख्यिकीय गुण महत्वपूर्ण हैं।
इष्टतम रणनीतियों का निर्धारण करने के लिए (अर्थात जीत की संभावना को अधिकतम करने वाली रणनीति), लेहमर कोड के सांख्यिकीय गुण महत्वपूर्ण हैं।
Line 81: Line 81:
== समान अवधारणाएँ ==
== समान अवधारणाएँ ==


दो समान वैक्टर उपयोग में हैं। उनमें से एक को अक्सर उलटा वेक्टर कहा जाता है, उदा। [[ वोल्फरम अल्फा ]] द्वारा।                                                                                                                                                                                                                        
दो समान वैक्टर उपयोग में हैं। उनमें से एक को अधिकांशतः उलटा वेक्टर कहा जाता है, उदा। [[ वोल्फरम अल्फा ]] के माध्यम से ।                                                                                                                                                                                                                        





Revision as of 19:31, 28 March 2023

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

लेहमर कोड का नाम डेरिक हेनरी लेहमर के संदर्भ में रखा गया है, लेकिन कोड कम से कम 1888 से जाना जाता था।[1][2]


कोड

लेहमर कोड इस तथ्य का उपयोग करता है कि वहाँ हैं

एन संख्याओं के अनुक्रम के क्रमपरिवर्तन। यदि एक क्रमचय σ अनुक्रम के माध्यम से निर्दिष्ट किया जाता है (σ1, ..., पीn) इसकी 1, …, n की छवियों का, तो यह n संख्याओं के अनुक्रम के माध्यम से एन्कोड किया गया है, लेकिन ऐसे सभी क्रम मान्य नहीं हैं क्योंकि प्रत्येक संख्या का एकमात्र एक बार उपयोग किया जाना चाहिए। इसके विपरीत यहां पर विचार किए गए एनकोडिंग n मानों के एक सेट से पहली संख्या चुनते हैं, अगले नंबर के एक निश्चित सेट से n − 1 मान, और इसी प्रकार अंतिम संख्या तक संभावनाओं की संख्या घटाना जिसके लिए एकमात्र एक निश्चित मान की अनुमति है; इन सेटों से चुनी गई संख्याओं का प्रत्येक क्रम एक एकल क्रमचय को कूटबद्ध करता है। चूँकि कई एनकोडिंग को परिभाषित किया जा सकता है, लेहमर कोड में कई अतिरिक्त उपयोगी गुण हैं; यह क्रम है

दूसरे शब्दों में शब्द L(σ)i शब्दों की संख्या (σ) में गिनता है1, ..., पीn) σ के दाईं ओरi जो इससे छोटे हैं, 0 और के बीच की संख्या ni, के लिए अनुमति n + 1 − i विभिन्न मान।

सूचकांकों की एक जोड़ी (i,j) के साथ i < j और σi > σj को σ, और L(σ) का उलटा कहा जाता हैi व्युत्क्रमों की संख्या (i, j) की गणना करता है i निश्चित और भिन्न j के साथ। यह इस प्रकार है कि L(σ)1 + L(σ)2 + … + L(σ)n σ के व्युत्क्रमों की कुल संख्या है, जो क्रमचय को पहचान क्रमपरिवर्तन में बदलने के लिए आवश्यक आसन्न परिवर्तनों की संख्या भी है। लेह्मर कोड के अन्य गुणों में सम्मलित है कि दो क्रमपरिवर्तनों के कूटलेखन का शब्दकोषीय क्रम उनके अनुक्रमों (σ) के समान है1, ..., पीn), कि कोड में कोई भी मान 0 क्रमचय में दाएँ-से-बाएँ न्यूनतम प्रतिनिधित्व करता है (अर्थात, एक σi किसी से छोटा σj इसके दाईं ओर), और एक मान ni

स्थिति पर मैं समान रूप से दाएं-से-बाएं अधिकतम को दर्शाता है, और यह कि σ का लेह्मर कोड लेक्सिकोग्राफिक क्रम में n के क्रमपरिवर्तन की सूची में अपनी स्थिति के भाज्य संख्या प्रणाली प्रतिनिधित्व के साथ मेल खाता है (0 से प्रारंभ होने वाले पदों की संख्या)।

निश्चित छोटे मान के साथ व्युत्क्रमों की गणना करके, निश्चित i के अतिरिक्त निश्चित j के लिए व्युत्क्रम (i, j) की गणना करके इस एन्कोडिंग के बदलाव प्राप्त किए जा सकते हैं। σj छोटे इंडेक्स i के अतिरिक्त, या व्युत्क्रम के अतिरिक्त गैर-इनवर्जन की गणना करके; चूँकि यह मौलिक रूप से अलग प्रकार के एन्कोडिंग का उत्पादन नहीं करता है, एन्कोडिंग के कुछ गुण तदनुसार बदल जाएंगे। विशेष रूप से एक निश्चित छोटे मूल्य के साथ उलटा गिनती σj σ की व्युत्क्रम तालिका देता है, जिसे व्युत्क्रम क्रमचय के लेह्मर कोड के रूप में देखा जा सकता है।

एन्कोडिंग और डिकोडिंग

यह सिद्ध करने का सामान्य तरीका है कि n! n वस्तुओं के विभिन्न क्रमपरिवर्तनों का निरीक्षण करना है कि पहली वस्तु को चुना जा सकता है n अलग-अलग विधियां, अगली वस्तु अंदर n − 1 अलग-अलग तरीकों से (क्योंकि पहली वाली संख्या को चुनना वर्जित है), अगले में n − 2 अलग-अलग विधियां (क्योंकि अब 2 वर्जित मान हैं), और इसी प्रकार। पसंद की इस स्वतंत्रता का प्रत्येक चरण में एक संख्या में अनुवाद करने पर, एक कोडिंग एल्गोरिथम प्राप्त होता है, एक वह जो दिए गए क्रमचय के लेह्मर कोड को खोजता है। किसी को वस्तुओं को संख्याओं के रूप में मानने की आवश्यकता नहीं है, लेकिन वस्तुओं के सेट के कुल क्रम की आवश्यकता है। चूँकि कोड संख्याएँ 0 से प्रारंभ होनी हैं, प्रत्येक वस्तु σ को एनकोड करने के लिए उपयुक्त संख्याi के माध्यम से उन वस्तुओं की संख्या है जो उस बिंदु पर उपलब्ध थीं (इसलिए वे स्थिति i से पहले नहीं होती हैं), लेकिन जो वस्तु σ से छोटी हैंi वास्तव में चुना गया। (अनिवार्य रूप से ऐसी वस्तुओं को किसी स्थान पर प्रकट होना चाहिए j > i, और (i,j) एक उलटा होगा, जो दर्शाता है कि यह संख्या वास्तव में L(σ) हैi.)

प्रत्येक वस्तु को एनकोड करने के लिए यह संख्या कई तरीकों से प्रत्यक्ष गणना के माध्यम से पाई जा सकती है (प्रत्यक्ष रूप से व्युत्क्रमों की गिनती, या किसी दिए गए से छोटी वस्तुओं की कुल संख्या को सही करना, जो कि सेट में 0 से प्रारंभ होने वाली इसकी अनुक्रम संख्या है, जो हैं अपनी स्थिति में अनुपलब्ध)। एक और तरीका जो जगह में है, लेकिन वास्तव में अधिक कुशल नहीं है, {0, 1, ... के क्रमचय के साथ प्रारंभ करना है। n − 1} प्रत्येक वस्तु को उसकी उल्लिखित अनुक्रम संख्या के माध्यम से प्रदर्शित करके प्राप्त किया जाता है, और फिर प्रत्येक प्रविष्टि x के लिए, बाएं से दाएं के क्रम में, x से बड़ी सभी प्रविष्टियों (अभी भी) में से 1 घटाकर (तथ्य को दर्शाने के लिए) वस्तुओं को उसके दाईं ओर सही करें x से संबंधित वस्तु अब उपलब्ध नहीं है)। अक्षरों के क्रमचय B,F,A,G,D,E,C के लिए विशेष रूप से एक लेह्मर कोड, वर्णानुक्रम में क्रमबद्ध, पहले अनुक्रम संख्या 1,5,0,6,3,4,2 की सूची देगा, जो है क्रमिक रूप से परिवर्तित

जहां अंतिम पंक्ति लेहमर कोड है (अगली पंक्ति बनाने के लिए बोल्डफेस तत्व के दाईं ओर बड़ी प्रविष्टियों से प्रत्येक पंक्ति में 1 घटाया जाता है)।

किसी दिए गए सेट के क्रमचय में एक लेहमर कोड को डिकोड करने के लिए, बाद की प्रक्रिया को उलटा किया जा सकता है: प्रत्येक प्रविष्टि x के लिए, दाएं से बाएं क्रम में, उन सभी (वर्तमान में) से अधिक 1 जोड़कर आइटम को उसके दाईं ओर सही करें या एक्स के बराबर; अंत में {0, 1, ... के परिणामी क्रमचय की व्याख्या करें n − 1} अनुक्रम संख्या के रूप में (यदि {1, 2, … n} का क्रमपरिवर्तन मांगा जाता है तो प्रत्येक प्रविष्टि में 1 जोड़ने के बराबर है)। वैकल्पिक रूप से लेहमर कोड की प्रविष्टियों को बाएँ से दाएँ संसाधित किया जा सकता है, और एक संख्या के रूप में व्याख्या की जा सकती है जो ऊपर बताए गए तत्व की अगली पसंद का निर्धारण करती है; इसके लिए उपलब्ध तत्वों की एक सूची बनाए रखने की आवश्यकता होती है, जिसमें से प्रत्येक चयनित तत्व को हटा दिया जाता है। उदाहरण में इसका अर्थ होगा {A,B,C,D,E,F,G} (जो कि B है) से तत्व 1 को चुनना, फिर {A,C,D,E,F,G} से तत्व 4 को चुनना (जो है एफ), फिर {A, C, D, E, G} से तत्व 0 (ए दे रहा है) और इसी प्रकार, अनुक्रम B, F, A, G, D, E, C का पुनर्निर्माण।

कॉम्बिनेटरिक्स और संभावनाओं के लिए आवेदन

रिश्तेदार रैंकों की स्वतंत्रता

लेहमर कोड सममित समूह S से एक आक्षेप को परिभाषित करता हैn कार्टेशियन उत्पाद के लिए , जहां [के] के-तत्व सेट को निर्दिष्ट करता है . परिणामस्वरूप, एस पर समान वितरण (असतत) के तहतn, घटक एल (σ)i एक समान रूप से वितरित यादृच्छिक चर को परिभाषित करता है [ni], और ये यादृच्छिक चर पारस्परिक रूप से स्वतंत्रता (संभाव्यता सिद्धांत) हैं, क्योंकि वे कार्टेशियन उत्पाद के विभिन्न कारकों पर अनुमान हैं।

=== दाएं-से-बाएं मिनिमा और मैक्सिमा === की संख्या परिभाषा : एक क्रम में यू=(मेंk)1≤k≤n, रैंक k पर 'राइट-टू-लेफ्ट मिनिमम' (resp. 'मैक्सिमम') होता है, अगर यूkप्रत्येक तत्व यू की तुलना में सख्ती से छोटा (उत्तर सख्ती से बड़ा) हैii>k के साथ, अर्थात इसके दाईं ओर।

चलो B(k) (जवाब H(k)) रैंक k पर दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) होने की घटना है, अर्थात B(k) क्रमपरिवर्तन का सेट है जो रैंक k पर दाएँ-से-बाएँ न्यूनतम (प्रतिक्रिया अधिकतम) प्रदर्शित करता है। हमारे पास स्पष्ट रूप से है

<डिव वर्ग = केंद्र>

इस प्रकार संख्या एनb(ओ) (उत्तर एनhक्रमचय ω के लिए दाएं-से-बाएं न्यूनतम (प्रतिक्रिया अधिकतम) के (ω)) को 1/k के संबंधित पैरामीटर के साथ प्रत्येक स्वतंत्र बर्नौली यादृच्छिक चर के योग के रूप में लिखा जा सकता है: <डिव वर्ग = केंद्र>

दरअसल, जैसा कि एल (के) समान कानून का पालन करता है <डिव वर्ग = केंद्र>

बरनौली यादृच्छिक चर के लिए जनक फलन है

<डिव वर्ग = केंद्र>

इसलिए N का जनरेटिंग फंक्शनbहै

<डिव वर्ग = केंद्र>

(गिरते और बढ़ते फैक्टोरियल नोटेशन का उपयोग करके),

जो हमें उत्पादन समारोह के लिए उत्पाद सूत्र को पुनर्प्राप्त करने की अनुमति देता है

पहली प्रकार की स्टर्लिंग संख्या (अहस्ताक्षरित)।

सचिव समस्या

यह एक इष्टतम रोक समस्या है, निर्णय सिद्धांत, सांख्यिकी और अनुप्रयुक्त संभावनाओं में एक क्लासिक है, जहां एक यादृच्छिक क्रमचय धीरे-धीरे इसके लेहमर कोड के पहले तत्वों के माध्यम से प्रकट होता है, और जहां लक्ष्य ठीक तत्व k पर रुकना है जैसे कि σ( k)=n, चूँकि एकमात्र उपलब्ध जानकारी (लेह्मर कोड का k प्रथम मान) σ(k) की गणना करने के लिए पर्याप्त नहीं है।

कम गणितीय शब्दों में: n आवेदकों की एक श्रृंखला का एक के बाद एक साक्षात्कार किया जाता है। साक्षात्कारकर्ता को सर्वश्रेष्ठ आवेदक को किराए पर लेना चाहिए, लेकिन अपना निर्णय ("किराया" या "किराया नहीं"), अगले आवेदक का साक्षात्कार किए बिना (और सभी आवेदकों का साक्षात्कार किए बिना एक फोर्टियोरी) लेना चाहिए।

साक्षात्कारकर्ता इस प्रकार k की रैंक जानता हैवें आवेदक, इसलिए, अपने k बनाने के समय वें निर्णय, साक्षात्कारकर्ता लेहमर कोड के एकमात्र k पहले तत्वों को जानता है, चूँकि उसे एक अच्छी प्रकार से सूचित निर्णय लेने के लिए उन सभी को जानने की आवश्यकता होगी।

इष्टतम रणनीतियों का निर्धारण करने के लिए (अर्थात जीत की संभावना को अधिकतम करने वाली रणनीति), लेहमर कोड के सांख्यिकीय गुण महत्वपूर्ण हैं।

कथित तौर पर, जोहान्स केप्लर ने स्पष्ट रूप से इस सचिव की समस्या को अपने एक दोस्त को उस समय उजागर किया जब वह अपना मन बनाने की कोशिश कर रहा था और अपनी दूसरी पत्नी के रूप में ग्यारह भावी दुल्हनों में से एक को चुनने की कोशिश कर रहा था। उनकी पहली शादी एक नाखुश थी, खुद से परामर्श किए बिना तय की गई थी, और इस प्रकार वह बहुत चिंतित थे कि वे सही निर्णय पर पहुंच सकें।[3]


समान अवधारणाएँ

दो समान वैक्टर उपयोग में हैं। उनमें से एक को अधिकांशतः उलटा वेक्टर कहा जाता है, उदा। वोल्फरम अल्फा के माध्यम से ।


यह सभी देखें

व्युत्क्रम (असतत गणित) § उलटा संबंधित वैक्टर.

संदर्भ

  1. Lehmer, D.H. (1960), "Teaching combinatorial tricks to a computer", Proc. Sympos. Appl. Math. Combinatorial Analysis, Amer. Math. Soc., 10: 179–193
  2. Laisant, Charles-Ange (1888), "Sur la numération factorielle, application aux permutations", Bulletin de la Société Mathématique de France (in français), 16: 176–183
  3. Ferguson, Thomas S. (1989), "Who solved the secretary problem ?", Statistical Science, 4 (3): 282–289, doi:10.1214/ss/1177012493, JSTOR 2245639


ग्रन्थसूची