Rikuro: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
Linio 43:
:<math>1! = 1</math>
 
Uzante la lastan kiel bazan kazon, oni povas difinedifini faktorialon de ĉiu [[naturalo]] rikure:
 
<math>\begin{cases}
Linio 50:
\end{cases}
</math>
 
===Funkcio de Ackermann-Péter===
Funkcio de Ackermann-Péter ([[Akermana funkcio]]) estas klasika plej simpla ekzemplo de funkcio, kiu estas [[komputebla funkcio|komputebla]], sed ne [[primitive rikura funkcio|primitive rikura]] - t.e. oni ne povas difini ĝin sen rikuro (kvankam jam ekzistas pruvitaj manieroj esprimi ĝin per aliaj metodoj). La funkcio, por [[nenegativa]]j entjeroj ''m'' kaj ''n'', difiniĝas jene:
 
:<math> A(m, n) =
\begin{cases}
n+1 & \mbox{ se } m = 0 \\
A(m-1, 1) & \mbox{ se } m > 0 \mbox{ kaj } n = 0 \\
A(m-1, A(m, n-1)) & \mbox{ se } m > 0 \mbox{ kaj } n > 0
\end{cases}
</math>
 
Evidentas, ke la funkcio kreskas treege rapide kaj produktas enormaj nombroj eĉ kun sufiĉe malgrandaj valoroj de ''m'' kaj ''n''. Ekzemple, A(4,2) estas entjero konsistanta je 19,729 numeroj en dekuma sistemo<ref>[http://www.kosara.net/thoughts/ackermann42.html Decimal expansion of A(4,2)]</ref>. Por pli grandaj valoroj oni uzas specialajn notaciojn kiel [[hiperoperatoro]], [[notacio de Knuth]], [[notacio de Conway]] ktp.
 
==== Aliaj Ekzemploj ====