D. Unique Palindromes

Problem - 1823D - Codeforces

 

 思路：我们能够发现一个规律，如果在[1,i-1]新增一个字母，那么回文串最多只会增加一个，因为如果增加两个，加入说新增加的为[i,n]，[j,n]，并且不妨设i<j，那么根据回文串的性质，因为[j,n]是[i,n]的一个后缀回文串，又因为[i,n]是回文串，那么[i,n]的前缀一定跟后缀相等，所以存在一个前缀是等于[j,n]的那么也是一个回文串，所以在统计[i,n]的前缀时已经增加了[j,n]不会再重复增加了，所以我们能够得到最多只会新增一个回文串。那么我们就得到了一个性质就是新增的长度一定要大于等于新增的回文串的数量，即x[i]-x[i-1]>=c[i]-c[i-1]，在这种情况下无法构造，否则我们一定可以构造出来，因为c时一定大于等于三的，并且k最多只有20个，那么我们可以将前三个字母先放进去，然后对于后面的每一种操作对应一种字符，如果需要增加多个回文串，那么我们只需要重复这个字符即可，而对于新增长度>新增回文数的情况，我们可以使用abc来构造出来，即我可以一直重复方abc这样不会产生新增回文串的，但是需要注意的是在方abc时最好从上一个方的下一个开始方，因为可能会存在一种情况就是.....aea即前面需要abc补充，中间只有一个新增的，后面也需要abc补充，这样就会形成aea的回文串,但是如果我方aeb就不会出现问题，还需要注意如果最后长度不够n，那么我们可以直接在最后补充所需要的个数用任意一个字符都可以

// Problem: D. Unique Palindromes
// Contest: Codeforces - Codeforces Round 868 (Div. 2)
// URL: https://codeforces.com/problemset/problem/1823/D
// Memory Limit: 256 MB
// Time Limit: 2000 ms

#include<iostream>
#include<cstring>
#include<string>
#include<sstream>
#include<bitset>
#include<deque>
#include<cmath>
#include<cstdio>
#include<algorithm>
#include<queue>
#include<map>
#include<stack>
#include<vector> 
#include<set>
#include<cstdlib>
#define fi first
#define se second
#define i128 __int128
using namespace std;
typedef long long ll;
typedef double db;
typedef pair<int,int> PII;
typedef pair<int,pair<int,int> > PIII;
const double eps=1e-7;
const int N=5e5+7 ,M=5e5+7, INF=0x3f3f3f3f,mod=1e9+7,mod1=998244353;
const long long int llINF=0x3f3f3f3f3f3f3f3f;
inline ll read() {ll x=0,f=1;char c=getchar();while(c<'0'||c>'9') {if(c=='-') f=-1;c=getchar();}
while(c>='0'&&c<='9') {x=(ll)x*10+c-'0';c=getchar();} return x*f;}
inline void write(ll x) {if(x < 0) {putchar('-'); x = -x;}if(x >= 10) write(x / 10);putchar(x % 10 + '0');}
inline void write(ll x,char ch) {write(x);putchar(ch);}
void stin() {freopen("in_put.txt","r",stdin);freopen("my_out_put.txt","w",stdout);}
bool cmp0(int a,int b) {return a>b;}
template<typename T> T gcd(T a,T b) {return b==0?a:gcd(b,a%b);}
template<typename T> T lcm(T a,T b) {return a*b/gcd(a,b);}
void hack() {printf("\n----------------------------------\n");}

int T,hackT;
int n,m,k;
PII w[100];
char sp[]={'a','b','c'};

void solve() {
	n=read(),k=read();
	
	for(int i=1;i<=k;i++) w[i].fi=read();
	for(int i=1;i<=k;i++) w[i].se=read();
	
	vector<char> ans;
	ans.push_back('a');
	ans.push_back('b');
	ans.push_back('c');
	int last=0;
	for(int i=1;i<=k;i++) {
		int a=w[i].fi,b=w[i].se;
		if(w[i].fi-w[i-1].fi<w[i].se-w[i-1].se) {
			printf("NO\n");
			return ;
		}
		
		if(i==1) {
			int t1=w[i].fi-3,t2=w[i].se-3;
			int s=t1-t2;
			for(int j=0;j<s;j++) ans.push_back(sp[(j+last)%3]);
			last=(s+last)%3;
			for(int j=1;j<=t2;j++) ans.push_back(i+2+'a');
		}else {
			int t1=w[i].fi-w[i-1].fi,t2=w[i].se-w[i-1].se;
			int s=t1-t2;
			for(int j=0;j<s;j++) ans.push_back(sp[(j+last)%3]);
			last=(s+last)%3;
			for(int j=1;j<=t2;j++) ans.push_back(i+2+'a');
		}
	}
	
	if(w[k].fi!=n) {
		int s=n-w[k].fi;
		for(int i=1;i<=s;i++) ans.push_back('z');
	}
	
	printf("YES\n");
	for(auto &it:ans) printf("%c",it);
	printf("\n");
}   

int main() {
    // init();
    // stin();

    scanf("%d",&T);
    // T=1; 
    while(T--) hackT++,solve();
    
    return 0;       
}