
证明
Ada Chambers
在ICPC的泥潭中苦苦挣扎。。。
展开
专栏收录文章
- 默认排序
- 最新发布
- 最早发布
- 最多阅读
- 最少阅读
-
哈夫曼算法和它的严格证明
哈夫曼算法最优哈夫曼树是啥算法步骤简介复杂度算法正确性证明最优哈夫曼树是啥有篇文章(字符串),想把它加密成01串。所以要给每个字符映射一个01串代表它,而且一个字符的01串不能是另一个的前缀,否则将出现二义性。所以可以把一颗二叉树的叶子节点看成字符,向左走和向右走分别为0和1,这样构造映射到的01串就不会有二义性,这个树就是哈夫曼树。为了使得01串总长度最小,就要构造最优哈夫曼树。显然每个字符的01串长度是字符节点的深度(到根节点经过的变数),所以使得len=∑cnti∗deepi,i∈σlen=\su原创 2020-05-16 13:49:54 · 3509 阅读 · 1 评论 -
AVL树的树高上下界极清晰推导
AVL树的树高上下界推导定义与设定最小树高最大树高通项公式定义与设定树上某点的高度是这个点到它子树上叶子节点所经过的最大边数,树的高度定义为根节点的高度。以下的思路均是设树高为h,求树的最大(树高下界)和最小叶子数(树高上界)。最小树高当树高为h是,最大点数当然是把能填的都填满,成满二叉树。这样点数n=2h+1−1n=2^{h+1}-1n=2h+1−1导出h就是h=log2(n+1)−1...原创 2020-04-26 12:16:19 · 4550 阅读 · 1 评论 -
预排序的优势分析
预排序的优势分析预排序后二分查找的总运算次数不排序查找的总运算次数比较证明以下均设xxx为需要查找的数的个数。预排序后二分查找的总运算次数最坏的情况是T1=nlog2n+xlog2nT_1=nlog_2n+xlog_2nT1=nlog2n+xlog2n不排序查找的总运算次数最坏的情况是T2=xnT_2=xnT2=xn比较把n看做常数,当T1<T2T_1<T_2...原创 2020-04-25 22:27:36 · 609 阅读 · 0 评论 -
经典贪心:最大延时最小问题
经典贪心:最大延时最小问题问题描述贪心方法试探短作业优先的尝试证明短作业优先的构造反例研究从反例不等式组推正确的贪心方法期限早优先法的证明问题描述贪心方法试探首先可以想到一些贪心方法,比如按执行时间排序做短作业优先的过程。我们分析它行不行,即尝试证明这种方法。短作业优先的尝试证明假设求出的处理序列有相邻两项projectiproject_iprojecti和projecti+1pro...原创 2020-04-21 23:27:58 · 1083 阅读 · 0 评论 -
建立heap的复杂度和图的定长路径数量证明
建立heap的复杂度和图的定长路径数量证明一.建立堆的复杂度证明二. 定长路径的条数证明一.建立堆的复杂度证明建立堆采用自下而上逐渐调整的方法,伪代码:考虑最大的交换次数:设元素个数为n=2h−1n=2^h-1n=2h−1,其中h是树高。一个第i层的元素最多向下走h-i步。所以最大交换总次数是T=∑i=0h−12i(h−(i+1))=h∑i=0h−12i−∑i=0h−12i(i+1)T=...原创 2020-04-16 14:04:00 · 322 阅读 · 0 评论