首页 > 其他分享 >阿克曼函数(Ackermann function)部分推导

阿克曼函数(Ackermann function)部分推导

时间:2024-02-16 20:23:58浏览次数:34  
标签:function Ackermann && Ack __ 阿克曼

相关题目

已知\(Ackermann function\)为

Ack(m,n)={
n+1__m=0;
Ack(m-1,1)__m>0&&n=0;
Ack(m-1,Ack(m,n-1)__m>0&&n>0.}

当\(m=1\)时

\(Ack(1,n)\)
\(=Ack(0,Ack(1,n-1))=Ack(1,n-1)+1;\)
\(=Ack(0,Ack(1,n-2))+1=Ack(1,n-2)+2;\)
\(=···\)
\(=Ack(1,n-n)+n=Ack(0,1)+n=n+2.\)

当\(m=2\)时

\(Ack(2,n)\)
\(=Ack(1,Ack(2,n-1))=Ack(2,n-1)+2\)(第一条结论)
\(=Ack(1,Ack(2,n-2))+2=Ack(2,n-2)+2*2\)
\(=···\)
\(=Ack(2,n-n)+2*n=2*n+3.\)

当\(m=3\)时

\(Ack(3,n)\)
\(=Ack(2,Ack(3,n-1))=2*Ack(3,n-1)+3\)

暂时就这些了 如果帮到你 我深感荣幸 \(^_^\)

标签:function,Ackermann,&&,Ack,__,阿克曼
From: https://www.cnblogs.com/DrRatio-DanhengYinyue1007/p/18017435

相关文章

  • [Rust] Macros vs. Functions
    InRust,theexclamationmark(!)afteranameindicatesthatitisamacroratherthanafunction.MacrosandfunctionsinRustarecalleddifferentlyandservedifferentpurposes.Macros,likeanyhow!,candothingsthatfunctionscannot,suchasgenera......
  • Go 100 mistakes - #11: Not using the functional options pattern
      Here,WithPortreturnsaclosure.Aclosureisananonymousfunctionthatreferences variablesfromoutsideitsbody;inthiscase,theportvariable.Theclosurerespectsthe Optiontypeandimplementstheport-validationlogic.Eachconfigfieldr......
  • 【Azure Function】Azure Function中使用 Java 8 的安全性问题
    问题描述使用AzureFunction,环境是Linux的Java8。目前OracleJavaJDK8,11,17和OpenJDK8/11/17都在存在漏洞受影响版本的范围内。OpenJDK                 CVEnumbers:    CVE‑2023‑21954CVE‑2023‑21938CVE‑2023‑21937CVE......
  • less报错,Error evaluating function `unit`: the first argument to unit must be a n
    1、less-loader版本太高了,可以降低版本2、lessc的执行参数里面增加一个参数--math=always3、可以关闭严格模式{loader:"less-loader",options:{lessOptions:{strictMath:false,},},}, 4、vite配置可以设置math:"always",......
  • 【Flink】使用CoProcessFunction完成实时对账、基于时间的双流join
    【Flink】使用CoProcessFunction完成实时对账、基于时间的双流join文章目录零处理函数回顾一CoProcessFunction的使用1CoProcessFunction使用2实时对账(1)使用离线数据源(批处理)(2)使用高自定义数据源(流处理)二基于时间的双流Join1基于间隔的Join(1)正向join(2)反向join2......
  • c++ function
    可调用对象函数函数指针函数类lamda表达式bind对象函数类重载了函数调用运算符()的类的对象,称为函数对象。classcallable{public:voidoperator()(intx)const{cout<<"callable::operator():"<<x<<endl;}};intmain(){calla......
  • 洛谷题单指南-递推与递归-P1464 Function
    原题链接:https://www.luogu.com.cn/problem/P1464题意解读:虽然a、b、c可输入的范围比较大,但是递归中,只会限制在0-20以内,由于递归中有大量的重复计算,因此需要采用记忆化搜索来保存已经计算过的递归函数值。解题思路:定义三位数组LLmem[25][25][25],mem[a][b][c]保存w(a,b,c)的......
  • GPT 中的函数调用(function call)是什么?
    在OpenAIChatGPTAPI和GoogleGeminiAPI中我们可以看到函数调用的功能。这个功能是做什么用的?下面大概讲解。以GoogleGeminiAPI函数调用一节中的内容为例,该章节举了一个例子:大语言模型(LLMs)往往无法进行准确的数学运算。比如说,给Gemini两个数\(a\)和\(b\),让它计......
  • ChessFunctions+ActiveXControl+SharedAddIn三合一【Office和VBA中呈现中国象棋】
    本软件由三个项目构成,各自下载链接如下:ChessFunctions链接:https://pan.baidu.com/s/11pMnmd28nHtpTGCU9rwNHg提取码:1234ChessFunctions的帮助文件链接:https://pan.baidu.com/s/1uxJYx8gOd8sNEBlda3onnA提取码:1234ActiveXControl链接:https://pan.baidu.com/s/1CTLcXlQgZaD1_av......
  • 【Azure Function】Function本地调试时遇见跨域问题(blocked by CORS policy)
    问题描述在本地调试AzureFunction时,遇见了跨域问题:AccesstoXMLHttpRequestat'http://localhost:7071/api/HttpTriggerToken?tenantId=b7f6f99f-3045-412a-8828-b3044070857e&documentId=6a8ffc27-026f-498e-9936-f6c55db558e5&userId=test-user&userName=Test+User......