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

最新推荐文章于 2024-04-11 11:33:49 发布

iumffcfkpim

最新推荐文章于 2024-04-11 11:33:49 发布

阅读量1.9k

点赞数 2

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

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

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

版权

计算专栏收录该内容

4 篇文章 0 订阅

订阅专栏

这个学期抽空学了一下MIT的算法导论，作为没有经验的弱鸡感觉好吃力。。。

话说个人感觉这本书翻译的不太好。。。还是本人智商太低了呢？

但还是坚持把自己的一些补充和笔记系统地在这里梳理一遍，既能复习又能保证自己给的解答不是在敷衍了事。

今天就先发主定理的第一部分的证明吧。

（按书上顺序应该是证到章节4.6.1引理4.3的第2句话，第一句话和第三句话会在下一篇证）

关注

2
点赞
踩
4

收藏

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

对算法导论中主定理证明的严谨推导
复制链接

扫一扫

专栏目录

iumffcfkpim CSDN认证博客专家 CSDN认证企业博客

码龄8年

8: 原创

55万+: 周排名

212万+: 总排名

2万+: 访问

: 等级

338: 积分

9: 粉丝

15: 获赞

15: 评论

25: 收藏

私信

关注

热门文章

分类专栏

计算 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、付费专栏及课程。