Takeuchi funkció
A Takeuchi , rövidített tak vagy néha tarai függvény rekurzívan bemutat egy Ikuo Takeuchi (竹 内 郁 雄) nevű függvényt . A függvény bemutatása, amely ráadásul meglehetősen egyszerű, nem rekurzív definíciót is elismer, nagyon hosszú számításokat igényelhet, ha a fordító, amely végrehajtja, nem hatékony. Emiatt gyakran használják a rekurzív függvények megvalósításának tesztelésére egy programozási nyelv fordítója által .
Meghatározás
A tak függvény meghatározása rekurzív módon történik:
τ(x,y,z)={τ(τ(x-1,y,z),τ(y-1,z,x),τ(z-1,x,y))ha y<xyEgyéb{\ displaystyle \ tau (x, y, z) = {\ kezdődik {esetek} \ tau (\ tau (x-1, y, z), \ tau (y-1, z, x), \ tau (z -1, x, y)) és {\ text {si}} y <x \\ y & {\ text {különben}} \ vég {esetek}}}![{\ displaystyle \ tau (x, y, z) = {\ kezdődik {esetek} \ tau (\ tau (x-1, y, z), \ tau (y-1, z, x), \ tau (z -1, x, y)) és {\ text {si}} y <x \\ y & {\ text {különben}} \ vég {esetek}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/749d9b38faa92513aaf2bc874c8020954f45c0d9)
Meghatározható egyszerűbben és főleg nem rekurzív módon:
τ(x,y,z)={yha x≤y{zha y≤zxEgyébha x>y{\ displaystyle \ tau (x, y, z) = {\ begin {cases} y & {\ text {si}} x \ leq y \\ {\ begin {cases} z & {\ text {si}} y \ leq z \\ x & {\ text {különben}} \ end {esetek}} & {\ text {si}} x> y \ vég {esetek}}}![{\ displaystyle \ tau (x, y, z) = {\ begin {cases} y & {\ text {si}} x \ leq y \\ {\ begin {cases} z & {\ text {si}} y \ leq z \\ x & {\ text {különben}} \ end {esetek}} & {\ text {si}} x> y \ vég {esetek}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cd940b10c606cd479516d4cbf2e099bd0fae72ae)
A függvény első írásait, amelyet ma tarai függvénynek nevezünk, az y helyett z-t adva írták , de a későbbiekben megváltoztatják őket.
Lásd is
Külső linkek
<img src="https://fr.wikipedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" title="" width="1" height="1" style="border: none; position: absolute;">