Akermana funkcio: Malsamoj inter versioj

[nekontrolita versio][nekontrolita versio]
Enhavo forigita Enhavo aldonita
e Bot : Replacing raster images with vectorized equivalents - File:AckermannComplexFig2a.jpgFile:Ackermann-complex.svg
JagRoBot (diskuto | kontribuoj)
e Roboto anstataŭigis entojn
Linio 55:
: ''hyper(2, m+1, 3) = hyper(2, m, 4)''
 
Por malgrandaj valoroj de ''m'', 1, 2 aŭ 3, la akermana funkcio kreskas relative malrapide kun kresko de ''n'' (maksimume [[eksponenta funkcia kreskado|eksponente]]). Por ''m≥4'', tamen, ĝi kreskas multe pli rapide; eĉ ''A(4, 2)'' estas proksimume 2&times;102×10<sup>19728</sup>, la rezultoj estas [[grandaj nombroj]]. Por ''m=4'' la valoroj povas ankaŭ esti esprimitaj per [[supereksponento]].
 
Unuargumenta funkcio ''f(n) = A(n, n)'', kreskas ankoraŭ multe pli rapide, pli rapide ol ''A(m, n)'' por ĉiu konstanta ''m''.
Linio 192:
== Inverso ==
 
Pro tio ke la funkcio ''f (n) = A(n, n)'' kreskas tre rapide, ĝia [[retroĵeto]], ''f<sup>-1</sup>'', kreskas tre malrapide. Ĉi tiu '''inversa akermana funkcio''' ''f''<sup>&minus;1−1</sup> estas kutime skribata kiel ''[[α]]''. Fakte, α(n) estas malpli granda ol 5 por ĉiu konjektebla eniga ''n'', pro tio ke ''A(4, 4)'' estas proksimume <math>2^{2^{10^{19729}}}</math>. Se la eniga valoro estas rilatanta al iu iuj valoroj de la reala [[universo]], α(''n'') ofte povas esti estimita kiel estante konstanto.
 
Ĉi tiu inversa funkcio aperas en la tempa [[komputa komplikteorio|komplikeco]] de iuj [[algoritmo]]j, ekzemple la [[disa-ara datumstrukturo]] kaj algoritmo de Bernard Chazelle por [[minimuma generanta arbo]].
Linio 212:
Rekta komputo de ''A(1, n)'' prenas [[lineara tempo|linearan tempon]] de ''n''. Rekta komputo de ''A(2, n)'' postulas [[kvadrata tempo|kvadratan tempon]], pro tio ke ĝi elvolviĝas al ''[[Granda O|O]](n)'' da nestitaj vokoj de ''A(1, k)'' por diversaj ''k''. Komputo de ''A(3, n)'' postulas tempon ''O(4<sup>n+1</sup>)''. La kalkulado de ''A(3, 1)'' en la ekzemplo pli supre prenas 16=4<sup>2</sup> paŝojn.
 
''A''(4, 2) ne povas esti komputita per simpla rikura laŭ la difino en taŭga daŭro. Anstataŭe, formuloj kiel ekzemple ''A(3, n) = 8&times;28×2<sup>n</sup>-3'' estas uzataj por optimumigo de la rikuro.
 
== Vidu ankaŭ ==