错排问题详解

合集 - 数学(12)

1.错排问题详解2022-07-29

2.高斯-约旦消元法详解2023-01-273.卢卡斯定理及其证明2023-02-014.[SDOI2008] 仪仗队【题解】2023-01-315.线性同余方程求解2023-01-306.排列组合详解2023-02-047.博弈论学习笔记2023-08-048.数论分块学习笔记2023-08-139.狄利克雷卷积和积性函数2023-08-1910.和式简单推倒技巧2023-08-2011.莫比乌斯反演学习笔记2023-08-2712.二项式定理2023-08-22

收起

错排问题（Derangement）

概念释义#

又叫错位排列、重排，即使一个排列所有的元素都不在原来的位置上。

错排问题是组合数学发展史上的一个重要问题，错排数也是一项重要的数。令 ${ a_k } ( 1 \leq k \leq n )$ 是 $n,n\epsilon N$ 的一个错排，如果每个元素都不在其对应下标的位置上，即 $a_k \neq k$ ，那么这种排列称为错位排列，或错排、重排（Derangement）。

             ————————摘自《百度百科》

简要分析#

我们来看一个最为经典的错排问题，信封问题：共有 $n$ 张信和 $n$ 个信封，假设所有信都装错了信封，共有多少种情况？

我们先定义 $f(n)$ 为当有 $n$ 个信封和 $n$ 张信时，有 $f(n)$ 种错排方案。

当 $n = 1$ 时，信只能放在它对应的信封中，不可能出现错排情况。

故 $f(1) = 0$。

当 $n = 2$ 时，只存在一种情况，即两张信交换位置。

故 $f(2)=1$。

当 $n = 3$ 时，存在着 $3、1、2$ 和 $2、3、1$ 两种情况，我们可以将其看为 1 与 2 错排，3 与 1、2 交换位置得来的。

故 $f(3)=2$。

当 $n = 4$ 时，错排有：

4 3 2 1 4 1 2 3 4 3 1 2

第一列是 $4$ 分别与 $123$ 互换位置，其余两个元素错排。

3 4 1 2 3 4 2 1 2 4 1 3

第二列是 $4$ 分别与 $312$（ $123$ 的一个错排）的每一个数互换。

2 1 4 3 3 1 4 2 2 3 4 1

第三列则是由另一个错排 $231$ 和 $4$ 换位而得到。

共 $9$ 种情况。

根据上面的注释得知， $f(n)$ 的值与 $f(n-1)$ 、$f(n-2)$ 的值有一定的关联。

那我们能否得出递推式呢？答案是肯定的。

公式推导#

首先，#

$1$ 号元素必定要排在第 $2\sim n$ 个位置的其中之一，所以有 $n-1$ 种放法。

然后，#

假设 $1$ 号元素放在了第 $k$ 个位置，那么下一步就要排 $k$ 号元素。

再然后，#

$k$ 号元素的排列有两种方式：

一是放在第 $1$ 个位置，剩下的 $n-2$ 个元素进行错排，共有 $f(n-2)$ 种可能；

二是不放在第 $1$ 个位置，这时我们将第 $1$ 个位置看作第 $k$ 个位置，于是就形成了包括 $k$ 号元素在内的 $n-1$ 个元素的错排，共有 $f(n-1)$ 种可能。

所以，$k$ 号元素共有 $f(n-1)+f(n-2)$ 种可能。

又因为第一号元素有 $n-1$ 种放法，根据乘法原理。

我们得知，#

递推式为：

$f(n) =(n-1) \times (f(n-1)+f(n-2) )$。

以上就是错排问题的全部内容了（当然只是基础部分的全部内容）

练习题#

P1595 信封问题#

这是一道模板题，只要你知道递推式便可以做对。此题也可以使用深度优先搜索来 AC 掉这道题。

不过需要注意的是，错排方案的增长非常快。
$n = 13$ 时 $int$ 会爆掉，$n = 22$ 时 $f(n)$ 的值就已经达到了约 $7\times 10^{18}$ , 在 $n = 23$ 时 $long$ $long$ 会爆掉。

也就是说，在处理错排问题时一定要开 $long$ $long$。

当题目给出 $n > 20$ 的范围时，我们就应该使用高精度算法了（Python、Java等略过）。

Code#

#include<iostream>
#include<cstdio>

using namespace std;

long long f(long long x)//一定要开long long
{
	if( x == 1 )
		return 0;
	else if( x == 2 )
		return 1;
	else
		return (x-1)*(f(x-1)+f(x-2));
}

int main()
{
	int n;
	cin>>n;
	cout<<f(n);
	return 0;
}

P3182 [HAOI2016]放棋子#

这道题也是一道裸错排题，不过数据到了 $200$ ，必定需要高精度。

P4071 [SDOI2016]排列计数#