题目 链接
题目大意
给定一个n,表示一个序列的长度,这个序列必须是1~n排列组合的某个序列。然后求对于一个n而言有几个序列是好的。分析题意可以发现,一个序列存在谷表示序列是好的。即序列存在X + a,X,X + b (a,b > 0),那么这本身就可以构成一个环,满足题意。由于答案可能很大要对1e9 + 7取模。
简析
首先打表 (手写 找规律,可以得到前几项。
n = 1时,ans = 0
n = 2时,ans = 0
n = 3时,ans = 2
n = 4时,ans = 16
然后我们看看3的时候的序列,合法的将会标红加粗。
1 2 3
1 3 2
2 1 3
2 3 1
3 1 2
3 2 1
根据题意,只要出现谷即为合法的,我们把3的序列都 + 1,然后去推导4的序列。
首先3的序列每个元素 + 1,不影响最后的答案,因为上述提到的X是为任意自然数。
2 3 4
2 4 3
3 2 4
3 4 2
4 2 3
4 3 2
然后我们用排列组合的方式插入1(以2 3 4为例),可以得到
(1) 2 3 4
2 (1) 3 4
2 3 (1) 4
2 3 4 (1)
然后这里可以发现!!!只要1不是头尾,那必然就是合法态!
3的序列每一个组合都可以这样推导。
所以设某一个序列n共有k个排列组合,那么k+1必然有大于k * (n - 2)种。每一种组合都+1,然后把1插入到不是头尾的位置。
当然还有另外一种情况,就是本身就已经是合法态,那么插入到头尾也是合法的,比如这样。
(1) 4 2 3
4 2 3 (1)
所以,设n的序列的有k种排列组合方式,且k中有ans个合法态,那么n+1的就会有(k * (n - 2) + ans * 2) 种方案。
左边的对应在中间插入1的方案计数,右边的ans * 2 对应的是原先合法态末尾的方案。加在一起然后递推即可。
参考代码
#include<bits/stdc++.h>
using namespace std;
typedef long long ll;
const int MOD = 1e9 + 7;
int main() {
// freopen("in.txt", "r", stdin);
ll n,ans = 0;
cin >> n;
ll k = 2;
for (int i = 3; i <= n; i++) {
ans = (k * (i - 2) + ans * 2) % MOD;
k = k * i % MOD;
}
cout << ans << endl;
}