《算法导论》第四章_读书笔记
来源:互联网 发布:杭州金融投资集团 知乎 编辑:程序博客网 时间:2024/06/05 21:08
分治思想Divide-and-Conquer
包含三个步骤,分解divide,解决conquer,合并combine
求解递归式的算法效率有三个方法,数学规划,递归树,主方法
最大子数组问题
递归算法
最大子数组的位置只能是三种之一
· 完全位于左子数组
· 完全位于右子数组
· 跨越中点
#include <iostream>using namespace std;struct MaximumSubarray{ int low; int high; int sum;};/******************************func:求跨越中点的最大子数组para:A:数组;low:左下标;mid:中下标;high:右下标******************************/MaximumSubarray findMaxCrossingSubarr(int A[],int low,int mid,int high){ int left_sum=(int*)malloc(sizeof(int));//最小负数 int right_sum=0x80000000;//最小负数 int max_left=0; int max_right=0; int sum=0; MaximumSubarray maxSubarr={0}; for(int i=mid;i>=low;--i){ sum+=A[i]; if(sum>left_sum){ left_sum=sum; max_left=i; } } sum=0; for(int i=mid+1;i<=high;++i){ sum+=A[i]; if(sum>right_sum){ right_sum=sum; max_right=i; } } maxSubarr.low=max_left; maxSubarr.high=max_right; maxSubarr.sum=left_sum+right_sum; return maxSubarr;}/***********************************func:求给定数组的最大子数组para:A:数组;low:左下标;high:右下标***********************************/MaximumSubarray findMaxSubarr(int A[],int low,int high){ MaximumSubarray maxSubarrLeft={0}; MaximumSubarray maxSubarrRight={0}; MaximumSubarray maxSubarrCross={0}; if(high==low){ //特殊情况:只有一个元素 maxSubarrLeft.low=low; maxSubarrLeft.high=high; maxSubarrLeft.sum=A[low]; return maxSubarrLeft; } int mid=(low+high)/2; maxSubarrLeft=findMaxSubarr(A,low,mid); maxSubarrRight=findMaxSubarr(A,mid+1,high); maxSubarrCross=findMaxCrossingSubarr(A,low,mid,high); if(maxSubarrLeft.sum>maxSubarrRight.sum&&maxSubarrLeft.sum>maxSubarrCross.sum) return maxSubarrLeft; else if(maxSubarrRight.sum>maxSubarrLeft.sum&& maxSubarrRight.sum>maxSubarrCross.sum) return maxSubarrRight; else return maxSubarrCross;}int main(int argc,char* argv[]){ int A[16]={13,-3,-25,20,-3,-16,-23,18,20,-7,12,-5,-22,15,-4,7}; MaximumSubarray resMaxSubarr=findMaxSubarr(A,0,15); cout<<"maximum subarray is:"<<endl; cout<<"resMaxSubarr.low:"<<resMaxSubarr.low<<endl; cout<<"resMaxSubarr.high:"<<resMaxSubarr.high<<endl; cout<<"resMaxSubarr.sum:"<<resMaxSubarr.sum<<endl; return 0;}
代码来源
算法性能为
这里贴出包含计时器的测试函数代码
void test_max_array(void){// int Data[16]={13,-3,-25,20,-3,-16,-23,18,20,-7,12,-5,-22,15,-4,7}; int* Data=(int*)malloc(sizeof(int)*LENGTH); srand((unsigned)time(NULL)); for(int i=0;i<LENGTH;i++) //随机产生随机数 { int flag=rand()%2; int temp=rand()%100; if(flag==0) Data[i]=0-temp; else Data[i]=temp; } printf("\n随机产生100个数:\n"); for(int i=0;i<LENGTH;i++) { if(i%10==0) printf("\n"); printf("%d ",Data[i]); } int *left=(int*)malloc(sizeof(int)); int *right=(int*)malloc(sizeof(int)); int start_time=GetTickCount(); //记录开始时间 int sum=Find_maximum_subarray(Data, 0, LENGTH-1, left, right); printf("\n\n分治求解答案:\nleft=%d\nright=%d\nsum=%d\n\n",*left,*right,sum); Time_calculate(start_time); //打印结束时间 start_time=GetTickCount(); //记录开始时间 int sum_force=Force_search(Data, 0, LENGTH-1, left, right); printf("\n暴力求解答案:\nleft=%d\nright=%d\nsum_force=%d\n\n\n\n",*left,*right,sum_force); Time_calculate(start_time); //打印结束时间。 free(left); free(right);}
来源
非递归的线性问题的算法(动态规划)
动态规划思想:是由上一阶段的问题的解(可能被分解为多个子问题)递推求解出最终问题的解。
动态规划问题包含两个部分,一是问题的状态,二是状态转移方程
该问题的算法思路:
从数组的左边界开始,由左至右处理,记录到目前为止已经处理过的最大子数组。若已知A[1,j]的最大子数组,基于如下性质将解扩展为A[1,j+1]的最大子数组:
A[0,j+1]的最大子数组,要么是
1)某个子数组A[i,j+1],(0≤i≤j+1),
2)就是A[1,j]的最大子数组
在已知A[1,j]的最大子数组的情况下,可以在线性时间内找出形如A[i,j+1]的最大子数组。
//寻找A[i,j+1]中最大子数组,子数组右下标已经固定MaximumSubarray FIND_MAX_ARRAY(int A[],int low,int high){ MaximumSubarray maxSubarr={0}; if (high==low){ maxSubarr.low=low; maxSubarr.high=high; maxSubarr.sum=A[low]; return maxSubarr; } maxSubarr.low=high; maxSubarr.high=high; maxSubarr.sum=A[high]; int tmp_sum=A[high]; for (int i=high-1;i>=low;--i){ tmp_sum+=A[i]; if(tmp_sum>maxSubarr.sum){ maxSubarr.sum=tmp_sum; maxSubarr.low=i; } } return maxSubarr;}/***********************************************func:求给定数组的最大子数组para:A:数组;low:起始下标;high:结束下标***********************************************/MaximumSubarray FIND_MAXIMUM_SUBARRAY(int A[],int low,int high){ MaximumSubarray maxSubarr={0}; if (high==low){ maxSubarr.low=low; maxSubarr.high=high; maxSubarr.sum=A[low]; return maxSubarr; }//从A[0]开始 maxSubarr.low=low; maxSubarr.high=low; maxSubarr.sum=A[low]; MaximumSubarray tmpSubarr={0}; for (int i=low+1; i<=high;++i) tmpSubarr=FIND_MAX_ARRAY(A,low,i); //如果A[i,j+1]中最大子数组大于A[1,j]的最大子数组 if(tmpSubarr.sum>maxSubarr.sum) maxSubarr=tmpSubarr; return maxSubarr;}int main(int argc,char* argv[]){ int A[16]={13,-3,-25,20,-3,-16,-23,18,20,-7,12,-5,-22,15,-4,7}; MaximumSubarray resMaxSubarr=FIND_MAXIMUM_SUBARRAY(A,0,15); cout<<"dynamic programming maximum subarray is:"<<endl; cout<<"resMaxSubarr.low:"<<resMaxSubarr.low<<endl; cout<<"resMaxSubarr.high:"<<resMaxSubarr.high<<endl; cout<<"resMaxSubarr.sum:"<<resMaxSubarr.sum<<endl; return 0;}
代码来源
其实其中有很多可优化空间
比如判断当前元素A[j+1]是否为正:
如果为负值,则情况1)不用分析;
如果为正,则计算情况1);
比如判断当前最大子元素是否为正
如果为负,而当前元素A[j+1]为正,则情况2)不用分析,且计算情况1)时,应该从前一个最大子数组的最右下标往后的第一个正数位置开始考虑
而如果想达到线性时间的性能,则需要通过缓存一些中间结果来实现
具体参考博客
ps clrs.skanev.com 的算法好工整啊 ,贴出来
We need to build an array S that holds the maximum subarrays ending on each index of A. That is, S[j] holds information about the maximum subarray ending on j.
We first loop through the input to build S. Afterwards, we do what they suggest in the text. This is n+n=2n=Θ(n).
typedef struct { unsigned left; unsigned right; int sum;} max_subarray;max_subarray find_maximum_subarray(int A[], unsigned low, unsigned high) {//计算最右下标固定的最大子数组 max_subarray suffixes[high - low]; suffixes[0].left = low; suffixes[0].right = low + 1; suffixes[0].sum = A[low]; for (int i = low + 1; i < high; i++) { //如果上一个最大子数组是个负数 if (suffixes[i - 1].sum < 0) { suffixes[i].left = i; suffixes[i].right = i + 1; suffixes[i].sum = A[i]; } else { //如果s[i]大于零,那s[i+1]就是直接把A[i]加进去 max_subarray *previous = &suffixes[i - 1]; suffixes[i].left = previous->left; suffixes[i].right = i + 1; suffixes[i].sum = previous->sum + A[i]; } } max_subarray *max = &suffixes[0]; for (int i = low + 1; i < high; i++) { if (max->sum < suffixes[i].sum) { max = &suffixes[i]; } } return *max;}
主定理
习题 4.5.5 题目
考虑在某个常数c < 1时的规则性条件af(n/b)<=cf(n),此条件是主定理第三种情况的一部分。举一个常数a >= 1,b > 1以及一个函数f(n),满足主定理第三种情况中的除了规则性条件之外的所有条件的例子。
分析与解答
首先f(n)要比
同时要满足f(n)是多项式大,如果满足了多项式大,那么如果f(n)是多项式函数的话,很容易证明,由于f(n)的最高次比
所以考虑使用两类函数进行复合组成f(n),例如将两类函数相除,分母函数的增长性大于分子函数的增长性,考虑多项式函数与对数函数相除,这样f(n/b)可以还原出组成组成f(n)的函数,但是如果多项式函数的次数大于1的话,还是可以找到满足规则性条件,因为将这类复合函数带入规则性条件,最终都可以得到(mc - 1)lgn >= mc的形式,如果组成f(n)的多项式函数的次数大于1的话,m就会大于1,可以找到c使(mc-1)大于0,此时必然可以找到n使(mc - 1)lgn>= mc成立。
可见如果是用多项式函数与对数函数相除组成f(n)的话,
例如递归式:
来源
另外clrs.skanev给出的解答 是
T(n) = T(n/2) + n(2−cosn)
思考题4.2 参数传递的代价
意思就是在原递归式的基础上加上一个参数传递代价,重新计算渐近紧确界
standford algorithm on coursera week 1 note
building machine learning systems with python
机器学习系统设计
refuse to be content
所有算法都还有优化空间
永远要问自己
芯片检测问题
问题:Diogenes 教授有n个被认为是完全相同的VLSI芯片,原则上它们是可以互相测试的.教授的测试装置一次可测试二片,当该装置中放有两片芯片时,每一片就对另一片作 测试并报告其好坏.一个好的芯片总能够正确的报告另一片的好坏,但一个坏的芯片的结果就是不可靠的
a)证明若少于 n/2 的芯片是坏的,在这种成对测试方式下,使用任何策略都不能确定哪个芯片是好的.
b)假设有多于 n/2 的芯片是好的,考虑从 n 片中找出一片好芯片的问题.证明 n/2 对测试就足以使问题的规模降至近原来的一半.
c)假设有多于 n/2 的芯片是好的,证明好的芯片可用 O(n) 对测试找出。
思路:
两两配对进行检测(检测次数为n/2下界),那么结果中有
a个oo b个xx c个ox
假设剩下1个
那么a>b+1
我们选出那些结果为1芯片,
因为a>b,所以用这a+b个芯片去检测最后那个零头,那么如果超过一半说是坏的,那么最后能检测出正确结果
附录B
假设R是非空集合A中的一个关系,并且具有对称性和传递性。有人断定R是一个等价关系,其推理如下:
“对a,b∈A,从a R b得b R a,又从传递性得a R a,因而R有自反性,故为等价关系,”(题目问他的推理对吗?)
这个推论是错误的
解答:
由对称性: 如果存在aRb,那么推出 bRa
但自反性的定义是: 任意a, aRa. 这里推不出自反性
神举例:
A能和B接吻 B能和C接吻 那么 A能和C接吻 传递;
A能和B接吻 B能和A接吻 对称;
A能吻他自己否??????
附录C
c 2.6 描述一个以整数a和b为输入的过程,其中0
- 《算法导论》第四章_读书笔记
- 算法导论读书笔记 第四章 递归式
- 算法导论第二章_合并算法_读书笔记
- 算法导论_第四章_分治策略
- 《算法导论》第一章_读书笔记
- 算法导论第三章_函数的增长_读书笔记
- 算法导论第二章_插入排序_读书笔记
- 算法导论第四章笔记
- 读书笔记_算法第四版(一)
- 读书笔记_算法第四版(二)
- 读书笔记_算法第四版(一)
- 读书笔记_算法第四版(二)
- 算法导论读书笔记 第五章
- 《算法导论》第四章-第1节_练习(参考答案)
- 《算法导论》第四章-第2节_练习(参考答案)
- 《算法导论》第四章-第3节_练习(参考答案)
- 《算法导论》第四章-第4节_练习(参考答案)
- 《算法导论》第四章-第5节_练习(参考答案)
- 程序员的自我修养-链接装载与库笔记
- Mysql 性能提升
- go语句初探
- 九度OJ 1079 手机键盘
- 我的第一篇博客
- 《算法导论》第四章_读书笔记
- hdu 2717 Catch That Cow (BFS)
- 数据结构之单链表的几个简单算法题
- 冒泡排序最好的情况下复杂度O(N)的原因
- lightoj1198 - Karate Competition
- Linux -- 压缩
- LearnOpenGL学习笔记2:绘制基础图形
- 仿微信 滑动页面 Fragment ViewPager
- swift-运算符