标签：标号 frac sum forall 思考 简单 物品 错排
概述
错排问题是一个古老有趣的数学问题，最早由 Bernouli 和 Euler 开始研究，也被称为 Bernouli-Euler 问题。问题十分简单，即五个标数了的不同物品分别放入五个标数了的不同盒子，每个盒子对应且仅对应一个物品，有多少种使物品和盒子标号不同的方法。
探讨
首先对于错排问题的第一想法是枚举。不妨设 \(f(n)\) 为 \(n\) 个盒子的错排最终结果。则：
\[f(1)=0,f(2)=1,f(3)=2,f(4)=9,f(5)=44,... \]但是枚举的复杂度是 \(\Theta(n!)\)，运算量十分大，不利于计算，我们需要一些更加优秀的做法。
Solution 1 递推
我们不妨认为标号为 \(1\) 的物品放在了位置 \(k\)，那么 \(k\) 有 \(n-1\) 种选择。接下来考虑标号为 \(k\) 的物品的放置：
- 放置在了标号为 \(1\) 的物品处，那么剩下的物品就变为了一个规模为 \(n-2\) 的子问题。
- 没有放置在标号为 \(1\) 的物品处。此时可以将第 \(k\) 个物品视为第一个物品，并将第一个物品删去，此时对剩下每个物品的限制与原问题相同，又变为了一个规模为 \(n-1\) 的子问题。
那么递推式即为：
至此我们已经将复杂度降到了 \(\Theta(n)\)，但对 \(f(n)\) 仍依赖于前两项。继续推导。
由于在式中 \(n-1\) 并非常数，无法直接用特征根法，非常遗憾。
观察原式，我们发现 \(f(n)\) 的数量级与 \(n!\) 十分相似（原因是可以观察到与 \(F(n)=n!=nF(n-1)\) 有些类似，区别只是多了前一项与系数不同）。不妨令 \(g(n)=\frac{f(n)}{n!}\)，那么：
\[n!g(n)=(n-1)((n-1)!g(n-1)+(n-2)!g(n-2)),\forall n\geq 3 \]对右半边的括号进行展开并提取公因式即：
\[ng(n)=(n-1)g(n-1)+g(n-2),\forall n\geq 3 \]相邻项相减，并循环代入：
\[g(n)-g(n-1)=-\frac{1}{n}(g(n-1)-g(n-2))=(-\frac{1}{n})(-\frac{1}{n-1})(g(n-2)-g(n-3))=...=\prod\limits_{k=1}^n(-\frac{1}{k})=\frac{(-1)^n}{n!},\forall n\geq 4 \]代入验证发现对于 \(n=3,2\) 同样成立。那么：
\[\begin{cases}g(n)-g(n-1)&=\frac{(-1)^n}{n!}\\g(n-1)-g(n-2)&=\frac{(-1)^{n-1}}{(n-1)!}\\&...\\&...\\&...\\g(2)-g(1)&=\frac{(-1)^2}{2!}\end{cases} \]套路地通加：
\[g(n)-g(1)\overset{g(1)=0}{=}g(n)=\sum_{k=2}^n\frac{(-1)^k}{k!},\forall n\in \mathbb{N}^* \]回到最初 \(g(n)=\frac{f(n)}{n!}\)，那么：
\[f(n)=n!\sum_{k=2}^n\frac{(-1)^k}{k!} \]至此得出了最终的结论，相较于递推式，这个式子更加直接，不依赖于 \(f(n-1)\) 和 \(f(n-2)\)，不过复杂度与递推式相同。
Solution 2 容斥
直接对原问题大力容斥。首先对于 \(n\) 个物品的全排列为 \(n!\) 个，我们需要舍掉那些满足第 \(k\) 个物品放在标号为 \(k\) 位置的排列，也即 \(n\cdot(n-1)!=n!\) 个；接下来需要加上上一轮多减去的放对两个位置的排列，共 \(\binom{n}{2}(n-2)!\) 种；……以此类推，可以得出最后的结果是：
\[\sum_{k=2}^n (-1)^k\binom{n}{k}(n-k)!=\sum_{k=2}^n\frac{(-1)^kn!}{k!}=n!\sum_{k=2}^n\frac{(-1)^k}{n!} \]注意这里为了避免 \(0!\) 的出现直接抵消了初始状态和容斥一轮的 \(n!\)。可以发现得出了和 Solution 1 完全相同的结论。
Solution 3 二项式反演
这个方法相较于 Sol1 和 Sol2 而言，速度较快。
定义 \(g(n)\) 为 \(n\) 个物品任意放的排列数。枚举有几个物品放在了自己的位置上，那么容易得到：
\[g(n)=\sum_{k=0}^n\binom{n}{k}f(k) \]直接对其进行二项式反演，得到：
\[f(n)=\sum_{k=0}^n(-1)^{k}\binom{n}{k}g(k) \]由于 \(g(n)=n!\)，直接代入即得：
\[f(n)=\sum_{k=2}^n\frac{(-1)^n}{n!} \]这里同样直接约去了 \(k=1,2\)。
结语
错排问题仅是组合计数中的一个经典问题。看到这里，相信您对错排问题有了一些了解。但至此，计数领域的宏伟仅露冰山一角，海平面下的风景仍需各位探寻。
那么，旅途愉快。
标签：标号,frac,sum,forall,思考,简单,物品,错排 来源： https://www.cnblogs.com/AllWeKnow/p/15240718.html
本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享； 2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关； 3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关； 4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除； 5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。