主讲人: 吕敏 Email: { lvmin05@ustc.edu.cn } Spring 2012,USTC 算法基础 主讲人: 吕敏 Email: { lvmin05@ustc.edu.cn } Spring 2012,USTC.

Slides:



Advertisements
Similar presentations
Chapter 2 Combinatorial Analysis 主講人 : 虞台文. Content Basic Procedure for Probability Calculation Counting – Ordered Samples with Replacement – Ordered.
Advertisements

第五节 函数的微分 一、微分的定义 二、微分的几何意义 三、基本初等函数的微分公式与微分运算 法则 四、微分形式不变性 五、微分在近似计算中的应用 六、小结.
2.5 函数的微分 一、问题的提出 二、微分的定义 三、可微的条件 四、微分的几何意义 五、微分的求法 六、小结.
练一练: 在数轴上画出表示下列各数的点, 并指出这些点相互间的关系: -6 , 6 , -3 , 3 , -1.5, 1.5.
第七课:电脑和网络. 生词 上网 vs. 网上 我上网看天气预报。 今天早上看了网上的天气预报。 正式 zhèngshì (报告,会议,纪录) 他被这所学校正式录取 大桥已经落成,日内就可以正式通车 落伍 luòw ǔ 迟到 chídào 他怕迟到,六点就起床了.
Course 1 演算法: 效率、分析與量級 Algorithms: Efficiency, Analysis, and Order
第三章 函数逼近 — 最佳平方逼近.
Performance Evaluation
《高等数学》(理学) 常数项级数的概念 袁安锋
第三节 格林公式及其应用(2) 一、曲线积分与路径无关的定义 二、曲线积分与路径无关的条件 三、二元函数的全微分的求积 四、小结.
2-7、函数的微分 教学要求 教学要点.
XI. Hilbert Huang Transform (HHT)
3-3 Modeling with Systems of DEs
Euler’s method of construction of the Exponential function
Signals and Systems Lecture 28
期末考的範圍遠遠多於期中考,要了解的定理和觀念也非常多
Population proportion and sample proportion
模式识别 Pattern Recognition
计算机问题求解 – 论题 算法的效率 2018年03月14日.
Differential Equations (DE)
Chapter 4 歸納(Induction)與遞迴(Recursion)
微積分網路教學課程 應用統計學系 周 章.
Properties of Continuous probability distributions
计算复杂性和算法分析 计算机科学导论第六讲
主讲人: 吕敏 { } Spring 2016,USTC 算法基础 主讲人: 吕敏 { } Spring 2016,USTC.
本章大綱 2.1 The Limit of a Function函數的極限 2.2 Limit Laws極限的性質
Lexicographical order VS canonical order
计算机问题求解 – 论题 有限与无限 2017年12月14日.
Interval Estimation區間估計
Cyclic Hanoi问题 李凯旭.
消費者偏好與效用概念.
计算机数学基础 主讲老师: 邓辉文.
第一章 函数 函数 — 研究对象—第一章 分析基础 极限 — 研究方法—第二章 连续 — 研究桥梁—第二章.
4-5 数论基础.
句子成分的省略(1).
Chp.4 The Discount Factor
普通物理 General Physics 21 - Coulomb's Law
第一章 函数与极限.
数列.
每周三交作业,作业成绩占总成绩的15%; 平时不定期的进行小测验,占总成绩的 15%;
Chp.4 The Discount Factor
定语从句(12).
公钥密码学与RSA.
离散数学─归纳与递归 南京大学计算机科学与技术系
Chp.4 The Discount Factor
講師:郭育倫 第2章 效能分析 講師:郭育倫
Open Topic 1-9(1) : 概念辨析 2017 年 12 月 11 日 何润雨 & 孙思钰 中文翻译仅供参考
定理21.9(可满足性定理)设A是P(Y)的协调子集,则存在P(Y)的解释域U和项解释,使得赋值函数v(A){1}。
演算法分析 (Analyzing Algorithms)
Nucleon EM form factors in a quark-gluon core model
1.设A和B是集合,证明:A=B当且仅当A∩B=A∪B
第一节 不定积分的概念与性质 一、原函数与不定积分的概念 二、不定积分的几何意义 三、基本积分表 四、不定积分的性质 五、小结 思考题.
第三章 函数的微分学 第二节 导数的四则运算法则 一、导数的四则运算 二、偏导数的求法.
名词从句(2).
Chapter 7 Relations (關係)
计算机问题求解 – 论题 图的连通度 2018年11月13日.
Open topic2: 大O( Θ ,Ω)和小o( θ ,ω)有什么区别? 3/19/18 黄秉焜
2019/5/20 第三节 高阶导数 1.
第二节 函数的极限 一、函数极限的定义 二、函数极限的性质 三、小结 思考题.
动词不定式(6).
5. Combinational Logic Analysis
第十七讲 密码执行(1).
簡單迴歸分析與相關分析 莊文忠 副教授 世新大學行政管理學系 計量分析一(莊文忠副教授) 2019/8/3.
Principle and application of optical information technology
Significant Figures 有效數字
§2 自由代数 定义19.7:设X是集合,G是一个T-代数,为X到G的函数,若对每个T-代数A和X到A的函数,都存在唯一的G到A的同态映射,使得=,则称G(更严格的说是(G,))是生成集X上的自由T-代数。X中的元素称为生成元。 A变, 变 变, 也变 对给定的 和A,是唯一的.
Gaussian Process Ruohua Shi Meeting
Cfc Zeilberger 算法 陈焕林 陈永川 付梅 臧经涛 2009年7月29日.
Presentation transcript:

主讲人: 吕敏 Email: { lvmin05@ustc.edu.cn } Spring 2012,USTC 算法基础 主讲人: 吕敏 Email: { lvmin05@ustc.edu.cn } Spring 2012,USTC

第二讲 函数增长 内容提要: 渐进记号 常用函数 级数求和 2018/12/4

n →∞, 归并排序Θ(nlgn), 算法性能优于 插入排序Θ(n2) 利用函数增长率来描述算法效率,并可以用来比较各种算法的相对性能; 算法的渐近效率,即极限情况下的函数行为 通常忽略低阶项和常数因子 如何描述算法的运算时间 比较函数大小的方法 2018/12/4

第二讲 函数增长 内容提要: 渐进记号 定义:O, Ω, Θ, o, ω 证明例子 常用函数 级数求和 2018/12/4

Asymptotic notation(渐近记号) 表示渐近运行时间的记号用定义域为自然数集的函数定义。 为了方便,可以将定义域扩充至实数域或缩小到自然数集 的某个受限子集上。 注意:要清楚这些表示法的准确含义,以保证越规使用但 不误用。 2018/12/4

Θ-notation: asymptotically tight bound(渐近紧界) What this notation T(n)=Θ(n2) means For a given function g(n), we denote by Θ(g(n)) the set of functions Θ(g(n)) = {f(n): there exist positive constants c1, c2 , and n0 such that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0}. we could write “f(n)∈Θ(g(n))” to indicate that f(n) is a member of Θ(g(n)). Instead, we will usually write “f(n)=Θ(g(n))” to express the same notion. The abuse may at first appear confusing, but it has advantages. 2018/12/4

Θ-notation: asymptotically tight bound(渐近紧界) T(n)=Θ(n2) For a given function g(n), we denote by Θ(g(n)) the set of functions Θ(g(n)) = {f(n): there exist positive constants c1, c2 , and n0 such that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0}. We say that g(n) is an asymptotically tight bound for f(n). 2018/12/4

Θ-notation: asymptotically tight bound(渐近紧界) Θ(g(n)) = { f(n): there exist positive constants c1, c2 , and n0 such that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0 }. In this chapter, assume that every asymptotic notations are asymptotically nonnegative.(设所有的渐近符号为渐近非负) Example: How to show that n2/2-3n=Θ(n2) ? We must determine positive constants c1, c2, and n0 such that by choosing c1 =1/14, c2=1/2, and n0=7, we can verify that n2/2-3n=Θ(n2) Other choices for the constants may exist. The key is some choice exists.(可能有多个值,只要存在某个值就可以了) 2018/12/4

Θ-notation: asymptotically tight bound(渐近紧界) Θ(g(n)) = {f(n): there exist positive constants c1, c2 , and n0 such that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0 }. How verify that ? Suppose for the purpose of contradiction that c2 and n0 exist such that for all . But then , which cannot possibly hold for arbitrarily large n, since c2 is constant. 2018/12/4

Θ-notation: asymptotically tight bound(渐近紧界) Θ(g(n)) = { f(n): there exist positive constants c1, c2 , and n0 such that 0≤c1g(n)≤f(n)≤c2g(n) for all n≥n0 }. The lower-order terms, the coefficient of the highest-order term can be ignored. Example: , where a>0, b, c are constants. Throwing away the lower-order terms and ignoring the constant yields . (Page44) In general, for any polynomial , where the ai are constants and ad >0, we have . We can express any constant function as or . often mean either a constant or a constant function. 2018/12/4

O-notation: asymptotic upper bound(渐近上界) O – notation: For a given function g(n), we denote by O(g(n)) the set of functions O(g(n)) = {f(n): there exist positive constants c and n0 such that 0≤f(n)≤c g(n) for all n≥n0}. 一些文献中用 O-notation 来表示一致紧界。为表示f(n)属于集合O(g(n)),通常可以记为f(n)=O(g(n))。如果f(n)=theta(g(n)),则也蕴含着f(n)=O(g(n)),因为theta记号比O记号来得强。按照集合论中的写法,theta(g(n))属于O(g(n))。 11

O-notation: asymptotic upper bound O – notation: For a given function g(n), we denote by O(g(n)) the set of functions O(g(n)) = {f(n): there exist positive constants c and n0 such that 0≤f(n)≤c g(n) for all n≥n0}. Example: 2n2 = O(n3), with c=1 and n0=2 Example of functions in O(n2) 一些文献中用 O-notation 来表示渐近确界,但是本课程利用theta记号来表示。O记号表示的是渐近上界,并没有不反映该上界是如何接近。 12

Ω-notation: asymptotic lower bound(渐近下界) Ω – notation: For a given function g(n), we denote by Ω(g(n)) the set of functions Ω(g(n)) = {f(n): there exist positive constants c and n0 such that 0≤c g(n)≤f(n) for all n≥n0}. Ω记号给出了一个函数的渐近下届,图(c)说明了Ω记号的直观意义。对所有在n0右边的n值,函数f(n)的数值等于或者大于cg(n)。 13

Ω-notation: 渐近下界 Ω – notation: For a given function g(n), we denote by Ω(g(n)) the set of functions Ω(g(n)) = {f(n): there exist positive constants c and n0 such that 0≤c g(n)≤f(n) for all n≥n0}. Example of functions in Ω(n2) 14

Ω-notation: 渐近下界 Theorem 3.1 For any two functions f(n) and g(n), we have f(n)=Θ(g(n)) if and only if f(n)=O(g(n)) and f(n) =Ω(g(n)). Prove: 根据到目前为止我们所见过的各渐近记号的定义,容易证明下面重要定理。 15

Ω-notation: 渐近下界 Theorem 3.1 For any two functions f(n) and g(n), we have f(n)=Θ(g(n)) if and only if f(n)=O(g(n)) and f(n) =Ω(g(n)). In practice, rather than using the theorem to obtain asymptotic upper and lower bounds from asymptotically tight bounds, we usually use it to prove asymptotically tight bounds from asymptotic upper and tower bounds. (定理作用:实际中,通常根据渐近上界和渐近下界来证明渐近紧界,而不是根据渐近紧界来得到渐近上界和渐近下界。) 这里我们是利用渐近确界导出渐近上界和渐近下界,但是实际应用中一般都是用渐近上界和渐近下届来证明出渐近确界。 16

Ω-notation: 渐近下界 因为Ω记号描述了渐近下界,当它用来对一个算法最佳情况运行时间限界时,也隐含给出了在任意输入下运行时间的界。 插入排序的最佳情况运行时间是Ω(n),这隐含着该算法的运行时间是Ω(n)。 我们不能说插入排序算法的运行时间为Ω( )。这是因为存在一个输入(也就是已经排好序情况下),插入排序时间为Θ(n)。但是,可以说该算法的最坏运行时间为Ω( )。 当我们说一个”算法的运行时间为Ω(g(n))”时,我们是指对足够大的n值,对输入规模为n的任意输入,其运行时间至少是g(n)的一个常数倍。 因为Ω记号描述了渐近下界,当它用来对一个算法最佳情况运行时间限界时,也隐含给出了在任意输入下运行时间的界。 例如,插入排序的最佳情况运行时间是Ω(n),这隐含着该算法的运行时间是Ω(n)。 同样地,我们不能说插入排序算法的运行时间为Ω(n2)。这是因为存在一个输入(也就是已经排好序情况下),插入排序时间为Θ(n)。但是,可以说该算法的最坏运行时间为Ω(n2)。 当我们说一个”算法的运行时间为Ω(g(n))”时,我们是指对足够大的n值,对输入规模为n的任意输入,其运行时间至少是g(n)的一个常数倍。 17

等式和不等式中的渐近记号 我们已经见过了渐近记号在数学公式中的应用。如n=O( ),2 +3n+1= 2 +Θ(n)等,如何来解释这些公式呢? 1)当渐近记号出现在等式的右边时,则等号表示左边的函数属于右边函数集合中的元素,即等号表示集合的成员关系。 2)一般来说,当渐近记号出现在某个公式中时,我们将其解释为一个不在乎其名称的匿名函数。如公式“2 +3n+1=2 +Θ(n)” 即表示“2 + 3n+1=2 +f(n)”, 其中f(n)是某个属于集合Θ(n)的函数。这里3n+1也确实在Θ(n)中。 3)当渐近记号出现在等式左边的时候,这时候我们用如下规则来解释:无论等号左边的匿名函数如何选择,总有办法选取等号右边的匿名函数使等式成立。这样,对于任意函数f(n) ∈Θ(n),存在函数g(n) ∈Θ( ) ,使得对所有的n,有2 +f(n)=g(n)成立。换而言之,等式右边提供了较左边更少的细节。 4)利用2)3)我们就可以得到这么一个等式“2 + 3n+1=2 +Θ(n)=Θ( )”.该等式的解释是:第一个等式说明存在函数f(n) ∈Θ(n),使对所有的n有2 + 3n+1 = 2 +f(n) 。第二个等式说明,对任意函数g(n) ∈Θ(n ) ,存在某个函数h(n) ∈Θ( ) ,使对所有的n有 2 +g(n)= h(n)。当然了,这个解释也蕴含着2 + 3n+1=Θ( ). 我们已经见过了渐近记号在数学公式中的应用。如n=O(n2),2n2+3n+1= 2n2+Θ(n)等,如何来解释这些公式呢? 1)当渐近记号出现在等式的右边时,则等号表示左边的函数属于右边函数集合中的元素,即等号表示集合的成员关系。 2)一般来说,当渐近记号出现在某个公式中时,我们将其解释为一个不在乎其名称的匿名函数。如公式“2n2+3n+1=2n2+Θ(n)” 即表示“2n2+ 3n+1=2n2+f(n)”, 其中f(n)是某个属于集合Θ(n)的函数。这里3n+1也确实在Θ(n)中。 3)当渐近记号出现在等式左边的时候,这时候我们用如下规则来解释:无论等号左边的匿名函数如何选择,总有办法选取等号右边的匿名函数使等式成立。这样,对于任意函数f(n) ∈Θ(n),存在函数g(n) ∈Θ(n2 ) ,使得对所有的n,有2n2 +f(n)=g(n)成立。换而言之,等式右边提供了较左边更少的细节。 4)利用2)3)我们就可以得到这么一个等式“2n2+ 3n+1=2n2+Θ(n)=Θ(n2)”.该等式的解释是:第一个等式说明存在函数f(n) ∈Θ(n),使对所有的n有2n2+ 3n+1 = 2n2+f(n) 。第二个等式说明,对任意函数g(n) ∈Θ(n ) ,存在某个函数h(n) ∈Θ(n2 ) ,使对所有的n有 2n2 +g(n)= h(n)。当然了,这个解释也蕴含着2n2+ 3n+1=Θ(n2). 18

o-notation: (非渐近紧确上界) 例如, 2n2=O(n2)是渐近紧确的, 但 2n=O(n2) 却不是. 我们利用小o记号来表示非渐近紧确的上界,其定义如下 (渐近非紧上界) o(g(n)) = {f(n): for any positive constants c>0, there exits a constant n0>0 such that 0≤f(n)<c g(n) for all n≥n0}. For example, 2n=o(n2), but 2n2≠o(n2). 大O记号所提供的渐近上界可能是、也可能不是渐近紧确的。 如2n2=O(n2)是渐近紧确的,而2n=O(n2)却不是。 我们利用小o记号来表示非渐近紧确的上界,其定义如下: 19

ω-notation — 非渐近紧确下界 ω-notation is to Ω-notation as o-notation is to O-notation. Theω-notation denotes an lower bound that is not asymptotically tight. Formally, define ω(g(n)) as the set ω(g(n)) = { f(n): for any positive constants c>0, there exits a constant n0>0 such that 0≤c g(n)<f(n) for all n≥n0}. One way to define it is by f(n)∈ω(g(n)) if and only if g(n)∈o(f(n)) For example, n2/2=ω(n), but n2/2≠ω(n2). The relation f(n)=ω(g(n)) implies that 1)小ω记号与Ω记号的关系就好像小o和大O记号的关系一样。 2)小ω记号表示非渐近紧确下界,其形式化定义为: 也可以利用小o记号来定义。 3)同样地小ω记号也表示了一种极限关系,relation f(n)=ω(g(n))表示当n趋于无穷时,f(n)相对g(n)来说变得任意大了。 20

Comparison of functions(函数比较) Many of the relational properties of real number apply to asymptotic comparisons. For the following, Assume that f(n) and g(n) are asymptotically positive. Transitivity(传递性) 实数的许多关系属性可以应用于渐近比较下面假设f(n)和g(n)是渐近正值函数。 21

Comparison of functions(函数比较) Reflexivity(自反性) Symmetry(对称性) Transpose symmetry(反对称性) 22

Comparison of functions(函数比较) An analogy between the asymptotic comparison of two functions and the comparison of two real numbers (函数渐近性比较与实数比较的类比) 因为这些性质对渐近记号也成立,我们可以将两个函数f与g的渐近比较和两个实数a与b的比较作一类比: 如果f(n)=o(g(n)),则f(n)比g(n)渐近较小;如果f(n)=ω(g(n)),则f(n)比g(n)渐近较大。 23

Comparison of functions(函数比较) One property of real numbers, does not carry over to asymptotic notation Trichotomy(三分法): any two real numbers a and b, one of the following must holds: a<b, a=b, or a>b. Not all functions are asymptotically comparable. That is, for two functions f(n) and g(n), it may be the case that neither f(n)=O(g(n)) nor f(n)=Ω(g(n)) holds. For example, the functions n and cannot be compared using asymptotic notation. 虽然很多情况下可以把实数集上的属性类比与渐近记号,但是实数上的“三分性”却不能用到渐近记号上。 三分性(三分法):对于两个实数a和b,下列三种情况恰有一种成立:a<b,a=b,或a>b; 虽然任何两个实数都可以做比较,但并不是所有的函数都是渐近可比较的。也就是说,对于两个函数f(n)和g(n),可能f(n)=O(g(n))和f(n)=Ω(g(n)) 都不成立。比如:n和n^(1+sinn). 24

第二讲 函数增长 内容提要: 渐进记号 常用函数 级数求和 2018/12/4

Standard notation and common function Monotonicity(单调性) Floors and ceilings Modular arithmetic (remainder or residue) (模运算) Polynomials(多项式) Exponentials(指数) Logarithms(对数) Factorials(阶乘) 本节我们回顾一些标准的数学函数和记号,并给出他们之间的关系。见书本Page31。 这里需要注意如下几个记号:1)下取整和上取整;2)取模运算;3)对数运算:对数的表示方法。 斯特林近似公式 26

Standard notation and common function Functional iteration(迭代函数) We use the notation f(i)(n) to denote the function f(n) iteratively applied i times to an initial value of n. For non-negative integers i, we recursively define For example, if f(n)=2n, then 迭代函数相对比较新,可以重点了解一下。 27

Standard notation and common function The iterated logarithm function(多重对数函数) We use the notation lg*n to denote the iterated logarithm. Let lg(i)n be iterated function, with f(n)=lgn, that is lg(i)(n)=lg(lg(i-1)(n)) . lg(i)n is defined only if lg(i-1)n>0. Be sure to distinguish lg(i)n from lgin. lg*n is defined as The iterated logarithms is a very slowly growing function: 265536 >>1080. Rarely encounter an input size n such that lg*n>5. Fibonacci numbers 人类能够观测到的宇宙中的原子总数约为1080 28

第二讲 函数增长 内容提要: 渐进记号 常用函数 级数 求和 2018/12/4

级数求和 定义:有限和、无限和、级数收敛、级数发散的、绝对收敛级数 等差级数: 平方和与立方和: 几何级数: 调和级数: 级数的积分和微分: 2018/12/4

确定求和时间的界 数学归纳法 确定级数各项的界 分割求和:可以将级数表示为两个或多个级数,按下标的范围进行划分,然后再对每个级数分别求界。 1)计算级数的准确值 2)计算和式的界,如:证明几何级数 的界是 3)一个容易犯的错误,如:证明 确定级数各项的界 1)一个级数的理想上界可以通过对级数中的每个项求界来获得; 2)一个级数实际上以一个几何级数为界时,可以选择级数的最大项作为每项的界(注意防止犯错!) 分割求和:可以将级数表示为两个或多个级数,按下标的范围进行划分,然后再对每个级数分别求界。 2018/12/4

谢谢! Q & A 作业: 3.2-3 第三章思考题 3-2,3-3 2018/12/4