前言

$Master$定理,又称主定理,用于程序的时间复杂度计算,核心思想是分治,近几年$Noip$常考时间复杂度的题目,都需要主定理进行运算。

前置

我们常见的程序时间复杂度有:

$O(n)/O(n2)/O(nlog_2n)/O(2n)$等等...

我们叫它程序的渐进时间复杂度,例如一段程序执行这样的循环:

for(int k=1;k<=n;k++)
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
dist[i][j]=min(dist[i][j],dist[i][k]+dist[k][j]);
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
sum+=a[i][j];
for(int i=1;i<=n;i++)
for(int j=1;j<=n;j++)
pai*=a[i][j];

显然,这段代码一共运行了$n3+2n2$次,我们将它的渐进时间复杂度写作$O(n3)$,即保留最高项但忽略其系数,约定:一般我们将$log_2n$写作$logn$,将$logn*logn$写作$log2n$

算时间复杂度有什么用呢?一般来说,在比赛时我们将知道程序的时间限制,一般为$1s$,我们可以通过粗略计算程序时间复杂度来判断程序是否能在$1s$通过,否则会$TLE$。

时间复杂度 $1s$内稳过的范围 极限范围(危险)
$O(1)$ $\infty$ $\infty$
$O(wys)$ $\infty$ $\infty$
$O(logn)$ $\infty$ $\infty$
$O(n)$ $5\times10^7$ $10^8$
$O(nlogn)$ $5\times 10^5$ $10^6$
$O(n^2)$ $5000$ $10000$
$O(n^3)$ 300 500
$O(2^n)$ 25 27
$O(n!)$ 11 11(稳过)
$O(n^n)$ 8 8(稳过)

PS:由于程序存在常数因子,极限范围不一定能过,除非你是欧洲人。

大概来说,如果你算出的渐进时间复杂度量化后在千万级别[$n\times10^7$],基本上是很稳的

对于非递归程序时间复杂度的运算方法,比较简单粗暴的方法是数循环。但这种方法并不一定始终正确,如$NOIP2017PJT4$的二分答案是$O(logn)$复杂度的,$dp$的转移是执行$n$次的,而对于单调队列,每个元素至多进队一次,出队一次,最多与$2n$次操作,$dp$的总操作次数应该是将它们加在一起,共$3n$次操作,时间复杂度为$O(n)$,而不是$O(n^2)$,总复杂度为$O(nlogn)$,与之类似的还有$kmp$算法的时间复杂度。(PS:$kmp$算法的时间复杂度至今仍存在争议,我们一般将其视作$O(n)$的

正文

介绍$master$定理前,首先要知道一个符号

  1. $T(n)$表示时间复杂度,可以这样表示:$T(n)=$一个单项式,例如:

$T(n)=2T(n/2)+f(n)$

  1. $\Theta$ 读音:$theta$,表示等于
  2. $O$ 读音:$big\ oh$,表示小于等于
  3. $o$ 读音:$small\ oh$,表示小于
  4. $\Omega$ 读音:$big\ omega$,表示大于等于
  5. $\omega$ 读音:$small\ omega$,表示大于

主定理是怎么表示的呢?

  • 我们目前有一个规模为$n$的问题
  • 通过分治,我们将问题分成$a$个规模为$\frac{n}{b}$,每次递归将带来$f(n)$的额外计算
  • 于是得到关系式:

$T(n)=aT(\frac{n}{b})+f(n)$

此外,我们还要定义一个$C_{crit}$,它是这样计算的:

$C_{crit}=log_ba$

那么有:

$1$.

  • 当$f(n)=O(nc)$,且$c<c_{crit}$时有:$T(n)=\Theta(n{c_{crit}})$
  • 例子:
  • $T(n)=8T(\frac{n}{2})+1000n^2$
  • 此时$a=8,b=2,f(n)=1000n^2$
  • 当$c=2$时,$f(n)=O(n^2)$
  • 又因为$C_{crit}=log_ba=3>c$
  • 所以$T(n)=\Theta(n{log_ba})=\Theta(n3)$

$2$.

  • 当$f(n)=O(n^c)$,且$c>c_{crit}$时有:$T(n)=\Theta(f(n))$
  • 例子:
  • $T(n)=2T(\frac{n}{2})+n^2$
  • 此时$a=2,b=2,f(n)=n^2$
  • 当$c=2$时,$f(n)=O(n^2)$
  • 又因为$c_{crit}=log_ba=1<c$
  • 所以$T(n)=\Theta(f(n))=\Theta(n^2)$

$3$.

  • 若存在一个非负整数$k$,使得$f(n)=\Theta(n{c_{crit}}logkn)$
  • 那么$T(n)=\Theta(n{c_{crit}}log{k+1}n)$
  • 例子:
  • $T(n)=2T(\frac{n}{2})+10n$
  • 此时$a=2,b=2,f(n)=10n$;$c_{crit}=log_ba=1$
  • 当$k=0$时$f(n)=\Theta(n1log0n)=\Theta(n)$
  • 所以$T(n)=\Theta(n1log1n)=\Theta(nlogn)$

练手题

  • 首先,我们知道$a=2,b=4,f(n)=\sqrt{n}=n^{\frac{1}{2}}$;$c=\frac{1}{2},c_{crit}=log_42=\frac{1}{2}$
  • 当$k=0$时,满足条件3,所以,$T(n)=O(\sqrt nlogn)$,选$C$

$T(n)$

$=T(n-1)+n-1+n$

$=T(n-2)+n-2+n-1+n$

$=...$

$=T(0)+0+1+2+...+n-2+n-1+n$

$=1+\frac{n\times (n+1)}{2}$

$=O(n^2)$

选择$D$


  • 假设$g(i)$,为计算$F(i)$的次数,因为$F(i)=F(i-1)+F(i-2)$所以$g(i)=g(i-1)+g(i-2)$
  • 因为$F(1)=g(1)=1,F(2)=g(2)=1$,所以$g(n)=F(n)$
  • 则:

$T(n)=g(n)=F(n)=O(F(n))$

选择$D$

完结

这和大家能够平安过初赛!

Master定理学习笔记的更多相关文章

  1. Burnside引理与Polya定理 学习笔记

    原文链接www.cnblogs.com/zhouzhendong/p/Burnside-Polya.html 问题模型 有一个长度为 $n$ 的序列,序列中的每一个元素有 $m$ 种取值. 如果两个序 ...

  2. Lucas定理学习笔记

    从这里开始 一个有趣的问题 扩展Lucas算法 一个有趣的问题 题目大意 给定$n, m, p$,求$C_{n}^{m}$除以$p$后的余数. Subtask#1  $0\leqslant m\leq ...

  3. Matrix_tree Theorem 矩阵树定理学习笔记

    Matrix_tree Theorem: 给定一个无向图, 定义矩阵A A[i][j] = - (<i, j>之间的边数) A[i][i] = 点i的度数 其生成树的个数等于 A的任意n ...

  4. 生成树计数 Matrix-Tree 定理 学习笔记

    一直都知道要用Matrix-Tree定理来解决生成树计数问题,但是拖到今天才来学.博主数学不好也只能跟着各位大佬博客学一下它的应用以及会做题,证明实在是不会. 推荐博客: https://www.cn ...

  5. Ploya定理学习笔记

    由于自己的作息极其不规律导致比赛被打爆了 但是有的时候状态其实还行. 关于Ploya定理其实特别有意思 这里粘一个[dalao的blog](https://blog.csdn.net/lyc16355 ...

  6. Polya 定理 学习笔记

    群 群的定义 我们定义,对于一个集合 \(G\) 以及二元运算 \(\times\),如果满足以下四种性质,那我们就称 \((G,\times)\) 为一个群. 1. 封闭性 对于 \(a\in G, ...

  7. 矩阵树定理&BEST定理学习笔记

    终于学到这个了,本来准备省选前学来着的? 前置知识:矩阵行列式 矩阵树定理 矩阵树定理说的大概就是这样一件事:对于一张无向图 \(G\),我们记 \(D\) 为其度数矩阵,满足 \(D_{i,i}=\ ...

  8. Pólya 定理学习笔记

    在介绍\(Polya\) 定理前,先来介绍一下群论(大概了解一下就好): 群是满足下列要求的集合: 封闭性:即有一个操作使对于这个集合中每个元素操作完都使这个集合中的元素 结合律:即对于上面那个操作有 ...

  9. [HEOI2015]小Z的房间(矩阵树定理学习笔记)

    题目描述 你突然有了一个大房子,房子里面有一些房间.事实上,你的房子可以看做是一个包含n*m个格子的格状矩形,每个格子是一个房间或者是一个柱子.在一开始的时候,相邻的格子之间都有墙隔着. 你想要打通一 ...

随机推荐

  1. [BZOJ1177][BZOJ1178][BZOJ1179]APIO2009解题报告

    抱着好奇心态去开始做APIO的往年试题感受一下难度 Oil Description 采油区域 Siruseri政府决定将石油资源丰富的Navalur省的土地拍卖给私人承包商以建立油井.被拍卖的整块土地 ...

  2. fundamentals of the jQuery library

    1.why is jquery Only 32kB minified and gzipped. Can also be included as an AMD module Supports CSS3 ...

  3. mybatis 显示 sql日志

    #项目日志logging.level.com.zhang.com=debug #mybatis sql相关日志显示logging.level.org.mybatis.spring=DEBUGloggi ...

  4. .net爬虫了解一下

    using System; //添加selenium的引用 using OpenQA.Selenium.PhantomJS; using OpenQA.Selenium.Chrome; using O ...

  5. Mac下使用brew搭建PHP7+nginx+mysql开发环境

    http://blog.csdn.net/mysteryhaohao/article/details/52230634 HomeBrew brew的安装,直接上官网:http://brew.sh/ 一 ...

  6. https配置注意细节

    直接将阿里云https的ca配置配置好之后如果不通的话很有可能是防火墙原因造成的,还有就是nginx要用1.10以上版本的

  7. Linux平台用C++实现事件对象,同步线程(转)

    本文属于转载,原文链接如下:http://blog.csdn.net/chexlong/article/details/7080537 与其相关的一组API包括:pthread_mutex_init, ...

  8. python 使用国内源安装软件

    python linux 等 使用国内源安装软件 速度更快 你值得拥有 ! 豆瓣源:pip install -i https://pypi.douban.com/simple/ 阿里源:pip ins ...

  9. HTML5晃动DeviceMotionEvent事件

      关于devicemotion html5提供了几个新的DOM事件来获得设备物理方向及运动的信息,包括:陀螺仪.罗盘及加速计. 第一个DOM事件是**deviceorientation**,其提供设 ...

  10. 第一次用python编写的小程序

    print ("*******数字游戏*********")temp = input ("猜猜小红现在心里想的是什么数字呢?")guess = int(temp ...