- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
最近在研究递归;如何写,分析等等。我有一段时间认为递归和递归是同一件事,但最近作业和测验的一些问题让我觉得有细微的差别,“递归”是解决问题的方法。描述一个递归程序或函数。
直到最近,当我意识到有一种叫做“主定理”的东西可以用来编写问题或程序的“递归”时,这对我来说一直是非常希腊化的。我一直在阅读维基百科页面,但是,像往常一样,事情的措辞方式让我不太明白它在说什么。通过示例我学得更好。
那么,有几个问题:假设您遇到了这样的情况:
r(n) = 2*r(n-2) + r(n-1);
r(1) = r(2) = 1
这实际上是主定理的形式吗?如果是的话,用语言来说,它在说什么?如果您尝试编写一个小程序或基于此递归的递归树,那会是什么样子?我应该尝试用数字代替,看到一个模式,然后编写可以递归创建该模式的伪代码,或者,因为这可能采用主定理的形式,是否有更直接的数学方法?
现在,假设您被要求查找递归 T(n),以获取从前一个递归创建的程序执行的加法次数。我可以看到基本情况可能是 T(1) = T(2) = 0,但我不确定从哪里开始。
基本上,我问的是如何从给定的递归到代码,以及相反的情况。由于这看起来像主定理,我想知道是否有一种简单且数学的方法来解决它。
编辑:好的,我已经浏览了我过去的一些作业,以找到另一个例子,其中我被要求“找到重复”,这是我在帖子中遇到麻烦的问题的一部分.
Recurrence that describes in the best way the number of addition operations in the following program fragment (when called with l == 1 and r == n)
int example(A, int l, int r) {
if (l == r)
return 2;
return (A[l] + example(A, l+1, r);
}
最佳答案
几年前,Mohamad Akra 和 Louay Bazzi 证明了一个概括 Master 方法的结果——它几乎总是更好。你真的不应该再使用主定理......
例如,参见这篇文章:http://courses.csail.mit.edu/6.046/spring04/handouts/akrabazzi.pdf
基本上,让你的递归式看起来像论文中的方程 1,选取系数,并对定理 1 中的表达式进行积分。
关于recursion - 如何用Master定理来描述递归?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/219226/
所以,我看过一个关于 TDD 的视频,其中演示者说,你应该只对类的一部分进行单元测试,即为外部世界提供一些东西。他提到这很好,因为这种方法可以确保类遵守“契约(Contract)”,因此它履行了其职责
在CAP定理中,Redis被指定为缺乏可用性(具有分区容错性和一致性)的数据库。 但是在很多地方,Redis 被认为是一种高可用的键值存储。 什么是对的?如果您能提供深入的答案,我将不胜感激。 最佳答
我正在尝试证明以下内容: 1-pow : ∀ {n : ℕ} → 1 pow n ≡ 1 1-pow {zero} = refl 1-pow {suc x} = {!!} 我是 Adga 的新手,甚
我正在努力解决这个问题 - 我实际上已经找了一整天了! 我想我理解它背后的主要概念,但我正在努力弄清楚创建将形状投影到其上的 Axis 所需的数学? 因此,如果我有一个矩形,我会找出每个点,然后使用它
我试图证明以下内容: 1-pow : ∀ {n : ℕ} → 1 pow n ≡ 1 1-pow {zero} = refl 1-pow {suc x} = {!!} 我是 Adga 的新手,甚至不
所以我想计算任何给定三角形内的点数。我知道我必须使用 Pick 定理,但我的代码最终变得非常长,其中包含用于测试每种情况的 if-else if 语句的数量。我一直以此为指导 How many int
当说系统是 CP(一致性和分区)时,这是否意味着我们不能在复制的数据节点之间使用异步同步,并且每次写入都必须同步(甚至是事务性)复制? 据我了解,一致性意味着对于每次写入,后续读取(来自任何节点)都将
虽然我试图理解CAP中的“可用性”(A)和“分区容忍度”(P),但我发现很难理解各种文章的解释。 我感觉 A 和 P 可以走到一起(我知道事实并非如此,这就是我无法理解的原因!)。 深入浅出,A和P是
foundationdb 声明在 consistency 上吗?有效的? FoundationDB provides the strongest possible consistency model,
Azure 本身是 PaaS,而不是 IaaS。你同意? MS保证99%的可用性和强一致性。您可以在此处找到 MS SLA:http://www.microsoft.com/windowsazure/
我正试图掌握 Python 的 fft 功能,我偶然发现的一件奇怪的事情是 Parseval's theorem似乎不适用,因为它现在给出了大约 50 的差异,而它应该是 0。 import nump
我正在尝试在 Coq 中进行证明,并且我想使用我已经定义和证明的引理。以下代码可以吗? Lemma conj_comm: forall A B : Prop, A /\ B -> B /\ A. Pr
我试图通过 Isabelle(定理证明者)的 Isar 章节,第一个陈述是: lemma "¬ surj(f :: 'a ⇒ 'a set)" 我想了解什么是常数surj曾是。我知道查找定理很容易:
我想在分布式系统中使用 aerospike。 Aerospike 官方文档说: Aerospike 系统被归类为 AP 任何人都可以照亮它吗? Aerospike如何保证分布式环境下的AP模式。 最佳
这code example to generate a list of definitions对我有用,但只适用于一个索引列表。每当我尝试添加另一个列表(例如,对于定理)时,只有在设置垃圾中最后定义的
我打算使用 memcached 数据库。根据我的要求,高性能(速度)和可用性是最高优先级的。(一致性可以在某种程度上进行交易)请建议使用合适的数据库。 我正在关注 CAP Theorem . 按类别我
根据 CAP Consistency - All nodes gave the same data Availability means the ability to access the clust
如果我正确理解了 CAP 定理,可用性意味着即使节点出现故障,集群也会继续运行。 我见过很多人(http://blog.nahurst.com/tag/guide)将RDBMS列为CA,但我不明白RB
根据我目前所读到的有关 CAP 定理的所有内容,没有分布式系统可以同时提供这三者:可用性、一致性和分区容错性。 现在,Hadoop 2.x 引入了一项新功能,可以对其进行配置以消除 hadoop 集群
目前,我正在考虑拍摄图像及其光谱。现在 Parceval 的定理说两者应该具有相等的能量。然而,当我尝试在某些图像上对此进行测试时,numpy 真实 FFT 函数似乎并非如此。 这是我用于测试的代码:
我是一名优秀的程序员,十分优秀!