[Atcoder2292] Division into Two

Posted 2020-11-22 lslzf

题目大意

给定n个不同的整数，求将它们分成两个集合X,Y，并且X集合中任意两个数的差>=A，Y集合中任意两个数的差>=B的方案数。

样例输入

5 3 7
1
3
6
9
12

样例输出

5

解析

不妨设(A>B)，那么考虑如何动态规划。设(f[i])表示第一个集合最后选择的数是i时的方案数。只用枚举第一个集合前一个选的数是哪一个即可转移。但 这么做是(O(n^2))的。考虑从能够转移的点的性质出发。

对于能够转移到i的j，必须要满足的条件有

• (S_i-S_j >= A)
• 对于([j+1,i-1])中的数，满足任意两个数(x,y)都有(S_y-S_x>=B)

可以发现满足条件的j是一段连续位置。因此采用前缀和优化即可。

代码

#include <iostream>
#include <cstdio>
#include <algorithm>
#define int long long
#define N 100002
using namespace std;
const int mod=1000000007;
int n,a,b,i,m[N],sum[N],f[N];
int read()
{
    char c=getchar();
    int w=0;
    while(c<'0'||c>'9') c=getchar();
    while(c<='9'&&c>='0'){
        w=w*10+c-'0';
        c=getchar();
    }
    return w;
}
signed main()
{
    n=read();a=read();b=read();
    if(a>b) swap(a,b);
    for(i=1;i<=n;i++) m[i]=read();
    sort(m+1,m+n+1);
    for(i=3;i<=n;i++){
        if(m[i]-m[i-2]<a){
            puts("0");
            return 0;
        }
    }
    int l=0,r=0,ans=0;
    sum[0]=f[0]=1;
    for(i=1;i<=n;i++){
        while(r<i-1&&m[i]-m[r+1]>=b) r++;
        if(l<=r) f[i]=(sum[r]-sum[l-1]+mod)%mod;
        sum[i]=(sum[i-1]+f[i])%mod;
        if(i>1&&m[i]-m[i-1]<a) l=i-1;
    }
    for(i=n;i>=0;i--){
        ans=(ans+f[i])%mod;
        if(i<n&&m[i+1]-m[i]<a) break;
    }
    printf("%lld
",ans);
    return 0;
}