求所有最大公共子序列的算法实现(转)

最近看了很多关于LCS(Longest common subsequence problem,最长公共子序列)的文章，大部分问题都只是求出最大公共子序列的长度，或者打印处其中的任意一个最大子序列即可，但是如何快速的打印出所有的最大长度子序列？这个问题好像看到的不多。本文给出了传统的DP(dynamic programming，动态规划)算法进行求解的过程，并用c语言实现。另外参考一篇论文实现了其中的一种打印所有最大公共子序列的算法，这个算法比起传统的算法而言，时间复杂度大大降低.

一：LCS解析

首先看下什么是子序列？定义就不写了，直接举例一目了然。如对于字符串：“student”，那么su，sud，sudt等都是它的子序列。它可以是连续的也可以不连续出现，如果是连续的出现，比如stud，一般称为子序列串，这里我们只讨论子序列。

什么是公共子序列？很简单，有两个字符串，如果包含共同的子序列，那么这个子序列就被称为公共子序列了。如“student”和“shade”的公共子序列就有“s”或者“sd”或者“sde”等。而其中最长的子序列就是所谓的最长公共子序列(LCS)。当然，最长公共子序列也许不止一个，比如：“ABCBDAB”和“BDCABA”，它们的LCS为“BCBA”，“BCAB”，“BDAB”。知道了这些概念以后就是如何求LCS的问题了。

通常的算法就是动态规划(DP)。假设现在有两个字符串序列：X={x1,x2,…xi…xm},Y={y1,y2,…yj…yn}。如果我们知道了X={x1,x2,…xi-1}和Y={y1,y2,…yj-1}的最大公共子序列L，那么接下来我们可以按递推的方法进行求解：

1)如果xi==yj,那么{L,xi(或yj)}就是新的LCS了，其长度也是len(L)+1。这个好理解，即序列{Xi,Yj}的最优解是由{Xi-1,Yj-1}求得的。

2)如果xiyj,那么可以转换为求两种情况下的LCS。

A: X={x1,x2,…xi}与Y={y1,y2,…yj-1}的LCS，假设为L1

B: X={x1,x2,…xi-1}与Y={y1,y2,…yj}的LCS，假设为L2

那么xiyj时的LCS=max{L1,L2},即取最大值。同样，实际上序列{Xi,Yj-1}和{Xi-1,Yj}都可以由{Xi-1,Yj-1}的最优解求得。

怎么样，是不是觉得这种方法很熟悉？当前问题的最优解总是包含了一个同样具有最优解的子问题，这就是典型的DP求解方法。好了，直接给出上面文字描述解法中求LCS长度的公式： 
 
这里用一个二维数组存储LCS的长度信息，i，j分别表示两个字符串序列的下标值。这是求最大公共子序列长度的方法，如果要打印出最大公共子序列怎么办？我们还需要另外一个二维数组来保存求解过程中的路径信息，方便最后进行路径回溯，找到LCS。如果看着很含糊，我下面给出其实现过程。

二：DP实现

很多博文上面都有，基本上是用两个二维数组c[m][n]和b[m][n]，一个用来存储子字符串的LCS长度，一个用来存储路径方向，然后回溯。

其中二维数组b[i][j]的取值为1或2或3，其中取值为1时说明此时xi=yj，c[i][j]=c[i-1][j-1]+1。如果将二维数组看成一个矩阵，那么此时代表了一个从左上角到右下角的路径。如果取值为2，说明xi≠yj,且c[i][j]=c[i-1][j]，代表了一个从上到下的路径，同理取值为3代表一个从左到右的路径。 
 
最后我们可以根据c[m][n]的值知道最大公共子序列的长度。然后根据b[i][j]回溯，可以打印一条LCS。其中b[i][j]=1的坐标点对应的字符同时在两个序列中出现，所以依次回溯这个二维数组就可以找到LCS了。这里给出实现代码：

<code class="hljs java has-numbering" style="display: block; padding: 0px; color: inherit; box-sizing: border-box; font-family: 'Source Code Pro', monospace;font-size:undefined; white-space: pre; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; word-wrap: normal; background: transparent;">#include <stdio.h>#include <stdlib.h>#include <string.h>#include <span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"stack.h"</span>#define MAX_LEN <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1024</span>typedef <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> **Matrix;<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> GetLCSLen(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str2, Matrix pc, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn);Matrix GreateMatrix(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> DeleteMatrix(Matrix p, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> TraceBack(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> GetLCSLen(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str2, Matrix pc, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn){    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i,j;    <span class="hljs-javadoc" style="color: rgb(136, 0, 0); box-sizing: border-box;">/************initial the edge***************/</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>; i<nrow; i++)    {        pc[i][<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;        pb[i][<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;    }    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(j=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>; j<ncolumn; j++)    {        pc[<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>][j] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;        pb[<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>][j] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>;    }    <span class="hljs-javadoc" style="color: rgb(136, 0, 0); box-sizing: border-box;">/************DP*****************************/</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>; i<nrow; i++)    {        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(j=<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>; j<ncolumn; j++)        {            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(str1[i-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>] == str2[j-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>])            {                pc[i][j] = pc[i-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>][j-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>] + <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//由左上节点转移而来</span>                pb[i][j] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//标记为1</span>            }            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span> <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(pc[i-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>][j] >= pc[i][j-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>])            {                pc[i][j] = pc[i-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>][j];<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//由上节点转移而来</span>                pb[i][j] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//标记为2</span>            }            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>            {                pc[i][j] = pc[i][j-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>];<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//由左节点转移而来</span>                pb[i][j] = <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">3</span>;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//标记为2</span>            }        }    }}<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> TraceBack(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn){    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ntemp;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(str1 == NULL || pb == NULL)        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(nrow == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span> || ncolumn == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>)        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span>;    ntemp = pb[nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>][ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>];    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">switch</span>(ntemp)    {    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>:        printf(<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"locate:(%d,%d),%4c\n"</span>, nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, str1[nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>]);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//打印公共字符，这里下标是nrow-2，因为矩阵的坐标值(i,j)比字符串的实际下标大1</span>        TraceBack(str1, pb, nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//向左上角递归</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>:        TraceBack(str1, pb, nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, ncolumn);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//向上方向递归</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">3</span>:        TraceBack(str1, pb, nrow, ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//向左方向递归</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">default</span>:        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    }}</code><ul class="pre-numbering" style="box-sizing: border-box; position: absolute; width: 50px; top: 0px; left: 0px; margin: 0px; padding: 6px 0px 40px; border-right-width: 1px; border-right-style: solid; border-right-color: rgb(221, 221, 221); list-style: none; text-align: right; background-color: rgb(238, 238, 238);"><li style="box-sizing: border-box; padding: 0px 5px;">1</li><li style="box-sizing: border-box; padding: 0px 5px;">2</li><li style="box-sizing: border-box; padding: 0px 5px;">3</li><li style="box-sizing: border-box; padding: 0px 5px;">4</li><li style="box-sizing: border-box; padding: 0px 5px;">5</li><li style="box-sizing: border-box; padding: 0px 5px;">6</li><li style="box-sizing: border-box; padding: 0px 5px;">7</li><li style="box-sizing: border-box; padding: 0px 5px;">8</li><li style="box-sizing: border-box; padding: 0px 5px;">9</li><li style="box-sizing: border-box; padding: 0px 5px;">10</li><li style="box-sizing: border-box; padding: 0px 5px;">11</li><li style="box-sizing: border-box; padding: 0px 5px;">12</li><li style="box-sizing: border-box; padding: 0px 5px;">13</li><li style="box-sizing: border-box; padding: 0px 5px;">14</li><li style="box-sizing: border-box; padding: 0px 5px;">15</li><li style="box-sizing: border-box; padding: 0px 5px;">16</li><li style="box-sizing: border-box; padding: 0px 5px;">17</li><li style="box-sizing: border-box; padding: 0px 5px;">18</li><li style="box-sizing: border-box; padding: 0px 5px;">19</li><li style="box-sizing: border-box; padding: 0px 5px;">20</li><li style="box-sizing: border-box; padding: 0px 5px;">21</li><li style="box-sizing: border-box; padding: 0px 5px;">22</li><li style="box-sizing: border-box; padding: 0px 5px;">23</li><li style="box-sizing: border-box; padding: 0px 5px;">24</li><li style="box-sizing: border-box; padding: 0px 5px;">25</li><li style="box-sizing: border-box; padding: 0px 5px;">26</li><li style="box-sizing: border-box; padding: 0px 5px;">27</li><li style="box-sizing: border-box; padding: 0px 5px;">28</li><li style="box-sizing: border-box; padding: 0px 5px;">29</li><li style="box-sizing: border-box; padding: 0px 5px;">30</li><li style="box-sizing: border-box; padding: 0px 5px;">31</li><li style="box-sizing: border-box; padding: 0px 5px;">32</li><li style="box-sizing: border-box; padding: 0px 5px;">33</li><li style="box-sizing: border-box; padding: 0px 5px;">34</li><li style="box-sizing: border-box; padding: 0px 5px;">35</li><li style="box-sizing: border-box; padding: 0px 5px;">36</li><li style="box-sizing: border-box; padding: 0px 5px;">37</li><li style="box-sizing: border-box; padding: 0px 5px;">38</li><li style="box-sizing: border-box; padding: 0px 5px;">39</li><li style="box-sizing: border-box; padding: 0px 5px;">40</li><li style="box-sizing: border-box; padding: 0px 5px;">41</li><li style="box-sizing: border-box; padding: 0px 5px;">42</li><li style="box-sizing: border-box; padding: 0px 5px;">43</li><li style="box-sizing: border-box; padding: 0px 5px;">44</li><li style="box-sizing: border-box; padding: 0px 5px;">45</li><li style="box-sizing: border-box; padding: 0px 5px;">46</li><li style="box-sizing: border-box; padding: 0px 5px;">47</li><li style="box-sizing: border-box; padding: 0px 5px;">48</li><li style="box-sizing: border-box; padding: 0px 5px;">49</li><li style="box-sizing: border-box; padding: 0px 5px;">50</li><li style="box-sizing: border-box; padding: 0px 5px;">51</li><li style="box-sizing: border-box; padding: 0px 5px;">52</li><li style="box-sizing: border-box; padding: 0px 5px;">53</li><li style="box-sizing: border-box; padding: 0px 5px;">54</li><li style="box-sizing: border-box; padding: 0px 5px;">55</li><li style="box-sizing: border-box; padding: 0px 5px;">56</li><li style="box-sizing: border-box; padding: 0px 5px;">57</li><li style="box-sizing: border-box; padding: 0px 5px;">58</li><li style="box-sizing: border-box; padding: 0px 5px;">59</li><li style="box-sizing: border-box; padding: 0px 5px;">60</li><li style="box-sizing: border-box; padding: 0px 5px;">61</li><li style="box-sizing: border-box; padding: 0px 5px;">62</li><li style="box-sizing: border-box; padding: 0px 5px;">63</li><li style="box-sizing: border-box; padding: 0px 5px;">64</li><li style="box-sizing: border-box; padding: 0px 5px;">65</li><li style="box-sizing: border-box; padding: 0px 5px;">66</li><li style="box-sizing: border-box; padding: 0px 5px;">67</li><li style="box-sizing: border-box; padding: 0px 5px;">68</li><li style="box-sizing: border-box; padding: 0px 5px;">69</li><li style="box-sizing: border-box; padding: 0px 5px;">70</li><li style="box-sizing: border-box; padding: 0px 5px;">71</li><li style="box-sizing: border-box; padding: 0px 5px;">72</li><li style="box-sizing: border-box; padding: 0px 5px;">73</li></ul>

<code class="hljs cs has-numbering" style="display: block; padding: 0px; color: inherit; box-sizing: border-box; font-family: 'Source Code Pro', monospace;font-size:undefined; white-space: pre; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; word-wrap: normal; background: transparent;"><span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> str1[MAX_LEN] = <span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"BADCDCBA"</span>;<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> str2[MAX_LEN] = <span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"ABCDCDAB"</span>;GetLCSLen(str1, str2, C, B, str1len+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, str2len+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);TraceBack(str1, B, str1len+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, str2len+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);</code><ul class="pre-numbering" style="box-sizing: border-box; position: absolute; width: 50px; top: 0px; left: 0px; margin: 0px; padding: 6px 0px 40px; border-right-width: 1px; border-right-style: solid; border-right-color: rgb(221, 221, 221); list-style: none; text-align: right; background-color: rgb(238, 238, 238);"><li style="box-sizing: border-box; padding: 0px 5px;">1</li><li style="box-sizing: border-box; padding: 0px 5px;">2</li><li style="box-sizing: border-box; padding: 0px 5px;">3</li><li style="box-sizing: border-box; padding: 0px 5px;">4</li></ul>

问题：上面的方法中，我们没有单独考虑c[i-1][j]==c[i][j-1]的情况，所以在回溯的时候打印的字符只是其中一条最大公共子序列，如果存在多条公共子序列的情况下。怎么解决？我们对b[i][j]二维数组的取值添加一种可能，等于4，这代表了我们说的这种多支情况，那么回溯的时候我们可以根据这个信息打印更多可能的选择。这个过程就不写代码了，其实很简单，以下面的路径回溯图举例，你从（8,8)点开始按b[i][j]的值指示的方向回溯，把所有的路径遍历一遍，如果是能达到起点（0,0)的路径，就是LCS了，有多少条打印多少条。可是，

又出现问题了：你发现没有，在回溯路径的时候，如果采用一般的全搜索，会进行了很多无用功。即重复了很多，且会遍历了一些无效路径，因为这些路径最终不会到达终点(0,0)，比如节点(6,3),(7,2),(8,1)。因此加大算法复杂度和时间消耗。那么如何解决？看下面的这个方法，正式进入本文正题。

路径回溯图： 
 
加入状态4后的状态图： 

三：算法改进

上面提到路径回溯过程中，一般的方法就是遍历所有可能的路径，但是一些不可能构成最大公共子序列的跳跃点我们也会去计算。这里先解释下什么叫跳跃点，就是导致公共子序列长度发生变化的节点，即b[i][j]=1对应的节点(i,j)。Ok，接下来的问题是，如何不去考虑这些无效跳跃点，降低算法复杂度？参考论文里提出了这样一种方法：矩形搜索。

首先构造两个栈数据结构store和print。故名思议，一个用来储存节点，一个用来打印节点。栈的定义为：

<code class="hljs objectivec has-numbering" style="display: block; padding: 0px; color: inherit; box-sizing: border-box; font-family: 'Source Code Pro', monospace;font-size:undefined; white-space: pre; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; word-wrap: normal; background: transparent;"><span class="hljs-preprocessor" style="color: rgb(68, 68, 68); box-sizing: border-box;">#define MAX_STACK_SIZE 1024</span><span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">typedef</span> <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">struct</span> _Element{    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nlcslen;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn;}Element;<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">typedef</span> <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">struct</span> _Stack{    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> top;    Element data[MAX_STACK_SIZE];}Stack;</code><ul class="pre-numbering" style="box-sizing: border-box; position: absolute; width: 50px; top: 0px; left: 0px; margin: 0px; padding: 6px 0px 40px; border-right-width: 1px; border-right-style: solid; border-right-color: rgb(221, 221, 221); list-style: none; text-align: right; background-color: rgb(238, 238, 238);"><li style="box-sizing: border-box; padding: 0px 5px;">1</li><li style="box-sizing: border-box; padding: 0px 5px;">2</li><li style="box-sizing: border-box; padding: 0px 5px;">3</li><li style="box-sizing: border-box; padding: 0px 5px;">4</li><li style="box-sizing: border-box; padding: 0px 5px;">5</li><li style="box-sizing: border-box; padding: 0px 5px;">6</li><li style="box-sizing: border-box; padding: 0px 5px;">7</li><li style="box-sizing: border-box; padding: 0px 5px;">8</li><li style="box-sizing: border-box; padding: 0px 5px;">9</li><li style="box-sizing: border-box; padding: 0px 5px;">10</li><li style="box-sizing: border-box; padding: 0px 5px;">11</li><li style="box-sizing: border-box; padding: 0px 5px;">12</li></ul>

栈使用数组实现，并有一个指向顶点的下标值top。为了初始化需要，先构造了一个虚拟节点virtualnode，指向节点(m,n)的右下角，即(m+1,n+1),这个节点的LCS的长度假设为最大公共子序列长度+1。将虚拟节点压入栈store，然后然后执行下面的算法：

1)栈store为空吗？是的话退出。

2)否则从store栈顶弹出节点。

3)如果这个节点为边界元素(行或列的小标为1),则将此节点压入栈print，打印栈print里面的所有节点(除virtualnode外)。查看此时store栈顶节点的LCS长度，并以这个长度为参考，弹出print栈里面所有LCS长度小于等于这个参考值的节点，跳转到第1步。

4)如果不是边界元素，那么以该节点的左上节点(i-1,j-1)为出发点，沿着该出发点指示的方向，找到第一个跳跃点e1(即b[i][j]==1的点)。途中碰到分支节点(b[i][j]==4的点)时，沿着其上节点继续探索。

5)找到第一个跳跃点以后，重新回到第4步的出发点，沿着该节点指示的方向，找到第二个跳跃点e2。途中碰到分支节点(b[i][j]==4的点)时，沿着其左节点继续探索

6)如果e1和e2节点为同一节点，将该节点压入store栈，回到步骤1)。

7）如果不为同一节点，在e1和e2构成的矩形范围内，搜索出所有的跳跃点，并全部压入store栈，回到步骤1)。

不明白？不要紧，我们结合上面的矩阵图一步步按照算法来，看看到底是如何计算的：

第一步：压入虚拟节点6(9,9)到栈store，这里6表示这个节点的LCS长度，（9,9)表示坐标值。 
 
第二步：store栈不为空，则弹出store栈顶，压入print栈，这时候的两个栈的状态如下面的左图。沿出发点(8,8)出发，这是个分支节点，因为b[8][8]==4,所以选择向上走，搜索到e1跳跃点(7,8)，搜索路径为：(8,8)->(7,8)。然后回到(8,8)找e2点，这时选择向左走，找到e2跳跃点(8,7)。这两个跳跃点不同，所以以e1，e2为对角线方向围成的矩形内搜索所有跳跃点，这里只有e1,和e2本身两个节点，然后将它们压入栈store。此时两个栈的状态见下面的有图。蓝色底的节点表示有store栈弹出然后压到print栈，绿色底表示新压入到store栈的跳跃点，下面所有的图都这样表示。 
 
第三步：弹出5(7,8)到print栈，搜索到新的两跳跃节点。 
 
第四步: 
 
第五步： 
 
第六步： 
 
第七步：关键步骤来了，因为此时从store栈弹出的节点是边界元素1(1,2)，所以我们打印print栈的所有元素(红色字体节点)，而这些元素恰好构成了一个最长公共子序列(自己揣摩一下)。打印完了以后，我们要对print栈进行清理，去除不需要的节点，按照步骤2，此时store栈顶节点的LCS为1，所以print栈中弹出的节点只有1(1,2)。弹完以后，print栈的状态如图所示。虚线框节点表示已弹出，下同。 
 
第八步：继续弹出store栈顶，发现又是边界元素，继续压入print栈，打印print栈。清理print栈。 
 
第九步：清理完后，继续步骤2. 
 
好了，下面的过程就是重复进行上面的这些步骤了，自己动手画一下就一目了然了。

四：代码实现

用c语言实现关键代码：

<code class="hljs java has-numbering" style="display: block; padding: 0px; color: inherit; box-sizing: border-box; font-family: 'Source Code Pro', monospace;font-size:undefined; white-space: pre; border-top-left-radius: 0px; border-top-right-radius: 0px; border-bottom-right-radius: 0px; border-bottom-left-radius: 0px; word-wrap: normal; background: transparent;"><span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> TraceBack2(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, Matrix pc, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> PrintStack(Stack *ps, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> len1);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> SearchE(Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> curposx, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> curposy, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> *eposx, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> *eposy, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ntype);<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> PrintStack(Stack *ps, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> len1){    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(ps == NULL || str1 == NULL)        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ntemp = ps->top;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> index = -<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">while</span>((index = ps->data[ntemp].nrow) <= len1)    {        ntemp--;        printf(<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"%2c"</span>,str1[index-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>]);    }    printf(<span class="hljs-string" style="color: rgb(0, 136, 0); box-sizing: border-box;">"\n"</span>);}<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> TraceBack2(<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">char</span> *str1, Matrix pc, Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> nrow, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ncolumn){    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(str1 == NULL || pc == NULL || pb == NULL)        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span>;    Stack store, print;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//构造两个栈store，print</span>    Element storetop;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//store栈的栈顶节点</span>    Element element;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//临时变量</span>    Element virtualnode;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//虚拟节点</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ntoplen;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//保存store栈顶节点的LCS长度</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ex1,ey1,ex2,ey2;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//矩形搜索的两个节点的坐标</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> i,j;    InitialStack(&store);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//初始化</span>    InitialStack(&print);    virtualnode = CreateElement(pc[nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>][ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>]+<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, nrow, ncolumn);    Push(&store, &virtualnode);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//压入虚拟节点到store</span>    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">while</span>(!IsEmpty(&store))    {        Pop(&store, &storetop);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//从栈顶取出一个节点</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(storetop.nrow == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span> || storetop.ncolumn == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>)<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//如果是边界节点</span>        {            Push(&print, &storetop);            PrintStack(&print, str1, nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//打印print栈里面除虚拟节点之外的所有节点</span>            GetTop(&store, &element);            ntoplen = element.nlcslen;<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//当前store的栈顶节点的LCS长度</span>            <span class="hljs-javadoc" style="color: rgb(136, 0, 0); box-sizing: border-box;">/**********弹出print栈中所有LCS长度小于等于ntoplen的节点**************/</span>            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">while</span>(GetTop(&print, &element) && element.nlcslen<=ntoplen)            {                Pop(&print, &element);            }        }        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>        {            Push(&print, &storetop);            SearchE(pb, storetop.nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, storetop.ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, &ex1, &ey1, <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>);            SearchE(pb, storetop.nrow-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, storetop.ncolumn-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, &ex2, &ey2, <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span><span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">/*also other value is ok*/</span>);            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(ex1 == ex2 && ey1 ==ey2)            {                element = CreateElement(pc[ex1][ey1], ex1, ey1);                Push(&store,&element);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//压入store栈，回到步骤2</span>            }            <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>            {                <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(i=ey2; i<=ey1; i++)                    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">for</span>(j=ex1; j<=ex2; j++)                    {                        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(pb[i][j] == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>)                        {                            element = CreateElement(pc[i][j], i, j);                            Push(&store, &element);                        }                    }            }        }    }}<span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">void</span> SearchE(Matrix pb, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> curposx, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> curposy, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> *eposx, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> *eposy, <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">int</span> ntype){    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">switch</span>(pb[curposx][curposy])    {    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>:        *eposx = curposx;        *eposy = curposy;        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">return</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">2</span>:        SearchE(pb, curposx-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, curposy, eposx, eposy, ntype);        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">3</span>:        SearchE(pb, curposx, curposy-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, eposx, eposy, ntype);        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">case</span> <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">4</span>:        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">if</span>(ntype == <span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">0</span>)            SearchE(pb, curposx-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, curposy, eposx, eposy, ntype);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//搜索e1点，如过碰到分叉点，向上继续搜索</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">else</span>            SearchE(pb, curposx, curposy-<span class="hljs-number" style="color: rgb(0, 102, 102); box-sizing: border-box;">1</span>, eposx, eposy, ntype);<span class="hljs-comment" style="color: rgb(136, 0, 0); box-sizing: border-box;">//搜索e2点，如过碰到分叉点，向左继续搜索</span>        <span class="hljs-keyword" style="color: rgb(0, 0, 136); box-sizing: border-box;">break</span>;    }}</code><ul class="pre-numbering" style="box-sizing: border-box; position: absolute; width: 50px; top: 0px; left: 0px; margin: 0px; padding: 6px 0px 40px; border-right-width: 1px; border-right-style: solid; border-right-color: rgb(221, 221, 221); list-style: none; text-align: right; background-color: rgb(238, 238, 238);"><li style="box-sizing: border-box; padding: 0px 5px;">1</li><li style="box-sizing: border-box; padding: 0px 5px;">2</li><li style="box-sizing: border-box; padding: 0px 5px;">3</li><li style="box-sizing: border-box; padding: 0px 5px;">4</li><li style="box-sizing: border-box; padding: 0px 5px;">5</li><li style="box-sizing: border-box; padding: 0px 5px;">6</li><li style="box-sizing: border-box; padding: 0px 5px;">7</li><li style="box-sizing: border-box; padding: 0px 5px;">8</li><li style="box-sizing: border-box; padding: 0px 5px;">9</li><li style="box-sizing: border-box; padding: 0px 5px;">10</li><li style="box-sizing: border-box; padding: 0px 5px;">11</li><li style="box-sizing: border-box; padding: 0px 5px;">12</li><li style="box-sizing: border-box; padding: 0px 5px;">13</li><li style="box-sizing: border-box; padding: 0px 5px;">14</li><li style="box-sizing: border-box; padding: 0px 5px;">15</li><li style="box-sizing: border-box; padding: 0px 5px;">16</li><li style="box-sizing: border-box; padding: 0px 5px;">17</li><li style="box-sizing: border-box; padding: 0px 5px;">18</li><li style="box-sizing: border-box; padding: 0px 5px;">19</li><li style="box-sizing: border-box; padding: 0px 5px;">20</li><li style="box-sizing: border-box; padding: 0px 5px;">21</li><li style="box-sizing: border-box; padding: 0px 5px;">22</li><li style="box-sizing: border-box; padding: 0px 5px;">23</li><li style="box-sizing: border-box; padding: 0px 5px;">24</li><li style="box-sizing: border-box; padding: 0px 5px;">25</li><li style="box-sizing: border-box; padding: 0px 5px;">26</li><li style="box-sizing: border-box; padding: 0px 5px;">27</li><li style="box-sizing: border-box; padding: 0px 5px;">28</li><li style="box-sizing: border-box; padding: 0px 5px;">29</li><li style="box-sizing: border-box; padding: 0px 5px;">30</li><li style="box-sizing: border-box; padding: 0px 5px;">31</li><li style="box-sizing: border-box; padding: 0px 5px;">32</li><li style="box-sizing: border-box; padding: 0px 5px;">33</li><li style="box-sizing: border-box; padding: 0px 5px;">34</li><li style="box-sizing: border-box; padding: 0px 5px;">35</li><li style="box-sizing: border-box; padding: 0px 5px;">36</li><li style="box-sizing: border-box; padding: 0px 5px;">37</li><li style="box-sizing: border-box; padding: 0px 5px;">38</li><li style="box-sizing: border-box; padding: 0px 5px;">39</li><li style="box-sizing: border-box; padding: 0px 5px;">40</li><li style="box-sizing: border-box; padding: 0px 5px;">41</li><li style="box-sizing: border-box; padding: 0px 5px;">42</li><li style="box-sizing: border-box; padding: 0px 5px;">43</li><li style="box-sizing: border-box; padding: 0px 5px;">44</li><li style="box-sizing: border-box; padding: 0px 5px;">45</li><li style="box-sizing: border-box; padding: 0px 5px;">46</li><li style="box-sizing: border-box; padding: 0px 5px;">47</li><li style="box-sizing: border-box; padding: 0px 5px;">48</li><li style="box-sizing: border-box; padding: 0px 5px;">49</li><li style="box-sizing: border-box; padding: 0px 5px;">50</li><li style="box-sizing: border-box; padding: 0px 5px;">51</li><li style="box-sizing: border-box; padding: 0px 5px;">52</li><li style="box-sizing: border-box; padding: 0px 5px;">53</li><li style="box-sizing: border-box; padding: 0px 5px;">54</li><li style="box-sizing: border-box; padding: 0px 5px;">55</li><li style="box-sizing: border-box; padding: 0px 5px;">56</li><li style="box-sizing: border-box; padding: 0px 5px;">57</li><li style="box-sizing: border-box; padding: 0px 5px;">58</li><li style="box-sizing: border-box; padding: 0px 5px;">59</li><li style="box-sizing: border-box; padding: 0px 5px;">60</li><li style="box-sizing: border-box; padding: 0px 5px;">61</li><li style="box-sizing: border-box; padding: 0px 5px;">62</li><li style="box-sizing: border-box; padding: 0px 5px;">63</li><li style="box-sizing: border-box; padding: 0px 5px;">64</li><li style="box-sizing: border-box; padding: 0px 5px;">65</li><li style="box-sizing: border-box; padding: 0px 5px;">66</li><li style="box-sizing: border-box; padding: 0px 5px;">67</li><li style="box-sizing: border-box; padding: 0px 5px;">68</li><li style="box-sizing: border-box; padding: 0px 5px;">69</li><li style="box-sizing: border-box; padding: 0px 5px;">70</li><li style="box-sizing: border-box; padding: 0px 5px;">71</li><li style="box-sizing: border-box; padding: 0px 5px;">72</li><li style="box-sizing: border-box; padding: 0px 5px;">73</li><li style="box-sizing: border-box; padding: 0px 5px;">74</li><li style="box-sizing: border-box; padding: 0px 5px;">75</li><li style="box-sizing: border-box; padding: 0px 5px;">76</li><li style="box-sizing: border-box; padding: 0px 5px;">77</li><li style="box-sizing: border-box; padding: 0px 5px;">78</li><li style="box-sizing: border-box; padding: 0px 5px;">79</li><li style="box-sizing: border-box; padding: 0px 5px;">80</li><li style="box-sizing: border-box; padding: 0px 5px;">81</li><li style="box-sizing: border-box; padding: 0px 5px;">82</li><li style="box-sizing: border-box; padding: 0px 5px;">83</li><li style="box-sizing: border-box; padding: 0px 5px;">84</li><li style="box-sizing: border-box; padding: 0px 5px;">85</li><li style="box-sizing: border-box; padding: 0px 5px;">86</li><li style="box-sizing: border-box; padding: 0px 5px;">87</li><li style="box-sizing: border-box; padding: 0px 5px;">88</li><li style="box-sizing: border-box; padding: 0px 5px;">89</li><li style="box-sizing: border-box; padding: 0px 5px;">90</li><li style="box-sizing: border-box; padding: 0px 5px;">91</li><li style="box-sizing: border-box; padding: 0px 5px;">92</li><li style="box-sizing: border-box; padding: 0px 5px;">93</li><li style="box-sizing: border-box; padding: 0px 5px;">94</li><li style="box-sizing: border-box; padding: 0px 5px;">95</li><li style="box-sizing: border-box; padding: 0px 5px;">96</li><li style="box-sizing: border-box; padding: 0px 5px;">97</li><li style="box-sizing: border-box; padding: 0px 5px;">98</li><li style="box-sizing: border-box; padding: 0px 5px;">99</li><li style="box-sizing: border-box; padding: 0px 5px;">100</li><li style="box-sizing: border-box; padding: 0px 5px;">101</li></ul>

同样的测试，这种算法能打印出全部的最长公共子序列。

五：总结

该算法能将传统算法的指数级复杂度降低到max{O(mn),O(ck)},k为最大公共子序列的个数。详细证明见论文。因为用两个栈存储了所有有效跳跃点，使得许多重复比较被忽略。栈的有序性也能巧妙的得到任意一条最大公共子序列。

本算法的全部实现代码下载路径：http://pan.baidu.com/share/link?shareid=125428&uk=285541510

欢迎讨论。

参考论文：

《利用矩阵搜索求所有最长公共子序列的算法》，宫洁卿，安徽工程科技学院学报，vol23,No.4,Dec.,2008

---

以上内容出自http://www.cnblogs.com/wb-DarkHorse/archive/2012/11/15/2772520.html