作者recorriendo (孟新)
看板Math
標題[離散] recursive function
時間Wed Apr 20 09:48:25 2011
版上有人對 recursive function 有研究的嗎
有一題我卡了很久做不出來
對於自然數 n 定義函數 F (x) 如下
n
F (x) = x+1, F (x) = F (F (...F (x))...) x 取值為自然數(含0)
0 n+1 n n n
╰─迭代x次─╯
定義二元函數 f(n,x) = F (x)。證明：f(n,x) is a recursive function.
n
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 128.12.114.153
1F：→ outshaker :n=1時，迭代0次會有問題 04/20 10:41
2F：→ recorriendo :x=0才會迭代0次 就當他是0 04/20 11:09
3F：→ outshaker :跟x沒關係 F1(x)是F0(x)迭代0次 但次數為零很奇怪 04/20 11:39
4F：→ recorriendo :F1是F0迭代x次 換句話說F1(x)=2x 04/20 12:01
5F：→ outshaker :抱歉，我迭代的地方看錯…這跟我想的不太一樣 04/20 12:38
6F：→ outshaker :我再花點時間想想看好了 04/20 12:40
7F：推 hcsoso :不知道這邊的 recursive 是指 computable 嗎? 04/21 13:33
8F：→ nendi :Fn+1(1)=Fn(1)=Fn^1(1)=Fn^(1-1) (Fn(1))= 0 04/21 17:06
9F：→ nendi :Fn(2)也可以類似方法，總覺得迭代0次似乎怪怪的 @@ 04/21 17:07
10F：→ recorriendo :recursive跟computable等價 這題好像跟universal fun 04/22 01:46
11F：→ recorriendo :ction有關 我應該可以自己弄了 04/22 01:47