हाइपरऑपरेशन

This article is about the arithmetic concept. For the group theory hyperoperation concept, see Hyperstructure.

गणित में, उच्च संक्रिया अनुक्रम अंकगणितीय संक्रियाओं का एक अनंत क्रम है (इस संदर्भ में उच्च संक्रिया कहा जाता है) | यह एक एकात्मक संक्रिया (एन = 0 के साथ आनुक्रमिक फलन) से शुरू होता है। अनुक्रम जोड़ (n = 1), गुणन (n = 2), और घातांक (n = 3) के द्विआधारी संचालन के साथ जारी है।

उसके बाद संचालक सहयोगीता का उपयोग करते हुए अनुक्रम द्विआधारी संचालन के साथ आगे बढ़ता है, घातांक से आगे बढ़ता है। घातांक के बाहर के संचालन के लिए, इस क्रम के n वें सदस्य का नाम रूबेन गुडस्टीन द्वारा n के संख्यात्मक उपसर्ग के बाद -ation के साथ दिया गया है (जैसे कि टेट्रेशन (n = 4), pentation (n = 5), हेक्सेशन (n = 6) , आदि।) और नुथ के ऊपर(अप) - तीर संकेत पद्धति में n − 2 तीरों का उपयोग करके लिखा जा सकता है।

प्रत्येक उच्चसंक्रिया को पिछले एक के संदर्भ में पुनरावर्तन (संगणकविज्ञान) समझा जा सकता है:

$a[n]b=\underbrace {a[n-1](a[n-1](a[n-1](\cdots [n-1](a[n-1](a[n-1]a))\cdots )))} _{\displaystyle b{\mbox{ copies of }}a},\quad n\geq 2$

इसे परिभाषा के पुनरावर्तन नियम भाग के अनुसार भी परिभाषित किया जा सकता है, जैसा कि एकरमैन फलन के नुथ के अप- तीर संस्करण में है:

$a[n]b=a[n-1]\left(a[n]\left(b-1\right)\right),\quad n\geq 1$

इसका उपयोग उन संख्याओं की तुलना में बड़ी संख्या को आसानी से दिखाने के लिए किया जा सकता है जो वैज्ञानिक संकेत कर सकते हैं, जैसे स्क्यूज़ संख्या और googleplexplex (उदा. $50[50]50$ Skewes की संख्या और googolplexplex से बहुत बड़ी है), लेकिन कुछ संख्याएँ ऐसी हैं जिन्हें वे भी आसानी से नहीं दिखा सकते हैं, जैसे ग्राहम की संख्या और TREE(3)।

यह पुनरावर्तन नियम उच्च संक्रिया के कई प्रकारों के लिए सामान्य है।

परिभाषा

परिभाषा, सबसे आम

उच्च संक्रिया अनुक्रम $H_{n}(a,b)\colon (\mathbb {N} _{0})^{3}\rightarrow \mathbb {N} _{0}$ द्विआधारी संक्रियाओं का क्रम है $H_{n}\colon (\mathbb {N} _{0})^{2}\rightarrow \mathbb {N} _{0}$, पुनरावर्तन इस प्रकार परिभाषित किया गया है :

$H_{n}(a,b)=a[n]b={\begin{cases}b+1&{\text{if }}n=0\\a&{\text{if }}n=1{\text{ and }}b=0\\0&{\text{if }}n=2{\text{ and }}b=0\\1&{\text{if }}n\geq 3{\text{ and }}b=0\\H_{n-1}(a,H_{n}(a,b-1))&{\text{otherwise}}\end{cases}}$

(ध्यान दें कि n = 0 के लिए, द्विआधारी संक्रिया पहले तर्क को अनदेखा करके अनिवार्य रूप से एक एकाधारी संक्रिया (आनुक्रमिक फलन) को कम कर देता है।

n = 0, 1, 2, 3 के लिए, यह परिभाषा आनुक्रमिक फलन (जो कि एक एकल संक्रिया है), योग, गुणन और घातांक के मूल अंकगणितीय संक्रियाओं को क्रमशः पुन: प्रस्तुत करती है, जैसा कि

${\begin{aligned}H_{0}(a,b)&=b+1,\\H_{1}(a,b)&=a+b,\\H_{2}(a,b)&=a\times b,\\H_{3}(a,b)&=a\uparrow {b}=a^{b}.\end{aligned}}$

$H_{n}$संक्रियाएं, n ≥ 3 के लिए नुथ के अप-तीर संकेत पद्धति में लिखी जा सकती हैं।

इस प्रकार घातांक के बाद अगला संक्रिया क्या होगा?

हमने गुणन को परिभाषित किया जिससे

$H_{2}(a,3)=a[2]3=a\times 3=a+a+a,$ और घातांक परिभाषित किया जिससे $H_{3}(a,3)=a[3]3=a\uparrow 3=a^{3}=a\times a\times a,$ इसलिए अगले संक्रिया, टेट्रेशन को परिभाषित करना तर्कसंगत लगता है, इस प्रकार

$H_{4}(a,3)=a[4]3=a\uparrow \uparrow 3=\operatorname {tetration} (a,3)=a^{a^{a}},$ तीन 'ए' के ​​स्तंभ के साथ। समान रूप से, (ए, 3) का पेंटेशन टेट्रेशन (ए, टेट्रेशन (ए, ए)) होगा, जिसमें तीन ए होंगे।

${\begin{aligned}H_{4}(a,b)&=a\uparrow \uparrow {b},\\H_{5}(a,b)&=a\uparrow \uparrow \uparrow {b},\\\ldots &\\H_{n}(a,b)&=a\uparrow ^{n-2}b{\text{ for }}n\geq 3,\\\ldots &\\\end{aligned}}$

नुथ के अंकन को ऋणात्मक सूचकांकों ≥ -2 तक इस तरह बढ़ाया जा सकता है जैसे कि अनुक्रमण में अंतराल को छोड़कर पूरे उच्च संक्रिया अनुक्रम से सहमत होना:

$H_{n}(a,b)=a\uparrow ^{n-2}b{\text{ for }}n\geq 0.$

उच्च संक्रियाओं को इस प्रकार प्रश्न के उत्तर के रूप में देखा जा सकता है कि अनुक्रम में अगला क्या है: अनुक्रमिक कार्य, जोड़, गुणन और घातांक इत्यादि। ध्यान देने योग्य बात यह है कि

${\begin{aligned}a+b&=(a+(b-1))+1\\a\cdot b&=a+(a\cdot (b-1))\\a^{b}&=a\cdot \left(a^{(b-1)}\right)\\a[4]b&=a^{a[4](b-1)}\end{aligned}}$

मूलभूत अंकगणितीय संचालन के बीच संबंध को चित्रित किया गया है, जिससे उच्च संचालन को ऊपर के रूप में स्वाभाविक रूप से परिभाषित किया जा सकता है। उच्च संक्रिया पदानुक्रम के मापदंडों को कभी-कभी उनके अनुरूप घातांक शब्द द्वारा संदर्भित किया जाता है; इसलिए a आधार' ,और b 'घातांक' (या उच्चघातांक) है, और n 'क्रम ' (या श्रेणी) है, और इसके अलावा, $H_{n}(a,b)$ को a के bth n-ation के रूप में पढ़ा जाता है, उदहारण ; $H_{4}(7,9)$ 7 के 9वें टेट्रेशन के रूप में पढ़ा जाता है, और $H_{123}(456,789)$ 456 के 789वें 123-एशन के रूप में पढ़ा जाता है।

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

परिभाषा, पुनरावृत्ति का प्रयोग

किसी फलन f के पुनरावृत्ति को दो चर के रूप में इस प्रकार परिभाषित किया जाता है,

$f^{x}(a,b)={\begin{cases}f(a,b)&{\text{if }}x=1\\f(a,f^{x-1}(a,b))&{\text{if }}x>1\end{cases}}$

उच्च संक्रिया अनुक्रम को पुनरावृति के संदर्भ में निम्नानुसार परिभाषित किया जा सकता है। सभी पूर्णांकों के लिए $x,n,a,b\geq 0,$ परिभाषित करना

${\begin{array}{lcl}H_{0}(a,b)&=&b+1\\H_{1}(a,0)&=&a\\H_{2}(a,0)&=&0\\H_{n+3}(a,0)&=&1\\H_{n+1}(a,b+1)&=&H_{n}^{b+1}(a,H_{n+1}(a,0))\\H_{n}^{x+2}(a,b)&=&H_{n}(a,H_{n}^{x+1}(a,b))\end{array}}$

जैसा कि पुनरावृत्ति साहचर्य है, अंतिम पंक्ति को इसके द्वारा प्रतिस्थापित किया जा सकता है

${\begin{array}{lcl}H_{n}^{x+2}(a,b)&=&H_{n}^{x+1}(a,H_{n}(a,b))\end{array}}$

संगणना

उच्च संक्रिया अनुक्रम की परिभाषाएँ स्वाभाविक रूप से पुनर्लेखन टर्म रीराइटिंग सिस्टम (TRS) में स्थानांतरित की जा सकती हैं।

=== टीआरएस परिभाषा उप 1.1 === पर आधारित है|

उच्च संक्रिया अनुक्रम की मूल परिभाषा निम्न नियमों से मिलती जुलती है

${\begin{array}{lll}{\text{(r1)}}&H(0,a,b)&\rightarrow &S(b)\\{\text{(r2)}}&H(S(0),a,0)&\rightarrow &a\\{\text{(r3)}}&H(S(S(0)),a,0)&\rightarrow &0\\{\text{(r4)}}&H(S(S(S(n))),a,0)&\rightarrow &S(0)\\{\text{(r5)}}&H(S(n),a,S(b))&\rightarrow &H(n,a,H(S(n),a,b))\end{array}}$

$H_{n}(a,b)$ का गणना करना केलिए कोई ढेर(अमूर्त डेटा प्रकार) का उपयोग कर सकता है, जिसमें प्रारंभ में $\langle n,a,b\rangle$.तत्व होते हैं|

फिर, बार-बार जब तक संभव न हो, तीन तत्वों को पॉप किया जाता है और नियमों के अनुसार प्रतिस्थापित किया जाता है

${\begin{array}{lllllllll}{\text{(r1)}}&0&,&a&,&b&\rightarrow &(b+1)\\{\text{(r2)}}&1&,&a&,&0&\rightarrow &a\\{\text{(r3)}}&2&,&a&,&0&\rightarrow &0\\{\text{(r4)}}&(n+3)&,&a&,&0&\rightarrow &1\\{\text{(r5)}}&(n+1)&,&a&,&(b+1)&\rightarrow &n&,&a&,&(n+1)&,&a&,&b\end{array}}$

योजनाबद्ध रूप से, $\langle n,a,b\rangle$से शुरू  :

जबकि ढेर की लंबाई <> 1
{
   पीओपी 3 तत्व;
   PUSH 1 या 5 तत्व नियमों के अनुसार r1, r2, r3, r4, r5;
}

उदाहरण

$H_{2}(2,2)\rightarrow _{*}4$.गणना करना

घटाव क्रम है

${\underline {H(S(S(0)),S(S(0)),S(S(0)))}}$

$\rightarrow _{r5}H(S(0),S(S(0)),{\underline {H(S(S(0)),S(S(0)),S(0))}})$

$\rightarrow _{r5}H(S(0),S(S(0)),H(S(0),S(S(0)),{\underline {H(S(S(0)),S(S(0)),0)}}))$

$\rightarrow _{r3}H(S(0),S(S(0)),{\underline {H(S(0),S(S(0)),0)}})$

$\rightarrow _{r2}{\underline {H(S(0),S(S(0)),S(S(0)))}}$

$\rightarrow _{r5}H(0,S(S(0)),{\underline {H(S(0),S(S(0)),S(0))}})$

$\rightarrow _{r5}H(0,S(S(0)),H(0,S(S(0)),{\underline {H(S(0),S(S(0)),0)}}))$

$\rightarrow _{r2}H(0,S(S(0)),{\underline {H(0,S(S(0)),S(S(0)))}})$

$\rightarrow _{r1}{\underline {H(0,S(S(0)),S(S(S(0))))}}$

$\rightarrow _{r1}S(S(S(S(0))))$

आगत (2, 2, 2) पर ढेर का उपयोग करते समय लागू किया गया

the stack configurations	represent the equations
${\underline {2,2,2}}$	$H_{2}(2,2)$
$\rightarrow _{r5}1,2,{\underline {2,2,1}}$	$=H_{1}(2,H_{2}(2,1))$
$\rightarrow _{r5}1,2,1,2,{\underline {2,2,0}}$	$=H_{1}(2,H_{1}(2,H_{2}(2,0)))$
$\rightarrow _{r3}1,2,{\underline {1,2,0}}$	$=H_{1}(2,H_{1}(2,0))$
$\rightarrow _{r2}{\underline {1,2,2}}$	$=H_{1}(2,2)$
$\rightarrow _{r5}0,2,{\underline {1,2,1}}$	$=H_{0}(2,H_{1}(2,1))$
$\rightarrow _{r5}0,2,0,2,{\underline {1,2,0}}$	$=H_{0}(2,H_{0}(2,H_{1}(2,0)))$
$\rightarrow _{r2}0,2,{\underline {0,2,2}}$	$=H_{0}(2,H_{0}(2,2))$
$\rightarrow _{r1}{\underline {0,2,3}}$	$=H_{0}(2,3)$
$\rightarrow _{r1}4$

टीआरएस परिभाषा उप 1.2 पर आधारित है

पुनरावृत्ति का उपयोग करने वाली परिभाषा में कमी के नियमों का एक अलग समुच्चय होता है

${\begin{array}{lll}{\text{(r6)}}&H(S(0),0,a,b)&\rightarrow &S(b)\\{\text{(r7)}}&H(S(0),S(0),a,0)&\rightarrow &a\\{\text{(r8)}}&H(S(0),S(S(0)),a,0)&\rightarrow &0\\{\text{(r9)}}&H(S(0),S(S(S(n))),a,0)&\rightarrow &S(0)\\{\text{(r10)}}&H(S(0),S(n),a,S(b))&\rightarrow &H(S(b),n,a,H(S(0),S(n),a,0))\\{\text{(r11)}}&H(S(S(x)),n,a,b)&\rightarrow &H(S(0),n,a,H(S(x),n,a,b))\end{array}}$

जैसा कि पुनरावृत्ति साहचर्य है, नियम r11 के बजाय इस प्रकार परिभाषित किया जा सकता है

${\begin{array}{lll}{\text{(r12)}}&H(S(S(x)),n,a,b)&\rightarrow &H(S(x),n,a,H(S(0),n,a,b))\end{array}}$

पिछले खंड की तरह $H_{n}(a,b)=H_{n}^{1}(a,b)$ की गणना ढेर का उपयोग करके कार्यान्वित किया जा सकता है।

प्रारंभ में ढेर में चार तत्व $\langle 1,n,a,b\rangle$.होते हैं

फिर, समाप्ति तक, चार तत्वों को पॉपअप किया जाता है और नियमों के अनुसार प्रतिस्थापित किया जाता है:${\begin{array}{lllllllll}{\text{(r6)}}&1&,0&,a&,b&\rightarrow &(b+1)\\{\text{(r7)}}&1&,1&,a&,0&\rightarrow &a\\{\text{(r8)}}&1&,2&,a&,0&\rightarrow &0\\{\text{(r9)}}&1&,(n+3)&,a&,0&\rightarrow &1\\{\text{(r10)}}&1&,(n+1)&,a&,(b+1)&\rightarrow &(b+1)&,n&,a&,1&,(n+1)&,a&,0\\{\text{(r11)}}&(x+2)&,n&,a&,b&\rightarrow &1&,n&,a&,(x+1)&,n&,a&,b\end{array}}$

योजनाबद्ध रूप से, $\langle 1,n,a,b\rangle$से शुरू  :

जबकि ढेर की लंबाई <> 1
{
   पीओपी 4 तत्व;
   पुश 1 या 7 तत्व नियम r6, r7, r8, r9, r10, r11 के अनुसार;
}

उदाहरण

गणना करना $H_{3}(0,3)\rightarrow _{*}0$.

आगत पर $\langle 1,3,0,3\rangle$ क्रमिक ढेर विन्यास हैं

${\begin{aligned}&{\underline {1,3,0,3}}\rightarrow _{r10}3,2,0,{\underline {1,3,0,0}}\rightarrow _{r9}{\underline {3,2,0,1}}\rightarrow _{r11}1,2,0,{\underline {2,2,0,1}}\rightarrow _{r11}1,2,0,1,2,0,{\underline {1,2,0,1}}\\&\rightarrow _{r10}1,2,0,1,2,0,1,1,0,{\underline {1,2,0,0}}\rightarrow _{r8}1,2,0,1,2,0,{\underline {1,1,0,0}}\rightarrow _{r7}1,2,0,{\underline {1,2,0,0}}\rightarrow _{r8}{\underline {1,2,0,0}}\rightarrow _{r8}0.\end{aligned}}$

संगत समानताएं हैं

${\begin{aligned}&H_{3}(0,3)=H_{2}^{3}(0,H_{3}(0,0))=H_{2}^{3}(0,1)=H_{2}(0,H_{2}^{2}(0,1))=H_{2}(0,H_{2}(0,H_{2}(0,1))\\&=H_{2}(0,H_{2}(0,H_{1}(0,H_{2}(0,0))))=H_{2}(0,H_{2}(0,H_{1}(0,0)))=H_{2}(0,H_{2}(0,0))=H_{2}(0,0)=0.\end{aligned}}$

जब न्यूनीकरण नियम 11 को नियम r12 से बदल दिया जाता है, तो ढेर इस प्रकार रूपांतरित हो जाता है

${\begin{array}{lllllllll}{\text{(r12)}}&(x+2)&,n&,a&,b&\rightarrow &(x+1)&,n&,a&,1&,n&,a&,b\end{array}}$

क्रमिक ढेर संरूपण तब होगा

${\begin{aligned}&{\underline {1,3,0,3}}\rightarrow _{r10}3,2,0,{\underline {1,3,0,0}}\rightarrow _{r9}{\underline {3,2,0,1}}\rightarrow _{r12}2,2,0,{\underline {1,2,0,1}}\rightarrow _{r10}2,2,0,1,1,0,{\underline {1,2,0,0}}\\&\rightarrow _{r8}2,2,0,{\underline {1,1,0,0}}\rightarrow _{r7}{\underline {2,2,0,0}}\rightarrow _{r12}1,2,0,{\underline {1,2,0,0}}\rightarrow _{r8}{\underline {1,2,0,0}}\rightarrow _{r8}0\end{aligned}}$

संगत समानताएं हैं

${\begin{aligned}&H_{3}(0,3)=H_{2}^{3}(0,H_{3}(0,0))=H_{2}^{3}(0,1)=H_{2}^{2}(0,H_{2}(0,1))=H_{2}^{2}(0,H_{1}(0,H_{2}(0,0)))\\&=H_{2}^{2}(0,H_{1}(0,0))=H_{2}^{2}(0,0)=H_{2}(0,H_{2}(0,0))=H_{2}(0,0)=0\end{aligned}}$

टिप्पणियां

• $H_{3}(0,3)=0$ एक विशेष मामला है। नीचे देखें।* $H_{n}(a,b)$ की गणना नियमों के मुताबिक {आर 6 - आर 10, आर 11} भारी पुनरावर्तन है। अभियुक्त वह क्रम है जिसमे$H^{n}(a,b)=H(a,H^{n-1}(a,b))$.पुनरावृत्ति निष्पादित होती है, सबसे पहला $H$ पूरे क्रम के सामने आने के बाद ही गायब हो जाता है। उदाहरण के लिए, $H_{4}(2,4)$ 2863311767 चरणों में 65536 में परिवर्तित हो जाता है, पुनरावर्तन की अधिकतम गहराई 65534 है।
• नियमों के अनुसार गणना {r6 - r10, r12} उस संबंध में अधिक कुशल है। पुनरावृत्ति का कार्यान्वयन $H^{n}(a,b)$ जैसा $H^{n-1}(a,H(a,b))$ एक प्रक्रिया एच के बार-बार निष्पादन की नकल करता है। पुनरावर्तन की गहराई, (n+1), लूप नेस्टिंग से मेल खाती है। Meyer & Ritchie (1967) इस पत्राचार को औपचारिक रूप दिया। की गणना $H_{4}(2,4)$ नियमों के अनुसार {r6-r10, r12} को भी 65536 पर अभिसरण करने के लिए 2863311767 चरणों की आवश्यकता होती है, लेकिन पुनरावर्तन की अधिकतम गहराई केवल 5 है, क्योंकि उच्च संक्रिया अनुक्रम में टेट्रेशन 5वां संचालक है।
• उपरोक्त विचार केवल पुनरावर्ती गहराई से संबंधित हैं। पुनरावृति का कोई भी तरीका समान नियमों को शामिल करते हुए समान संख्या में कटौती चरणों की ओर ले जाता है (जब नियम r11 और r12 को समान माना जाता है)। जैसा कि उदाहरण $H_{3}(0,3)$ की कमी दर्शाता है और 9 चरणों में परिवर्तित होता है: 1 X r7, 3 X r8, 1 X r9, 2 X r10, 2 X r11/r12। कार्यप्रणाली केवल उस क्रम को प्रभावित करती है जिसमें कटौती नियम लागू होते हैं।

उदाहरण

नीचे पहले सात (0वें से 6वें) उच्च संक्रिया की सूची दी गई है (0⁰ को 1 के रूप में परिभाषित किया गया है)।

n	Operation, Hn(a, b)	Definition	Names	Domain
0	$1+b$ or $a[0]b$	$1+\underbrace {1+1+1+\cdots +1+1+1} _{\displaystyle b{\mbox{ copies of 1}}}$	hyper0, increment, successor, zeration	Arbitrary
1	$a+b$ or $a[1]b$	$a+\underbrace {1+1+1+\cdots +1+1+1} _{\displaystyle b{\mbox{ copies of 1}}}$	hyper1, addition	Arbitrary
2	$a\cdot b$ or $a[2]b$	$\underbrace {a+a+a+\cdots +a+a+a} _{\displaystyle b{\mbox{ copies of }}a}$	hyper2, multiplication	Arbitrary
3	$a^{b}$ or $a[3]b$	$\underbrace {a\cdot a\cdot a\cdot \;\cdots \;\cdot a\cdot a\cdot a} _{\displaystyle b{\mbox{ copies of }}a}$	hyper3, exponentiation	b real, with some multivalued extensions to complex numbers
4	$^{b}a$ or $a[4]b$	$\underbrace {a[3](a[3](a[3](\cdots [3](a[3](a[3]a))\cdots )))} _{\displaystyle b{\mbox{ copies of }}a}$	hyper4, tetration	a ≥ 0 or an integer, b an integer ≥ −1 (with some proposed extensions)
5	$a[5]b$	$\underbrace {a[4](a[4](a[4](\cdots [4](a[4](a[4]a))\cdots )))} _{\displaystyle b{\mbox{ copies of }}a}$	hyper5, pentation	a, b integers ≥ −1
6	$a[6]b$	$\underbrace {a[5](a[5](a[5](\cdots [5](a[5](a[5]a))\cdots )))} _{\displaystyle b{\mbox{ copies of }}a}$	hyper6, hexation	a, b integers ≥ −1

विशेष मामले

एच_n(0, बी) =

बी + 1, जब एन = 0

बी, जब एन = 1

0, जब एन = 2

1, जब n = 3 और b = 0

0, जब n = 3 और b > 0 :1, जब n > 3 और b सम हैं (0 सहित)

0, जब n > 3 और b विषम है

एच_n(1, बी) =

बी, जब एन = 2

1, जब n ≥ 3

एच_n(ए, 0) =

0, जब एन = 2

1, जब n = 0, या n ≥ 3

ए, जब एन = 1

एच_n(ए, 1) =

ए, जब एन ≥ 2

एच_n(ए, ए) =

एच_n+1(ए, 2), जब एन ≥ 1

एच_n(ए, -1) =: 0, जब n = 0, या n ≥ 4

ए - 1, जब एन = 1

−a, जब n = 2

1/a , जब एन = 3

एच_n(2, 2) =

3, जब n = 0

4, जब n ≥ 1, पुनरावर्ती रूप से आसानी से प्रदर्शित होता है।

इतिहास

उच्च संक्रियाओं की शुरुआती चर्चाओं में से एक अल्बर्ट बेनेट की चर्चा थी | 1914 में, जिन्होंने क्रम विनिमेय नियम के उच्च संक्रियाओं के कुछ सिद्धांत विकसित किए (देखें #क्रम विनिमेय नियम उच्च संक्रिया )। लगभग 12 साल बाद, विल्हेम एकरमैन ने फलन को परिभाषित किया $\phi (a,b,n)$ जो कुछ हद तक उच्च संक्रिया क्रम जैसा दिखता है।

अपने 1947 के कागज़ में, रूबेन गुडस्टीन ने संचालन के विशिष्ट अनुक्रम की शुरुआत की, जिसे अब उच्च संक्रिया कहा जाता है, और एक्सपोनेंटिएशन से परे विस्तारित संचालन के लिए ग्रीक नाम टेट्राटेशन, पेंटेशन आदि का भी सुझाव दिया (क्योंकि वे सूचकांक 4, 5, आदि के अनुरूप हैं)। तीन-तर्क फलन के रूप में, उदाहरण के लिए, $G(n,a,b)=H_{n}(a,b)$, संपूर्ण उच्च संक्रिया अनुक्रम को मूल एकरमैन फलन का एक संस्करण माना जाता है $\phi (a,b,n)$ - संगणनीय कार्य लेकिन आदिम पुनरावर्ती नहीं - जैसा कि गुडस्टीन द्वारा आदिम आनुक्रमिक कार्य को अंकगणित (अतिरिक्त, गुणन, घातांक) के अन्य तीन मूलभूत कार्यों के साथ सम्मिलित करने के लिए संशोधित किया गया है, और घातांक के बाहर  इनका अधिक सहज विस्तार करने के लिए संशोधन किया गया ।

मूल तीन-तर्क वाला एकरमैन फलन $\phi$ उसी पुनरावर्तन नियम का उपयोग करता है जैसा कि गुडस्टीन के संस्करण (यानी, उच्चसंक्रिया अनुक्रम) करता है, लेकिन इससे दो तरह से भिन्न होता है। प्रथम, $\phi (a,b,n)$ अनुक्रमिक फलन के बजाय जोड़ (n = 0) से शुरू होने वाले संचालन के अनुक्रम को परिभाषित करता है, फिर गुणन (n = 1), घातांक (n = 2), आदि। दूसरे, के लिए प्रारंभिक शर्तें $\phi$ परिणाम होना $\phi (a,b,3)=G(4,a,b+1)=a[4](b+1)$, इस प्रकार घातांक के बाहर उच्च संक्रिया से भिन्न। पिछले व्यंजक में b + 1 का महत्व यही है $\phi (a,b,3)$ = $a^{a^{\cdot ^{\cdot ^{\cdot ^{a}}}}}$, जहाँ b ऑपरेंड (a s) की संख्या की गणना करने के बजाय संचालको (घातांक) की संख्या की गणना करता है, जैसा कि b में $a[4]b$,होता है और इसी तरह उच्च-स्तरीय संचालन के लिए। (विवरण के लिए एकरमैन फलन आलेख देखें।)

संकेत पद्धति

यह संकेत पद्धति की एक सूची है जिसका उपयोग उच्च संक्रिया के लिए किया गया है।

Name	Notation equivalent to $H_{n}(a,b)$	Comment
Knuth's up-arrow notation	$a\uparrow ^{n-2}b$	Used by Knuth (for n ≥ 3), and found in several reference books.
Hilbert's notation	$\phi _{n}(a,b)$	Used by David Hilbert.
Goodstein's notation	$G(n,a,b)$	Used by Reuben Goodstein.
Original Ackermann function	${\begin{matrix}\phi (a,b,n-1)\ {\text{ for }}1\leq n\leq 3\\\phi (a,b-1,n-1)\ {\text{ for }}n\geq 4\end{matrix}}$	Used by Wilhelm Ackermann (for n ≥ 1)
Ackermann–Péter function	$A(n,b-3)+3\ {\text{for }}a=2$	This corresponds to hyperoperations for base 2 (a = 2)
Nambiar's notation	$a\otimes ^{n-1}b$	Used by Nambiar (for n ≥ 1)
Superscript notation	$a{}^{(n)}b$	Used by Robert Munafo.
Subscript notation (for lower hyperoperations)	$a{}_{(n)}b$	Used for lower hyperoperations by Robert Munafo.
Operator notation (for "extended operations")	$aO_{n-1}b$	Used for lower hyperoperations by John Doner and Alfred Tarski (for n ≥ 1).
Square bracket notation	$a[n]b$	Used in many online forums; convenient for ASCII.
Conway chained arrow notation	$a\to b\to (n-2)$	Used by John Horton Conway (for n ≥ 3)

एक से शुरू होने वाला संस्करण

Main article: Ackermann function

1928 में, विल्हेम एकरमैन ने एक 3-तर्क फलन $\phi (a,b,n)$ को परिभाषित किया जो धीरे-धीरे एक 2-तर्क फलन में विकसित हुआ जिसे एकरमैन फलन के रूप में जाना जाता है। मूल एकरमैन फलन $\phi$ आधुनिक उच्च संक्रियाओं के समान कम था, क्योंकि उसकी शुरुआती स्थितियां $\phi (a,0,n)=a$ सभी n > 2 के लिए शुरू होती हैं। साथ ही उन्होंने n = 0, गुणा को n = 1 और घातांक को n = 2 के लिए जोड़ दिया, इसलिए प्रारंभिक स्थितियां टेट्राटेशन और उससे आगे के लिए बहुत अलग संचालन उत्पन्न करती हैं।

n	Operation	Comment
0	$F_{0}(a,b)=a+b$
1	$F_{1}(a,b)=a\cdot b$
2	$F_{2}(a,b)=a^{b}$
3	$F_{3}(a,b)=a[4](b+1)$	An offset form of tetration. The iteration of this operation is different than the iteration of tetration.
4	$F_{4}(a,b)=(x\mapsto a[4](x+1))^{b}(a)$	Not to be confused with pentation.

एक अन्य प्रारंभिक स्थिति जिसका उपयोग $A(0,b)=2b+1$ (जहां $a=2$आधार स्थिर है )किया गया है , Rózsa Péter के कारण, जो उच्चसंक्रिया पदानुक्रम नहीं बनाता है।0 से शुरू होने वाला संस्करण है|

1984 में, C. W. Clenshaw और F. W. J. Olver ने संगणक तैरनेवाला स्थल या फ़्लोटिंग-पॉइंट ओवरफ़्लो को रोकने के लिए उच्च संक्रिया का उपयोग करने की चर्चा शुरू की।

तब से, कई अन्य लेखक फ़्लोटिंग पॉइंट | फ़्लोटिंग-पॉइंट प्रतिनिधित्व के लिए उच्चसंक्रिया के अनुप्रयोग में नए सिरे से रुचि है। (चूंकि एच_n(ए, बी) सभी बी = -1 के लिए परिभाषित हैं।) टेट्रेशन पर चर्चा करते समय, क्लेंशॉ एट अल। प्रारंभिक स्थिति मान ली $F_{n}(a,0)=0$, जो एक और उच्चसंक्रिया पदानुक्रम बनाता है। पिछले संस्करण की तरह, चौथा संक्रिया टेट्रेशन के समान ही है, लेकिन एक प्रतिसंतुलन समुच्चय होता है।

n	Operation	Comment
0	$F_{0}(a,b)=b+1$
1	$F_{1}(a,b)=a+b$
2	$F_{2}(a,b)=a\cdot b=e^{\ln(a)+\ln(b)}$
3	$F_{3}(a,b)=a^{b}$
4	$F_{4}(a,b)=a[4](b-1)$	An offset form of tetration. The iteration of this operation is much different than the iteration of tetration.
5	$F_{5}(a,b)=\left(x\mapsto a[4](x-1)\right)^{b}(0)=0{\text{ if }}a>0$	Not to be confused with pentation.

निम्न उच्चसंक्रिया

इन उच्चसंक्रिया के लिए एक विकल्प बाएं से दाएं मूल्यांकन द्वारा प्राप्त किया जाता है। तब से

${\begin{aligned}a+b&=(a+(b-1))+1\\a\cdot b&=(a\cdot (b-1))+a\\a^{b}&=\left(a^{(b-1)}\right)\cdot a\end{aligned}}$

(° या सबस्क्रिप्ट के साथ) परिभाषित किया जाता है

$a_{(n+1)}b=\left(a_{(n+1)}(b-1)\right)_{(n)}a$

साथ

${\begin{aligned}a_{(1)}b&=a+b\\a_{(2)}0&=0\\a_{(n)}1&=a&{\text{for }}n>2\\\end{aligned}}$

इसे डोनर और टार्स्की द्वारा क्रमिक संख्याओं तक बढ़ाया गया था,

जिससे :

${\begin{aligned}\alpha O_{0}\beta &=\alpha +\beta \\\alpha O_{\gamma }\beta &=\sup \limits _{\eta <\beta ,\xi <\gamma }(\alpha O_{\gamma }\eta )O_{\xi }\alpha \end{aligned}}$

परिभाषा 1(i), उपप्रमेय 2(ii), और प्रमेय 9 से यह पता चलता है कि, a ≥ 2 और b ≥ 1 के लिए, कि

$aO_{n}b=a_{(n+1)}b$

लेकिन यह एक प्रकार के पतन से ग्रस्त है, पारंपरिक रूप से उच्च संचालको से अपेक्षित पावर टावर बनाने में विफल है:

$\alpha _{(4)}(1+\beta )=\alpha ^{\left(\alpha ^{\beta }\right)}.$

यदि α ≥ 2 और γ ≥ 2,^{[परिणाम 33(i)]}:$\alpha _{(1+2\gamma +1)}\beta \leq \alpha _{(1+2\gamma )}(1+3\alpha \beta ).$

n	Operation	Comment
0	$F_{0}(a,b)=a+1$	increment, successor, zeration
1	$F_{1}(a,b)=a+b$
2	$F_{2}(a,b)=a\cdot b$
3	$F_{3}(a,b)=a^{b}$
4	$F_{4}(a,b)=a^{\left(a^{(b-1)}\right)}$	Not to be confused with tetration.
5	$F_{5}(a,b)=\left(x\mapsto x^{x^{(a-1)}}\right)^{b-1}(a)$	Not to be confused with pentation. Similar to tetration.

क्रम विनिमेय उच्चसंक्रिया

1914 की शुरुआत में अल्बर्ट बेनेट द्वारा क्रम विनिमेय उच्चसंक्रिया ओं पर विचार किया गया था, जो संभवतः किसी भी उच्चसंक्रिया क्रम के बारे में सबसे पहली टिप्पणी है। क्रम विनिमेय उच्चसंक्रिया को पुनरावर्तन नियम द्वारा परिभाषित किया गया है

$F_{n+1}(a,b)=\exp(F_{n}(\ln(a),\ln(b)))$

जो ए और बी में सममित है, जिसका अर्थ है कि सभी उच्चसंक्रिया क्रम विनिमेय हैं। इस क्रम में घातांक सम्मिलित नहीं है, और इसलिए यह उच्चसंक्रिया पदानुक्रम नहीं बनाता है।

n	Operation	Comment
0	$F_{0}(a,b)=\ln \left(e^{a}+e^{b}\right)$	Smooth maximum
1	$F_{1}(a,b)=a+b$
2	$F_{2}(a,b)=a\cdot b=e^{\ln(a)+\ln(b)}$	This is due to the properties of the logarithm.
3	$F_{3}(a,b)=a^{\ln(b)}=e^{\ln(a)\ln(b)}$
4	$F_{4}(a,b)=e^{e^{\ln(\ln(a))\ln(\ln(b))}}$	Not to be confused with tetration.

उच्चसंक्रिया अनुक्रम पर आधारित संख्या प्रणाली

रूबेन गुडस्टीन आर. एल गुडस्टीन गैर-नकारात्मक पूर्णांकों के लिए अंकन की प्रणाली बनाने के लिए उच्च संचालको के अनुक्रम का उपयोग किया। स्तर k और बेस b पर पूर्णांक n का तथाकथित पूर्ण वंशानुगत प्रतिनिधित्व, केवल पहले k उच्च संचालको का उपयोग करके और आधार के साथ केवल 0, 1, ..., b - 1 अंकों के रूप में उपयोग करके व्यक्त किया जा सकता है। बी ही:

• 0 ≤ n ≤ b − 1 के लिए, n को केवल संबंधित अंक द्वारा दर्शाया जाता है।
• n > b − 1 के लिए, n का निरूपण पुनरावर्ती रूप से पाया जाता है, पहले रूप में n का प्रतिनिधित्व करता है

बी [के] एक्स_k [के - 1] एक्स_{k − 1} [के - 2] ... [2] एक्स₂ [1] एक्स₁

जहां एक्स_k, ..., एक्स₁ संतोषजनक सबसे बड़े पूर्णांक हैं (बदले में)

बी [के] एक्स_k ≤ एन

बी [के] एक्स_k [के - 1] एक्स_{k − 1} ≤ एन

...

बी [के] एक्स_k [के - 1] एक्स_{k − 1} [के - 2] ... [2] एक्स₂ [1] एक्स₁ ≤ एन

कोई एक्स_i b − 1 से अधिक होने पर उसी तरीके से फिर से व्यक्त किया जाता है, और इसी तरह, इस प्रक्रिया को तब तक दोहराया जाता है जब तक परिणामी रूप में केवल अंक 0, 1, ..., b − 1, आधार b के साथ न हो।

मूल्यांकन के क्रम में उच्च स्तरीय संचालको को उच्च प्राथमिकता देकर अनावश्यक कोष्ठकों से बचाया जा सकता है; इस प्रकार,

स्तर -1 अभ्यावेदन का रूप b [1] X है, जिसमें X भी इसी रूप का है;

स्तर -2 अभ्यावेदन का रूप b [2] X [1] Y है, जिसमें X, Y भी इसी रूप का है;

स्तर -3 अभ्यावेदन का रूप b [3] X [2] Y [1] Z है, जिसमें X, Y, Z भी इसी रूप का है;

स्तर -4 अभ्यावेदन का रूप b [4] X [3] Y [2] Z [1] W है, जिसमें X,Y,Z,W भी इसी रूप का है;

और इसी तरह।

इस प्रकार के आधार-बी वंशानुगत प्रतिनिधित्व में, आधार स्वयं अभिव्यक्तियों में प्रकट होता है, साथ ही समुच्चय {0, 1, ..., बी - 1} से अंक भी प्रकट होता है। यह सामान्य आधार-2 प्रतिनिधित्व की तुलना करता है जब उत्तरार्द्ध आधार बी के संदर्भ में लिखा जाता है; उदाहरण के लिए, सामान्य आधार-2 अंकन में, 6 = (110)₂ = 2 [3] 2 [2] 1 [1] 2 [3] 1 [2] 1 [1] 2 [3] 0 [2] 0, जबकि स्तर-3 आधार-2 वंशानुगत प्रतिनिधित्व 6 = 2 है [ 3] (2 [3] 1 [2] 1 [1] 0) [2] 1 [1] (2 [3] 1 [2] 1 [1] 0)। [1] 0, [2] 1, [3] 1, [4] 1, आदि के किसी भी उदाहरण को छोड़ कर वंशानुगत अभ्यावेदन को संक्षिप्त किया जा सकता है; उदाहरण के लिए, उपरोक्त स्तर -3 आधार -2 6 का प्रतिनिधित्व 2 [3] 2 [1] 2 को संक्षिप्त करता है।

उदाहरण: 1, 2, 3, 4 और 5 के स्तर पर संख्या 266 (संख्या) का अद्वितीय आधार-2 निरूपण इस प्रकार है:

स्तर 1: 266 = 2 [1] 2 [1] 2 [1] ... [1] 2 (133 2s के साथ)

स्तर 2: 266 = 2 [2] (2 [2] (2 [2] (2 [2] 2 [2] 2 [2] 2 [2] 2 [1] 1)) [1] 1)

स्तर 3: 266 = 2 [3] 2 [3] (2 [1] 1) [1] 2 [3] (2 [1] 1) [1] 2

स्तर 4: 266 = 2 [4] (2 [1] 1) [3] 2 [1] 2 [4] 2 [2] 2 [1] 2

स्तर 5: 266 = 2 [5] 2 [4] 2 [1] 2 [5] 2 [2] 2 [1] 2

यह भी देखें

• बड़ी संख्या

इस पेज में लापता आंतरिक लिंक की सूची

• अंक शास्त्र
• संचालक साहचर्य
• गुणा
• द्विआधारी संक्रिया
• आनुक्रमिक समारोह
• रिकर्सन (संगणकविज्ञान)
• प्रत्यावर्तन
• जोड़नेवाला
• ढेर (सार डेटा प्रकार)
• गणना योग्य समारोह

ग्रन्थसूची

• Ackermann, Wilhelm (1928). "Zum Hilbertschen Aufbau der reellen Zahlen". Mathematische Annalen. 99: 118–133. doi:10.1007/BF01459088. S2CID 123431274.

• Bennett, Albert A. (Dec 1915). "Note on an Operation of the Third Grade". Annals of Mathematics. Second Series. 17 (2): 74–75. doi:10.2307/2007124. JSTOR 2007124.

• Bezem, Marc; Klop, Jan Willem; De Vrijer, Roel (2003). "First-order term rewriting systems". Term Rewriting Systems by "Terese". Cambridge University Press. pp. 38–39. ISBN 0-521-39115-6.

• Black, Paul E. (2009-03-16). "Ackermann's function". Dictionary of Algorithms and Data Structures. U.S. National Institute of Standards and Technology (NIST). Retrieved 2021-08-29.

• Campagnola, Manuel Lameiras; Moore, Cristopher; Félix Costa, José (Dec 2002). "Transfinite Ordinals in Recursive Number Theory". Journal of Complexity. 18 (4): 977–1000. doi:10.1006/jcom.2002.0655.

• Clenshaw, C.W.; Olver, F.W.J. (Apr 1984). "Beyond floating point". Journal of the ACM. 31 (2): 319–328. doi:10.1145/62.322429. S2CID 5132225.

• Cornelius, B.J.; Kirby, G.H. (1975). "Depth of recursion and the ackermann function". BIT Numerical Mathematics. 15 (2): 144–150. doi:10.1007/BF01932687. S2CID 120532578.

• Cowles, J.; Bailey, T. (1988-09-30). "Several Versions of Ackermann's Function". Dept. of Computer Science, University of Wyoming, Laramie, WY. Retrieved 2021-08-29.

• Doner, John; Tarski, Alfred (1969). "An extended arithmetic of ordinal numbers". Fundamenta Mathematicae. 65: 95–127. doi:10.4064/fm-65-1-95-127.

• Friedman, Harvey M. (Jul 2001). "Long Finite Sequences". Journal of Combinatorial Theory. Series A. 95 (1): 102–144. doi:10.1006/jcta.2000.3154.

• Galidakis, I. N. (2003). "Mathematics". Archived from the original on April 20, 2009. Retrieved 2009-04-17.

• Geisler, Daniel (2003). "What lies beyond exponentiation?". Retrieved 2009-04-17.

• Goodstein, Reuben Louis (Dec 1947). "Transfinite Ordinals in Recursive Number Theory". Journal of Symbolic Logic. 12 (4): 123–129. doi:10.2307/2266486. JSTOR 2266486. S2CID 1318943.

• Hilbert, David (1926). "Über das Unendliche". Mathematische Annalen. 95: 161–190. doi:10.1007/BF01206605. S2CID 121888793.

• Holmes, W. N. (Mar 1997). "Composite Arithmetic: Proposal for a New Standard". Computer. 30 (3): 65–73. doi:10.1109/2.573666. Retrieved 2009-04-21.

• Knuth, Donald Ervin (Dec 1976). "Mathematics and Computer Science: Coping with Finiteness". Science. 194 (4271): 1235–1242. Bibcode:1976Sci...194.1235K. doi:10.1126/science.194.4271.1235. PMID 17797067. S2CID 1690489. Retrieved 2009-04-21.

• Littlewood, J. E. (Jul 1948). "Large Numbers". Mathematical Gazette. 32 (300): 163–171. doi:10.2307/3609933. JSTOR 3609933. S2CID 250442130.

• Meyer, Albert R.; Ritchie, Dennis MacAlistair (1967). The complexity of loop programs. ACM '67: Proceedings of the 1967 22nd national conference. doi:10.1145/800196.806014.

• Müller, Markus (1993). "Reihenalgebra" (PDF). Retrieved 2021-11-06.

• Munafo, Robert (1999a). "Versions of Ackermann's Function". Large Numbers at MROB. Retrieved 2021-08-28.

• Munafo, Robert (1999b). "Inventing New Operators and Functions". Large Numbers at MROB. Retrieved 2021-08-28.

• Nambiar, K. K. (1995). "Ackermann Functions and Transfinite Ordinals". Applied Mathematics Letters. 8 (6): 51–53. doi:10.1016/0893-9659(95)00084-4.

• Pinkiewicz, T.; Holmes, N.; Jamil, T. (2000). "Design of a composite arithmetic unit for rational numbers". Proceedings of the IEEE Southeast Con 2000. 'Preparing for the New Millennium' (Cat. No.00CH37105). Proceedings of the IEEE. pp. 245–252. doi:10.1109/SECON.2000.845571. ISBN 0-7803-6312-4. S2CID 7738926.

• Robbins, A. J. (November 2005). "Home of Tetration". Archived from the original on 13 June 2015. Retrieved 2009-04-17.

• Romerio, G. F. (2008-01-21). "Hyperoperations Terminology". Tetration Forum. Retrieved 2009-04-21.

• Rubtsov, C. A.; Romerio, G. F. (December 2005). "Ackermann's Function and New Arithmetical Operation". Retrieved 2009-04-17.

• Weisstein, Eric W. (2003). CRC concise encyclopedia of mathematics, 2nd Edition. CRC Press. pp. 127–128. ISBN 1-58488-347-2.

• Wirz, Marc (1999). "Characterizing the Grzegorczyk hierarchy by safe recursion". CiteSeer. CiteSeerX 10.1.1.42.3374. {{cite journal}}: Cite journal requires |journal= (help)

• Zimmermann, R. (1997). "Computer Arithmetic: Principles, Architectures, and VLSI Design" (PDF). Lecture notes, Integrated Systems Laboratory, ETH Zürich. Archived from the original (PDF) on 2013-08-17. Retrieved 2009-04-17.

• Zwillinger, Daniel (2002). CRC standard mathematical tables and formulae, 31st Edition. CRC Press. p. 4. ISBN 1-58488-291-3.