动态规划与排列组合二项式的关系

前言：最近做各大厂的笔试题，发现动态规划和排列组合的题挺多的，于是认真研究了一下，写在这里备忘。

1.先抛出数学上的公式

当a=b=1的时候，该二项式变成了，这就是二进制下的递推关系了。

虽然二项式有很多特性，但是在计算机中我们只关注两个特征：即递推关系和边界条件，对应着两个公式：

也就是动态规划的状态方程和初始状态，如上图所示的两个关系，这样看着很抽象，那么先看如下图的推导：

通过二项式与杨辉三角型的对比可以出它们是一一对应的，由此也就得出了这个重要的递推关系：

它表示任意时刻 ( 第k个时刻，k是介于[0-n]之间任意的值) 的中间状态，都是可以由上以时刻的值递推出来的，这是二项式与杨辉三角型直观对应得出的公式，当然也可以通过数学证明(太麻烦省略)。

         因为计算机的变量在某一个时刻只能存一个值，这个值可以由之前的变量推出来，因此建立了依赖关系，用递推关系来求解问题就可以保证在多项式时间复杂度内完成，比暴力搜索要快。同时为了避免重复计算先前的结果，因此使用一个二维表(矩阵)来缓存结果。那么按照杨辉三角型的特点，相邻两个子结果，也就是矩阵的元素(表示子结果的状态)，是按照上述关系依赖的。

动态规划中通常是从结果向开始逆向递推，结束条件就是另外一个公式：。

因此排列组合公式：就可以用动态规划的方式推出来。

所以动态规划三个主要步骤：1.抽象出当前的状态；2.确定递推关系(也就是状态方程)；3.确定初始条件(边界)。

1.当前状态即：i表示什么，j表示什么，dp[i][j]表示什么

2.递推关系即：，这是一个模版公式，对于不同的题目/场景会不同，核心思想是找到如果有上一个结果推出当前的结果，以杨辉三角形为例，当前值应该其上一行的当前列k 和当前列的左边一列k-1之和。对于01背包问题，当前物品为i，如果不选它，则是m[i-1][j]，如果选了它则是m[i-1][j-w[i]]+vi，选和不选的两个值则是有上一个状态的两个相邻结果推出来的。01背包问题见下图。

3.初始条件即：，初始时的状态，通常要手动赋值，也就是矩阵dp[n+1][m+1]的第一行和第一列。

代码：

同样地，对于某笔试题： 小Q歌单、合唱团(自行百度题目)， 都可以按照的思想快速确立状态方程。

小Q歌单：就是以杨辉三角形来存所有的组合项：

合唱团：从n个元素中选择k个，使这k个元素的乘积最大
     有 n 个学生站成一排，每个学生有一个能力值，牛牛想从这 n 个学生中按照顺序选取 k 名学生，
     要求相邻两个学生的位置编号的差不超过 d，使得这 k 个学生的能力值的乘积最大，求最大的乘积？

先这样把，后面再整理。

突然觉得数学和计算机息息相关啊，后悔当初数学没学好。