0
点赞
收藏
分享

微信扫一扫

算法导论 3.2-1 关于单调递增函数的证明

蓝哆啦呀 2022-02-21 阅读 78


证明:若f(n)和g(n)是单调递增的函数,则函数f(n)+g(n)和f(g(n))也是单调递增的,此外,若f(n)和g(n)是非负的,则f(n)·g(n)是单调递增的。

解答:

证明1:若f(n)和g(n)是单调递增的函数,则函数f(n)+g(n)也是单调递增的。

算法导论 3.2-1 关于单调递增函数的证明_算法导论,因为f(n)和g(n)是单调递增的函数,可得 算法导论 3.2-1 关于单调递增函数的证明_算法导论_02 且 算法导论 3.2-1 关于单调递增函数的证明_算法导论_03 ,我们将两个不等式左右相加,可得

证明2:若f(n)和g(n)是单调递增的函数,则函数f(g(n))也是单调递增的。

算法导论 3.2-1 关于单调递增函数的证明_算法导论,因为g(n)是单调递增的函数,可得 算法导论 3.2-1 关于单调递增函数的证明_算法导论_03 ,取算法导论 3.2-1 关于单调递增函数的证明_算法导论_07算法导论 3.2-1 关于单调递增函数的证明_算法导论_08,则可知算法导论 3.2-1 关于单调递增函数的证明_算法导论_09,由于f(n)已知是单调递增函数,所以必然存在算法导论 3.2-1 关于单调递增函数的证明_算法导论_10,即算法导论 3.2-1 关于单调递增函数的证明_算法导论_11,由此可知函数f(g(n))也是单调递增的。

证明3:若f(n)和g(n)是非负的,则f(n)·g(n)是单调递增的。

算法导论 3.2-1 关于单调递增函数的证明_算法导论,因为f(n)和g(n)是单调递增的函数,可得 算法导论 3.2-1 关于单调递增函数的证明_算法导论_02 且 算法导论 3.2-1 关于单调递增函数的证明_算法导论_03 ,我们将不等式算法导论 3.2-1 关于单调递增函数的证明_算法导论_02左右两边各乘以g(m),由于g(m)是非负的,可得

由于算法导论 3.2-1 关于单调递增函数的证明_算法导论_03,我们将不等式两边各自乘以f(n),由于f(n)是非负的,可得

结合不等式1和不等式2,可得算法导论 3.2-1 关于单调递增函数的证明_算法导论_19,进一步可得

因此证明3成立。



举报

相关推荐

0 条评论