萨维奇（Savitch）定理证明

这里应用了分而治之（divide and conquer）的思想：

递归函数bool CanYield(c1,c2,t)

if(t= =1 && ( c1= =c2 || c1→c2只需一步)) return true;
if(t>1)
{ for(每个格局cm)
　{　bool r1=CanYield(c1,cm,ceil(t/2));
　　bool r2=CanYield(cm,c2,ceil(t/2));
　　if(r1 && r2) return true;
　}
}

return false;

实际上就是求CanYield(cstart,caccept, 2O(f(n)))
分析分析
递归深度log2t，t是步数，所以就是所有分支上的最大可能时间t=2O(f(n))， log2t=O(f(n))
每递归一层，需要补充O(f(n))的空间

因此最大空间： O(f(n)) ×log2t=O(f2(n))。

注意这里的几个问题，首先是 for(每个格局cm)这里每次用的是一个cm时这里注意当返回时空间可以复用。

其次这里关于f(n)的问题，可以通过试探进行解决

萨维奇（Savitch）定理证明相关推荐

UA SIE545 优化理论基础用Farkas定理证明Farkas类的结论
UA SIE545 优化理论基础用Farkas定理证明Farkas类的结论 Farkas定理 AAA是一个m×nm\times nm×n的矩阵,下面两个系统有且仅有一个有解: I:Ax≤0,cTx& ...
UA MATH523A 实分析3 积分理论例题 Fubini定理证明积分不等式
UA MATH523A 实分析3 积分理论例题 Fubini定理证明积分不等式例假设f(x),x∈[0,1]f(x),x \in [0,1]f(x),x∈[0,1]绝对连续,f(0)=0f(0)= ...
UA MATH523A 实分析2 测度论定理证明技巧总结
UA MATH523A 实分析2 测度论定理证明思路总结 σ\sigmaσ-代数测度外测度 Borel测度上一篇总结了测度论部分的概念与定理,这一篇总结一下那22个定理的推导脉络与证明思路. σ ...
UA MATH566 用Basu定理证明统计量不完备
UA MATH566 用Basu定理证明统计量不完备 Basu定理:有界完备最小充分统计量与辅助统计量独立.我们先简单证明一下这个定理,记有界完备最小充分统计量为T(X)T(X)T(X),辅助统计量为 ...
文献记录(part49)--极大熵聚类算法的收敛性定理证明
学习笔记,仅供参考,有错必纠关键词:熵:不动点:聚类算法:收敛极大熵聚类算法的收敛性定理证明摘要有关极大熵聚类算法收敛性的研究是理论研究的一个热点问题,有的学者认为迭代序列的极限点有可能不是目 ...
未来计算机将具有图像识别定理证明,[单选] 低温计与高温计所测温度的分界线为（）。...
[单选] 低温计与高温计所测温度的分界线为(). 更多相关问题 [单选题]向一个栈顶指针为 HS 链式栈中插入一个 s 所指结点时,则执行( ). A. HS à next =s : B. s à n ...
二元函数泰勒公式例题_高等数学期末总复习 DAY 5. 罗尔定理证明题拉格朗日、柯西中值定理泰勒公式及麦克劳林公式...
DAY 5. DAY 5. 1.罗尔定理 2.拉格朗日定理 3.柯西中值定理 4.泰勒公式及麦克劳林公式 1.罗尔定理罗尔定理描述如下: 如果 R 上的函数 f(x) 满足以下条件:(1)在闭区间 ...
素数的有关性质（二）欧拉函数的一些定理证明与计算
文章目录写在前面内容回顾模mmm剩余类环定理模ppp剩余类域定义欧拉函数的定义欧拉函数的性质命题1:欧拉函数等于与mmm互素整数个数命题2:取值为素数ppp的欧拉函数等于p−1p- ...
OpenAI 发布模型实现自动定理证明，妈妈再也不用担心我的数学？
作者 | 八宝粥出品 | CSDN(ID:CSDNnews) OpenAI 大招频出,染指数学江湖日前,OpenAI 研究者Stanislas Polu和Ilya Sutskever在社交媒体发布 ...
tutte定理证明hall定理_县级数学教研网课：有趣的勾股定理证明，课件用几何画板制作...
2020年3月20日,我受县教研室初中数学教研员的邀请,上了一节全县的数学网络公开课,全县共200余名数学教师通过网络观看.本节公开课我选择的内容是八年级下册勾股定理这一章的阅读与思考,课题为< ...

萨维奇（Savitch）定理证明

萨维奇（Savitch）定理证明相关推荐

最新文章

热门文章