算法导论 — 15.2 矩阵链乘法

2023-11-02 17:50
文章标签 算法 矩阵 乘法 导论 15.2

本文主要是介绍算法导论 — 15.2 矩阵链乘法,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

笔记

       本节给出了一个关于矩阵链相乘问题的动态规划算法。给定一个n个矩阵的矩阵链,要计算它们的乘积。矩阵乘法满足结合律,所以通过加括号,一个矩阵链的乘法可以按照不同的顺序进行。例如,4个矩阵的矩阵链,共有5种加括号的方式:

      

       加括号的方式对矩阵链乘法的时间代价产生巨大的影响。我们先来分析两个矩阵相乘的时间代价。下面的代码给出了两个矩阵相乘的标准算法。

       

       两个矩阵AB只有相容,即A的列数等于B的行数时,才能相乘。如果A是 p×矩阵,B是 q×矩阵,那么乘积C是 p×矩阵。分析上面的代码,矩阵乘法的时间代价主要由最内层循环的标量乘法的次数决定,一共需要做 pqr 次标量乘法。

       现在考虑计算矩阵链乘法的时间代价。以3个矩阵为例, 它们的维数分别为10×100、100×5和5×50,有以下两种加括号的方式:

       (1)   按的顺序计算

       先计算,需要做10×100×5 = 5000次标量乘法,得到的结果矩阵的维度为10×5;再与相乘,需要做10×5×50 = 2500次标量乘法。总共需要做5000+2500 = 7500次标量乘法。

       (2)   按的顺序计算

       先计算,需要做100×5×50 = 25000次标量乘法,得到的结果矩阵的维度为100×50; 再与的结果相乘,需要做10×100×50 = 50000次标量乘法。总共需要做25000+50000 = 75000次标量乘法。

       可以看到,第(2)种计算顺序的时间代价是第(1)种顺序的10倍。

       矩阵链乘法问题:给定一个n个矩阵的矩阵链,矩阵的维度为 (1 ≤ in),求一个最优的加括号方案,使得计算矩阵乘积所需要的标量乘法次数最少。

       矩阵的维度为的维度为,... ...。以此类推,矩阵的维度为。矩阵的维度可以构成一个n+1元的数组。以这个数组作为算法输入。

       令P(n)表示n个矩阵的矩阵链的所有加括号的方案的数量。当n =1时,由于只有一个矩阵,所以P(1) = 1。当n ≥ 2时,可以先将矩阵链划分为两个子链,其中k = 1,2,…, n-1,对两个子链加括号又是规模更小的子问题,因此矩阵链乘法问题满足最优子结构。由此,我们可以得到

       可以证明,。显然,遍历所有加括号的方案,并不是一个明智的选择,这样的算法至少有一个指数增长的时间复杂度。现在我们用动态规划方法来求解这个问题。

       用m[i, j]示计算矩阵链所需标量乘法次数的最小值。如果i = j,矩阵链中只有一个矩阵,显然m[ij] = 0。对于i < 的情况,上文提到,可以先将矩阵链划分为两个子链。左子链的乘积是一个矩阵,右子链的乘积是一个矩阵。假设两个子链的最优解已知,它们分别为m[i, k]和m[k+1, ],并且可以知道两个子链的结果相乘需要次标量乘法。于是,可以得到

       矩阵链的划分点k可以取值i, i+1,…, j-1,我们需要检查k的所有可能的取值情况,并从中找到最优解。于是有

       我们已经确立了问题的最优子结构,现在要合理安排子问题的求解顺序。子问题的规模是用相应的子链中矩阵的个数来度量的。我们要计算m[i, j],只依赖于更短的子链的求解结果。因此,我们可以按照长度递增的顺序求解矩阵链乘法问题。另外,还需要在求解过程中记录下每个子问题的最优解的分割点位置k。以下是代码。

       

       算法MATRIX-CHAIN-ORDER包含一个三层的嵌套循环,运行时间为。另外,该算法还需要的空间来保存数组ms

 

练习

15.2-1 对矩阵规模序列<5,10, 3, 12, 5, 50, 6>,求矩阵链最优加括号方案。

       解

       最优加括号方案为,所需要的标量乘法的次数为2010。

 

15.2-2 设计递归算法MATRIX-CHAIN-MULTIPLY(A, s,i, j),实现矩阵链最优代价乘法计算的真正计算过程,其输入参数为矩阵序列,MATRIX-CHAIN-ORDER得到的表s,以及下标 和 。(初始调用应为MATRIX-CHAIN-MULTIPLY(A, s, 1, n) )。

       解

       假设已经有两个矩阵相乘的代码MATRIX-MULTIPLY(A, B)

       

 

15.2-3 用代入法证明递归公式(15.6)的结果为

       解

       我们要证明的是,这个式子给出了P(n)的渐近下界,它的严格的数学含义是:存在正常量c,使得对所有,有

       用数学归纳法来证明这个命题。我们取。现在要选取合适的c,使得命题能够成立。

       初始条件要取n = 1、2、3、4。下面对这4个初始条件逐个分析。

       当n = 1时,这时有P(1) = 1,只要取0 < c ≤ 1/2,就能满足

       当n = 2时,这时有P(2) = P(1)·P(1)= 1,只要取0 < c ≤ 1/4,就能满足

       当n = 3时,这时有P(3) = P(1)·P(2)+ P(2)·P(1) = 2,只要取0 < c ≤ 1/4,就能满足

       当n =4时,这时有P(4)= P(1)·P(3) + P(2)·P(2) + P(3)·P(1) = 5,只要取0 < c ≤ 5/16,就能满足

       综合上述4个初始条件下c的取值范围可以得到,只要取0 < c ≤ 1/4,就能使命题对4个初始条件都成立。

       现在考虑n ≥ 5的情况。假设命题对所有1 ~ n-1都成立。于是有

       由于,因此只要不等式成立,就能使成立。我们求解不等式,得到c ≥ 1/(n-1)。只要取c ≥ 1/(5-1) = 1/4,就能使c ≥ 1/(n-1)对所有n ≥ 5都成立。于是有

       上式表明,在归纳阶段,取c ≥ 1/4可以使得命题成立。

       综上所述,初始条件下要取0 < c ≤ 1/4才能让命题成立,而归纳阶段要取c ≥ 1/4才能让命题成立。因此,我们可以取c = 1/4,这时命题对所有情况都成立。

 

15.2-4 对输入链长度为n的矩阵链乘法问题,描述其子问题图:它包含多少个顶点?包含多少条边?这些边分别连接哪些顶点?

       

 

15.2-5R(i, j)表示在一次调用MATRIX-CHAIN-ORDER过程中,计算其他表项时访问表项m[i,j]的次数。证明:

       解

       考虑计算长度为 的矩阵子链乘积。如果l = 1,计算m[i, i]不需要访问其他表项。因此l = 1的情况可以不用考虑。

       现在我们考虑> 1的情况。我们要从位置k处拆分一个长度为 的矩阵子链,其中k = i, i+1,… , i+l-2。每一次拆分需要访问两个表项m[i, k]和m[k+1, i+l-1]各一次。而k的可能取值有l-1个,因此处理一个长度为 的矩阵子链需要访问其他表项的次数为2(l-1)。在一个总长为n的矩阵链中,长度为l的子链一共有n-l+1个。因此处理所有长度为 的矩阵子链需要访问其他表项的次数为2(n-l+1)(l-1)次表项。将l = 2, 3, …, n的所有情况综合起来,可以得到

 

15.2-6 证明:对n个元素的表达式进行完全括号化,恰好需要n-1对括号。

       解

       用数学归纳法来证明这个命题。初始条件为n = 1,不需要括号,因此n = 1时命题成立。

       现在考虑n > 1的情况。假设命题对所有1 ~ n-1个元素的表达式都成立。对于n个元素的表达式,可以在一个任意的位置k处将它拆分,k = 1, 2, …, n-1。拆分后,左半边子表达式有k个元素,对它进行完全括号化恰好需要k-1对括号;右半边子表达式有n-k个元素,对它进行完全括号化恰好需要n-k-1对括号。还需要一对括号将两个子表达式括起来,如下所示,才能实现对n个元素的表达式的完全括号化。

(完全括号化的左半边子表达式    完全括号化的右半边子表达式)

       因此,对一个n个元素的表达式进行完全括号化,需要(k-1) + (n-k-1)+ 1 = n-1对括号。命题得证。

 

       相关代码可以从github下载。

       https://github.com/yangtzhou2012/Introduction_to_Algorithms_3rd/tree/master/Chapter15/Section_15.2/MatrixChainOrder

 

这篇关于算法导论 — 15.2 矩阵链乘法的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/332257

相关文章

不懂推荐算法也能设计推荐系统

本文以商业化应用推荐为例,告诉我们不懂推荐算法的产品,也能从产品侧出发, 设计出一款不错的推荐系统。 相信很多新手产品,看到算法二字,多是懵圈的。 什么排序算法、最短路径等都是相对传统的算法(注:传统是指科班出身的产品都会接触过)。但对于推荐算法,多数产品对着网上搜到的资源,都会无从下手。特别当某些推荐算法 和 “AI”扯上关系后,更是加大了理解的难度。 但,不了解推荐算法,就无法做推荐系

康拓展开(hash算法中会用到)

康拓展开是一个全排列到一个自然数的双射(也就是某个全排列与某个自然数一一对应) 公式: X=a[n]*(n-1)!+a[n-1]*(n-2)!+...+a[i]*(i-1)!+...+a[1]*0! 其中,a[i]为整数,并且0<=a[i]<i,1<=i<=n。(a[i]在不同应用中的含义不同); 典型应用: 计算当前排列在所有由小到大全排列中的顺序,也就是说求当前排列是第

csu 1446 Problem J Modified LCS (扩展欧几里得算法的简单应用)

这是一道扩展欧几里得算法的简单应用题,这题是在湖南多校训练赛中队友ac的一道题,在比赛之后请教了队友,然后自己把它a掉 这也是自己独自做扩展欧几里得算法的题目 题意:把题意转变下就变成了:求d1*x - d2*y = f2 - f1的解,很明显用exgcd来解 下面介绍一下exgcd的一些知识点:求ax + by = c的解 一、首先求ax + by = gcd(a,b)的解 这个

综合安防管理平台LntonAIServer视频监控汇聚抖动检测算法优势

LntonAIServer视频质量诊断功能中的抖动检测是一个专门针对视频稳定性进行分析的功能。抖动通常是指视频帧之间的不必要运动,这种运动可能是由于摄像机的移动、传输中的错误或编解码问题导致的。抖动检测对于确保视频内容的平滑性和观看体验至关重要。 优势 1. 提高图像质量 - 清晰度提升:减少抖动,提高图像的清晰度和细节表现力,使得监控画面更加真实可信。 - 细节增强:在低光条件下,抖

【数据结构】——原来排序算法搞懂这些就行,轻松拿捏

前言:快速排序的实现最重要的是找基准值,下面让我们来了解如何实现找基准值 基准值的注释:在快排的过程中,每一次我们要取一个元素作为枢纽值,以这个数字来将序列划分为两部分。 在此我们采用三数取中法,也就是取左端、中间、右端三个数,然后进行排序,将中间数作为枢纽值。 快速排序实现主框架: //快速排序 void QuickSort(int* arr, int left, int rig

poj 3974 and hdu 3068 最长回文串的O(n)解法(Manacher算法)

求一段字符串中的最长回文串。 因为数据量比较大,用原来的O(n^2)会爆。 小白上的O(n^2)解法代码:TLE啦~ #include<stdio.h>#include<string.h>const int Maxn = 1000000;char s[Maxn];int main(){char e[] = {"END"};while(scanf("%s", s) != EO

秋招最新大模型算法面试,熬夜都要肝完它

💥大家在面试大模型LLM这个板块的时候,不知道面试完会不会复盘、总结,做笔记的习惯,这份大模型算法岗面试八股笔记也帮助不少人拿到过offer ✨对于面试大模型算法工程师会有一定的帮助,都附有完整答案,熬夜也要看完,祝大家一臂之力 这份《大模型算法工程师面试题》已经上传CSDN,还有完整版的大模型 AI 学习资料,朋友们如果需要可以微信扫描下方CSDN官方认证二维码免费领取【保证100%免费

dp算法练习题【8】

不同二叉搜索树 96. 不同的二叉搜索树 给你一个整数 n ,求恰由 n 个节点组成且节点值从 1 到 n 互不相同的 二叉搜索树 有多少种?返回满足题意的二叉搜索树的种数。 示例 1: 输入:n = 3输出:5 示例 2: 输入:n = 1输出:1 class Solution {public int numTrees(int n) {int[] dp = new int

hdu 4565 推倒公式+矩阵快速幂

题意 求下式的值: Sn=⌈ (a+b√)n⌉%m S_n = \lceil\ (a + \sqrt{b}) ^ n \rceil\% m 其中: 0<a,m<215 0< a, m < 2^{15} 0<b,n<231 0 < b, n < 2^{31} (a−1)2<b<a2 (a-1)^2< b < a^2 解析 令: An=(a+b√)n A_n = (a +

Codeforces Round #240 (Div. 2) E分治算法探究1

Codeforces Round #240 (Div. 2) E  http://codeforces.com/contest/415/problem/E 2^n个数,每次操作将其分成2^q份,对于每一份内部的数进行翻转(逆序),每次操作完后输出操作后新序列的逆序对数。 图一:  划分子问题。 图二: 分而治之,=>  合并 。 图三: 回溯: