arc068FSolitaire

Posted 无尽的蓝黄

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了arc068FSolitaire相关的知识,希望对你有一定的参考价值。

题目大意

有一个队列,头尾都可以进出
首先将n个数1~n从小到大扔进队列,然后将一次弹出队列,求最后弹出来的排列中,第k个数为1的排列有多少种。

解题思路

我们来考虑一下一个合法排列的性质,

第k个数是1
前k-1个数是可以拆成一个或两个单调递减的序列。
前k-1个数中其中一个序列的最小值一定大于后n-k个数中的最大值。

考虑如何来满足这个构造出这个排列。
先考虑后n-k-1个数,发现,这些数一定是有一个单调的队列,每次弹出头或尾来构成的,只要我们确定前k-1个数,就可以得出这个单调的队列能构成的后n-k-1个数的方案,就是\(2^{n-k-1}\)
然后,如何确定前k-1个数,且保证第2条性质呢?
设f[i][j]表示,前k-1个数中,已确定了i个数,在确定的i个数中,最小值为j。
假定第一个单调序列是弹出1个一遍,那么第二个单调序列就要满足第3个性质。
每次新加一个数,如果加进第一个单调序列,显然加入的数就要小于j
于是f[i][j]->f[i+1][k] (j>k)
如果如果加进第二个单调序列,显然加入的数就要是当前没加的数中最大的,只有这样才能满足第3条性质。
于是f[i][j]->f[i+1][j]。
注意一下边界。

#include <cmath>
#include <iostream>
#include <cstdio>
#include <cstdlib>
#include <cstring>
#include <algorithm>
#include <queue>
#include <map>
#include <bitset>
#include <set>
const int maxlongint=2147483647;
const long long mo=1e9+7;   
const int N=3005;
using namespace std;
int n,k;
long long ans,mi[N],f[N][N];
int main()
{
    scanf("%d%d",&n,&k);
    mi[0]=1;
    for(int i=1;i<=n;i++) mi[i]=mi[i-1]*2%mo;
    for(int i=n;i>=2;i--) f[1][i]=1;
    for(int i=1;i<k-1;i++)
    {
        long long sum=f[i][n-i+1];
        for(int j=n-i;j>=2;j--)
        {
            sum=(sum+f[i][j])%mo;
            f[i+1][j]=(f[i+1][j]+sum)%mo;
        }
    }
    for(int j=2;j<=n-k+2;j++) ans=(ans+f[k-1][j])%mo;
    if(k==1) ans=1;
    if(n-1-k<0) printf("%lld",ans);
    else
        printf("%lld",ans*mi[n-1-k]%mo);
}

以上是关于arc068FSolitaire的主要内容,如果未能解决你的问题,请参考以下文章

arc068ESnuke Line

[Arc068D/At2299] Card Eater - 结论

ARC068E Snuke Line

arc068 E: Snuke Line

做题arc068_f-Solitaire——糊结论

做题arc068_e-Snuke Line——利用特殊性质分讨