错位排列与子阶乘

本文将从题目出发,以问题为导向,先介绍错位排列的情景及研究方法,再给出其递推公式及通项公式的证法,最后给出子阶乘的定义及性质若干。(可以大幅度简化计算)

题目LaTeX公式LaTeX公式个人,他们的座位分别为LaTeX公式。现要求一个人只能坐一个座位,且都不坐自己座位,设数列LaTeX公式为其不同的方法种数,试求其递推公式及通项公式。

【解析】. 先来计算递推公式,考虑应用分步乘法原理,将选座位分为两步:
(i)

LaTeX公式
选座位:根据题意,LaTeX公式除了自己的不能选,其他位置均可选择。故有LaTeX公式种选择。假设选择了座位LaTeX公式
(ii)
LaTeX公式
选座位:应用分类加法原理,分为两类:
a. 若
LaTeX公式
选择座位LaTeX公式,则接下来的问题转化为“LaTeX公式个人不选自己座位,有多少种选法?”,即种数为LaTeX公式
b. 若
LaTeX公式
不选座位LaTeX公式,则可将LaTeX公式看作LaTeX公式原来的那个不能选的座位,此时的问题就化归为“LaTeX公式个人不选自己座位,有多少种选法?”,即种数为LaTeX公式
综合上述分析,则

LaTeX公式

再来计算通项公式,这就没有上面计算递推公式那么简单且愉快了。我们不从递推公式推通项,而是从头考虑问题。

记满足LaTeX公式坐自己的座位LaTeX公式条件的集合为LaTeX公式,记LaTeX公式表示集合A元素的个数。则原题转化为求

LaTeX公式

在这里就需要运用容斥原理进行进一步的转化。

定理1(容斥原理). 容斥原理是集合元素计算的一个重要方法。针对不同的形式,可以采取不同的容斥原理形式,这里介绍常用的两种(为了内容的连续性,证明将在附录中给出):

容斥原理Ⅰ:设LaTeX公式LaTeX公式个不同的集合,则有

LaTeX公式

此公式称为容斥分式,可以看作是加法原理的推广;

容斥原理II:设LaTeX公式为有限集LaTeX公式(全集)的子集,LaTeX公式在全集LaTeX公式下的补集,则有

LaTeX公式

此公式称为筛法公式,是容斥分式的直接推论。

则由筛法公式可将原式化为

LaTeX公式

在本题的情景下,全集的元素数$|\bm{I}|$即为$n$的全排列$n!$。

考察展开式中由LaTeX公式LaTeX公式取交集的项。令LaTeX公式LaTeX公式的含LaTeX公式个元素的子集(LaTeX公式),则任意LaTeX公式LaTeX公式取交集而形成的集合可表示为LaTeX公式,简记为LaTeX公式,一共能取出LaTeX公式个这样的集合。由于轮换对称性,只要LaTeX公式一定,所有这样取出的集合LaTeX公式的元素个数LaTeX公式都应相等\vspace{0.5em},且等于“LaTeX公式个人排位,其中有LaTeX公式个人的位置一定(坐在自己的位置),其余LaTeX公式个人全排列”的种数,即

LaTeX公式

而由上文提到,一共能取出$C_{n}^{k}$个这样的集合。故式中由$k$个$F_i$取交集的项

LaTeX公式

例如,当LaTeX公式时,有LaTeX公式,而这样由3个LaTeX公式取交集而形成的集合一共有LaTeX公式个,故

LaTeX公式

通过一个例子,你现在理解了展开式中的其中一项。让我们对其继续化简

LaTeX公式

故原式

LaTeX公式

LaTeX公式

【答案】. LaTeX公式

【注】.

  1. 题目中的错位排列问题,定义为没有物体出现在其自然位置上的LaTeX公式个物体的排列的数量。记其通项为LaTeX公式,读作“子阶乘”。满足递推公式LaTeX公式和通项公式LaTeX公式
  2. 子阶乘LaTeX公式的快速计算方法:M. Hassani在2004 年 10 月 28 日的私人通信中给出了以下形式:
    LaTeX公式

    其中LaTeX公式LaTeX公式是最接近整数函数(四舍五入),LaTeX公式为向下取整函数。

  3. 唯一的素数子阶乘是 LaTeX公式,唯一等于其数字的子阶乘之和的数字是LaTeX公式
  4. 子阶乘可以解析延拓到复平面,如下图所示:
  5. 容斥原理的有关证明:

证明. 用数学归纳法证明容斥分式:
(i)当

LaTeX公式
时,显然成立;
(ii)若其对于LaTeX公式成立,即

LaTeX公式

则对于LaTeX公式

公式错误:LaTeXCompileFault:! Missing \endgroup inserted.
! Missing \endgroup inserted.
! Missing } inserted.
! LaTeX Error: \begin{document} ended by \end{alignat*}.
! Missing $ inserted.
! Display math should end with .
! Extra \endgroup.
! Extra \endgroup.
! Too many }’s.

也成立。

综上所述,由(i)(ii)可知,成立。

再由容斥分式推出筛法公式:

LaTeX公式

评论

  1. 博主
    Windows Edge
    中国[CN] 四川省 成都市
    已编辑
    2 天前
    2025-5-31 15:53:02

    调不来 qwq
    (´இ皿இ`)
    建议下载 PDF 阅读 : 错位排列与子阶乘.pdf
    $$LaTeX$$源码: 有点懒,不想发。

发送评论 编辑评论


				
|´・ω・)ノ
ヾ(≧∇≦*)ゝ
(☆ω☆)
(╯‵□′)╯︵┴─┴
 ̄﹃ ̄
(/ω\)
∠( ᐛ 」∠)_
(๑•̀ㅁ•́ฅ)
→_→
୧(๑•̀⌄•́๑)૭
٩(ˊᗜˋ*)و
(ノ°ο°)ノ
(´இ皿இ`)
⌇●﹏●⌇
(ฅ´ω`ฅ)
(╯°A°)╯︵○○○
φ( ̄∇ ̄o)
ヾ(´・ ・`。)ノ"
( ง ᵒ̌皿ᵒ̌)ง⁼³₌₃
(ó﹏ò。)
Σ(っ °Д °;)っ
( ,,´・ω・)ノ"(´っω・`。)
╮(╯▽╰)╭
o(*////▽////*)q
>﹏<
( ๑´•ω•) "(ㆆᴗㆆ)
😂
😀
😅
😊
🙂
🙃
😌
😍
😘
😜
😝
😏
😒
🙄
😳
😡
😔
😫
😱
😭
💩
👻
🙌
🖕
👍
👫
👬
👭
🌚
🌝
🙈
💊
😶
🙏
🍦
🍉
😣
Source: github.com/k4yt3x/flowerhd
颜文字
Emoji
小恐龙
花!
上一篇