首页 > 其他分享 >主定理(但是没有证明)

主定理(但是没有证明)

时间:2023-08-17 10:58:06浏览次数:46  
标签:ba 递归 text 定理 证明 log 复杂度 但是

没有证明绝对不是因为我不会,证明可看:重谈主定理(master定理)及其证明

这篇文章主要是写给自己看的,写的不好。

\[\text{如果有} T(n)=aT(\lceil\frac{n}{b}\rceil)+O(n^d) \]

\[\text{其中}n\text{问题规模,}a\text{为递推子问题数量,}\frac{n}{b}\text{为每个子问题的规模,}f(n)\text{为递推以外进行的计算工作。} \]

\[\text{那么有:} \]

\[T(n)=\begin{cases} O(n^d) & \text{如果} d>\log_ba \\ O(n^d \log n) & \text{如果} d=\log_ba \\ O(n^{\log_ba}) & \text{如果} d<\log_ba \end{cases} \]


怎么记忆呢?聪明的我用了chatgpt生成记忆方法如下:

为了记忆主定理公式,我建议采用以下步骤:

Step 1: 写下主定理公式的基本形式: $$T(n)=aT(\lceil\frac{n}{b}\rceil)+O(n^d)$$

Step 2: 确定每个参数的含义:

  • \(n\):问题的规模
  • \(a\):递归子问题的数量
  • \(\frac{n}{b}\):每个递归子问题的规模
  • \(d\):递归以外的计算工作的时间复杂度

Step 3: 按照\(d\)与\(\log_ba\)的关系分类讨论:

情况1: 如果\(d > \log_ba\),则递归以外的计算工作占据主导地位,因此时间复杂度为\(O(n^d)\)。

情况2: 如果\(d = \log_ba\),则递归和递归以外的计算工作对时间复杂度的贡献相当,因此时间复杂度为\(O(n^d \log n)\)。

情况3: 如果\(d < \log_ba\),则递归的规模增长速度占主导地位,因此时间复杂度为\(O(n^{\log_ba})\)。

Step 4: 将所有情况整合到一起,形成最终的记忆公式:

\[T(n)=\begin{cases} O(n^d) & \text{如果} d>\log_ba \\ O(n^d \log n) & \text{如果} d=\log_ba \\ O(n^{\log_ba}) & \text{如果} d<\log_ba \end{cases} \]

通过按照这些步骤记忆和理解主定理公式,您将能够轻松地计算和推导出递归算法的时间复杂度。

标签:ba,递归,text,定理,证明,log,复杂度,但是
From: https://www.cnblogs.com/znpdco/p/17637016.html

相关文章

  • 转载:错位排列递推公式证明
    转载自:【组合数学】错排问题(递推公式|通项公式|推导过程)★韩曙亮————————————————版权声明:本文为CSDN博主「韩曙亮」的原创文章,遵循CC4.0BY-SA版权协议,转载请附上原文出处链接及本声明。原文链接:https://blog.csdn.net/shulianghan/article/deta......
  • 机器学习中的人生启示:“没有免费的午餐”定理(NFL)的个人发展之道→探讨感觉和身边其他
    #感觉和身边其他人有差距怎么办?#文章目录1引言2探究NFL定理的含义3将NFL定理应用于个人发展4探索个人兴趣和天赋5结论1引言机器学习中的“没有免费的午餐”定理(NFL)是一条深具启示意义的原则。该定理表明,没有一种算法可以在所有问题上都表现最好。在机器学习领域,这意味着没......
  • 中国剩余定理及其扩展
    $$\left{\begin{aligned}x_1=a_1\(mod\m_1)\x_2=a_2\(mod\m_2)\.\qquad\qquad\.\qquad\qquad\.\qquad\qquad\x_n=a_k\(mod\m_k)\end{aligned}\right.$$中国剩余定理算法流程计算所有模数的积M;对于第i个方程:a.计算$n_i\=......
  • .net中如何证明List<int>是线程非安全的
      我们可以通过以下代码来验证List<int>为何是线程非安全的,执行以下代码,然后查看输出结果。  staticvoidMain(){vartoCount=100;#regionlist线程非安全varlist=newList<int>();//并行添加元素Parallel......
  • 欧拉定理 & 扩展欧拉定理
    观前提醒:「文章仅供学习和参考,如有问题请在评论区提出」目录前置剩余类(同余类)完全剩余系(完系)简化剩余系(缩系)欧拉函数欧拉定理扩展欧拉定理参考资料前置剩余类(同余类)给定一个正整数\(n\),把所有的整数根据模\(n\)的余数\(r\in[0,n-1]\)分为\(n\)类,每一类就可以......
  • mysql数据库中有表,但是抛异常,Table 'test.WORRK_NODE' donesn't exist
    原因:表名是大写的,linux上的msyql默认区分大小写问题,本地的mysql不会出现这个问题解决一:修改sql语句,变成小写库名,表名方法二:把原来表删了,重新建表,建立表时指定字符集utf8_general_ci,该字符集对大小写不敏感 解决三:开启忽略大小写,需要修改/etc/my.cnf配置文件 注意:这个配......
  • 威尔逊定理
    威尔逊定理:若p为素数,则p可以整除(p-1)!+1。用同余方程表示为:(p-1)! ≡-1(modp)证明如下充分性:当p=1时,(p-1)! ≡0(modp)当p=4时,(p-1)! ≡2(modp)当p>4时,当p为完全平方数时,设k²=p,探讨2k和p的大小,因为k²-2k在k>2的时候永远大于0,所以p>2k>k,所以(p-1)!≡ 1*2*.........
  • 因果图中的条件独立性——基于图的证明
    有因果图如下所示,其中\(U_X,U_Y,U_Z\)是外生变量(外生变量之间互相独立)。图中\(X,Y,Z\)三者之间属于“链式”关系,如果给定\(Y\)的观测值,则\(X\)和\(Z\)相互独立,可以通过图来证明这一点。令\(Y\)的观测值为\(C\),则在\(Y\)被观测的前后,\(X\)和\(Z\)各自的因果图分别如下所示(剔除......
  • Lucas 定理
    组合意义天地灭。Lucas定理问题\(1\):给定\(n,m\in\mathbb{N}\)与\(p\in\mathbb{P}\),其中\(n\)与\(m\)相当大,而\(p\)则相对较小,要求计算\(\binom{n}{m}\bmodp\)的值。一般的预处理逆元以及递推的方法在\(n,m\)充分大时均会失效,我们需要新的工具来解决......
  • 调和级数发散率证明|欧拉常数|ln n+gamma+varepsilon_k证明|sigma(1/i)
    最近在做一个练习,然后看到了调和级数这个东西,说实话这东西谁能在考场上想到,平日还是要多积累。开门见山但是我们今天只证这个东西:\[\sum^{n}_{i=1}\frac{1}{n}=\lnn+\gamma+\varepsilon_n\]其中\(\gamma\)gamma是欧拉常数(约等于0.57721566490153286060651209,关于欧......