作者hokia (叫拎袋鼠出来啪啦！)
看板Prob_Solve
标题[问题] bounded maximalization
时间Sun Apr 13 23:17:36 2008
一题计算理论的习题是 show gcd(x,y) is primitive recursive.
我的想法是 max(t<=x,y) (t|x & t|y)
问题是课本只有给bounded minimalization是 primitive recursive
那要如何证明max的亦属於PRC
ie. g(x,y)=max(t<=y) R(x,t)
R(x,t) is primitive recursive predicate
prove g(x,y)is primitive recrsive
PS1:max後面的第一个括号是下标
PS2:gcd的问题先不考虑从lcm解决
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 140.112.4.234