【数据结构】动态规划(Dynamic Programming)

一.动态规划(DP)的定义:

求解决策过程(decision process)最优化的数学方法。

将多阶段决策过程转化为一系列单阶段问题,利用各阶段之间的关系,逐个求解。

二.动态规划的基本思想:

与分治法类似,将待求解问题分解成若干个子问题

但是经分解得到的子问题往往不是相互独立的。

如果使用分治法求解问题,有些子问题被重复计算了多次。

而“如何减少子问题的重复计算”是动态规划算法的关键思想。

问题:如何减少子问题的重复计算呢?

解决方案:保存已解决的子问题的答案,在需要的时候找出已经求得的答案。

三.动态规划的基本步骤

1.找出最优解的性质,并刻划其结构特征。即:寻找最优解的子问题结构。

2.递归地定义最优解。即:根据子问题的结构建立问题的递归解式,求解最优值。

3.以自底向上的方式计算出最优值。

4.根据计算最优值时得到的信息,构造最优解。

四.例题分析——多个矩阵连乘模块设计

问题描述:

实现多个矩阵连乘功能

关键问题计算:

给定n个矩阵{ $A_1,A_2,......,A_n$},其中$A_i$$A_{i+1}$是可乘的,考察这n个矩阵的连乘积

$A_1A_2A_3...A_n$

由于矩阵乘法满足结合律,所以计算矩阵的连乘可以有许多不同的计算次序。这种计算次序可以用加括号的方式来确定。

若一个矩阵连乘积的计算次序完全确定,也就是说该矩阵已完全加括号,则可以依此次序反复调用3个矩阵相乘的标准算法计算出矩阵连乘积。

完全加括号的矩阵连乘积:

设有四个矩阵 A,B,C,D 维数分别为:

50*10;10*40;40*30;30*5

则总共有五种完全加括号的方式:

1)

(A((BC)D))

2)

(A(B(CD)))

3)

((AB)(CD))

4)

(((AB)C)D)

5)

((A(BC))D)

对于两个矩阵A(p*q)*B(q*r)(标准乘法计算):

void matrixMultiply(int *a,int *b,int *c,int ra,int ca,int rb,int cb){
    if(ca!=rb){
        cout<<"矩阵不可乘!"<<endl;
    }
    else{
        int i,j,k,n,sum=0;
        for(i=0;i<ra;i++){
            for(j=0;j<cb;j++){
                for(k=0;k<ca;k++){
                    sum+=a[i*ca+k]*b[k*cb+j];
                }
                c[i*ra+j]=sum;
                sum=0;
            }
        }
        
    }
}

需要进行p*q*r次乘法计算!

矩阵连乘问题转化为:

确定矩阵连乘的计算次序,使得按照该次序计算矩阵连乘需要的数乘次数最少。

1.穷举法求解思路:

        列举出所有可能的计算次序,并计算出每一种次序相应需要的数乘次数,从中找出一种数乘次数最少的计算次序。

算法复杂度分析:

对于n个矩阵的连乘积,设其不同的计算次序为P(n)

由于每种加括号方式都可以分解为两个子矩阵的加括号的问题

2.动态规划求解:

最优解结构分析:

将矩阵连乘积$A_iA_{i+1}...A_j$简记为:A[i:j],这里i<=j。

设这个计算次序在$A_k$A_{k+1}之间将矩阵断开,i<=k<j,则其相应的完全加括号的方式为:

$A_iA_{i+1}...A_k$)($A_{k+1}...A_j$)

总计算量=A[i:k]的计算量加上A[k+1:j]的计算量,再加上A[i:k]和A[k+1:j]相乘的计算量。

特征:计算A[i:j]的最优次序所包含的计算矩阵子链A[i:k]和A[k+1:j]的次序也是最优的。

最优子结构性质:最优解包含其子问题的最优解。

建立递归关系:(m[i,j]表示最小连乘次数)

当i=j时,A[i:j]=$A_i$,m[i,j]=0

当i<j时,m[i,j]=$min_k${m[i,k]+m[k+1,j]+$p_{i-1}p_kp_j$}

则有:

(k的位置只有j-i种可能) 

注:由于矩阵乘法中$A_i$的列数和$A_{i+1}$的行数相等,则可以只用列数来化简表达式,这里的$p_{i-1},p_k,p_j$均表示第i-1,k,j个矩阵的列数。n个矩阵的信息,只需要一个长度为n+1的数组来表示即可。

对于m[i][j]数组,只需要填入上三角中的元素即可(因为i<=j)。

五.代码实现

#include <iostream>
using namespace std;
int BestValue(int row[],int col[], int n);
int main(int argc, const char * argv[]) {
    int row[]={3,4,6};
    int col[]={4,6,11};
    cout<<BestValue(row, col, 3);
    return 0;
}
int BestValue(int row[],int col[], int n){
    if(n<=0){
        cout<<"error";
        return 0;
    }
    int m[40][40];
    int i,j,k,r,sum;
    for(i=0;i<n-1;i++){
        if(col[i]!=row[i+1]){
            cout<<"error"<<endl;
            return 0;
        }
    }
    for(i=0;i<n;i++){
        m[i][i]=0;
    }
    for(r=1;r<n;r++){
        for(j=r;j<n;j++){
            i=j-r;
            sum=m[i][i]+m[i+1][j]+row[i]*col[i]*col[j];
            for(k=i;k<j;k++){
                if(sum>m[i][k]+m[k+1][j]+row[i]*col[k]*col[j]){
                    sum=m[i][k]+m[k+1][j]+row[i]*col[k]*col[j];
                }
            }
            m[i][j]=sum;
        }
    }
    return m[0][n-1];
}

相关推荐

  1. 数据结构-动态规划策略

    2023-12-07 06:10:05       37 阅读
  2. 15.动态规划数据结构优化DP

    2023-12-07 06:10:05       64 阅读
  3. 数据结构与算法】动态规划

    2023-12-07 06:10:05       37 阅读
  4. 数据结构与算法-09贪心算法&动态规划

    2023-12-07 06:10:05       17 阅读

最近更新

  1. docker php8.1+nginx base 镜像 dockerfile 配置

    2023-12-07 06:10:05       94 阅读
  2. Could not load dynamic library ‘cudart64_100.dll‘

    2023-12-07 06:10:05       100 阅读
  3. 在Django里面运行非项目文件

    2023-12-07 06:10:05       82 阅读
  4. Python语言-面向对象

    2023-12-07 06:10:05       91 阅读

热门阅读

  1. C++ IO库

    C++ IO库

    2023-12-07 06:10:05      42 阅读
  2. springboot引入swagger2

    2023-12-07 06:10:05       46 阅读
  3. Spark常见算子汇总

    2023-12-07 06:10:05       65 阅读
  4. DevOps搭建(三)-Docker环境安装细步骤

    2023-12-07 06:10:05       53 阅读
  5. spark log4j日志配置

    2023-12-07 06:10:05       49 阅读
  6. ssh免密远程登录主机并执行命令

    2023-12-07 06:10:05       54 阅读
  7. 绘制动态心形图的MATLAB代码

    2023-12-07 06:10:05       75 阅读