From 1e9e41ad98fe4e70f31f741bf959266ac522e593 Mon Sep 17 00:00:00 2001 From: Huqingnan123 <897703334@qq.com> Date: Fri, 18 Dec 2020 16:34:22 +0800 Subject: [PATCH 1/5] version 1.0 --- Makefile | 4 +- book.tex | 1 + src/Ln11-LargeIntegerMultiplication.tex | 2 +- src/Ln18-DP-ZeroOneKnapsack.tex | 118 ++++++++++++++++++++++++ 4 files changed, 123 insertions(+), 2 deletions(-) create mode 100644 src/Ln18-DP-ZeroOneKnapsack.tex diff --git a/Makefile b/Makefile index 74b5cc2..5b9486a 100644 --- a/Makefile +++ b/Makefile @@ -1,13 +1,15 @@ SRC=src TEX=\ - $(SRC)/example.tex\ $(SRC)/Ln1-AsymptoticOrderGrowth.tex\ + $(SRC)/Tiling-Problem.tex\ + $(SRC)/stable-matching.tex\ $(SRC)/dynamic-programming-1.tex\ $(SRC)/Network-flows.tex\ $(SRC)/Ln9-NearestPoints.tex\ $(SRC)/Ln11-LargeIntegerMultiplication.tex\ $(SRC)/Image-segmentation.tex\ + $(SRC)/Ln18-DP-ZeroOneKnapsack.tex\ all: book.pdf .PHONY: all clean dev clean-all diff --git a/book.tex b/book.tex index 049f752..7ac660f 100644 --- a/book.tex +++ b/book.tex @@ -46,6 +46,7 @@ \input{src/dynamic-programming-1.tex} \input{src/Network-flows.tex} \input{src/Image-segmentation.tex} +\input{src/LN18-DP-ZeroOneKnapsack.tex} \bibliography{ref.bib} \end{document} diff --git a/src/Ln11-LargeIntegerMultiplication.tex b/src/Ln11-LargeIntegerMultiplication.tex index f541bf3..00ee27c 100644 --- a/src/Ln11-LargeIntegerMultiplication.tex +++ b/src/Ln11-LargeIntegerMultiplication.tex @@ -1,4 +1,4 @@ -\chapter{分治法之大数乘法} +\sum_{n = 1}^{\infty} \chapter{分治法之大数乘法} \begin{introduction} \item 问题背景 \item 直接分治法 diff --git a/src/Ln18-DP-ZeroOneKnapsack.tex b/src/Ln18-DP-ZeroOneKnapsack.tex new file mode 100644 index 0000000..2e0f5d8 --- /dev/null +++ b/src/Ln18-DP-ZeroOneKnapsack.tex @@ -0,0 +1,118 @@ +\chapter{动态规划之01背包问题} + +\begin{introduction} + \item 问题引入 + \item 基本思路 + \item 优化空间复杂度 + \item 初始化的细节问题 + \item 一个常数优化 + \item 01背包小结 +\end{introduction} + +\section{题目描述} +有$N$件物品和一个容量为$V$的背包，放入第i件物品耗费的背包容量是$C_i$,得到的价值是$W_i$。现在要求在限定的总重量内进行物体的选择装入，求解将哪些物品装入背包可以使价值总和最大。 + +\section{基本思路} + +\subsection{贪心法} +事实证明贪心法无法得到0-1背包问题的最优解。给出物体列表以及属性如下表所示： + +\begin{tabular}{cccccc} +\toprule %添加表格头部粗线 +W& 20& 30& 40& 50& 60\\ +\midrule %添加表格中横线 +P& 20& 30& 44& 55& 60\\ +P/W& 1& 1& 1.1& 1.1& 1\\ +\bottomrule %添加表格底部粗线 +\end{tabular} + +对于满足满足总重量限制为100，根据\textbf{贪心算法的解以及最优解对比如下表所示}： + +\begin{tabular}{ccccccc} +\toprule %添加表格头部粗线 +选择策略& x1& x2& x3& x4& x5& 总价值\\ +\midrule %添加表格中横线 +最小重量优先& 1& 1& 1& 0& 0& 94\\ +最大价格优先& 0& 1& 0& 0& 1& 101\\ +P/W 最大优先& 0& 0& 1& 1& 0& 99\\ += 实际最优解 =& 1& 1& 0& 1& 0& 105\\ +\bottomrule %添加表格底部粗线 +\end{tabular} + +可见\textbf{贪心算法无法得到最优解}，因此在设计算法时不应该使用贪心策略。 + +\subsection{动态规划法} +背包问题具有最优子结构性质，所谓最优子结构性质是指一个问题的最优解中所包含的所有子问题的解都是最优的，所以可以用动态规划法去得到正确的解。这是最基本的背包问题，特点是：每种物品仅有一件，可以选择放或者不放。 +用子问题定义状态：即 $F[i, V]$ 表示前 $i$ 件物品恰放入一个容量为 $V$ 的背包可以获得的最大价值。则其状态转移方程便是： +$$ +F[i, V] = \max{\{F[i-1, V], F[i-1, V-C_i] + W_i\}} +$$ +这个方程非常重要，基本上所有跟背包相关的问题的方程都是由它衍生出来的。所 +以有必要将它详细解释一下：“将前$i$件物品放入容量为$V$的背包中”这个子问题，若只考虑第 $i$ 件物品的策略（放或不放），那么就可以转化为一个只和前 $i-1$ 件物品相关的问题。如果不放第 $i$ 件物品，那么问题就转化为“前 $i-1$ 件物品放入容量为 $V$ 的背包中”，价值为 $F[i-1, V]$；如果放第 $i$ 件物品，那么问题就转化为“前 $i-1$ 件物品放入剩下的容量为 $V-C_i$ 的背包中”，此时能获得的最大价值就是 $F[i-1, V-C_i]$ 再加上 +通过放入第 $i$ 件物品获得的价值 $W_i$。伪代码如下,其中ItemsInfo是物品信息，N，V如题目描述中所述： + +\begin{lstlisting}[language=python, caption = 伪代码实现--ZeroOneKnapsack] +def ZeroOneKnapsack(ItemsInfo,N,V): + for i in range(V+1): + F[0,i] = 0 + for i in range(1,N+1): + for v in range(Ci,V+1): + F[i,v] = max(F[i-1,v],F[i-1,v-Ci]+Wi) + return F[N,V] +\end{lstlisting} + +\section{优化空间复杂度} +以上方法的时间和空间复杂度均为$O(V \times N)$，其中时间复杂度应该已经不能再优化 +了，但\textbf{空间复杂度却可以优化到 O(V)}。 +先考虑上面讲的基本思路如何实现，肯定是有一个主循环$i$从$1$一直到$N$，每次算出来 +二维数组$F[i, 0...V]$的所有值。那么，如果只用一个数组 $F[0...V]$，能不能保证第 $i$次循环结束后 $F[v]$ 中表示的就是我们定义的状态 $F[i, v]$ 呢？$F[i, v]$ 是由 $F[i-1, v]$ 和$F[i-1, V-C_i]$ 两个子问题递推而来，能否保证在推 $F[i, V]$时(也即在第 i 次主循环中推 F[v] 时)能够取用 $F[i-1, V]$ 和 $F[i-1, V-C_i]$ 的值呢？ +事实上，这\textbf{要求在每次主循环中我们让第二层循环的$v$从$V$到$C_i$的递减顺序计算 $F[v]$}，这样才能保证计算 $F[v]$ 时 $F[v-C_i]$ 保存的是状态 $F[i-1,v-C_i]$ 的值。伪代码如下： + +\begin{lstlisting}[language=python, caption = 优化空间复杂度--二层循环倒序] +def ZeroOneKnapsack(ItemsInfo,N,V): + for i in range(V+1): + F[i] = 0 + for i in range(1,N+1): + for v in range(V,Ci,-1): //空间优化，一维数组即可 + F[v] = max(F[v],F[v-Ci]+Wi) + return F[V] +\end{lstlisting} + +其中的一维状态转移方程$F[v] = max(F[v], F[v-C_i] + W_i)$ ，恰就对应于我们原来的二维转移方程，因 +为现在的 $F[v-C_i]$ 就相当于原来的 $F[i-1, v-C_i]$。如果将$ v $的循环顺序从上面的逆 +序改成顺序的话，那么则成了 $F[i, v] 由 F[i, v-C_i]$ 推导得到，则没有用到上一轮$i-1$对应的状态，与本题意不符。 + +\section{初始化的细节问题} +我们看到的求最优解的背包问题题目中，事实上有两种不太相同的问法。\textbf{有的题目 +要求“恰好装满背包”时的最优解，有的题目则并没有要求必须把背包装满}。这两种问法的实现方法是在初始化的时候有所不同。 +如果是第一种问法，要求恰好装满背包，那么在初始化时除了 $F[0]$ 为 $0$，其它 +$F[1...V]$ 均设为 $-\infty$，这样就可以保证最终得到的 $F[V]$ 是一种恰好装满背包的最优解。 +如果并没有要求必须把背包装满，而是只希望价格尽量大，初始化时应该将 $F[0..V]$ +全部设为 $0$。 +这是为什么呢？可以这样理解：初始化的 F 数组事实上就是在没有任何物品可以放 +入背包时的合法状态。如果要求背包恰好装满，那么此时只有容量为 $0$ 的背包可以在什 +么也不装且价值为 $0$ 的情况下被“恰好装满”，其它容量的背包均没有合法的解，属于 +未定义的状态，应该被赋值为$-\infty$了。如果背包并非必须被装满，那么任何容量的背包 +都有一个合法解“什么都不装”，这个解的价值为$ 0$，所以初始时状态的值也就全部为 $0$ +了。这个小技巧完全可以推广到其它类型的背包问题，初始化的细节就在于初始状态的定义。 + +\section{一个常数优化} +\textbf{上面空间优化之后伪代码中的第二重循环的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}W_i,C_i)$，所以二层循环就可以变成 +$$ +for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1): +$$ +这个优化之所以成立的原因可以使用最初始二维的状态转移方程思考一下。 + +\section{背包问题小结} +01 背包问题是最基本的背包问题，它包含了背包问题中设计状态、方程的最基本思 +想。另外，别的类型的背包问题往往也可以转换成 01 背包问题求解。故一定要仔细体 +会上面基本思路的得出方法，状态转移方程的意义，以及空间复杂度怎样被优化。 + +对于背包问题，0-1背包问题只是最简单最基本的一种，也可以再看看更复杂的背包问题。 +\begin{itemize} + \item 完全背包问题 + \item 多重背包问题 + \item 混合三种背包问题 +\end{itemize} + + From 75f2d03119885c8012329081c08f8e710a41d7c1 Mon Sep 17 00:00:00 2001 From: Huqingnan123 <897703334@qq.com> Date: Fri, 18 Dec 2020 17:24:00 +0800 Subject: [PATCH 2/5] version 2.0 --- Makefile | 6 +++--- book.tex | 2 +- src/Ln18-DP-ZeroOneKnapsack.tex | 13 ++++++++----- 3 files changed, 12 insertions(+), 9 deletions(-) diff --git a/Makefile b/Makefile index 5b9486a..47f40e2 100644 --- a/Makefile +++ b/Makefile @@ -4,12 +4,12 @@ TEX=\ $(SRC)/Ln1-AsymptoticOrderGrowth.tex\ $(SRC)/Tiling-Problem.tex\ $(SRC)/stable-matching.tex\ - $(SRC)/dynamic-programming-1.tex\ - $(SRC)/Network-flows.tex\ $(SRC)/Ln9-NearestPoints.tex\ $(SRC)/Ln11-LargeIntegerMultiplication.tex\ - $(SRC)/Image-segmentation.tex\ + $(SRC)/dynamic-programming-1.tex\ $(SRC)/Ln18-DP-ZeroOneKnapsack.tex\ + $(SRC)/Network-flows.tex\ + $(SRC)/Image-segmentation.tex\ all: book.pdf .PHONY: all clean dev clean-all diff --git a/book.tex b/book.tex index 7ac660f..ecc8bf7 100644 --- a/book.tex +++ b/book.tex @@ -44,9 +44,9 @@ \input{src/Ln9-NearestPoints.tex} \input{src/Ln11-LargeIntegerMultiplication.tex} \input{src/dynamic-programming-1.tex} +\input{src/LN18-DP-ZeroOneKnapsack.tex} \input{src/Network-flows.tex} \input{src/Image-segmentation.tex} -\input{src/LN18-DP-ZeroOneKnapsack.tex} \bibliography{ref.bib} \end{document} diff --git a/src/Ln18-DP-ZeroOneKnapsack.tex b/src/Ln18-DP-ZeroOneKnapsack.tex index 2e0f5d8..5081c90 100644 --- a/src/Ln18-DP-ZeroOneKnapsack.tex +++ b/src/Ln18-DP-ZeroOneKnapsack.tex @@ -9,14 +9,14 @@ \chapter{动态规划之01背包问题} \item 01背包小结 \end{introduction} -\section{题目描述} -有$N$件物品和一个容量为$V$的背包，放入第i件物品耗费的背包容量是$C_i$,得到的价值是$W_i$。现在要求在限定的总重量内进行物体的选择装入，求解将哪些物品装入背包可以使价值总和最大。 - +\section{问题引入} +现有$N$件物品和一个容量为$V$的背包，放入第i件物品耗费的背包容量是$C_i$，得到的价值是$W_i$。现在要求在限定的背包总重量内进行物体的选择装入，求解将哪些物品装入背包可以使背包内所装物品的价值总和最大。 \section{基本思路} \subsection{贪心法} 事实证明贪心法无法得到0-1背包问题的最优解。给出物体列表以及属性如下表所示： +\begin{center} \begin{tabular}{cccccc} \toprule %添加表格头部粗线 W& 20& 30& 40& 50& 60\\ @@ -25,9 +25,11 @@ \subsection{贪心法} P/W& 1& 1& 1.1& 1.1& 1\\ \bottomrule %添加表格底部粗线 \end{tabular} +\end{center} 对于满足满足总重量限制为100，根据\textbf{贪心算法的解以及最优解对比如下表所示}： +\begin{center} \begin{tabular}{ccccccc} \toprule %添加表格头部粗线 选择策略& x1& x2& x3& x4& x5& 总价值\\ @@ -35,9 +37,10 @@ \subsection{贪心法} 最小重量优先& 1& 1& 1& 0& 0& 94\\ 最大价格优先& 0& 1& 0& 0& 1& 101\\ P/W 最大优先& 0& 0& 1& 1& 0& 99\\ -= 实际最优解 =& 1& 1& 0& 1& 0& 105\\ += 实际最优解 =& 1& 1& 0& 1& 0& \textbf{105}\\ \bottomrule %添加表格底部粗线 \end{tabular} +\end{center} 可见\textbf{贪心算法无法得到最优解}，因此在设计算法时不应该使用贪心策略。 @@ -99,7 +102,7 @@ \section{初始化的细节问题} \section{一个常数优化} \textbf{上面空间优化之后伪代码中的第二重循环的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}W_i,C_i)$，所以二层循环就可以变成 $$ -for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1): +for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1) $$ 这个优化之所以成立的原因可以使用最初始二维的状态转移方程思考一下。 From 3abae0922d3fe50b87a1cf4ca1b92ba579130a15 Mon Sep 17 00:00:00 2001 From: Huqingnan123 <897703334@qq.com> Date: Fri, 18 Dec 2020 17:29:17 +0800 Subject: [PATCH 3/5] version 3.0 --- src/Ln11-LargeIntegerMultiplication.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/Ln11-LargeIntegerMultiplication.tex b/src/Ln11-LargeIntegerMultiplication.tex index 00ee27c..f541bf3 100644 --- a/src/Ln11-LargeIntegerMultiplication.tex +++ b/src/Ln11-LargeIntegerMultiplication.tex @@ -1,4 +1,4 @@ -\sum_{n = 1}^{\infty} \chapter{分治法之大数乘法} +\chapter{分治法之大数乘法} \begin{introduction} \item 问题背景 \item 直接分治法 From 8e94050ddcdd47f55dc6a2e2a3ff9ebaef2e1e7d Mon Sep 17 00:00:00 2001 From: Huqingnan123 <897703334@qq.com> Date: Fri, 18 Dec 2020 17:49:50 +0800 Subject: [PATCH 4/5] version 3.0 --- src/Ln18-DP-ZeroOneKnapsack.tex | 23 ++++++++++++----------- 1 file changed, 12 insertions(+), 11 deletions(-) diff --git a/src/Ln18-DP-ZeroOneKnapsack.tex b/src/Ln18-DP-ZeroOneKnapsack.tex index 5081c90..2efbfda 100644 --- a/src/Ln18-DP-ZeroOneKnapsack.tex +++ b/src/Ln18-DP-ZeroOneKnapsack.tex @@ -3,9 +3,8 @@ \chapter{动态规划之01背包问题} \begin{introduction} \item 问题引入 \item 基本思路 - \item 优化空间复杂度 - \item 初始化的细节问题 - \item 一个常数优化 + \item 算法优化 + \item DP初始化问题 \item 01背包小结 \end{introduction} @@ -64,7 +63,8 @@ \subsection{动态规划法} return F[N,V] \end{lstlisting} -\section{优化空间复杂度} +\section{算法优化} +\subsection{优化空间复杂度} 以上方法的时间和空间复杂度均为$O(V \times N)$，其中时间复杂度应该已经不能再优化 了，但\textbf{空间复杂度却可以优化到 O(V)}。 先考虑上面讲的基本思路如何实现，肯定是有一个主循环$i$从$1$一直到$N$，每次算出来 @@ -85,7 +85,14 @@ \section{优化空间复杂度} 为现在的 $F[v-C_i]$ 就相当于原来的 $F[i-1, v-C_i]$。如果将$ v $的循环顺序从上面的逆 序改成顺序的话，那么则成了 $F[i, v] 由 F[i, v-C_i]$ 推导得到，则没有用到上一轮$i-1$对应的状态，与本题意不符。 -\section{初始化的细节问题} +\subsection{一个常数优化} +\textbf{上面空间优化之后伪代码中的第二重循环的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}W_i,C_i)$，所以二层循环就可以变成 +$$ +for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1) +$$ +这个优化之所以成立的原因可以使用最初始二维的状态转移方程思考一下。 + +\section{DP初始化问题} 我们看到的求最优解的背包问题题目中，事实上有两种不太相同的问法。\textbf{有的题目 要求“恰好装满背包”时的最优解，有的题目则并没有要求必须把背包装满}。这两种问法的实现方法是在初始化的时候有所不同。 如果是第一种问法，要求恰好装满背包，那么在初始化时除了 $F[0]$ 为 $0$，其它 @@ -99,12 +106,6 @@ \section{初始化的细节问题} 都有一个合法解“什么都不装”，这个解的价值为$ 0$，所以初始时状态的值也就全部为 $0$ 了。这个小技巧完全可以推广到其它类型的背包问题，初始化的细节就在于初始状态的定义。 -\section{一个常数优化} -\textbf{上面空间优化之后伪代码中的第二重循环的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}W_i,C_i)$，所以二层循环就可以变成 -$$ -for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1) -$$ -这个优化之所以成立的原因可以使用最初始二维的状态转移方程思考一下。 \section{背包问题小结} 01 背包问题是最基本的背包问题，它包含了背包问题中设计状态、方程的最基本思 From 95810fe4e464f3031eab1594555ea83eaf896369 Mon Sep 17 00:00:00 2001 From: Huqingnan123 <897703334@qq.com> Date: Fri, 18 Dec 2020 19:09:50 +0800 Subject: [PATCH 5/5] version 4.0 --- Makefile | 1 + book.tex | 1 + src/Ln18-DP-ZeroOneKnapsack.tex | 12 +- src/Ln19-DP-ContextFreeGrammar.tex | 244 +++++++++++++++++++++++++++++ 4 files changed, 252 insertions(+), 6 deletions(-) create mode 100644 src/Ln19-DP-ContextFreeGrammar.tex diff --git a/Makefile b/Makefile index 47f40e2..1b45e37 100644 --- a/Makefile +++ b/Makefile @@ -8,6 +8,7 @@ TEX=\ $(SRC)/Ln11-LargeIntegerMultiplication.tex\ $(SRC)/dynamic-programming-1.tex\ $(SRC)/Ln18-DP-ZeroOneKnapsack.tex\ + $(SRC)/Ln19-DP-ContextFreeGrammar.tex\ $(SRC)/Network-flows.tex\ $(SRC)/Image-segmentation.tex\ diff --git a/book.tex b/book.tex index ecc8bf7..9224b91 100644 --- a/book.tex +++ b/book.tex @@ -45,6 +45,7 @@ \input{src/Ln11-LargeIntegerMultiplication.tex} \input{src/dynamic-programming-1.tex} \input{src/LN18-DP-ZeroOneKnapsack.tex} +\input{src/Ln19-DP-ContextFreeGrammar.tex} \input{src/Network-flows.tex} \input{src/Image-segmentation.tex} diff --git a/src/Ln18-DP-ZeroOneKnapsack.tex b/src/Ln18-DP-ZeroOneKnapsack.tex index 2efbfda..0b25f0c 100644 --- a/src/Ln18-DP-ZeroOneKnapsack.tex +++ b/src/Ln18-DP-ZeroOneKnapsack.tex @@ -13,7 +13,7 @@ \section{问题引入} \section{基本思路} \subsection{贪心法} -事实证明贪心法无法得到0-1背包问题的最优解。给出物体列表以及属性如下表所示： +下面将举例说明贪心法无法得到0-1背包问题的最优解。给出物体列表以及属性如下表所示： \begin{center} \begin{tabular}{cccccc} @@ -41,7 +41,7 @@ \subsection{贪心法} \end{tabular} \end{center} -可见\textbf{贪心算法无法得到最优解}，因此在设计算法时不应该使用贪心策略。 +可见\textbf{事实证明贪心算法无法得到01背包问题最优解}，因此在设计算法时不应该使用贪心策略。 \subsection{动态规划法} 背包问题具有最优子结构性质，所谓最优子结构性质是指一个问题的最优解中所包含的所有子问题的解都是最优的，所以可以用动态规划法去得到正确的解。这是最基本的背包问题，特点是：每种物品仅有一件，可以选择放或者不放。 @@ -86,10 +86,10 @@ \subsection{优化空间复杂度} 序改成顺序的话，那么则成了 $F[i, v] 由 F[i, v-C_i]$ 推导得到，则没有用到上一轮$i-1$对应的状态，与本题意不符。 \subsection{一个常数优化} -\textbf{上面空间优化之后伪代码中的第二重循环的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}W_i,C_i)$，所以二层循环就可以变成 -$$ -for \ \ v \ \ in \ \ range(V,max(V-\sum_{i}^{N}W_i,C_i),-1) -$$ +\textbf{上面空间优化之后伪代码中的第二重循环$V \rightarrow C_i$的下限$C_i$也可以可以改进}。它可以被优化为$max(V-\sum_{i}^{N}C_i,C_i)$，所以二层循环伪代码就可以变成： +\begin{lstlisting}[language=python, caption = 一个常数优化] + for v in range(V, max(V - sum(Ci_List), Ci), -1): //空间优化 + 常数优化 +\end{lstlisting} 这个优化之所以成立的原因可以使用最初始二维的状态转移方程思考一下。 \section{DP初始化问题} diff --git a/src/Ln19-DP-ContextFreeGrammar.tex b/src/Ln19-DP-ContextFreeGrammar.tex new file mode 100644 index 0000000..6010d76 --- /dev/null +++ b/src/Ln19-DP-ContextFreeGrammar.tex @@ -0,0 +1,244 @@ +\chapter{动态规划之上下文无关文法}\label{header-n1150} + +\begin{introduction} + \item 综述 + \item 上下文无关文法及其派生树 + \item CYK算法 +\end{introduction} + +\section{综述}\label{header-n1151} + +\begin{itemize} +\item + 上下文无关语言是一种形式语言（形式语言指在某个字母表上一些有限长字串的集合）。生成这种语言的文法叫做上下文无关文法，常用于计算机中语法分析器（Parsers）的构造。 +\item + 关于这个文法的具体使用在编译原理（以及计算理论）课程中会有详细的介绍，在这里我们只简要介绍其基本概念，着重介绍一个和上下文无关文法有关的动态规划算法------CYK算法（The + CYK Parsing Algorithm） +\end{itemize} + +\section{上下文无关文法及其派生树}\label{header-n1157} + +\subsection{上下文无关文法}\label{header-n1158} + +\begin{itemize} +\item + 下面先举一个上下文无关文法的例子（S为文法的source）： +\end{itemize} + +\(S\rightarrow aBb\) \quad +\(B\rightarrow aBb|\epsilon\) + +\begin{itemize} +\item + 根据这个文法，如果我们想生成串aaabbb，可以进行如下推导： +\end{itemize} + +\(S\Rightarrow aBb \Rightarrow aaBbb \Rightarrow aaaBbbb \Rightarrow aaa\epsilon bbb \Rightarrow aaabbb\) + +\begin{itemize} +\item + 形式化地，我们将上下文无关文法定义成如下四元组形式： + + \begin{itemize} + \item + \(G=(V,T,S,P)\)，其中\(G\)代表文法，\(V\)代表文法中的变量，\(T\)代表文法最终到达的常量，\(S\)代表文法的起始变量（source），\(P\)代表由变量和常量生成的文法。 + \item + 具体的，在上述文法中： + + \begin{itemize} + \item + \(V=\{S,B\}\) + \item + \(T=\{a,b\}\) + \item + \(S=\{S\}\) + \item + \(P=\{S\rightarrow aBb , B\rightarrow aBb|\epsilon\}\) + \end{itemize} + \end{itemize} +\item + 上述上下文无关文法对应语言：\(L=\{a^nb^n|n为大于或等于1的整数\}\) +\end{itemize} + +\subsection{派生树}\label{header-n1186} + +\begin{itemize} +\item + 上下文无关文法的派生数指的是把由上下文无关文法生成上下文无关语言的过程用树的形式表示出来，比如19.1.1中的文法可以表示成以下派生树： +\end{itemize} + +\begin{itemize} +\item + 可以总结出，派生树的画法是，以S（soruce）节点作为根节点，父节点对应文法的左边，子节点对应文法的右边，建立派生树得到最后的串。最后，从左到右叶子结点的值就是最后生成的串。 +\end{itemize} + +\section{CYK算法}\label{header-n1194} + +\begin{itemize} +\item + CYK算法是一种基于动态规划思想的算法，要解决的问题是：给定串w，测试这个串是否能够用起始变量S生成。其算法的复杂度为\(O(n^3)\) +\item + CYK算法是由发现相同思想的三个人J. Cocke、 D. Younger和T. + Kasami的名字来命名的。 +\item + CYK算法不适用于在所有的context free + language上直接使用，先要转换成乔姆斯基范式（Chomsky Normal + Form）才能实现。 +\end{itemize} + +\subsection{CNF（乔姆斯基范式）}\label{header-n1201} + +\begin{itemize} +\item + 文法只包含以下两种形式： +\end{itemize} + +\(A\rightarrow BC\) \quad +\(A\rightarrow a\) + +\begin{itemize} +\item + 概括来说，即只能由变量生成两个变量或者生成一个最终常量 +\item + 转换方法如下： + + \begin{itemize} + \item + 将常量全部添加\(T_a\rightarrow a\)形式,替换其他生成式中所有的常量为变量 + \item + 将文法右侧所有的多变量变成二变量，即把\(A\rightarrow A_0A_1A_2\)替换成\(A\rightarrow A_0B，B\rightarrow A_1A_2\)形式（多变量同理） + \end{itemize} +\item + 一个转换的例子如下： + + \begin{itemize} + \item + 原文法：\(S\rightarrow ABa，A\rightarrow aab，B\rightarrow Ac\) + \item + 转换后文法：\(S\rightarrow AV_1，V_1\rightarrow BT_a，A\rightarrow T_aV_2，V_2\rightarrow T_aT_b，B\rightarrow AT_c，T_a\rightarrow a，T_b\rightarrow b，T_c\rightarrow c\) + \end{itemize} +\end{itemize} + +\subsection{CYK算法的基本内容}\label{header-n1224} + +\begin{itemize} +\item + 问题的形式化定义：对于一个上下文无关文法G和一个给定的串\(w=a_1a_2...a_n\)，求解是否存在一种推导（或一棵对应的派生树），使得G能够从S（source）生成对应的字串。 +\item + 动态规划的做法是，构造一个动态规划的表（这里以n=5为例子），如下图所示。 + + \begin{itemize} + \item + 水平轴对应串\(w=a_1a_2...a_5\) + \item + 表中\(x_{ij}\)对应着能够满足生成\(A\Rightarrow a_ia_{i+1}...a_j\)的变元A的集合。 + \item + 最后，如果source点S属于集合\(x_{1n}\)，证明这个串可以由S生成，否则则不行。 + \end{itemize} +\end{itemize} + +\subsection{算法一个具体例子上的执行过程}\label{header-n1238} + +\begin{itemize} +\item + 这一小节我们将用一个例子模拟CYK算法的执行过程，下一节将在此基础上归纳写出CYK算法的关键，也就是动态规划算法的转移方程 +\item + 考虑以下这个上下文无关文法，我们用其派生树生成了一个长度为7的串，如下图： +\end{itemize} + +\begin{itemize} +\item + 对于串\(aaaabab\)，我们构造上述所说的动态规划表如下: +\end{itemize} + +\begin{itemize} +\item + 对于上述动态规划表给出说明： + + \begin{itemize} + \item + 首先求解第一行（\(x_{ii}\)）有，其对应的集合就是生成字符串中每一个字符（常量）的源头的集合。例如常量a可以由变量A和C生成，所以其集合就是\{A\textbar C\}，常量b可以由变量B生成，所以其对应的集合就是\{B\}。 + \item + 从第二行开始，其结果完全依赖于第一行，例如\(x_{12}\)对应着字符串aa，我们将串aa分成两份，有且只能被分割为第一个a和第二个a这一种情况，那么要求解\(x_{12}\)的值，需要做下面两步： + + \begin{itemize} + \item + 求出\(x_{11}\)和\(x_{22}\)的笛卡尔积。算出结果为\{AA\textbar AC\textbar CA\textbar CC\}。 + \item + 寻找该笛卡尔积中的每一个元素对应的源头。例如AA、AC、CA都没有对应的，则都为空集，AC对应的源头为\{B\}。最后的结果将这四个集合求并集，得到\(x_{12}\)的值为\{B\} + \end{itemize} + \item + 第二行其余项的算法同计算\(x_{12}\)类似。 + \item + 第三行开始，每一个串都有多个划分，比如求解\(x_{13}\)，对应的串为aaa，我们就有两种划分，aa和a、a和aa，那么求解\(x_{13}\)只用遵循以下步骤即可： + + \begin{itemize} + \item + 分别用第二行的策略求出\(x_{12}\)和\(x_{33}\)的笛卡尔积，再寻找其源头，得到第一个集合；求出\(x_{11}\)和\(x_{33}\)的笛卡尔积再寻找其源头，得到第二个集合。 + \item + 将上述两个集合求并集得到\(x_{13}\)的结果 + \end{itemize} + \item + 第三行其余项的算法同理。 + \item + 从第四行开始往上走，处理策略与第三行类似，只不过是对于要求解串的划分情况更多了而已。例如\(x_{15}\)对应aaaab，这个串有4种划分情况，将每种情况的笛卡尔积求源头，得到四个集合，对这四个集合求并集即得到\(x_{15}\)的结果。 + \end{itemize} +\item + 下面我们将给出求解\(x_{ij}\)一般化的公式 +\end{itemize} + +\subsection{19.3.4 状态转移方程以及算法伪代码}\label{header-n1277} + +\begin{itemize} +\item + 由上述举例我们已经了解到了具体的求解\(x_{ij}\)（从生成串的索引i到索引j对应的源头）的方法，这里归纳给出一般化公式即可： + + \begin{itemize} + \item + 首先给出一个函数souce(s)，其中s为一个集合或者一个字符（i=1时候），函数功能是求出s对应的源头的集合，例如\(source(a)=\{A|C\}\)，\(source(\{AA|AC|CA|CC\})={B}\)。 + \item + 基于求源头函数给出状态转移方程（假设原始串被存在数组a{[}N{]}中，串长为n，下标从1开始）： + \end{itemize} + + \(x_{ij}=\begin{cases}\bigcup_{k=i}^{k=j}source(x_{ik}\times x_{kj})& \text{j>i}\\source(a[i])& \text{j=i}\end{cases}\) + + \begin{itemize} + \item + 注：上述公式中\(\times\)符号代表笛卡尔积 + \end{itemize} +\item + 给出算法的为代码如下（假设原始串被存在数组a{[}N{]}中，串长为n，下标从1开始）: +\end{itemize} + +\begin{lstlisting}[language = C++, caption = 算法伪代码] +context_free(a[N]) +{ + int dp[N][N] //存表 + from len=1 to n //按照串长从1到n，横向计算每一行 + from i=1 to n-len+1 //计算每一行，索引值从1开始到n-len+1 + j=i+len-1 + dp[i][j]=compute xij //按照状态转移方程计算dp[i][j] + if(S belongs to dp[1][n]) //如果起始点S在dp[1][n]中，这个串就可生成，否则不能生成 + return true + else + return false +} +\end{lstlisting} + +\subsection{算法复杂度分析}\label{header-n1293} + +\begin{itemize} +\item + 算法复杂度分析如下： + + \begin{enumerate} + \def\labelenumi{\arabic{enumi}.} + \item + 要构建整张动态规划表，需要循环次数\(O(n^2)\) + \item + 每一次循环中，执行\(compute\) + \(x_{ij}\)，其中我们语法中变量个数为常数个，即\(O(1)\)，其笛卡尔积的复杂度为\(O(1)\times O(1)=O(1)\)。而我们要对每一个笛卡尔积作不相容的合并操作（即合并集合中没有相同元素），最多合并n-1次，每个集合中元素数量为常数级，这一步不相容union复杂度为\(O(n)\) + \item + 综上，总复杂度为\(O(n)\times O(n^2)=O(n^3)\) + \end{enumerate} +\end{itemize}