算法导论-主定理的严谨证明（2）

最新推荐文章于 2020-04-06 13:22:01 发布

iumffcfkpim

最新推荐文章于 2020-04-06 13:22:01 发布

阅读量1.1k

点赞数

分类专栏：计算文章标签：算法算法导论经验麻省理工

版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。

本文链接：https://blog.csdn.net/iumffcfkpim/article/details/50551287

版权

计算专栏收录该内容

4 篇文章 0 订阅

订阅专栏

讲实话这个定理真心不好证。。。当然，其实只要会用就行。

但我总觉得有时间的话不妨更深一步。

这里发章节4.6.1引理4.3第三句证法（为了系统化论证，可能与书上陈述有出入，但正如练习4.6-3所说，书上这里过于强调了一些东西。）

关注

0
点赞
踩
1

收藏

觉得还不错? 一键收藏
0
评论
算法导论-主定理的严谨证明（2）

算法导论-主定理的严谨证明（2）
复制链接

扫一扫

专栏目录

博客等级

码龄9年

8
原创

15
点赞

25
收藏

10
粉丝

关注

私信

热门文章

分类专栏

计算 4篇
杂货 4篇

最新评论

zip压缩算法源码分析（1）
m0_75097141: 代码是开源了的吗
zip压缩算法源码分析（1）
傲凌翠竹: wow
动态二分搜索器
Sealed_vessel: [code=csharp] // DynamicBinarySearcher.h #ifndef _DYNAMICBINARYSEARCHER_H_ #define _DYNAMICBINARYSEARCHER_H_ #include<stdbool.h> typedef struct DynamicBinarySearcher { unsigned int elenum; //所有元素个数 unsigned int arrnum; //arr表的长度 int **arr; //动态表 bool *full; //记录每个数组是空还是满 } Searcher; typedef struct pair //位置信息 { unsigned int arr; //数组序号 unsigned int idx; //在数组内的下标 } Pair; /*初始化一个空表*/ void INITIALIZE_SEARCHER(Searcher *S); /*在表中查找元素x，成功返回true，在loc中返回位置信息；失败返回false*/ bool SEARCH(const Searcher S, const int x, Pair *loc); /*插入元素*/ void INSERT(Searcher *S, const int x); /*删除元素*/ bool DELETE(Searcher *S, const int x); /*清空表*/ void CLEARUP(Searcher *S); #endif [/code]
动态二分搜索器
Sealed_vessel: [code=csharp] // DynamicBinarySearcher.c #include<stdlib.h> #include<stdio.h> #include"DynamicBinarySearcher.h" /*------------------------------Static Function----------------------------------*/ static bool binsearch(const int *arr, const int len, const int x, unsigned int *idx); static unsigned int firstfull(const unsigned int arrnum, bool *full); static unsigned int firstempty(const unsigned int arrnum, bool *full); static Searcher* check_extent(Searcher *S); static Searcher *check_contract(Searcher *S); static void merge(int *ori, unsigned int total, int *extra, unsigned int len); static void exchange(Searcher *S, Pair ori, Pair tar); static void insert_sort(int *arr, const unsigned int len); static void breakup(Searcher *S, const unsigned int arr, const unsigned int discard); [/code]
动态二分搜索器
Sealed_vessel: [code=csharp] static bool binsearch(const int *arr, const int len, const int x, unsigned int *idx){ int left = 0, right = len, mid; while (left < right){ mid = (left + right - 1) / 2; if (arr[mid] == x){ *idx = mid; return true; } else if (arr[mid] > x) right = mid; else left = mid + 1; } return false; } static unsigned int firstfull(const unsigned int arrnum, bool *full){ for (unsigned int i = 0; i < arrnum; i++) if (full[i]) return i; return 0; } [/code]

您愿意向朋友推荐“博客详情页”吗？

强烈不推荐
不推荐
一般般
推荐
强烈推荐

提交

最新文章

目录

评论

被折叠的条评论为什么被折叠?

到【灌水乐园】发言

查看更多评论

添加红包

成就一亿技术人!

hope_wisdom

发出的红包

实付元

使用余额支付

点击重新获取

扫码支付

钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。