4.4-1

最新推荐文章于 2023-09-01 13:13:42 发布

lslwsjly

最新推荐文章于 2023-09-01 13:13:42 发布

阅读量252

点赞数

分类专栏：算法导论第二版习题

本文链接：https://blog.csdn.net/lslwsjly/article/details/46348761

版权

算法导论第二版习题专栏收录该内容

103 篇文章 0 订阅

订阅专栏

$用数学归纳法证明n_j=\lceil n/b^j \rceil$
$当j=0时，n_0=n=\lceil n\rceil显然成立$
$假设当j＝k时，n_k=\lceil n/b^k \rceil$
$设t<b^k,m,n=mb^k+t$
$则当j＝k+1时，n_{k+1}=\lceil\frac{\lceil n/b^k \rceil}{b}\rceil=\lceil\frac{m+1}b\rceil=\lceil\frac{m+t/b^k}{b}\rceil（由于m是整数）=\lceil n/b^{k+1}\rceil$
$故由数学归纳法，对一切非负整数j有n_j=\lceil n/b^j \rceil$