Educational Codeforces Round 89 (Rated for Div. 2)E. Two Arrays详细题解(思维Hard)

这题实在是强，实现没有用到任何算法，但凭借强大的思维要求提高了难度。

题意很简单，就是在数组a中找出m个划分，每个划分的最小值对应b数组。

首先其实我们可以把这个任务分成m个阶段。

第i个阶段的任务就是从当前可选区间内截取后缀部分，使其最小值为b[i].

（当然第一个阶段不能截取，只能全保留）

那么第i个阶段去掉第i+1个阶段后剩下的区间,就是第i个划分。

最后一个阶段选取的区间就是它自己的划分，它不会再被截取了。

然后，其实你可以注意到，其实每次划分前选用的区间并不影响这次划分的方案数。

因为划分前选用的区间一定包括了b[i-1]，但我们这次划分是不能让最小值小于b[i]的,所以并无影响。

不如维护一个后缀最小值。即$mn[i]=min(mn[i+1],a[i])$

$b[1]b[1]b[1]--b[2]b[2]---省略---b[m]b[m]b[m]$
这个后缀最小值的数组形式大概就是这样，- - 表示该值不存在于b数组中。所以答案累乘即可。

#include<bits/stdc++.h>
using namespace std;
#define ll long long
#define MAXN 500005
#define rep(n) for(int i=1;i<=n;i++)
int a[MAXN];
int b[MAXN];
int mn[MAXN];
ll mod=998244353;
int main()
{
    int n,m;
    scanf("%d%d",&n,&m);
    rep(n) scanf("%d",a+i);
    rep(m) scanf("%d",b+i);
    mn[n+1]=a[n];
    int flag=m;
    for(int i=n;i>=1;i--) {
        mn[i]=min(mn[i+1],a[i]);
        if(mn[i]==b[flag])flag--;
    }
    if(flag||mn[1]<b[1]){
        cout<<"0"<<endl;
        return 0;
    }
    ll ans=1;
    flag=2;
    int i;
    while(i<=n)
    {
        ll cnt=0;
        while(i+cnt<=n&&mn[i+cnt]==b[flag])
            cnt++;
        if(cnt)
        {
            ans*=cnt;ans%=mod;
            i+=cnt;
            flag++;
        }
        else i++;
    }
    cout<<ans<<endl;
}