• 【学习笔记】错排问题


    错排问题

    给定 \(n\) 个信封 \(n\) 封信,信封和信的配对形成双射

    求有多少种将信乱放到信封中的方案使得所有双射无一被满足

    Solution

    尝试使用容斥原理刻画这个问题的计算模型:枚举有几个元素是放到合法位置上的,表达式如下:

    \[\sum_{i=0}^n(-1)^k\binom ni (n-i)! \]

    验证其正确性大可考察每个不合法方案的计算次数,本文不再赘述

    \(D_n\) 表示上述问题在信封个数为 \(n\) 时的答案,尝试对 \(D\) 数列进行进一步探究

    将上面的式子展开不难得到

    \[D_n=n!\sum_{i=0}^{n}(-1)^i\frac1{i!}\\\lim\limits_{n\to \infty}D_n=\frac{n!}{e} \]

    但是这个式子看起来并不能给予我们正整数形式的答案,尝试省略一些信息:在 \(n\) 有限时按照上面的容斥原式只保留 \(e^{x}(x=-1)\) 展开式中 \(i\le n\) 的部分

    保留泰勒展开式中的 \(\rm Lagrange\) 余项可以得到形如下式的结果

    \[D_n=n!\left(\frac{1}e-(-1)^{n+1}\frac{e^{\varepsilon}}{(n+1)!}\right) \]

    根据余项的定义此时有 \(\varepsilon\ \in (-1,0)\) 所以后面的部分满足

    \[|(-1)^{n+1}\frac{n!e^{\varepsilon}}{(n+1)!}|=\frac{e^{\varepsilon}}{n+1}\le \frac 1{n+1}\le \frac 12 \]

    这就证明了 \(|\frac{n!}e-D_n|\le \frac 12\) ,而绝对值符号内的减数和被减数的大小是不易界定的(取决于 \(n\) 的奇偶性)

    那么使用四舍五入来计算即可

  • 相关阅读:
    【解题报告】洛谷P3959 宝藏
    【游记】CSP-S2021 退役记
    【全程NOIP计划】初赛
    【解题报告】luoguP2158 仪仗队
    mysql的索引
    Set集合的所有方法
    字符串数组String[]转换成Long类型数组Long[]
    查询记录时排序问题updateTime和createTime
    VUE中== 与 ===的区别以及!=与!==的区别
    Django 模型(ORM)
  • 原文地址:https://www.cnblogs.com/yspm/p/16149611.html
Copyright © 2020-2023  润新知