Codeforces Round #582 (Div. 3) G. Path Queries 题解（差分）

题目链接

题目大意

让你构造一个长为n的只包含k种小写字母的字符串，使得按照p，q数组排序后，这两个序列保持非严格单调上升

题目思路

emmm，好神奇啊，居然直接用差分就行了，我差分学的好菜啊qwq。

题目实际上是一堆大于等于的约束。观察这2n−2个约束。第一组可以将要求的排成一个不降的序列，然后第二组就是在第一组的基础上再添加条件。

不妨设第一组生成的不降序列是{ai}，然后添加的条件是ai⩽aj。那么显然，i<j的时候这个条件是没有用的。而如果i>j，就代表着i到j这一整个区间都要相等。这个用差分数组标记一下，最后统计即可。

需要注意的是可能可以生成超过k种字母，也可能大于26种，所以最后输出的时候对k取min即可。

代码

#include<set>
#include<map>
#include<stack>
#include<cmath>
#include<cstdio>
#include<vector>
#include<string>
#include<cstring>
#include<iostream>
#include<algorithm>
#define fi first
#define se second
#define debug printf("I am here\n");
using namespace std;
typedef long long ll;
const int maxn=2e5+5,mod=2147493647,inf=0x3f3f3f3f;
int n,k,p[maxn],q[maxn],zhi[maxn],dif[maxn],ans[maxn];
int main(){
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++){
        scanf("%d",&p[i]);
        zhi[p[i]]=i;//先设在p[i]的位置的值为i
    }
    for(int i=1;i<=n;i++){
        scanf("%d",&q[i]);
    }
    for(int i=1;i<n;i++){
        if(zhi[q[i]]>zhi[q[i+1]]){
            //如果不满足，那么让zhi[q[i]]==zhi[q[i+1]]
            //提谬中间的值肯定也要等于他们
            //用差分数组标记一下
            dif[zhi[q[i]]]++;
            dif[zhi[q[i+1]]]--;
        }
    }
    int sum=0;
    for(int i=1;i<=n;i++){
        if(sum){
            ans[i]=ans[i-1];
        }else{
            ans[i]=ans[i-1]+1;
        }
        sum+=dif[i];
    }
    if(ans[n]<k){
        printf("NO\n");
    }else{
        printf("YES\n");
        for(int i=1;i<=n;i++){
            printf("%c",min(ans[zhi[i]],k)+'a'-1);
        }
    }
    return 0;
}

参考链接：https://www.cnblogs.com/chy-2003/p/11479333.html