插空法

4名不同男生和2名不同女生排成一行，两名女生不能相邻。左右反向视为不同排法。先固定男生次序为男1、男2、男3、男4，观察五个空隙；最后再把男生全部次序算进去。

S班为本项目教学深度编排，非已核实的机构课纲。本页例题与练习均为自拟题。主体是先排的一组对象；插入对象是有不相邻要求的一组，不以性别固定方法。

一、一个空隙最多插一个

m≥1 个主体排成一行，有 m−1 个内部空隙，加上两端共 m+1 个空隙。把 k 个插入对象分放在 k 个不同空隙中，任意两者之间至少有一个主体，因而不相邻。反过来，若同一空隙放入两个插入对象，它们之间没有主体，必有一对相邻。

二、三个选择独立相乘

此式要求：m 个主体彼此不同，k 个插入对象彼此不同；直线排列；仅要求插入对象互不相邻；两端均可用。先有 m! 种主体次序，每一种对应 m+1 个空隙；再选 k 个不同空隙；最后把插入对象按 k! 种次序，从左到右放入。若 k>m+1，则为0种，不能继续套普通阶乘公式。若没有主体（m=0），全队最多只能有1个插入对象，否则必相邻；空队列按1种计。

三、双向还原就是不重不漏的证明

从任意合法队列删去全部插入对象，会唯一留下主体次序。每个被删对象原来处在第几个主体之前或之后，也唯一确定了它的空隙编号。最后记录插入对象从左到右的次序，三个部分都确定。重建时按这三个部分放回，恰好还原原队列。因此既不会把同一队列数两次，也不会漏掉任何合法队列。

四、两端限制与相同对象

若主体本身也有重复，不能照用 m!；应先按其相同性计算主体次序。若插入对象分几类，同一空隙仍最多一个时，排列因子改为 k! 除以各类个数的阶乘。任一类之间还有额外限制时，需要重新分析。

设 m 个不同主体和 k 个不同插入对象直线排列，两端可插；要求任意相邻的两个插入对象之间至少有 r 个主体（r≥1）。这里的“相邻”指在插入对象子序列中相邻。

固定主体次序，把空隙编号为0至 m，选出的编号从小到大为 g₁,…,gₖ。第 gᵢ 空与第 gᵢ₊₁ 空之间恰有 gᵢ₊₁−gᵢ 个主体，所以条件是 gᵢ₊₁−gᵢ≥r。不能只保证编号不同。

令 hᵢ=gᵢ−(r−1)(i−1)，则 h₁<…<hₖ，且0≤h₁、hₖ≤m−(r−1)(k−1)。这种平移可唯一逆转，选空隙数为：

最后乘 m! k!。本式用于 k≥1；若 k=0，仅有主体排列 m!。可行的必要且充分条件为 m≥r(k−1)，否则0种。若还要求两端都是主体，主体数 m≥1 时编号只取1至m−1，选空数改为 C(m−1−(r−1)(k−1),k)，不足 k 个则为0。

例：5名不同男生、3名不同女生，两端可为女生，但每相邻两名女生之间至少有2名男生。固定男生次序，选空编号只能是 (0,2,4)、(0,2,5)、(0,3,5)、(1,3,5)，共4组。因此总数5!×4×3!=2880种。这与例题二恰好同数，但合法队列集合不同；本题允许女生站两端，例题二允许两女生之间只有1男生。

反例：4男2女选空1和空2，女生之间只有男2一人，满足“不相邻”，却不满足“至少隔2名男生”。动画的空隙选择不能代替最小间隔条件的检验。

• 漏两端：m 个主体有 m+1 个全体空隙，m−1 个内部空隙；先读端点条件。
• 空隙重复使用：同空两人必相邻，不能用 (m+1)ᵏ 代替选不同空隙。
• 漏乘或多乘排列：不同对象要排次序，相同对象交换不另算。
• 空隙不够：2个主体、4个插入对象不相邻不可能；两端为主体且3个插入对象时也不可能，因为只有1个内空。
• 混淆对象组：要求双方各自不相邻时，需同时检查主体组；本页基础公式只限制插入组。
• 把小例子当证明：穷举能核对给定人数；通式仍依靠双向还原和间隔平移的证明。

解题顺序：确定相同/不同 → 先排主体 → 按两端与最小间隔确定合法空隙组 → 排插入对象 → 相乘并还原核查。

点击章节或标题定位视频。正文可独立阅读。