K-सममित अनुक्रम: Difference between revisions
No edit summary |
|||
(12 intermediate revisions by 4 users not shown) | |||
Line 19: | Line 19: | ||
=== | ===प्रारूपिक श्रेणी === | ||
माना x<sub>0</sub>, ..., x<sub>''k'' − 1</sub> k अरूपांतरित चर का समुच्चय बनाया और τ को श्रृंखला x<sub>''a''<sub>0</sub> ... Xa<sub>''e'' − 1</sub></sub>पर कुछ प्राकृतिक संख्या n भेजने वाला मानचित्र बनाते हैं, जहां x का आधार-k प्रतिनिधित्व श्रृंखला a<sub>''e''−1</sub>...a<sub>0</sub> है। तब एक अनुक्रम s(n) k-सममित होता है यदि और केवल यदि [[औपचारिक शक्ति श्रृंखला|प्रारूपिक श्रेणी]] <math>\sum_{n \geq 0} s(n) \tau (n)</math> है <math>\mathbb{Z}</math>- परिमेय होती हैं।<ref name=AS43>Allouche & Shallit (1992), Theorem 4.3.</ref> | |||
===ऑटोमेटा-सैद्धांतिक=== | ===ऑटोमेटा-सैद्धांतिक=== | ||
k-सममित अनुक्रम की प्रारूपिक श्रेणी शुट्ज़ेनबर्गर की आव्यूह मशीन के समान ऑटोमेटन लक्षण वर्णन की तरफ ले जाती है।<ref name=AS44>Allouche & Shallit (1992), Theorem 4.4.</ref><ref>{{citation | last = Schützenberger | first = M.-P. | title = On the definition of a family of automata | journal = Information and Control | volume = 4 | issue = 2–3 | year = 1961 | pages = 245–270 | doi=10.1016/S0019-9958(61)80020-X | doi-access = free }}.</ref> | |||
==इतिहास== | ==इतिहास== | ||
k-सममित अनुक्रमों की धारणा की जांच सबसे पहले अल्लोचे और शैलिट द्वारा पत्रों की एक जोड़ी में की गई थी।<ref name=AS>Allouche & Shallit (1992, 2003).</ref> इससे पहले, बर्स्टेल और रयूटेनॉयर ने परिमेय श्रृंखला के सिद्धांत का अध्ययन किया था, जो कि k-नियमित अनुक्रमों से निकटता से संबंधित है।<ref>{{cite book | last1 = Berstel | first1 = Jean | last2 = Reutenauer | first2 = Christophe | title = तर्कसंगत श्रृंखला और उनकी भाषाएँ| volume = 12 | series = EATCS Monographs on Theoretical Computer Science | year = 1988 | isbn = 978-3-642-73237-9 | publisher = [[Springer Science+Business Media|Springer-Verlag]] }}</ref> | |||
Line 34: | Line 34: | ||
===रूलर अनुक्रम=== | ===रूलर अनुक्रम=== | ||
माना <math>s(n) = \nu_2(n+1)</math> <math>n+1</math> का '''2'''-अभिन्नकल्प मूल्यांकन होता हैं | रूलर अनुक्रम <math>s(n)_{n \geq 0} = 0, 1, 0, 2, 0, 1, 0, 3, \dots</math> ({{OEIS2C|id=A007814}}) <math>2</math>-सममित, और <math>2</math>-कर्नेल है | |||
:<math>\{s(2^e n + r)_{n \geq 0} : e \geq 0 \text{ and } 0 \leq r \leq 2^e - 1\}</math> | :<math>\{s(2^e n + r)_{n \geq 0} : e \geq 0 \text{ and } 0 \leq r \leq 2^e - 1\}</math> | ||
द्वारा उत्पन्न द्वि-आयामी | द्वारा उत्पन्न द्वि-आयामी सदिश समष्टि में समाहित है <math>s(n)_{n \geq 0}</math> और निरंतर क्रम <math>1, 1, 1, \dots</math>होता हैं। ये आधार अवयव पुनरावृत्ति संबंधों की तरफ ले जाते हैं | ||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
Line 44: | Line 44: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
जो, प्रारंभिक | जो, प्रारंभिक स्थितियों <math>s(0) = 0</math> और <math>s(1) = 1</math> के साथ, अनुक्रम को विशिष्ट रूप से निर्धारित ककरता हैं।<ref name=ASe8>Allouche & Shallit (1992), Example 8.</ref> | ||
=== | ===थ्यु-मोर्स अनुक्रम=== | ||
थ्यू-मोर्स अनुक्रम t(n) ({{OEIS2C|id=A010060}}) रूपवाद 0 → 01, 1 → 10 का [[निश्चित बिंदु (गणित)]] है। यह ज्ञात है कि थ्यू-मोर्स अनुक्रम 2-स्वचालित है। इस प्रकार, यह 2- | थ्यू-मोर्स अनुक्रम t(n) ({{OEIS2C|id=A010060}}) रूपवाद 0 → 01, 1 → 10 का [[निश्चित बिंदु (गणित)]] है। यह ज्ञात है कि थ्यू-मोर्स अनुक्रम 2-स्वचालित है। इस प्रकार, यह भी 2-सममित है, और इसका भी 2-कर्नेल है | ||
:<math>\{t(2^e n + r)_{n \geq 0} : e \geq 0 \text{ and } 0 \leq r \leq 2^e - 1\}</math> | :<math>\{t(2^e n + r)_{n \geq 0} : e \geq 0 \text{ and } 0 \leq r \leq 2^e - 1\}</math> | ||
अनुवर्ती | अनुवर्ती <math>t(n)_{n \geq 0}</math> और <math>t(2 n + 1)_{n \geq 0}</math> से मिलकर बनता है। | ||
===कैंटर संख्या=== | ===कैंटर संख्या=== | ||
[[कैंटर सेट]] का क्रम c(n) ({{OEIS2C|id=A005823}}) में वे संख्याएँ | [[कैंटर सेट|कैंटर संख्याओं]] का क्रम c(n) ({{OEIS2C|id=A005823}}) में वे संख्याएँ सम्मलित होती हैं जिनके [[टर्नरी अंक प्रणाली]] विस्तार में कोई 1s नहीं होता है। यह सीधे तरह से दिखाया जा सकता हैं | ||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
Line 60: | Line 60: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
और इसलिए कैंटर संख्याओं का क्रम 2- | और इसलिए कैंटर संख्याओं का क्रम 2-सममित है। इसी प्रकार [[स्टेनली अनुक्रम]] | ||
:0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, ... {{OEIS|A005836}} | :0, 1, 3, 4, 9, 10, 12, 13, 27, 28, 30, 31, 36, 37, 39, 40, ... {{OEIS|A005836}} | ||
उन संख्याओं की संख्या जिनके त्रिक विस्तार में कोई 2s नहीं है, वह भी 2- | उन संख्याओं की संख्या जिनके त्रिक विस्तार में कोई 2s नहीं है, वह भी 2-सममित है।<ref name=ASe3>Allouche & Shallit (1992), Examples 3 and 26.</ref> | ||
===संख्याओं को क्रमबद्ध करना=== | ===संख्याओं को क्रमबद्ध करना=== | ||
एल्गोरिदम के व्यापक अध्ययन के लिए | एल्गोरिदम(कलन विधि) के व्यापक अध्ययन के लिए k-सममितता की धारणा का कुछ अच्छे अनुप्रयोग[[ मर्ज़ सॉर्ट ]]एल्गोरिदम(कलन विधि) के विश्लेषण में पाया जाता है। n मानों की सूची को देखते हुए, मर्ज सॉर्ट एल्गोरिदम(कलन विधि) द्वारा की गई तुलनाओं की संख्या सॉर्टिंग संख्याएं हैं, जो पुनरावृत्ति संबंध द्वारा नियंत्रित होती हैं | ||
:<math> | :<math> | ||
\begin{align} | \begin{align} | ||
Line 73: | Line 73: | ||
\end{align} | \end{align} | ||
</math> | </math> | ||
परिणामस्वरूप, मर्ज सॉर्ट, | परिणामस्वरूप, मर्ज सॉर्ट, T(n) के लिए पुनरावृत्ति संबंध द्वारा परिभाषित अनुक्रम, 2-सममित अनुक्रम का गठन करता है।<ref name=ASe28>Allouche & Shallit (1992), Example 28.</ref> | ||
===अन्य अनुक्रम=== | ===अन्य अनुक्रम=== | ||
यदि <math>f(x)</math>, एक [[पूर्णांक-मूल्यवान बहुपद|पूर्णांक-मान बहुपद]] है तो <math>f(n)_{n \geq 0}</math> प्रत्येक <math>k \geq 2</math> के लिए k-सममित है। | |||
ग्लेशर-गोल्ड अनुक्रम 2-सममित है। स्टर्न-ब्रोकॉट अनुक्रम 2-सममित है। | |||
अल्लोचे और शैलिट अपने पेपर में | अल्लोचे और शैलिट अपने पेपर में k-रेगुलर अनुक्रमों के कई अतिरिक्त उदाहरण देते हैं।<ref name=AS /> | ||
==गुण== | ==गुण== | ||
k-नियमित अनुक्रम कई अच्छे गुण प्रदर्शित करते हैं। | |||
*प्रत्येक | *प्रत्येक k-स्वचालित अनुक्रम k-सममित है।<ref>Allouche & Shallit (1992), Theorem 2.3.</ref> | ||
*प्रत्येक | *प्रत्येक k-सिंक्रोनाइज़्ड अनुक्रम k-सममित है। | ||
* | *k-सममित अनुक्रम सीमित रूप से कई मान लेता है यदि और केवल यदि यह k-स्वचालित है।<ref name=AS441>Allouche & Shallit (2003) p. 441.</ref> यह k-नियमित अनुक्रमों के वर्ग का k-स्वचालित अनुक्रमों के वर्ग का सामान्यीकरण होने का तात्कालिक परिणाम है। | ||
* | *k-सममित अनुक्रमों का वर्ग सिमा रूप से जोड़, सिमा रूप से गुणन और संवलन के अनुसार बंद है। k-नियमित अनुक्रमों का वर्ग भी अनुक्रम के प्रत्येक पद को पूर्णांक λ द्वारा मापने के अनुसार बंद किया जाता है।<ref name=AS441 /><ref>Allouche & Shallit (1992), Theorem 2.5.</ref><ref>Allouche & Shallit (1992), Theorem 3.1.</ref><ref name=AS445>Allouche & Shallit (2003) p. 445.</ref> विशेष रूप से, k-सममित घात श्रृंखला के समुच्चय का वलय बनाता है।<ref>Allouche and Shallit (2003) p. 446.</ref> | ||
* | *यदि <math>s(n)_{n \ge 0}</math> k-सममित है, तो सभी पूर्णांकों <math>m \ge 1</math>, <math>(s(n) \bmod{m})_{n \ge 0}</math> के लिए k-स्वचालित है। यद्यपि की, परिवर्तन नहीं हो पता हैं।<ref>Allouche and Shallit (2003) p. 441.</ref> | ||
*पूर्णांकों के k- | **गुणात्मक रूप से स्वतंत्र k, l ≥ 2 के लिए, यदि कोई अनुक्रम k-सममित और ''l''-सममित दोनों है, तो अनुक्रम रैखिक पुनरावृत्ति को संतुष्ट करता है।<ref>{{cite journal | first=J. | last=Bell | title=नियमित अनुक्रमों के लिए कोबम के प्रमेय का सामान्यीकरण| journal=Séminaire Lotharingien de Combinatoire | volume=54A | year=2006 }}</ref> यह उन अनुक्रमों के संबंध में कोबम के कारण परिणाम का सामान्यीकरण है जो k-स्वचालित और ''l''-स्वचालित दोनों हैं।<ref>{{cite journal | first=A. | last=Cobham | title=परिमित ऑटोमेटा द्वारा पहचाने जाने योग्य संख्याओं के सेट की आधार-निर्भरता पर| journal=Math. Systems Theory | volume=3 | issue=2 | year=1969 | pages=186–192 | doi=10.1007/BF01746527 | s2cid=19792434 }}</ref> | ||
* | *पूर्णांकों के k-सममित अनुक्रम का nवाँ पद n में अधिकतम बहुपद रूप से बढ़ता है।<ref>Allouche & Shallit (1992) Theorem 2.10.</ref> | ||
*यदि <math>F</math> क्षेत्र है और <math>x \in F</math>, फिर घातों का क्रम <math>(x^n)_{n \ge 0}</math> k-सममित है यदि और केवल यदि <math>x = 0</math> या <math>x</math> इकाई के मूल है।<ref>Allouche and Shallit (2003) p. 444.</ref> | |||
==के- | ==के-सममितता को सिद्ध और असिद्ध करना== | ||
एक | एक पदानवेशी अनुक्रम <math>s = s(n)_{n \ge 0}</math> दिया गया हैं इसे k-सममित नहीं माना जाता है, k-सममितता को साधारण तौर पर कर्नेल <math>s</math> के अवयवों की गणना करके सीधे परिभाषा से सिद्ध किया जा सकता है और यह सिद्ध करना कि प्रपत्र के सभी अवयव <math>(s(k^r n + e))_{n \ge 0}</math> साथ <math>r</math> पर्याप्त रूप से बड़ा और <math>0 \le e < 2^r</math> के स्थान पर छोटे घातांक वाले कर्नेल <math>r</math> अवयवों के रैखिक संयोजन के रूप में लिखा जा सकता है। यह साधारण तौर पर अभिकलनीय रूप से स्पस्ट है। | ||
दूसरी ओर, | दूसरी ओर, पदानवेशी अनुक्रम की k-सममितता <math>s</math> को अस्वीकार करना करता हैं, साधारण तौर पर <math>\mathbb{Z}</math>-के कर्नेल में रैखिक रूप से स्वतंत्र उपसमुच्चय <math>s</math> के उत्पादन करने की आवश्यकता होती है, जो साधारण तौर पर जटिल है। ऐसे प्रमाण का उदाहरण यहां दिया गया है। | ||
माना <math>e_0(n)</math> की संख्या <math>0's</math> को बाइनरी विस्तार <math>n</math> में निरूपित करते हैं। माना <math>e_1(n)</math> <math>1's</math> की संख्या को बाइनरी विस्तार <math>n</math> में निरूपित करते हैं। क्रम <math>f(n) := e_0(n)-e_1(n)</math> 2-सममित दिखाया जा सकता है। यद्यपि की क्रम <math>g = g(n) := |f(n)|</math>, निम्नलिखित तर्क के अनुसार, 2-सममित नहीं है। कल्पना किया की <math>(g(n))_{n \ge 0}</math> 2-सममित है। हम दावा करते हैं कि अवयव <math>g(2^k n)</math> के लिए <math>n \ge 1</math> और <math>k \ge 0</math> के 2-कर्नेल का <math>g</math>, <math>\mathbb{Z}</math> पर रैखिक रूप से स्वतंत्र हैं। फलन <math>n \mapsto e_0(n)-e_1(n)</math> पूर्णांकों पर विशेषण है, तो चलिए <math>x_m</math> ऐसा <math>e_0(x_m)-e_1(x_m) = m</math> सबसे छोटा पूर्णांक बनता हैं। 2-सममितता से <math>(g(n))_{n \ge 0}</math>, वहां <math>b \ge 0</math> और स्थिरांक <math>c_i</math> ऐसा कि प्रत्येक के लिए <math>n \ge 0</math> हैं, | |||
:<math>\sum_{0 \le i \le b} c_i g(2^i n) = 0.</math> | :<math>\sum_{0 \le i \le b} c_i g(2^i n) = 0.</math> | ||
माना <math>a</math> जिसके लिए न्यूनतम मान हो <math>c_a \ne 0</math>. फिर प्रत्येक के लिए <math>n \ge 0</math>, | |||
:<math>g(2^a n) = \sum_{a+1 \le i \le b} -(c_i/c_a) g(2^i n).</math> | :<math>g(2^a n) = \sum_{a+1 \le i \le b} -(c_i/c_a) g(2^i n).</math> | ||
इस अभिव्यक्ति का मूल्यांकन पर <math>n = x_m</math>, | इस अभिव्यक्ति का मूल्यांकन पर <math>n = x_m</math>, जहाँ <math>m = 0,-1,1,2,-2</math> और इसी तरह क्रमिक रूप से, हम बायीं ओर प्राप्त करते हैं | ||
:<math>g(2^a x_m) = |e_0(x_m)-e_1(x_m)+a| = |m+a|,</math> | :<math>g(2^a x_m) = |e_0(x_m)-e_1(x_m)+a| = |m+a|,</math> | ||
और दाहिनी ओर, | और दाहिनी ओर, | ||
:<math>\sum_{a+1 \le i \le b} -(c_i/c_a)|m+i|.</math> | :<math>\sum_{a+1 \le i \le b} -(c_i/c_a)|m+i|.</math> | ||
यह प्रत्येक पूर्णांक | यह प्रत्येक पूर्णांक <math>m</math> के लिए इसका अनुसरण करता है, | ||
:<math>|m+a| = \sum_{a+1 \le i \le b} -(c_i/c_a) |m+i|.</math> | :<math>|m+a| = \sum_{a+1 \le i \le b} -(c_i/c_a) |m+i|.</math> | ||
लेकिन | लेकिन <math>m \ge -a-1</math> के लिए, समीकरण का दाहिना भाग नगण्य है क्योंकि यह <math>Am+B</math> कुछ स्थिरांक के लिए <math>A,B</math> प्रकार का है, जबकि बाईं ओर नहीं है, जैसा कि क्रमिक रूप <math>m = -a-1</math>, <math>m = -a</math>, और <math>m = -a+1</math> से प्लग इन करके जांचा जा सकता है इसलिए, <math>(g(n))_{n \ge 0}</math> 2-सममित नहीं है।<ref>Allouche and Shallit (1993) p. 168–169.</ref> | ||
Line 121: | Line 122: | ||
*{{citation | last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | title = The ring of ''k''-regular sequences, II | journal = Theoret. Comput. Sci. | volume = 307 | year = 2003 | pages = 3–29 | doi=10.1016/s0304-3975(03)00090-2| doi-access = free }}. | *{{citation | last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | title = The ring of ''k''-regular sequences, II | journal = Theoret. Comput. Sci. | volume = 307 | year = 2003 | pages = 3–29 | doi=10.1016/s0304-3975(03)00090-2| doi-access = free }}. | ||
*{{cite book | last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | isbn = 978-0-521-82332-6 | publisher = [[Cambridge University Press]] | title = Automatic Sequences: Theory, Applications, Generalizations | year = 2003 | zbl=1086.11015 }} | *{{cite book | last1 = Allouche | first1 = Jean-Paul | last2 = Shallit | first2 = Jeffrey | author2-link = Jeffrey Shallit | isbn = 978-0-521-82332-6 | publisher = [[Cambridge University Press]] | title = Automatic Sequences: Theory, Applications, Generalizations | year = 2003 | zbl=1086.11015 }} | ||
[[Category:Created On 03/07/2023]] | [[Category:Created On 03/07/2023]] | ||
[[Category:Lua-based templates]] | |||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with ignored display titles]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:Templates that add a tracking category]] | |||
[[Category:Templates that generate short descriptions]] | |||
[[Category:Templates using TemplateData]] | |||
[[Category:ऑटोमेटा (गणना)]] | |||
[[Category:पुनरावृत्ति संबंध]] | |||
[[Category:पूर्णांक क्रम]] | |||
[[Category:शब्दों पर संयोजकता]] |
Latest revision as of 19:34, 21 July 2023
गणित और सैद्धांतिक कंप्यूटर विज्ञान में, k-सममित अनुक्रम रैखिक पुनरावृत्ति समीकरणों को संतुष्ट करने वाला अनुक्रम है जो पूर्णांकों के आधार-k निरूपण को परावर्तित करता हैं। k-सममित अनुक्रमों का वर्ग स्वचालित अनुक्रम के वर्ग को अनंत आकार के अक्षरों में सामान्यीकृत करता है|
परिभाषा
k-सममित अनुक्रमों के कई लक्षण उपस्थित हैं, जो सभी समतुल्य हैं। कुछ सामान्य लक्षण इस प्रकार हैं। प्रत्येक के लिए, हम R' को क्रमविनिमेय नोथेरियन वलय के रूप में लेते हैं और हम R को R' युक्त वलय (गणित) के रूप में लेते हैं।
k-कर्नेल
माना k ≥ 2. अनुक्रम का k-कर्नेल अनुवर्ती का समुच्चय है
क्रम (R′, k)-सममित है (प्रायः केवल "k-सममित" तक छोटा किया जाता है) यदि -के द्वारा उत्पन्न मापांक k(s) परिमित रूप से उत्पन्न R′-मापांक (गणित) है।[1] विशेष स्थितियों में जब , क्रम है -सममित यदि परिमित-आयामी सदिश समष्टि में समाहित है।
रैखिक संयोजन
एक अनुक्रम s(n) k-सममित है यदि सभी e के लिए पूर्णांक E उपस्थित है सभी ej > E और 0 ≤ rj ≤ kej − 1, s(k) के sejn+rj) का प्रत्येक अनुवर्ती निर्मित करता हैं R'-रैखिक संयोजन के रूप में व्यक्त किया जा सकता है, जहां cij एक पूर्णांक है, fij ≤ E, और 0 ≤ bij ≤ kfij - 1होता हैं।[2]
वैकल्पिक रूप से, अनुक्रम s(n) k-सममित है यदि कोई पूर्णांक r और अनुवर्ती s1(n), ..., sr(n) उपस्थित हैं जैसे की, सभी 1 ≤ i ≤ r और 0 ≤ a ≤ k − 1 के लिए, प्रत्येक अनुक्रम si(kn + a) k-कर्नेल Kk(s) अनुवर्ती si(n) का R′-रैखिक संयोजन है।[2]
प्रारूपिक श्रेणी
माना x0, ..., xk − 1 k अरूपांतरित चर का समुच्चय बनाया और τ को श्रृंखला xa0 ... Xae − 1पर कुछ प्राकृतिक संख्या n भेजने वाला मानचित्र बनाते हैं, जहां x का आधार-k प्रतिनिधित्व श्रृंखला ae−1...a0 है। तब एक अनुक्रम s(n) k-सममित होता है यदि और केवल यदि प्रारूपिक श्रेणी है - परिमेय होती हैं।[3]
ऑटोमेटा-सैद्धांतिक
k-सममित अनुक्रम की प्रारूपिक श्रेणी शुट्ज़ेनबर्गर की आव्यूह मशीन के समान ऑटोमेटन लक्षण वर्णन की तरफ ले जाती है।[4][5]
इतिहास
k-सममित अनुक्रमों की धारणा की जांच सबसे पहले अल्लोचे और शैलिट द्वारा पत्रों की एक जोड़ी में की गई थी।[6] इससे पहले, बर्स्टेल और रयूटेनॉयर ने परिमेय श्रृंखला के सिद्धांत का अध्ययन किया था, जो कि k-नियमित अनुक्रमों से निकटता से संबंधित है।[7]
उदाहरण
रूलर अनुक्रम
माना का 2-अभिन्नकल्प मूल्यांकन होता हैं | रूलर अनुक्रम (OEIS: A007814) -सममित, और -कर्नेल है
द्वारा उत्पन्न द्वि-आयामी सदिश समष्टि में समाहित है और निरंतर क्रम होता हैं। ये आधार अवयव पुनरावृत्ति संबंधों की तरफ ले जाते हैं
जो, प्रारंभिक स्थितियों और के साथ, अनुक्रम को विशिष्ट रूप से निर्धारित ककरता हैं।[8]
थ्यु-मोर्स अनुक्रम
थ्यू-मोर्स अनुक्रम t(n) (OEIS: A010060) रूपवाद 0 → 01, 1 → 10 का निश्चित बिंदु (गणित) है। यह ज्ञात है कि थ्यू-मोर्स अनुक्रम 2-स्वचालित है। इस प्रकार, यह भी 2-सममित है, और इसका भी 2-कर्नेल है
अनुवर्ती और से मिलकर बनता है।
कैंटर संख्या
कैंटर संख्याओं का क्रम c(n) (OEIS: A005823) में वे संख्याएँ सम्मलित होती हैं जिनके टर्नरी अंक प्रणाली विस्तार में कोई 1s नहीं होता है। यह सीधे तरह से दिखाया जा सकता हैं
और इसलिए कैंटर संख्याओं का क्रम 2-सममित है। इसी प्रकार स्टेनली अनुक्रम
उन संख्याओं की संख्या जिनके त्रिक विस्तार में कोई 2s नहीं है, वह भी 2-सममित है।[9]
संख्याओं को क्रमबद्ध करना
एल्गोरिदम(कलन विधि) के व्यापक अध्ययन के लिए k-सममितता की धारणा का कुछ अच्छे अनुप्रयोगमर्ज़ सॉर्ट एल्गोरिदम(कलन विधि) के विश्लेषण में पाया जाता है। n मानों की सूची को देखते हुए, मर्ज सॉर्ट एल्गोरिदम(कलन विधि) द्वारा की गई तुलनाओं की संख्या सॉर्टिंग संख्याएं हैं, जो पुनरावृत्ति संबंध द्वारा नियंत्रित होती हैं
परिणामस्वरूप, मर्ज सॉर्ट, T(n) के लिए पुनरावृत्ति संबंध द्वारा परिभाषित अनुक्रम, 2-सममित अनुक्रम का गठन करता है।[10]
अन्य अनुक्रम
यदि , एक पूर्णांक-मान बहुपद है तो प्रत्येक के लिए k-सममित है।
ग्लेशर-गोल्ड अनुक्रम 2-सममित है। स्टर्न-ब्रोकॉट अनुक्रम 2-सममित है।
अल्लोचे और शैलिट अपने पेपर में k-रेगुलर अनुक्रमों के कई अतिरिक्त उदाहरण देते हैं।[6]
गुण
k-नियमित अनुक्रम कई अच्छे गुण प्रदर्शित करते हैं।
- प्रत्येक k-स्वचालित अनुक्रम k-सममित है।[11]
- प्रत्येक k-सिंक्रोनाइज़्ड अनुक्रम k-सममित है।
- k-सममित अनुक्रम सीमित रूप से कई मान लेता है यदि और केवल यदि यह k-स्वचालित है।[12] यह k-नियमित अनुक्रमों के वर्ग का k-स्वचालित अनुक्रमों के वर्ग का सामान्यीकरण होने का तात्कालिक परिणाम है।
- k-सममित अनुक्रमों का वर्ग सिमा रूप से जोड़, सिमा रूप से गुणन और संवलन के अनुसार बंद है। k-नियमित अनुक्रमों का वर्ग भी अनुक्रम के प्रत्येक पद को पूर्णांक λ द्वारा मापने के अनुसार बंद किया जाता है।[12][13][14][15] विशेष रूप से, k-सममित घात श्रृंखला के समुच्चय का वलय बनाता है।[16]
- यदि k-सममित है, तो सभी पूर्णांकों , के लिए k-स्वचालित है। यद्यपि की, परिवर्तन नहीं हो पता हैं।[17]
- पूर्णांकों के k-सममित अनुक्रम का nवाँ पद n में अधिकतम बहुपद रूप से बढ़ता है।[20]
- यदि क्षेत्र है और , फिर घातों का क्रम k-सममित है यदि और केवल यदि या इकाई के मूल है।[21]
के-सममितता को सिद्ध और असिद्ध करना
एक पदानवेशी अनुक्रम दिया गया हैं इसे k-सममित नहीं माना जाता है, k-सममितता को साधारण तौर पर कर्नेल के अवयवों की गणना करके सीधे परिभाषा से सिद्ध किया जा सकता है और यह सिद्ध करना कि प्रपत्र के सभी अवयव साथ पर्याप्त रूप से बड़ा और के स्थान पर छोटे घातांक वाले कर्नेल अवयवों के रैखिक संयोजन के रूप में लिखा जा सकता है। यह साधारण तौर पर अभिकलनीय रूप से स्पस्ट है।
दूसरी ओर, पदानवेशी अनुक्रम की k-सममितता को अस्वीकार करना करता हैं, साधारण तौर पर -के कर्नेल में रैखिक रूप से स्वतंत्र उपसमुच्चय के उत्पादन करने की आवश्यकता होती है, जो साधारण तौर पर जटिल है। ऐसे प्रमाण का उदाहरण यहां दिया गया है।
माना की संख्या को बाइनरी विस्तार में निरूपित करते हैं। माना की संख्या को बाइनरी विस्तार में निरूपित करते हैं। क्रम 2-सममित दिखाया जा सकता है। यद्यपि की क्रम , निम्नलिखित तर्क के अनुसार, 2-सममित नहीं है। कल्पना किया की 2-सममित है। हम दावा करते हैं कि अवयव के लिए और के 2-कर्नेल का , पर रैखिक रूप से स्वतंत्र हैं। फलन पूर्णांकों पर विशेषण है, तो चलिए ऐसा सबसे छोटा पूर्णांक बनता हैं। 2-सममितता से , वहां और स्थिरांक ऐसा कि प्रत्येक के लिए हैं,
माना जिसके लिए न्यूनतम मान हो . फिर प्रत्येक के लिए ,
इस अभिव्यक्ति का मूल्यांकन पर , जहाँ और इसी तरह क्रमिक रूप से, हम बायीं ओर प्राप्त करते हैं
और दाहिनी ओर,
यह प्रत्येक पूर्णांक के लिए इसका अनुसरण करता है,
लेकिन के लिए, समीकरण का दाहिना भाग नगण्य है क्योंकि यह कुछ स्थिरांक के लिए प्रकार का है, जबकि बाईं ओर नहीं है, जैसा कि क्रमिक रूप , , और से प्लग इन करके जांचा जा सकता है इसलिए, 2-सममित नहीं है।[22]
टिप्पणियाँ
- ↑ Allouche and Shallit (1992), Definition 2.1.
- ↑ 2.0 2.1 Allouche & Shallit (1992), Theorem 2.2.
- ↑ Allouche & Shallit (1992), Theorem 4.3.
- ↑ Allouche & Shallit (1992), Theorem 4.4.
- ↑ Schützenberger, M.-P. (1961), "On the definition of a family of automata", Information and Control, 4 (2–3): 245–270, doi:10.1016/S0019-9958(61)80020-X.
- ↑ 6.0 6.1 Allouche & Shallit (1992, 2003).
- ↑ Berstel, Jean; Reutenauer, Christophe (1988). तर्कसंगत श्रृंखला और उनकी भाषाएँ. EATCS Monographs on Theoretical Computer Science. Vol. 12. Springer-Verlag. ISBN 978-3-642-73237-9.
- ↑ Allouche & Shallit (1992), Example 8.
- ↑ Allouche & Shallit (1992), Examples 3 and 26.
- ↑ Allouche & Shallit (1992), Example 28.
- ↑ Allouche & Shallit (1992), Theorem 2.3.
- ↑ 12.0 12.1 Allouche & Shallit (2003) p. 441.
- ↑ Allouche & Shallit (1992), Theorem 2.5.
- ↑ Allouche & Shallit (1992), Theorem 3.1.
- ↑ Allouche & Shallit (2003) p. 445.
- ↑ Allouche and Shallit (2003) p. 446.
- ↑ Allouche and Shallit (2003) p. 441.
- ↑ Bell, J. (2006). "नियमित अनुक्रमों के लिए कोबम के प्रमेय का सामान्यीकरण". Séminaire Lotharingien de Combinatoire. 54A.
- ↑ Cobham, A. (1969). "परिमित ऑटोमेटा द्वारा पहचाने जाने योग्य संख्याओं के सेट की आधार-निर्भरता पर". Math. Systems Theory. 3 (2): 186–192. doi:10.1007/BF01746527. S2CID 19792434.
- ↑ Allouche & Shallit (1992) Theorem 2.10.
- ↑ Allouche and Shallit (2003) p. 444.
- ↑ Allouche and Shallit (1993) p. 168–169.
संदर्भ
- Allouche, Jean-Paul; Shallit, Jeffrey (1992), "The ring of k-regular sequences", Theoret. Comput. Sci., 98 (2): 163–197, doi:10.1016/0304-3975(92)90001-v.
- Allouche, Jean-Paul; Shallit, Jeffrey (2003), "The ring of k-regular sequences, II", Theoret. Comput. Sci., 307: 3–29, doi:10.1016/s0304-3975(03)00090-2.
- Allouche, Jean-Paul; Shallit, Jeffrey (2003). Automatic Sequences: Theory, Applications, Generalizations. Cambridge University Press. ISBN 978-0-521-82332-6. Zbl 1086.11015.