[問題] bounded maximalization 計理問題
看板Prob_Solve (計算數學 Problem Solving)作者hokia (叫拎袋鼠出來啪啦！)時間17年前 (2008/04/13 23:17)推噓0(0推 0噓 0→)留言0則, 0人參與討論串1/1
一題計算理論的習題是 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
Prob_Solve 近期熱門文章
PTT數位生活區 即時熱門文章