क्रमपरिवर्तन पैटर्न: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
साहचर्य गणित और सैद्धांतिक कंप्यूटर विज्ञान में, एक क्रमचय | साहचर्य गणित और सैद्धांतिक कंप्यूटर विज्ञान में, एक क्रमचय पैटर्न एक लंबे क्रमचय का उप-क्रमचय है। किसी भी क्रमचय को एक-पंक्ति संकेतन में अंकों के अनुक्रम के रूप में लिखा जा सकता है, जो अंक क्रम 123... पर क्रमचय प्रयुक्त करने के परिणाम का प्रतिनिधित्व करता है; उदाहरण के लिए अंक अनुक्रम 213 तीन तत्वों पर क्रमचय का प्रतिनिधित्व करता है जो तत्वों 1 और 2 को विनिमय करता है। यदि π और σ इस तरह से प्रदर्शित दो क्रमचय हैं (ये परिवर्तनीय नाम क्रमचय के लिए मानक हैं और संख्या <math>\pi</math> से संबंधित नहीं हैं), तो π एक पैटर्न के रूप में σ समाहित करने के लिए कहा जाता है यदि π के अंकों के कुछ क्रम में σ के सभी अंकों के समान सापेक्षिक क्रम हो। | ||
उदाहरण के लिए, क्रमचय π में | उदाहरण के लिए, क्रमचय π में पैटर्न 213 होता है जब भी π में तीन अंक x, y, और z होते हैं जो क्रम xy...y...z में π के अंदर दिखाई देते हैं लेकिन जिनके मान y < x < z के रूप में क्रमबद्ध होते हैं, वही क्रमचय 213 में मानो के क्रम के रूप में है। पांच तत्वों पर क्रमचय 32415 में 213 को कई अलग-अलग तरीकों से 3··15, ··415, 32··5, 324··, और ·2·15 सभी पैटर्न के रूप में सम्मिलित किया गया है। और 213 के समान क्रम वाले अंकों के त्रिगुण बनाते हैं। 315, 415, 325, 324, और 215 में से प्रत्येक को पैटर्न की एक प्रति, उदाहरण या घटना कहा जाता है। तथ्य यह है कि π में σ होता है, इसे σ ≤ π के रूप में अधिक संक्षिप्त रूप से लिखा जाता है। यदि एक क्रमचय π में पैटर्न σ नहीं है, तो π को σ से परिहरण करने के लिए कहा जाता है। क्रमचय 51342 213 से बचता है; इसमें तीन अंकों के 10 अनुगामी हैं, लेकिन इन 10 अनुगामी में से किसी का भी क्रम 213 के समान नहीं है। | ||
== प्रारंभिक परिणाम == | == प्रारंभिक परिणाम == | ||
Line 15: | Line 15: | ||
}}.</ref> विशेष रूप से मैकमोहन दिखाता है कि जिन क्रमपरिवर्तनों को दो घटते क्रमपरिवर्तनों में विभाजित किया जा सकता है (अर्थात्, 123 से परिहरण करने वाले क्रमचय) को [[कैटलन संख्या]]ओं द्वारा गणना किए जाते है।<ref>{{harvtxt|MacMahon|1915}}, Items 97 and 98.</ref> | }}.</ref> विशेष रूप से मैकमोहन दिखाता है कि जिन क्रमपरिवर्तनों को दो घटते क्रमपरिवर्तनों में विभाजित किया जा सकता है (अर्थात्, 123 से परिहरण करने वाले क्रमचय) को [[कैटलन संख्या]]ओं द्वारा गणना किए जाते है।<ref>{{harvtxt|MacMahon|1915}}, Items 97 and 98.</ref> | ||
इस क्षेत्र में एक और प्रारंभिक ऐतिहासिक परिणाम एर्डोस-ज़ेकेरेस प्रमेय है; क्रमचय | इस क्षेत्र में एक और प्रारंभिक ऐतिहासिक परिणाम एर्डोस-ज़ेकेरेस प्रमेय है; क्रमचय पैटर्न भाषा में, प्रमेय कहता है कि किसी भी धनात्मक पूर्णांक a और b के लिए लंबाई का प्रत्येक क्रमचय कम से कम <math>(a-1)(b-1) + 1 </math> या तो पैटर्न <math>1, 2, 3,\dots , a </math> या पैटर्न <math>b,b-1,\dots , 2, 1</math> होना चाहिए। | ||
== कंप्यूटर विज्ञान की उत्पत्ति == | == कंप्यूटर विज्ञान की उत्पत्ति == | ||
क्रमचय | क्रमचय पैटर्न का अध्ययन 1968 में डोनाल्ड नुथ के स्टैक- वर्गीकरण पर विचार के साथ गंभीरता से प्रारंभ हुआ।<ref>{{ Citation | ||
| last=Knuth | | last=Knuth | ||
| first=Donald E. | | first=Donald E. | ||
Line 28: | Line 28: | ||
| isbn=0-201-89683-4 | | isbn=0-201-89683-4 | ||
| oclc=155842391 | | oclc=155842391 | ||
| mr= 0286317}}..</ref> नुथ ने दिखाया कि क्रमचय π को स्टैक (डेटा संरचना) द्वारा क्रमबद्ध किया जा सकता है यदि और केवल यदि π 231 से परिहरण करता है, और यह कि स्टैक-क्रमांकन योग्य क्रमचय कैटलन संख्याओं द्वारा गणना किए जाते हैं।<ref>{{harvtxt|Knuth|1968}}, Section 2.2.1, Exercises 4 and 5.</ref> नुथ ने डेक के साथ प्रवरण के बारे में भी सवाल प्रस्तुत किए। विशेष रूप से, नूथ का यह प्रश्न कि डेक के उपयोग से n तत्वों के कितने क्रमचय प्राप्त किए जा सकते हैं, और संवृत रहता है।<ref>{{harvtxt|Knuth|1968}}, Section 2.2.1, Exercise 13, rated M49 in the first printing, and M48 in the second.</ref> उसके बाद शीघ्र ही, रॉबर्ट टारजन (1972) स्टैक के नेटवर्क द्वारा | | mr= 0286317}}..</ref> नुथ ने दिखाया कि क्रमचय π को स्टैक (डेटा संरचना) द्वारा क्रमबद्ध किया जा सकता है यदि और केवल यदि π 231 से परिहरण करता है, और यह कि स्टैक-क्रमांकन योग्य क्रमचय कैटलन संख्याओं द्वारा गणना किए जाते हैं।<ref>{{harvtxt|Knuth|1968}}, Section 2.2.1, Exercises 4 and 5.</ref> नुथ ने डेक के साथ प्रवरण के बारे में भी सवाल प्रस्तुत किए। विशेष रूप से, नूथ का यह प्रश्न कि डेक के उपयोग से n तत्वों के कितने क्रमचय प्राप्त किए जा सकते हैं, और संवृत रहता है।<ref>{{harvtxt|Knuth|1968}}, Section 2.2.1, Exercise 13, rated M49 in the first printing, and M48 in the second.</ref> उसके बाद शीघ्र ही, रॉबर्ट टारजन (1972) स्टैक के नेटवर्क द्वारा प्रवरण की जांच की गई,<ref>{{Citation | last1=Tarjan | first1=Robert | author1-link=Robert Tarjan | title=Sorting using networks of queues and stacks | mr = 0298803 | year=1972 | journal=[[Journal of the ACM]] | volume=19 | issue=2 | pages=341–346 | doi = 10.1145/321694.321704| s2cid=13608929 }}.</ref> जबकि वॉन प्रैट (1973) ने दिखाया कि क्रमचय π को डेक द्वारा क्रमबद्ध किया जा सकता है यदि और केवल यदि सभी k के लिए, π 5,2,7,4,...,4k+1,4k−2,3,4k,1, और 5 ,2,7,4,...,4k+3,4k,1,4k+2,3, से परिहरण करता है और प्रत्येक क्रमचय जो इनमें से किसी से भी पिछले दो तत्वों या 1 और 2 को परिवर्तित करके प्राप्त किया जा सकता है।<ref name="pratt73">{{Citation | last1=Pratt | first1=Vaughan R. | author1-link=Vaughan Pratt | contribution=Computing permutations with double-ended queues. Parallel stacks and parallel queues |mr = 0489115 | year=1973 | title=[[Symposium on Theory of Computing|Proc. Fifth Annual ACM Symposium on Theory of Computing (Austin, Tex., 1973)]] | pages=268–277 | doi = 10.1145/800125.804058| s2cid=15740957 | doi-access=free }}.</ref> क्योंकि क्रमचय का यह संग्रह अनंत है (वास्तव में, यह क्रमचय के अनंत प्रतिश्रृंखला का पहला प्रकाशित उदाहरण है), यह तुरंत स्पष्ट नहीं है कि यह निर्धारित करने में कितना समय लगता है कि एक क्रमचय को डेक द्वारा क्रमबद्ध किया जा सकता है या नहीं किया जा सकता है। रोसेनस्टीहल और टार्जन (1984) ने बाद में एक रेखीय (π की लंबाई में) समय एल्गोरिथ्म प्रस्तुत किया जो यह निर्धारित करता है कि क्या π को एक डेक द्वारा क्रमबद्ध किया जा सकता है<ref>{{Citation | last1=Rosenstiehl | first1=Pierre | author1-link=Pierre Rosenstiehl | last2=Tarjan | first2=Robert | author2-link=Robert Tarjan | title=Gauss codes, planar Hamiltonian graphs, and stack-sortable permutations | mr = 756164 | year=1984 | journal=Journal of Algorithms | volume=5 | issue=3 | pages=375–390 | doi = 10.1016/0196-6774(84)90018-X}}.</ref> | ||
अपने पत्र में, प्रैट ने टिप्पणी की कि यह क्रमचय | अपने पत्र में, प्रैट ने टिप्पणी की कि यह क्रमचय पैटर्न क्रम "क्रमचय पर एकमात्र आंशिक क्रम प्रतीत होता है जो एक सरल और प्राकृतिक तरीके से उत्पन्न होता है" और यह देखते हुए निष्कर्ष निकाला कि "एक अमूर्त दृष्टिकोण से", क्रमचय पैटर्न क्रम "हम जिन नेटवर्कों की विशेषता बता रहे थे, उनसे कहीं अधिक रोचक है”।<ref name="pratt73" /> | ||
Line 37: | Line 37: | ||
{{main article|विशिष्ट क्रमचय वर्गों की गणना}} | {{main article|विशिष्ट क्रमचय वर्गों की गणना}} | ||
क्रमचय | क्रमचय पैटर्न के अध्ययन में एक प्रमुख लक्ष्य एक निश्चित (और सामान्य रूप से कम) क्रमचय या क्रमचय के समुच्चय से अलग करने के क्रमचय की गणना में है। मान लीजिए कि ''Av<sub>n</sub>''(B) लंबाई n के क्रमचय के समुच्चय को निरूपित करते हैं जो समुच्चय B में सभी क्रमचय से अलग होते हैं (स्थिति में B एक एकल है, इसके अतिरिक्त संक्षिप्त नाम ''Av<sub>n</sub>''(B) का उपयोग किया जाता है)। जैसा कि ऊपर उल्लेख किया गया है, मैकमोहन और नुथ ने दिखाया कि |''Av<sub>n</sub>''(123)| = |''Av<sub>n</sub>''(231)| = ''C<sub>n,</sub>'' nवी कैटलन संख्या है। इस प्रकार ये समरूपी संचयविन्यास वर्ग हैं। | ||
सिमोन एंड श्मिट (1985) पहला पत्र था जिसमें केवल गणना पर ध्यान केंद्रित किया गया था। अन्य परिणामों में, सिमिओन और श्मिट ने लंबाई तीन के एक | सिमोन एंड श्मिट (1985) पहला पत्र था जिसमें केवल गणना पर ध्यान केंद्रित किया गया था। अन्य परिणामों में, सिमिओन और श्मिट ने लंबाई तीन के एक पैटर्न से परिहार करते हुए सम और विषम क्रमपरिवर्तनों की गणना की, लंबाई तीन के दो प्रतिरूपों से परिहरण क्रमपरिवर्तनों की गणना की, और पहला विशेषण प्रमाण दिया कि 123- और 231-परिहार क्रमचय समतुल्य हैं।<ref>{{Citation | ||
| last1=Simion | first1=Rodica | author1-link = Rodica Simion | | last1=Simion | first1=Rodica | author1-link = Rodica Simion | ||
| last2=Schmidt | first2=Frank W. | | last2=Schmidt | first2=Frank W. | ||
Line 50: | Line 50: | ||
| doi=10.1016/s0195-6698(85)80052-4 | | doi=10.1016/s0195-6698(85)80052-4 | ||
| doi-access=free | | doi-access=free | ||
}}.</ref> उनके | }}.</ref> उनके पत्र के बाद से, कई अन्य आक्षेप दिए गए हैं, सर्वेक्षण के लिए क्लेसन एंड किताएव (2008) देखें।<ref>{{Citation| last1=Claesson | first1=Anders| last2=Kitaev | first2=Sergey| arxiv = 0805.1325| title=Classification of bijections between 321- and 132-avoiding permutations| year=2008| journal=[[Séminaire Lotharingien de Combinatoire]]| url = http://www.emis.de/journals/SLC/wpapers/s60claekit.pdf| volume=60| pages=B60d| mr = 2465405}}.</ref> | ||
सामान्य रूप से, यदि |''Av<sub>n</sub>''(''β'')| = |''Av<sub>n</sub>''(''σ'')| सभी n के लिए, तब β और σ को विलफ-तुल्य कहा जाता है। कई विल्फ-तुल्यताएँ सामान्य तथ्य से उत्पन्न होती हैं कि |''Av<sub>n</sub>''(''β'')| = |''Av<sub>n</sub>''(''β''<sup>−1</sup>)| = |''Av<sub>n</sub>''(''β''<sup>rev</sup>)| सभी n के लिए, जहां β−1 β के व्युत्क्रम को दर्शाता है और | सामान्य रूप से, यदि |''Av<sub>n</sub>''(''β'')| = |''Av<sub>n</sub>''(''σ'')| सभी n के लिए, तब β और σ को विलफ-तुल्य कहा जाता है। कई विल्फ-तुल्यताएँ सामान्य तथ्य से उत्पन्न होती हैं कि |''Av<sub>n</sub>''(''β'')| = |''Av<sub>n</sub>''(''β''<sup>−1</sup>)| = |''Av<sub>n</sub>''(''β''<sup>rev</sup>)| सभी n के लिए, जहां β−1 β के व्युत्क्रम को दर्शाता है और ''β''<sup>rev</sup> β के व्युत्क्रम को दर्शाता है। (ये दो संक्रिया क्रमचय आव्यूहों पर एक प्राकृतिक क्रिया के साथ द्वितल समूह D8 उत्पन्न करते हैं।) हालांकि, गैर-सामान्य विल्फ-समतुल्यता के कई उदाहरण भी हैं (जैसे कि 123 और 231 के बीच): | ||
* | * स्टैंकोवा (1994) ने प्रमाणित किया कि क्रमचय 1342 और 2413 विलफ-समतुल्य हैं।<ref>{{Citation | last1=Stankova | first1=Zvezdelina | title=Forbidden subsequences | mr = 1297387 | year=1994 | journal=[[Discrete Mathematics (journal)|Discrete Mathematics]] | volume=132 | issue=1–3 | pages=291–316 | doi = 10.1016/0012-365X(94)90242-9| doi-access=free }}.</ref> | ||
* | * स्टैंकोवा और वेस्ट (2002) ने प्रमाणित किया कि किसी भी क्रमचय β के लिए, क्रमचय 231 ⊕ β और 312 ⊕ β विल्फ-समतुल्य हैं, जहां ⊕ क्रमचय संचालन के प्रत्यक्ष योग को दर्शाता है।<ref>{{Citation | last1=Stankova | first1=Zvezdelina | last2=West | first2=Julian | title=A New class of Wilf-Equivalent Permutations | mr = 1900628 | year=2002 | journal=[[Journal of Algebraic Combinatorics]] | volume=15 | issue=3 | pages=271–290 | doi = 10.1023/A:1015016625432| arxiv=math/0103152 | s2cid=13921676 }}.</ref> | ||
* | * बैकेलिन, वेस्ट एंड शिन (2007) ने सिद्ध किया कि किसी भी क्रमचय β और किसी धनात्मक पूर्णांक m के लिए, क्रमचय 12..m ⊕ β और m...21 ⊕ β विलफ़-समतुल्य हैं।<ref>{{citation | last1=Backelin | first1=Jörgen | last2=West | first2=Julian | last3=Xin | first3=Guoce | title=Wilf-equivalence for singleton classes | ||
| mr = 2290807 | year=2007 | journal=[[Advances in Applied Mathematics]] | volume=38 | issue=2 | pages=133–149 | doi = 10.1016/j.aam.2004.11.006| doi-access=free }}.</ref> | | mr = 2290807 | year=2007 | journal=[[Advances in Applied Mathematics]] | volume=38 | issue=2 | pages=133–149 | doi = 10.1016/j.aam.2004.11.006| doi-access=free }}.</ref> | ||
इन दो | इन दो विलफ-तुल्यताओं और व्युत्क्रम और विपरीत समरूपताओं से, यह इस प्रकार है कि तीन अलग-अलग क्रम |''Av<sub>n</sub>''(''β'')| हैं, जहां β की लंबाई चार है: | ||
{| class="wikitable" style="text-align:center;" border="1" | {| class="wikitable" style="text-align:center;" border="1" | ||
|- | |- | ||
! ''β'' !! | ! ''β'' !! ''Av<sub>n</sub>''(''β'') की अनुक्रम गणना !! ओईआईएस संदर्भ !! परिशुद्ध गणना संदर्भ | ||
|- | |- | ||
| 1342 || 1, 2, 6, 23, 103, 512, 2740, 15485, 91245, 555662, ... || {{OEIS link|id=A022558}} || {{harvtxt| | | 1342 || 1, 2, 6, 23, 103, 512, 2740, 15485, 91245, 555662, ... || {{OEIS link|id=A022558}} || {{harvtxt|बोना|1997}}<ref>{{citation | last1=Bóna | first1=Miklós | authorlink = Miklós Bóna |title=Exact enumeration of 1342-avoiding permutations: a close link with labeled trees and planar maps | mr = 1485138 | year=1997 | journal=[[Journal of Combinatorial Theory]]|series= Series A | volume=80 | issue=2 | pages=257–272 | doi = 10.1006/jcta.1997.2800| arxiv=math/9702223 | s2cid=18352890 }}.</ref> | ||
|- | |- | ||
| 1234 || 1, 2, 6, 23, 103, 513, 2761, 15767, 94359, 586590, ... || {{OEIS link|id=A005802}} || {{harvtxt| | | 1234 || 1, 2, 6, 23, 103, 513, 2761, 15767, 94359, 586590, ... || {{OEIS link|id=A005802}} || {{harvtxt|गेसल|1990}}<ref name="gessel90">{{Citation | last1=Gessel | first1=Ira M. | title=Symmetric functions and ''P''-recursiveness | mr = 1041448 | year=1990 | journal=[[Journal of Combinatorial Theory]]|series= Series A | volume=53 | issue=2 | pages=257–285 | doi = 10.1016/0097-3165(90)90060-A| doi-access=free }}.</ref> | ||
|- | |- | ||
| 1324 || 1, 2, 6, 23, 103, 513, 2762, 15793, 94776, 591950, ... || {{OEIS link|id=A061552}} || | | 1324 || 1, 2, 6, 23, 103, 513, 2762, 15793, 94776, 591950, ... || {{OEIS link|id=A061552}} || अगणित | ||
|} | |} | ||
1980 के दशक के अंत में, रिचर्ड पी | 1980 के दशक के अंत में, रिचर्ड पी स्टेनली और [[हर्बर्ट विल्फ]] ने अनुमान लगाया कि प्रत्येक क्रमचय β के लिए, कुछ स्थिर K है जैसे कि |''Av<sub>n</sub>''(''β'')| < ''K<sup>n</sup>'' [[एडम मार्कस (गणितज्ञ)]] और गैबोर टार्डोस द्वारा सिद्ध किए जाने तक इसे स्टेनली-विल्फ अनुमान के रूप में जाना जाता था।<ref>{{Citation | last1=Marcus | first1=Adam | last2=Tardos | first2= Gábor | author2-link=Gábor Tardos | title=Excluded permutation matrices and the Stanley-Wilf conjecture | mr = 2063960 | year=2004 | journal=[[Journal of Combinatorial Theory]]|series=Series A | volume=107 | issue=1 | pages=153–160 | doi=10.1016/j.jcta.2004.04.002| doi-access=free }}.</ref> | ||
== | == संवृत्त वर्ग == | ||
{{main| | {{main|क्रमचय वर्ग}} | ||
संवृत्त वर्ग, जिसे एक पैटर्न वर्ग, क्रमचय वर्ग, या केवल क्रमचय के कक्षा के रूप में भी जाना जाता है, क्रमचय पैटर्न क्रम में एक [[आदर्श (आदेश सिद्धांत)]] है। प्रत्येक वर्ग को न्यूनतम क्रमचय द्वारा परिभाषित किया जा सकता है जो इसके अंदर नहीं है, इसका आधार। इस प्रकार स्टैक-सॉर्टेबल क्रमचय का आधार {231} है, जबकि डेक-सॉर्टेबल क्रमचय का आधार अनंत है। एक वर्ग के लिए जनरेटिंग फ़ंक्शन Σ x है<sup>|π|</sup> जहां कक्षा में सभी क्रमचय π पर योग लिया जाता है। | |||
== मोबियस फ़ंक्शन == | == मोबियस फ़ंक्शन == | ||
चूंकि रोकथाम आदेश के तहत क्रमचय का सेट [[आंशिक रूप से आदेशित सेट]] बनाता है, इसलिए इसकी घटना बीजगणित के बारे में पूछना स्वाभाविक है # विशेष तत्व | मोबियस फ़ंक्शन, एक लक्ष्य जिसे पहले स्पष्ट रूप से प्रस्तुत किया गया था {{harvtxt|Wilf|2002}}.<ref>{{citation | last1=Wilf | first1=Herbert | authorlink = Herbert Wilf |title=Patterns of permutations | mr = 1935750 | year=2002 | journal=[[Discrete Mathematics (journal)|Discrete Mathematics]]| volume=257 | issue=2 | pages=575–583 | doi = 10.1016/S0012-365X(02)00515-0| doi-access=free }}.</ref> | चूंकि रोकथाम आदेश के तहत क्रमचय का सेट [[आंशिक रूप से आदेशित सेट]] बनाता है, इसलिए इसकी घटना बीजगणित के बारे में पूछना स्वाभाविक है # विशेष तत्व | मोबियस फ़ंक्शन, एक लक्ष्य जिसे पहले स्पष्ट रूप से प्रस्तुत किया गया था {{harvtxt|Wilf|2002}}.<ref>{{citation | last1=Wilf | first1=Herbert | authorlink = Herbert Wilf |title=Patterns of permutations | mr = 1935750 | year=2002 | journal=[[Discrete Mathematics (journal)|Discrete Mathematics]]| volume=257 | issue=2 | pages=575–583 | doi = 10.1016/S0012-365X(02)00515-0| doi-access=free }}.</ref> | ||
इस तरह की जांच में लक्ष्य एक अंतराल [σ, π] के मोबियस फ़ंक्शन के लिए क्रमचय | इस तरह की जांच में लक्ष्य एक अंतराल [σ, π] के मोबियस फ़ंक्शन के लिए क्रमचय पैटर्न पोसेट में एक सूत्र खोजना है जो भोली पुनरावर्ती परिभाषा से अधिक कुशल है। इस तरह का पहला परिणाम द्वारा स्थापित किया गया था {{harvtxt|Sagan|Vatter|2006}}, जिन्होंने [[स्तरित क्रमपरिवर्तन|स्तरित क्रमचय]] के अंतराल के मोबियस फ़ंक्शन के लिए एक सूत्र दिया।<ref>{{Citation | last1=Sagan | first1=Bruce | author1-link=Bruce Sagan | last2=Vatter | first2= Vince | title=The Möbius function of a composition poset | mr = 2259013 | year=2006 | journal=[[Journal of Algebraic Combinatorics]] | volume=24 | issue=2 | pages=117–136 | doi=10.1007/s10801-006-0017-4| arxiv=math/0507485 | s2cid=11283347 }}.</ref> | ||
बाद में, {{harvtxt|Burstein|Jelinek|Jelinkova|Steingrimsson|2011}} ने इस परिणाम को वियोज्य क्रमचय के अंतराल के लिए सामान्यीकृत किया।<ref>{{Citation | last1=Burstein | first1=Alexander | last2=Jelinek | first2= Vit | last3=Jelinkova | first3=Eva | last4=Steingrimsson | first4= Einar |title=The Möbius function of separable and decomposable permutations | mr = 2834180 | year=2011 | journal=[[Journal of Combinatorial Theory]]|series=Series A | volume=118 | issue=1 | pages=2346–2364 | doi=10.1016/j.jcta.2011.06.002| s2cid=13978488 | doi-access=free }}.</ref> | बाद में, {{harvtxt|Burstein|Jelinek|Jelinkova|Steingrimsson|2011}} ने इस परिणाम को वियोज्य क्रमचय के अंतराल के लिए सामान्यीकृत किया।<ref>{{Citation | last1=Burstein | first1=Alexander | last2=Jelinek | first2= Vit | last3=Jelinkova | first3=Eva | last4=Steingrimsson | first4= Einar |title=The Möbius function of separable and decomposable permutations | mr = 2834180 | year=2011 | journal=[[Journal of Combinatorial Theory]]|series=Series A | volume=118 | issue=1 | pages=2346–2364 | doi=10.1016/j.jcta.2011.06.002| s2cid=13978488 | doi-access=free }}.</ref> | ||
यह ज्ञात है कि, स्पर्शोन्मुख रूप से, n लंबाई के सभी क्रमचय π का कम से कम 39.95% μ(1, π)=0 को संतुष्ट करता है (अर्थात, प्रमुख मोबियस फ़ंक्शन शून्य के बराबर है),<ref>{{citation |last1=Brignall |first1=Robert |last2=Jelínek |first2=Vit |last3=Kynčl |first3=Jan |last4=Marchant |first4=David |title=Zeros of the Möbius function of permutations | year=2019 | journal=[[Mathematika]] |volume=65 |issue=4 |pages=1074–1092 | mr=3992365 | doi=10.1112/S0025579319000251|s2cid=53366318 |url=http://oro.open.ac.uk/66369/1/181012-Marchant-v101.pdf |arxiv=1810.05449 }}</ref> लेकिन प्रत्येक एन के लिए क्रमचय π मौजूद है जैसे कि μ(1, π) एन का एक घातीय कार्य है।<ref>{{citation |last1=Marchant |first1=David |title=2413-balloon permutations and the growth of the Möbius function |journal=[[Electronic Journal of Combinatorics]] |date=2020 |volume=27 |issue=1 |page=P1.7 |doi=10.37236/8554|doi-access=free }}</ref> | यह ज्ञात है कि, स्पर्शोन्मुख रूप से, n लंबाई के सभी क्रमचय π का कम से कम 39.95% μ(1, π)=0 को संतुष्ट करता है (अर्थात, प्रमुख मोबियस फ़ंक्शन शून्य के बराबर है),<ref>{{citation |last1=Brignall |first1=Robert |last2=Jelínek |first2=Vit |last3=Kynčl |first3=Jan |last4=Marchant |first4=David |title=Zeros of the Möbius function of permutations | year=2019 | journal=[[Mathematika]] |volume=65 |issue=4 |pages=1074–1092 | mr=3992365 | doi=10.1112/S0025579319000251|s2cid=53366318 |url=http://oro.open.ac.uk/66369/1/181012-Marchant-v101.pdf |arxiv=1810.05449 }}</ref> लेकिन प्रत्येक एन के लिए क्रमचय π मौजूद है जैसे कि μ(1, π) एन का एक घातीय कार्य है।<ref>{{citation |last1=Marchant |first1=David |title=2413-balloon permutations and the growth of the Möbius function |journal=[[Electronic Journal of Combinatorics]] |date=2020 |volume=27 |issue=1 |page=P1.7 |doi=10.37236/8554|doi-access=free }}</ref> | ||
Line 86: | Line 87: | ||
== कम्प्यूटेशनल जटिलता == | == कम्प्यूटेशनल जटिलता == | ||
एक क्रमचय दिया <math>\tau</math> (पाठ कहा जाता है) लंबाई का <math>n</math> और दूसरा क्रमचय <math>\pi</math> लंबाई का <math>k</math> ( | एक क्रमचय दिया <math>\tau</math> (पाठ कहा जाता है) लंबाई का <math>n</math> और दूसरा क्रमचय <math>\pi</math> लंबाई का <math>k</math> (पैटर्न कहा जाता है), क्रमचय पैटर्न मिलान (पीपीएम) समस्या पूछती है कि क्या <math>\pi</math> में निहित है <math>\tau</math>. कब दोनों <math>n</math> और <math>k</math> चर के रूप में माना जाता है, समस्या को एनपी-पूर्ण के रूप में जाना जाता है, और ऐसे मिलानों की संख्या की गणना करने की समस्या तीव्र-पी-पूर्ण|#पी-पूर्ण है।<ref>{{citation|last1=Bose|first1=Prosenjit|author1-link=Jit Bose|last2=Buss|first2=Jonathan F.|last3=Lubiw|first3=Anna|author3-link=Anna Lubiw|title=Pattern matching for permutations|journal=[[Information Processing Letters]]|date=March 1998|volume=65|issue=5|pages=277–283|doi=10.1016/S0020-0190(97)00209-3}}</ref> हालाँकि, पीपीएम को [[रैखिक समय]] में हल किया जा सकता है जब k स्थिर हो। दरअसल, गुइलमोट और मार्क्स<ref>{{cite journal|last=Guillemot|first=Sylvain|author2=Marx, Daniel|title=रैखिक समय में क्रमपरिवर्तन में छोटे पैटर्न ढूँढना|journal=Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms|year=2014|page=20|doi=10.1137/1.9781611973402.7|arxiv=1307.3073|isbn=978-1-61197-338-9|s2cid=1846959}}</ref> दिखाया कि पीपीएम को समय पर हल किया जा सकता है <math>2^{O(k^2\log k)} \cdot n</math>, जिसका अर्थ है कि यह निश्चित-पैरामीटर के संबंध में ट्रैक्टेबल है <math>k</math>. | ||
पीपीएम समस्या पर कई प्रकार हैं, जैसा कि ब्रूनर और लैकनर द्वारा सर्वेक्षण किया गया है।<ref>{{citation|title=The computational landscape of permutation patterns|first1=Marie-Louise|last1=Bruner|first2=Martin|last2=Lackner|year=2013|journal=Pure Mathematics and Applications|volume=24|issue=2|pages=83–101|arxiv=1301.0340}}</ref> उदाहरण के लिए, यदि मैच में सन्निहित प्रविष्टियों को सम्मिलित करना आवश्यक है तो समस्या को बहुपद समय में हल किया जा सकता है।<ref>{{citation|last1=Kubica|first1=M.|last2=Kulczyński|first2=T.|last3=Radoszewski|first3=J.|last4=Rytter|first4=W.|last5=Waleń|first5=T.|title=A linear time algorithm for consecutive permutation pattern matching|journal=[[Information Processing Letters]]|year=2013|volume=113|issue=12|pages=430–433|doi=10.1016/j.ipl.2013.03.015}}</ref> | पीपीएम समस्या पर कई प्रकार हैं, जैसा कि ब्रूनर और लैकनर द्वारा सर्वेक्षण किया गया है।<ref>{{citation|title=The computational landscape of permutation patterns|first1=Marie-Louise|last1=Bruner|first2=Martin|last2=Lackner|year=2013|journal=Pure Mathematics and Applications|volume=24|issue=2|pages=83–101|arxiv=1301.0340}}</ref> उदाहरण के लिए, यदि मैच में सन्निहित प्रविष्टियों को सम्मिलित करना आवश्यक है तो समस्या को बहुपद समय में हल किया जा सकता है।<ref>{{citation|last1=Kubica|first1=M.|last2=Kulczyński|first2=T.|last3=Radoszewski|first3=J.|last4=Rytter|first4=W.|last5=Waleń|first5=T.|title=A linear time algorithm for consecutive permutation pattern matching|journal=[[Information Processing Letters]]|year=2013|volume=113|issue=12|pages=430–433|doi=10.1016/j.ipl.2013.03.015}}</ref> | ||
एक अन्य संस्करण तब होता है जब | एक अन्य संस्करण तब होता है जब पैटर्न और पाठ दोनों एक उचित क्रमचय वर्ग तक सीमित होते हैं <math>\mathcal{C}</math>, जिस स्थिति में समस्या कहा जाता है <math>\mathcal{C}</math>-पीपीएम। उदाहरण के लिए, गुइलमोट और वायलेट<ref>{{citation|last1=Guillemot|first1=Sylvain|last2=Vialette|first2=Stéphane|contribution=Pattern matching for 321-avoiding permutations|title=Algorithms and Computation|year=2009|volume=5878|series=Lecture Notes in Computer Science|pages=1064–1073|doi=10.1007/978-3-642-10631-6_107|arxiv=1511.01770}}</ref> पता चला है कि <math>\mbox{Av}(321)</math>-पीपीएम में हल किया जा सकता है <math>O(k^2n^6)</math> समय। माइकल एच। अल्बर्ट, लैकनर, लैकनर और वैटर<ref>{{citation|last1=Albert|first1=Michael | author1-link=Michael H. Albert |last2=Lackner|first2=Marie-Louise|last3=Lackner|first3=Martin|last4=Vatter|first4=Vincent|year=2016|volume=18|issue=2|journal=Discrete Mathematics & Theoretical Computer Science|title=The complexity of pattern matching for 321-avoiding and skew-merged permutations|doi=10.46298/dmtcs.1308 |arxiv=1510.06051|s2cid=5827603 }}</ref> बाद में इसे कम कर दिया <math>O(kn)</math> और दिखाया कि तिरछा-विलय किए गए क्रमचय के वर्ग के लिए समान सीमा प्रयुक्त होती है। उन्होंने आगे पूछा कि क्या <math>\mathcal{C}</math>-पीपीएम समस्या को हर निश्चित उचित क्रमचय वर्ग के लिए बहुपद समय में हल किया जा सकता है <math>\mathcal{C}</math>. | ||
== पैकिंग घनत्व == | == पैकिंग घनत्व == | ||
Line 195: | Line 196: | ||
== सामान्यीकरण == | == सामान्यीकरण == | ||
ऐसे कई तरीके हैं जिनमें | ऐसे कई तरीके हैं जिनमें पैटर्न की धारणा को सामान्यीकृत किया गया है। उदाहरण के लिए, एक विनकुलर पैटर्न एक क्रमचय है जिसमें डैश होते हैं जो प्रविष्टियों को इंगित करते हैं जो लगातार होने की आवश्यकता नहीं होती है (सामान्य पैटर्न परिभाषा में, कोई प्रविष्टि लगातार होने की आवश्यकता नहीं होती है)। उदाहरण के लिए, क्रमचय 314265 में धराशायी पैटर्न 2-31-4 की दो प्रतियां हैं, जो 3426 और 3425 प्रविष्टियों द्वारा दी गई हैं। धराशायी पैटर्न β और किसी भी क्रमचय π के लिए, हम β की प्रतियों की संख्या के लिए β(π) लिखते हैं। π में। इस प्रकार π में व्युत्क्रमों की संख्या 2-1(π) है, जबकि अवरोहण की संख्या 21(π) है। आगे जाकर, π में घाटियों की संख्या 213(π) + 312(π) है, जबकि चोटियों की संख्या 231(π) + 132(π) है। ये पैटर्न द्वारा पेश किए गए थे {{harvtxt|Babson|Steingrímsson|2000}}, जिन्होंने दिखाया कि लगभग सभी ज्ञात Mahonian आँकड़े vincular permutations के संदर्भ में व्यक्त किए जा सकते हैं।<ref>{{citation | ||
| last1=Babson | first1=Erik | | last1=Babson | first1=Erik | ||
| last2= Steingrímsson | first2=Einar | | last2= Steingrímsson | first2=Einar | ||
Line 206: | Line 207: | ||
| url=http://www.emis.de/journals/SLC/wpapers/s44stein.html}}.</ref> उदाहरण के लिए, π का [[प्रमुख सूचकांक]] 1-32(π) + 2-31(π) + 3-21(π) + 21(π) के बराबर है। | | url=http://www.emis.de/journals/SLC/wpapers/s44stein.html}}.</ref> उदाहरण के लिए, π का [[प्रमुख सूचकांक]] 1-32(π) + 2-31(π) + 3-21(π) + 21(π) के बराबर है। | ||
एक अन्य सामान्यीकरण वर्जित | एक अन्य सामान्यीकरण वर्जित पैटर्न का है, जिसमें कुछ प्रविष्टियाँ वर्जित हैं। π के लिए वर्जित पैटर्न से परिहरण करने के लिए β का अर्थ है कि π की प्रविष्टियों का प्रत्येक सेट जो β की गैर-वर्जित प्रविष्टियों की प्रतिलिपि बनाता है, को β की सभी प्रविष्टियों की प्रतिलिपि बनाने के लिए बढ़ाया जा सकता है। {{harvtxt|West|1993}} ने क्रमचय के अपने अध्ययन में इस प्रकार के पैटर्न पेश किए जिन्हें एक ढेर के माध्यम से दो बार पास करके क्रमबद्ध किया जा सकता है।<ref>{{Citation | last1=West | first1=Julian | title=Sorting twice through a stack| mr = 1235186| year=1993 | journal=[[Theoretical Computer Science (journal)|Theoretical Computer Science]]| volume=117 | issue=1–2 | pages=303–313| doi = 10.1016/0304-3975(93)90321-J| doi-access=free}}.</ref> (ध्यान दें कि स्टैक के माध्यम से दो बार सॉर्ट करने की पश्चिम की परिभाषा श्रृंखला में दो स्टैक्स के साथ सॉर्ट करने के समान नहीं है।) वर्जित पैटर्न का एक और उदाहरण के काम में होता है {{harvtxt|Bousquet-Mélou|Butler|2007}}, जिन्होंने दिखाया कि π के अनुरूप शूबर्ट विविधता Schubert किस्म है#स्थानीय रूप से फैक्टोरियल यदि और केवल यदि π 1324 और 21 से बचता है<span style= text-decoration: overline; >3</span>54.<ref>{{Citation | ||
| last1=Bousquet-Mélou | first1=Mireille | author1-link = Mireille Bousquet-Mélou | | last1=Bousquet-Mélou | first1=Mireille | author1-link = Mireille Bousquet-Mélou | ||
| last2=Butler | first2=Steve |authorlink2=Steve Butler (mathematician) | | last2=Butler | first2=Steve |authorlink2=Steve Butler (mathematician) |
Revision as of 10:07, 3 April 2023
साहचर्य गणित और सैद्धांतिक कंप्यूटर विज्ञान में, एक क्रमचय पैटर्न एक लंबे क्रमचय का उप-क्रमचय है। किसी भी क्रमचय को एक-पंक्ति संकेतन में अंकों के अनुक्रम के रूप में लिखा जा सकता है, जो अंक क्रम 123... पर क्रमचय प्रयुक्त करने के परिणाम का प्रतिनिधित्व करता है; उदाहरण के लिए अंक अनुक्रम 213 तीन तत्वों पर क्रमचय का प्रतिनिधित्व करता है जो तत्वों 1 और 2 को विनिमय करता है। यदि π और σ इस तरह से प्रदर्शित दो क्रमचय हैं (ये परिवर्तनीय नाम क्रमचय के लिए मानक हैं और संख्या से संबंधित नहीं हैं), तो π एक पैटर्न के रूप में σ समाहित करने के लिए कहा जाता है यदि π के अंकों के कुछ क्रम में σ के सभी अंकों के समान सापेक्षिक क्रम हो।
उदाहरण के लिए, क्रमचय π में पैटर्न 213 होता है जब भी π में तीन अंक x, y, और z होते हैं जो क्रम xy...y...z में π के अंदर दिखाई देते हैं लेकिन जिनके मान y < x < z के रूप में क्रमबद्ध होते हैं, वही क्रमचय 213 में मानो के क्रम के रूप में है। पांच तत्वों पर क्रमचय 32415 में 213 को कई अलग-अलग तरीकों से 3··15, ··415, 32··5, 324··, और ·2·15 सभी पैटर्न के रूप में सम्मिलित किया गया है। और 213 के समान क्रम वाले अंकों के त्रिगुण बनाते हैं। 315, 415, 325, 324, और 215 में से प्रत्येक को पैटर्न की एक प्रति, उदाहरण या घटना कहा जाता है। तथ्य यह है कि π में σ होता है, इसे σ ≤ π के रूप में अधिक संक्षिप्त रूप से लिखा जाता है। यदि एक क्रमचय π में पैटर्न σ नहीं है, तो π को σ से परिहरण करने के लिए कहा जाता है। क्रमचय 51342 213 से बचता है; इसमें तीन अंकों के 10 अनुगामी हैं, लेकिन इन 10 अनुगामी में से किसी का भी क्रम 213 के समान नहीं है।
प्रारंभिक परिणाम
ऐसी स्थिति बनाई जा सकती है कि पर्सी मैकमोहन (1915) लैटिस क्रमचय के अपने अध्ययन के साथ क्षेत्र में परिणाम प्रमाणित करने वाले पहले व्यक्ति थे।[1] विशेष रूप से मैकमोहन दिखाता है कि जिन क्रमपरिवर्तनों को दो घटते क्रमपरिवर्तनों में विभाजित किया जा सकता है (अर्थात्, 123 से परिहरण करने वाले क्रमचय) को कैटलन संख्याओं द्वारा गणना किए जाते है।[2]
इस क्षेत्र में एक और प्रारंभिक ऐतिहासिक परिणाम एर्डोस-ज़ेकेरेस प्रमेय है; क्रमचय पैटर्न भाषा में, प्रमेय कहता है कि किसी भी धनात्मक पूर्णांक a और b के लिए लंबाई का प्रत्येक क्रमचय कम से कम या तो पैटर्न या पैटर्न होना चाहिए।
कंप्यूटर विज्ञान की उत्पत्ति
क्रमचय पैटर्न का अध्ययन 1968 में डोनाल्ड नुथ के स्टैक- वर्गीकरण पर विचार के साथ गंभीरता से प्रारंभ हुआ।[3] नुथ ने दिखाया कि क्रमचय π को स्टैक (डेटा संरचना) द्वारा क्रमबद्ध किया जा सकता है यदि और केवल यदि π 231 से परिहरण करता है, और यह कि स्टैक-क्रमांकन योग्य क्रमचय कैटलन संख्याओं द्वारा गणना किए जाते हैं।[4] नुथ ने डेक के साथ प्रवरण के बारे में भी सवाल प्रस्तुत किए। विशेष रूप से, नूथ का यह प्रश्न कि डेक के उपयोग से n तत्वों के कितने क्रमचय प्राप्त किए जा सकते हैं, और संवृत रहता है।[5] उसके बाद शीघ्र ही, रॉबर्ट टारजन (1972) स्टैक के नेटवर्क द्वारा प्रवरण की जांच की गई,[6] जबकि वॉन प्रैट (1973) ने दिखाया कि क्रमचय π को डेक द्वारा क्रमबद्ध किया जा सकता है यदि और केवल यदि सभी k के लिए, π 5,2,7,4,...,4k+1,4k−2,3,4k,1, और 5 ,2,7,4,...,4k+3,4k,1,4k+2,3, से परिहरण करता है और प्रत्येक क्रमचय जो इनमें से किसी से भी पिछले दो तत्वों या 1 और 2 को परिवर्तित करके प्राप्त किया जा सकता है।[7] क्योंकि क्रमचय का यह संग्रह अनंत है (वास्तव में, यह क्रमचय के अनंत प्रतिश्रृंखला का पहला प्रकाशित उदाहरण है), यह तुरंत स्पष्ट नहीं है कि यह निर्धारित करने में कितना समय लगता है कि एक क्रमचय को डेक द्वारा क्रमबद्ध किया जा सकता है या नहीं किया जा सकता है। रोसेनस्टीहल और टार्जन (1984) ने बाद में एक रेखीय (π की लंबाई में) समय एल्गोरिथ्म प्रस्तुत किया जो यह निर्धारित करता है कि क्या π को एक डेक द्वारा क्रमबद्ध किया जा सकता है[8]
अपने पत्र में, प्रैट ने टिप्पणी की कि यह क्रमचय पैटर्न क्रम "क्रमचय पर एकमात्र आंशिक क्रम प्रतीत होता है जो एक सरल और प्राकृतिक तरीके से उत्पन्न होता है" और यह देखते हुए निष्कर्ष निकाला कि "एक अमूर्त दृष्टिकोण से", क्रमचय पैटर्न क्रम "हम जिन नेटवर्कों की विशेषता बता रहे थे, उनसे कहीं अधिक रोचक है”।[7]
परिगणनात्मक उत्पत्ति
क्रमचय पैटर्न के अध्ययन में एक प्रमुख लक्ष्य एक निश्चित (और सामान्य रूप से कम) क्रमचय या क्रमचय के समुच्चय से अलग करने के क्रमचय की गणना में है। मान लीजिए कि Avn(B) लंबाई n के क्रमचय के समुच्चय को निरूपित करते हैं जो समुच्चय B में सभी क्रमचय से अलग होते हैं (स्थिति में B एक एकल है, इसके अतिरिक्त संक्षिप्त नाम Avn(B) का उपयोग किया जाता है)। जैसा कि ऊपर उल्लेख किया गया है, मैकमोहन और नुथ ने दिखाया कि |Avn(123)| = |Avn(231)| = Cn, nवी कैटलन संख्या है। इस प्रकार ये समरूपी संचयविन्यास वर्ग हैं।
सिमोन एंड श्मिट (1985) पहला पत्र था जिसमें केवल गणना पर ध्यान केंद्रित किया गया था। अन्य परिणामों में, सिमिओन और श्मिट ने लंबाई तीन के एक पैटर्न से परिहार करते हुए सम और विषम क्रमपरिवर्तनों की गणना की, लंबाई तीन के दो प्रतिरूपों से परिहरण क्रमपरिवर्तनों की गणना की, और पहला विशेषण प्रमाण दिया कि 123- और 231-परिहार क्रमचय समतुल्य हैं।[9] उनके पत्र के बाद से, कई अन्य आक्षेप दिए गए हैं, सर्वेक्षण के लिए क्लेसन एंड किताएव (2008) देखें।[10]
सामान्य रूप से, यदि |Avn(β)| = |Avn(σ)| सभी n के लिए, तब β और σ को विलफ-तुल्य कहा जाता है। कई विल्फ-तुल्यताएँ सामान्य तथ्य से उत्पन्न होती हैं कि |Avn(β)| = |Avn(β−1)| = |Avn(βrev)| सभी n के लिए, जहां β−1 β के व्युत्क्रम को दर्शाता है और βrev β के व्युत्क्रम को दर्शाता है। (ये दो संक्रिया क्रमचय आव्यूहों पर एक प्राकृतिक क्रिया के साथ द्वितल समूह D8 उत्पन्न करते हैं।) हालांकि, गैर-सामान्य विल्फ-समतुल्यता के कई उदाहरण भी हैं (जैसे कि 123 और 231 के बीच):
- स्टैंकोवा (1994) ने प्रमाणित किया कि क्रमचय 1342 और 2413 विलफ-समतुल्य हैं।[11]
- स्टैंकोवा और वेस्ट (2002) ने प्रमाणित किया कि किसी भी क्रमचय β के लिए, क्रमचय 231 ⊕ β और 312 ⊕ β विल्फ-समतुल्य हैं, जहां ⊕ क्रमचय संचालन के प्रत्यक्ष योग को दर्शाता है।[12]
- बैकेलिन, वेस्ट एंड शिन (2007) ने सिद्ध किया कि किसी भी क्रमचय β और किसी धनात्मक पूर्णांक m के लिए, क्रमचय 12..m ⊕ β और m...21 ⊕ β विलफ़-समतुल्य हैं।[13]
इन दो विलफ-तुल्यताओं और व्युत्क्रम और विपरीत समरूपताओं से, यह इस प्रकार है कि तीन अलग-अलग क्रम |Avn(β)| हैं, जहां β की लंबाई चार है:
β | Avn(β) की अनुक्रम गणना | ओईआईएस संदर्भ | परिशुद्ध गणना संदर्भ |
---|---|---|---|
1342 | 1, 2, 6, 23, 103, 512, 2740, 15485, 91245, 555662, ... | A022558 | बोना (1997)[14] |
1234 | 1, 2, 6, 23, 103, 513, 2761, 15767, 94359, 586590, ... | A005802 | गेसल (1990)[15] |
1324 | 1, 2, 6, 23, 103, 513, 2762, 15793, 94776, 591950, ... | A061552 | अगणित |
1980 के दशक के अंत में, रिचर्ड पी स्टेनली और हर्बर्ट विल्फ ने अनुमान लगाया कि प्रत्येक क्रमचय β के लिए, कुछ स्थिर K है जैसे कि |Avn(β)| < Kn एडम मार्कस (गणितज्ञ) और गैबोर टार्डोस द्वारा सिद्ध किए जाने तक इसे स्टेनली-विल्फ अनुमान के रूप में जाना जाता था।[16]
संवृत्त वर्ग
संवृत्त वर्ग, जिसे एक पैटर्न वर्ग, क्रमचय वर्ग, या केवल क्रमचय के कक्षा के रूप में भी जाना जाता है, क्रमचय पैटर्न क्रम में एक आदर्श (आदेश सिद्धांत) है। प्रत्येक वर्ग को न्यूनतम क्रमचय द्वारा परिभाषित किया जा सकता है जो इसके अंदर नहीं है, इसका आधार। इस प्रकार स्टैक-सॉर्टेबल क्रमचय का आधार {231} है, जबकि डेक-सॉर्टेबल क्रमचय का आधार अनंत है। एक वर्ग के लिए जनरेटिंग फ़ंक्शन Σ x है|π| जहां कक्षा में सभी क्रमचय π पर योग लिया जाता है।
मोबियस फ़ंक्शन
चूंकि रोकथाम आदेश के तहत क्रमचय का सेट आंशिक रूप से आदेशित सेट बनाता है, इसलिए इसकी घटना बीजगणित के बारे में पूछना स्वाभाविक है # विशेष तत्व | मोबियस फ़ंक्शन, एक लक्ष्य जिसे पहले स्पष्ट रूप से प्रस्तुत किया गया था Wilf (2002).[17] इस तरह की जांच में लक्ष्य एक अंतराल [σ, π] के मोबियस फ़ंक्शन के लिए क्रमचय पैटर्न पोसेट में एक सूत्र खोजना है जो भोली पुनरावर्ती परिभाषा से अधिक कुशल है। इस तरह का पहला परिणाम द्वारा स्थापित किया गया था Sagan & Vatter (2006), जिन्होंने स्तरित क्रमचय के अंतराल के मोबियस फ़ंक्शन के लिए एक सूत्र दिया।[18] बाद में, Burstein et al. (2011) ने इस परिणाम को वियोज्य क्रमचय के अंतराल के लिए सामान्यीकृत किया।[19] यह ज्ञात है कि, स्पर्शोन्मुख रूप से, n लंबाई के सभी क्रमचय π का कम से कम 39.95% μ(1, π)=0 को संतुष्ट करता है (अर्थात, प्रमुख मोबियस फ़ंक्शन शून्य के बराबर है),[20] लेकिन प्रत्येक एन के लिए क्रमचय π मौजूद है जैसे कि μ(1, π) एन का एक घातीय कार्य है।[21]
कम्प्यूटेशनल जटिलता
एक क्रमचय दिया (पाठ कहा जाता है) लंबाई का और दूसरा क्रमचय लंबाई का (पैटर्न कहा जाता है), क्रमचय पैटर्न मिलान (पीपीएम) समस्या पूछती है कि क्या में निहित है . कब दोनों और चर के रूप में माना जाता है, समस्या को एनपी-पूर्ण के रूप में जाना जाता है, और ऐसे मिलानों की संख्या की गणना करने की समस्या तीव्र-पी-पूर्ण|#पी-पूर्ण है।[22] हालाँकि, पीपीएम को रैखिक समय में हल किया जा सकता है जब k स्थिर हो। दरअसल, गुइलमोट और मार्क्स[23] दिखाया कि पीपीएम को समय पर हल किया जा सकता है , जिसका अर्थ है कि यह निश्चित-पैरामीटर के संबंध में ट्रैक्टेबल है .
पीपीएम समस्या पर कई प्रकार हैं, जैसा कि ब्रूनर और लैकनर द्वारा सर्वेक्षण किया गया है।[24] उदाहरण के लिए, यदि मैच में सन्निहित प्रविष्टियों को सम्मिलित करना आवश्यक है तो समस्या को बहुपद समय में हल किया जा सकता है।[25] एक अन्य संस्करण तब होता है जब पैटर्न और पाठ दोनों एक उचित क्रमचय वर्ग तक सीमित होते हैं , जिस स्थिति में समस्या कहा जाता है -पीपीएम। उदाहरण के लिए, गुइलमोट और वायलेट[26] पता चला है कि -पीपीएम में हल किया जा सकता है समय। माइकल एच। अल्बर्ट, लैकनर, लैकनर और वैटर[27] बाद में इसे कम कर दिया और दिखाया कि तिरछा-विलय किए गए क्रमचय के वर्ग के लिए समान सीमा प्रयुक्त होती है। उन्होंने आगे पूछा कि क्या -पीपीएम समस्या को हर निश्चित उचित क्रमचय वर्ग के लिए बहुपद समय में हल किया जा सकता है .
पैकिंग घनत्व
क्रमचय π को β-इष्टतम कहा जाता है यदि π के समान लंबाई का कोई क्रमचय नहीं है जिसमें β की अधिक प्रतियां हैं। 1992 में असतत गणित पर SIAM की बैठक में अपने संबोधन में, विल्फ ने लंबाई k के क्रमचय β के पैकिंग घनत्व को परिभाषित किया
फ्रेड गैल्विन के एक अप्रकाशित तर्क से पता चलता है कि अनुक्रम की इस सीमा के अंदर की मात्रा n ≥ k के लिए गैर-बढ़ती है, और इसलिए सीमा मौजूद है। जब β मोनोटोन होता है, तो इसका पैकिंग घनत्व स्पष्ट रूप से 1 होता है, और पैकिंग घनत्व व्युत्क्रम और रिवर्स द्वारा उत्पन्न समरूपता के समूह के अंतर्गत अपरिवर्तनीय होते हैं, इसलिए लंबाई तीन के क्रमचय के लिए, केवल एक गैर-सामान्य पैकिंग घनत्व होता है। वाल्टर स्ट्रोमक्विस्ट (अप्रकाशित) ने यह दिखाकर इस मामले को सुलझाया कि 132 की पैकिंग घनत्व 2 है√3 − 3, लगभग 0.46410।
लंबाई चार के क्रमचय β के लिए, (समरूपता के कारण) विचार करने के लिए सात मामले हैं:
β | packing density | reference |
---|---|---|
1234 | 1 | trivial |
1432 | root of x3 − 12x2 + 156x − 64 ≅ 0.42357 | Price (1997)[28] |
2143 | ⅜ = 0.375 | Price (1997)[28] |
1243 | ⅜ = 0.375 | Albert et al. (2002)[29] |
1324 | conjectured to be ≅ 0.244 | |
1342 | conjectured to be ≅ 0.19658 | |
2413 | conjectured to be ≅ 0.10474 |
तीन अज्ञात क्रमचय के लिए सीमाएँ और अनुमान हैं। Price (1997) ने एक सन्निकटन एल्गोरिथम का उपयोग किया जो बताता है कि 1324 का पैकिंग घनत्व लगभग 0.244 है।[28] बिर्जन बटकेयेव (अप्रकाशित) ने क्रमचय के एक परिवार का निर्माण किया, जिसमें दिखाया गया है कि 1342 का पैकिंग घनत्व कम से कम 132 और 1432 के पैकिंग घनत्व का उत्पाद है, लगभग 0.19658। यह 1342 की सटीक पैकिंग घनत्व होने का अनुमान है। Presutti & Stromquist (2010) ने 2413 के पैकिंग घनत्व पर एक निचली सीमा प्रदान की। यह निचली सीमा, जिसे एक अभिन्न के रूप में व्यक्त किया जा सकता है, लगभग 0.10474 है, और वास्तविक पैकिंग घनत्व होने का अनुमान लगाया गया है।[30]
सुपरपैटर्न
एक k-'सुपरपैटर्न' एक क्रमचय है जिसमें लंबाई k के सभी क्रमचय सम्मिलित हैं। उदाहरण के लिए, 25314 एक 3-सुपरपैटर्न है क्योंकि इसमें लंबाई 3 के सभी 6 क्रमचय सम्मिलित हैं। यह ज्ञात है कि k-सुपरपैटर्न की लंबाई कम से कम k होनी चाहिए।2/ई2, जहां e ≈ 2.71828 e (गणितीय स्थिरांक) है|यूलर की संख्या,[31] और यह कि लंबाई ⌈(k.) के k-सुपरपैटर्न मौजूद हैं2 + 1)/2⌉.[32] यह ऊपरी सीमा निचले क्रम की शर्तों तक सर्वोत्तम संभव होने का अनुमान लगाया गया है।[33]
सामान्यीकरण
ऐसे कई तरीके हैं जिनमें पैटर्न की धारणा को सामान्यीकृत किया गया है। उदाहरण के लिए, एक विनकुलर पैटर्न एक क्रमचय है जिसमें डैश होते हैं जो प्रविष्टियों को इंगित करते हैं जो लगातार होने की आवश्यकता नहीं होती है (सामान्य पैटर्न परिभाषा में, कोई प्रविष्टि लगातार होने की आवश्यकता नहीं होती है)। उदाहरण के लिए, क्रमचय 314265 में धराशायी पैटर्न 2-31-4 की दो प्रतियां हैं, जो 3426 और 3425 प्रविष्टियों द्वारा दी गई हैं। धराशायी पैटर्न β और किसी भी क्रमचय π के लिए, हम β की प्रतियों की संख्या के लिए β(π) लिखते हैं। π में। इस प्रकार π में व्युत्क्रमों की संख्या 2-1(π) है, जबकि अवरोहण की संख्या 21(π) है। आगे जाकर, π में घाटियों की संख्या 213(π) + 312(π) है, जबकि चोटियों की संख्या 231(π) + 132(π) है। ये पैटर्न द्वारा पेश किए गए थे Babson & Steingrímsson (2000), जिन्होंने दिखाया कि लगभग सभी ज्ञात Mahonian आँकड़े vincular permutations के संदर्भ में व्यक्त किए जा सकते हैं।[34] उदाहरण के लिए, π का प्रमुख सूचकांक 1-32(π) + 2-31(π) + 3-21(π) + 21(π) के बराबर है।
एक अन्य सामान्यीकरण वर्जित पैटर्न का है, जिसमें कुछ प्रविष्टियाँ वर्जित हैं। π के लिए वर्जित पैटर्न से परिहरण करने के लिए β का अर्थ है कि π की प्रविष्टियों का प्रत्येक सेट जो β की गैर-वर्जित प्रविष्टियों की प्रतिलिपि बनाता है, को β की सभी प्रविष्टियों की प्रतिलिपि बनाने के लिए बढ़ाया जा सकता है। West (1993) ने क्रमचय के अपने अध्ययन में इस प्रकार के पैटर्न पेश किए जिन्हें एक ढेर के माध्यम से दो बार पास करके क्रमबद्ध किया जा सकता है।[35] (ध्यान दें कि स्टैक के माध्यम से दो बार सॉर्ट करने की पश्चिम की परिभाषा श्रृंखला में दो स्टैक्स के साथ सॉर्ट करने के समान नहीं है।) वर्जित पैटर्न का एक और उदाहरण के काम में होता है Bousquet-Mélou & Butler (2007), जिन्होंने दिखाया कि π के अनुरूप शूबर्ट विविधता Schubert किस्म है#स्थानीय रूप से फैक्टोरियल यदि और केवल यदि π 1324 और 21 से बचता है354.[36]
संदर्भ
- ↑ MacMahon, Percy A. (1915), Combinatory Analysis, London: Cambridge University Press, Volume I, Section III, Chapter V.
- ↑ MacMahon (1915), Items 97 and 98.
- ↑ Knuth, Donald E. (1968), The Art Of Computer Programming Vol. 1, Boston: Addison-Wesley, ISBN 0-201-89683-4, MR 0286317, OCLC 155842391..
- ↑ Knuth (1968), Section 2.2.1, Exercises 4 and 5.
- ↑ Knuth (1968), Section 2.2.1, Exercise 13, rated M49 in the first printing, and M48 in the second.
- ↑ Tarjan, Robert (1972), "Sorting using networks of queues and stacks", Journal of the ACM, 19 (2): 341–346, doi:10.1145/321694.321704, MR 0298803, S2CID 13608929.
- ↑ 7.0 7.1 Pratt, Vaughan R. (1973), "Computing permutations with double-ended queues. Parallel stacks and parallel queues", Proc. Fifth Annual ACM Symposium on Theory of Computing (Austin, Tex., 1973), pp. 268–277, doi:10.1145/800125.804058, MR 0489115, S2CID 15740957.
- ↑ Rosenstiehl, Pierre; Tarjan, Robert (1984), "Gauss codes, planar Hamiltonian graphs, and stack-sortable permutations", Journal of Algorithms, 5 (3): 375–390, doi:10.1016/0196-6774(84)90018-X, MR 0756164.
- ↑ Simion, Rodica; Schmidt, Frank W. (1985), "Restricted permutations", European Journal of Combinatorics, 6 (4): 383–406, doi:10.1016/s0195-6698(85)80052-4, MR 0829358.
- ↑ Claesson, Anders; Kitaev, Sergey (2008), "Classification of bijections between 321- and 132-avoiding permutations" (PDF), Séminaire Lotharingien de Combinatoire, 60: B60d, arXiv:0805.1325, MR 2465405.
- ↑ Stankova, Zvezdelina (1994), "Forbidden subsequences", Discrete Mathematics, 132 (1–3): 291–316, doi:10.1016/0012-365X(94)90242-9, MR 1297387.
- ↑ Stankova, Zvezdelina; West, Julian (2002), "A New class of Wilf-Equivalent Permutations", Journal of Algebraic Combinatorics, 15 (3): 271–290, arXiv:math/0103152, doi:10.1023/A:1015016625432, MR 1900628, S2CID 13921676.
- ↑ Backelin, Jörgen; West, Julian; Xin, Guoce (2007), "Wilf-equivalence for singleton classes", Advances in Applied Mathematics, 38 (2): 133–149, doi:10.1016/j.aam.2004.11.006, MR 2290807.
- ↑ Bóna, Miklós (1997), "Exact enumeration of 1342-avoiding permutations: a close link with labeled trees and planar maps", Journal of Combinatorial Theory, Series A, 80 (2): 257–272, arXiv:math/9702223, doi:10.1006/jcta.1997.2800, MR 1485138, S2CID 18352890.
- ↑ Gessel, Ira M. (1990), "Symmetric functions and P-recursiveness", Journal of Combinatorial Theory, Series A, 53 (2): 257–285, doi:10.1016/0097-3165(90)90060-A, MR 1041448.
- ↑ Marcus, Adam; Tardos, Gábor (2004), "Excluded permutation matrices and the Stanley-Wilf conjecture", Journal of Combinatorial Theory, Series A, 107 (1): 153–160, doi:10.1016/j.jcta.2004.04.002, MR 2063960.
- ↑ Wilf, Herbert (2002), "Patterns of permutations", Discrete Mathematics, 257 (2): 575–583, doi:10.1016/S0012-365X(02)00515-0, MR 1935750.
- ↑ Sagan, Bruce; Vatter, Vince (2006), "The Möbius function of a composition poset", Journal of Algebraic Combinatorics, 24 (2): 117–136, arXiv:math/0507485, doi:10.1007/s10801-006-0017-4, MR 2259013, S2CID 11283347.
- ↑ Burstein, Alexander; Jelinek, Vit; Jelinkova, Eva; Steingrimsson, Einar (2011), "The Möbius function of separable and decomposable permutations", Journal of Combinatorial Theory, Series A, 118 (1): 2346–2364, doi:10.1016/j.jcta.2011.06.002, MR 2834180, S2CID 13978488.
- ↑ Brignall, Robert; Jelínek, Vit; Kynčl, Jan; Marchant, David (2019), "Zeros of the Möbius function of permutations" (PDF), Mathematika, 65 (4): 1074–1092, arXiv:1810.05449, doi:10.1112/S0025579319000251, MR 3992365, S2CID 53366318
- ↑ Marchant, David (2020), "2413-balloon permutations and the growth of the Möbius function", Electronic Journal of Combinatorics, 27 (1): P1.7, doi:10.37236/8554
- ↑ Bose, Prosenjit; Buss, Jonathan F.; Lubiw, Anna (March 1998), "Pattern matching for permutations", Information Processing Letters, 65 (5): 277–283, doi:10.1016/S0020-0190(97)00209-3
- ↑ Guillemot, Sylvain; Marx, Daniel (2014). "रैखिक समय में क्रमपरिवर्तन में छोटे पैटर्न ढूँढना". Proceedings of the Twenty-Fifth Annual ACM-SIAM Symposium on Discrete Algorithms: 20. arXiv:1307.3073. doi:10.1137/1.9781611973402.7. ISBN 978-1-61197-338-9. S2CID 1846959.
- ↑ Bruner, Marie-Louise; Lackner, Martin (2013), "The computational landscape of permutation patterns", Pure Mathematics and Applications, 24 (2): 83–101, arXiv:1301.0340
- ↑ Kubica, M.; Kulczyński, T.; Radoszewski, J.; Rytter, W.; Waleń, T. (2013), "A linear time algorithm for consecutive permutation pattern matching", Information Processing Letters, 113 (12): 430–433, doi:10.1016/j.ipl.2013.03.015
- ↑ Guillemot, Sylvain; Vialette, Stéphane (2009), "Pattern matching for 321-avoiding permutations", Algorithms and Computation, Lecture Notes in Computer Science, vol. 5878, pp. 1064–1073, arXiv:1511.01770, doi:10.1007/978-3-642-10631-6_107
- ↑ Albert, Michael; Lackner, Marie-Louise; Lackner, Martin; Vatter, Vincent (2016), "The complexity of pattern matching for 321-avoiding and skew-merged permutations", Discrete Mathematics & Theoretical Computer Science, 18 (2), arXiv:1510.06051, doi:10.46298/dmtcs.1308, S2CID 5827603
- ↑ 28.0 28.1 28.2 Price, Alkes (1997), Packing densities of layered patterns, Ph.D. thesis, University of Pennsylvania.
- ↑ Albert, Michael H.; Atkinson, M. D.; Handley, C. C.; Holton, D. A.; Stromquist, W. (2002), "On packing densities of permutations", Electronic Journal of Combinatorics, 9: Research article 5, 20 pp, doi:10.37236/1622, MR 1887086.
- ↑ Presutti, Cathleen Battiste; Stromquist, Walter (2010), "Packing rates of measures and a conjecture for the packing density of 2413", in Linton, Steve; Ruškuc, Nik; Vatter, Vincent (eds.), Permutation Patterns, London Math. Soc. Lecture Notes, vol. 376, Cambridge University Press, pp. 287–316, doi:10.1017/CBO9780511902499.015.
- ↑ Arratia, Richard (1999), "On the Stanley-Wilf conjecture for the number of permutations avoiding a given pattern", Electronic Journal of Combinatorics, 6: N1, doi:10.37236/1477, MR 1710623.
- ↑ Engen, Michael; Vatter, Vincent (2021), "Containing all permutations", American Mathematical Monthly, 128 (1): 4–24, doi:10.1080/00029890.2021.1835384
- ↑ Eriksson, Henrik; Eriksson, Kimmo; Linusson, Svante; Wästlund, Johan (2007), "Dense packing of patterns in a permutation", Annals of Combinatorics, 11 (3–4): 459–470, doi:10.1007/s00026-007-0329-7, MR 2376116, S2CID 2021533.
- ↑ Babson, Erik; Steingrímsson, Einar (2000), "Generalized permutation patterns and a classification of the Mahonian statistics", Séminaire Lotharingien de Combinatoire, 44: Research article B44b, 18 pp, MR 1758852.
- ↑ West, Julian (1993), "Sorting twice through a stack", Theoretical Computer Science, 117 (1–2): 303–313, doi:10.1016/0304-3975(93)90321-J, MR 1235186.
- ↑ Bousquet-Mélou, Mireille; Butler, Steve (2007), "Forest-like permutations", Annals of Combinatorics, 11 (3–4): 335–354, arXiv:math/0603617, doi:10.1007/s00026-007-0322-1, MR 2376109, S2CID 31236417.
बाहरी संबंध
A conference on permutation patterns has been held annually since 2003:
- Permutation Patterns 2003, February 10–14, 2003, University of Otago, Dunedin, New Zealand.
- Permutation Patterns 2004, July 5–9, 2004, Malaspina University-College, Nanaimo, British Columbia, Canada.
- Permutation Patterns 2005, March 7–11, 2005, University of Florida, Gainesville, Florida, USA.
- Permutation Patterns 2006, June 12–16, 2006, Reykjavík University, Reykjavík, Iceland.
- Permutation Patterns 2007, June 11–15, 2007, University of St. Andrews, St. Andrews, Scotland.
- Permutation Patterns 2008, June 16–20, 2008, University of Otago, Dunedin, New Zealand.
- Permutation Patterns 2009, July 13–17, 2009, Università di Firenze, Florence, Italy.
- Permutation Patterns 2010, August 9–13, 2010, Dartmouth College, Hanover, New Hampshire, USA.
- Permutation Patterns 2011, June 20–24, 2011, California Polytechnic State University, San Luis Obispo, California, USA.
- Permutation Patterns 2012, June 11–15, 2012, University of Strathclyde, Glasgow, Scotland.
- Permutation Patterns 2013, July 1–5, 2013, Université Paris Diderot, Paris, France.
- Permutation Patterns 2014, July 7–11, 2014, East Tennessee State University, Johnson City, Tennessee, USA.
- Permutation Patterns 2015, June 15–19, 2015, De Morgan House, London, England.
- Permutation Patterns 2016, June 27–July 1, 2016, Howard University, Washington, DC, USA.
- Permutation Patterns 2017, June 26–30, 2017, Reykjavík University, Reykjavík, Iceland.
- Permutation Patterns 2018, July 9–13, 2018, Dartmouth College, Hanover, New Hampshire, USA.
- Permutation Patterns 2019, June 17–21, 2019, Universität Zürich, Zürich, Switzerland.
- Permutation Patterns 2020 Virtual Workshop, June 30–July 1, 2020, hosted by Valparaiso University, Valparaiso, Indiana, USA.
- Permutation Patterns 2021 Virtual Workshop, June 15–16, 2021, hosted by University of Strathclyde, Glasgow, Scotland.
- Permutation Patterns 2022, June 20-24, 2022, Valparaiso University, Valparaiso, Indiana, USA.
- Permutation Patterns 2023, July 3-7, 2023, University of Burgundy, Dijon, France.
American Mathematical Society Special Sessions on Patterns in Permutations have been held at the following meetings:
- Fall Eastern Sectional Meeting, September 22–23, 2012, Rochester Institute of Technology, Rochester, NY.
- Joint Mathematics Meetings, January 12, 2013, San Diego, CA.
- Central Fall Sectional Meeting, September 20–21, 2014, University of Wisconsin-Eau Claire, Eau Claire, WI.
- Spring Eastern Sectional Meeting, March 7–8, 2015, Georgetown University, Washington, DC.
Other permutation patterns meetings:
- Workshop on Permutation Patterns, May 29–June 3, 2005, University of Haifa, Haifa, Israel.
- Pattern Avoidance and Genome Sorting, February 14-19, 2016, Schloss Dagstuhl, Wadern, Germany.
- Genomics, Pattern Avoidance, and Statistical Mechanics, November 4-9, 2018, Schloss Dagstuhl, Wadern, Germany.
- Pattern Avoidance, Statistical Mechanics and Computational Complexity, March 19-24, 2023, Schloss Dagstuhl, Wadern, Germany.
Other links:
- PermLab: software for permutation patterns, maintained by Michael Albert.
- Database of Permutation Pattern Avoidance, maintained by Bridget Tenner.
- PermPAL: The Permutation Pattern Avoidance Library, a database of algorithmically-derived theorems about permutation classes, maintained by Christian Bean, Émile Nadeau, Jay Pantone and Henning Ulfarsson.