码迷,mamicode.com
首页 > 其他好文 > 详细

动态规划-矩阵链乘法

时间:2014-07-29 21:28:02      阅读:417      评论:0      收藏:0      [点我收藏+]

标签:style   blog   color   使用   os   strong   for   问题   

问题描述:

  给定由n个要相乘的矩阵构成的序列(链)<A1,A2,...,An>,要计算乘积A1A2...An,可以将两个矩阵相乘的标准算法作为一个子程序,通过加括号确定计算的顺序(对同一矩阵链,不同的计算顺序所需要的计算次数大不相同)。

  目标问题:给定n个矩阵构成的矩阵链<A1,A2,...,An>,其中,i=1,2,...,n,矩阵Ai的维数为pi-1×pi,对乘积A1A2...An以一种最小计算次数加全部括号。

穷尽搜索:

  令P(n)表示一串n个矩阵可能的加全部方案数。当n=1时,只有一种方案。当n>1时,一个矩阵链乘积变成两个子矩阵链乘积的乘积,分裂的地方可能发生在第k个矩阵和第k+1个矩阵之间,k=2,3,...,n-1。那么,P(n)=∑(k=2,3,...,n-1)P(k)*P(n-k)。这是关于n的指数形式,因此穷尽搜索不是好的策略。

动态规划:

  1、寻找最优子结构

  寻找最优子结构,利用这一子结构,根据子问题的最优解构造原问题的一个最优解。对于矩阵链相乘的问题,用Ai..j表示A1A2...An的求积结果,其中i≤j。对于某个k(1<k<j),首先计算Ai..k和Ak+1..j,然后计算它们相乘最终得到Ai..j。计算Ai..j的代价就是计算Ai..k和Ak+1..j的代价之和,再加上两者相乘的代价。

  最优子结构如下:

  假设AiAi+1...Aj的最优加括号方式在k和k+1处分开,则对前缀子链AiAi+1...Ak的加括号必须是一个最优加括号,为什么呢?如果存在有对AiAi+1...Ak有一个更优的加括号,那么会产生一个对AiAi+1...Aj的更优加括号,这与假设矛盾。同理,后缀子链Ak+1Ak+2...Aj也必须是一个最优加括号。

  现在利用最优子结构,根据子问题的最优解构造原问题的最优解。即保证寻找一个最优的位置分割乘积。

  2、递归求解

  假设m[i,j]表示计算AiAi+1...Aj最优解的花费代价,1≤i≤j≤n。整个问题,计算A1..n的代价为m[1,n]。如果i=j,m[i,j]=0;当i<j时,假设最优加括号是将AiAi+1...Aj分裂成AiAi+1...Ak和Ak+1Ak+2...Aj。则m[i,j]等于计算Ai..k和Ak+1..j的最小代价,再加上这二者相乘的代价。即:

    m[i,j]=m[i,k]+m[k+1,j]+pi-1pkpj (i<k<j)

  上述公式假设已经知道k值,实际上,只知道k有j-i个值,分别是k=i,i+1,i+2...,j-1,k是其中最佳的值,需要通过如下方式确定k值:

    m[i,j]=min(i≤k<j){m[i,j]=m[i,k]+m[k+1,j]+pi-1pkpj } (i<j)

  各个m[i,j]的值给出了子问题的最优解的代价。为了跟踪如何构造一个最优解,定义s[i,j],让其记录AiAi+1...Aj最优解分裂处的k值。

  3、计算最优解的代价

    可轻易根据上述递归公式写出计算m[1,n]的递归算法。但是,它和穷尽搜索类似,具有指数时间。

    可以观察到,原问题只有较少的子问题:每一对满足i<j的(i,j)对应一个子问题,总共不超过n2个。一个递归算法在递归树的不同分支中可能会多次遇到同一个子问题,子问题重叠是判断是否能够采用动态规划方法的第二个标志(第一个标志是最优子结构)。

    对于矩阵链相乘问题不使用递归方式,而是使用自底向上的表格法计算最优解的代价。如下代码计算最优解的代价,其中Ai的维数为pi-1×pi,i=1,2,....,n。输入序列p=<p0,p1,p2,...,pn>,使用一个辅助表m[1...n,1...n]保存m[i,j]的值,使用s[1...n,1...n]记录取得最优m[i,j]时分裂处的k值。s用来构造最优解。    

 1 public void Matrix_Chain_Order()
 2     {
 3         for (int i = 1; i <= n; i++) {
 4             m[i][i] = 0;   
 5         }
 6         for (int l = 2; l <= n; l++)
 7         {
 8             for (int i = 1; i <= n-l+1; i++)
 9             {
10                 int j = i+l-1;
11                 m[i][j] = 2147483647;
12                 for (int k = i; k <= j-1; k++) 
13                 {
14                     int q = m[i][k]+m[k+1][j]+p[i-1]*p[k]*p[j];
15                     if(q<m[i][j])
16                     {
17                         m[i][j] = q;
18                         s[i][j] = k;
19                     }                                       
20                 }               
21             }         
22         }    
23      }  

  4、构造最优解

     利用保存在表格s[1..n,1..n]内的、经过计算的信息来构造一个最优解并不难。在每一个表项s[i,j]中记录了AiAi+1..Aj在Ak与Ak+1之间取得最优解的k值。计算A1..n最优解时,最终相乘的顺序就是A1..s[1,n]As[1,n]+1..n。s[1,s[1.n]]决定A1..s[1,n]最优解处的值,s[s[1,n]+1,n]则决定As[1,n]+1..n最优解处的值。下面程序递归的计算出一个矩阵链相乘的最优顺序。  

 1 public void Print_Optimal_Parens(int i,int j)
 2     {
 3         if(i==j)
 4         {
 5             System.out.print("A"+i);
 6         }
 7         else
 8         {        
 9             System.out.print("(");
10             Print_Optimal_Parens(i, s[i][j]);
11             Print_Optimal_Parens(s[i][j]+1, j);
12             System.out.print(")");
13         }
14     }

 程序实现:   

/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */
package agrith;

/**
 *
 * @author ning
 */
public class Matrix_Chain {
    private int [] p;
    private int [][]s;
    private int [][] m;  
    private int n;

    public int getN() {
        return n;
    }

    public void setN(int n) {
        this.n = n;
    }
    
    
    public int[] getP() {
        return p;
    }

    public void setP(int[] p) {
        this.p = p;
    }

    public int[][] getS() {
        return s;
    }

    public void setS(int[][] s) {
        this.s = s;
    }

    public int getM(int i,int j) {
        return m[i][j];
    }

    public void setM(int[][] m) {
        this.m = m;
    }

    public void Matrix_Chain_Order()
    {
        for (int i = 1; i <= n; i++) {
            m[i][i] = 0;   
        }
        for (int l = 2; l <= n; l++)
        {
            for (int i = 1; i <= n-l+1; i++)
            {
                int j = i+l-1;
                m[i][j] = 2147483647;
                for (int k = i; k <= j-1; k++) 
                {
                    int q = m[i][k]+m[k+1][j]+p[i-1]*p[k]*p[j];
                    if(q<m[i][j])
                    {
                        m[i][j] = q;
                        s[i][j] = k;
                    }                                       
                }               
            }         
        }    
     }  
    
    public void Print_Optimal_Parens(int i,int j)
    {
        if(i==j)
        {
            System.out.print("A"+i);
        }
        else
        {        
            System.out.print("(");
            Print_Optimal_Parens(i, s[i][j]);
            Print_Optimal_Parens(s[i][j]+1, j);
            System.out.print(")");
        }
    }
}  
        matrix_Chain.Matrix_Chain_Order();
        System.out.println("最优解花费的代价:"+matrix_Chain.getM(1, n-1));
        
        System.out.println("最优解的顺序:");
        matrix_Chain.Print_Optimal_Parens(1, n-1);
        
    }
    
}

程序结果:

  最优解花费的代价:15125
  最优解的顺序:
  ((A1(A2A3))((A4A5)A6))

 

动态规划-矩阵链乘法,布布扣,bubuko.com

动态规划-矩阵链乘法

标签:style   blog   color   使用   os   strong   for   问题   

原文地址:http://www.cnblogs.com/Jiaoxia/p/3872438.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!