2020牛客多校第六场 K

题意：判断给的序列是不是 任意1~n的全排拼接成序列的连续子序列

每一个数字应该属于的地方它只能出现一次。从任意点i开始，如果某个点在往后查询的时候出现了两次，那么i点最多能够延伸到那个地方。 然后我们可以把每个点求一下最多能延伸到哪个点，直接记录len。（操作看代码）

处理：由于k很大，可以到1e9，但是n只有5*e5，故我们可以把这些点离散化一下（方便pre数组的运用）。所以此时a[]里面存的是离散化后，每个点对应的离散化值。
更多详细看代码。
最后判断： 枚举开始起点，依次check是都满足条件。

代码：

#define IOS ios::sync_with_stdio(false);cin.tie(0);cout.tie(0);
#include<bits/stdc++.h>
#define int long long
#define sc scanf
#define pf printf
using namespace std;
typedef pair<int,int> pii;
typedef long long ll;
 
const int INF = 0x3f3f3f3f;
const double eps = 1e-4;
const int mod = 1e9+7;
const int N = 500010;

int a[N],b[N],pre[N],len[N];

signed main(){
	IOS;
	#ifdef ddgo
		freopen("C:/Users/asus/Desktop/ddgoin.txt","r",stdin);
	#endif
	
	int tt; cin>>tt;
	while(tt --){
		memset(pre,0,sizeof(pre));
		int n,k; cin>>n>>k;
		for(int i=1;i<=n;i++) cin>>a[i],b[i] = a[i];
		//离散化，这里a[]里面存的就是对应离散的值
		sort(b+1,b+n+1);
		int tail = unique(b+1,b+n+1)-b;
		for(int i=1;i<=n;i++) a[i] = lower_bound(b+1,b+tail,a[i])-b;
		//查找某个点最多延伸到哪个点，++理解为标记，--是为了让之后的相同值的点方便找下一个
		for(int i=1,p=1;i<=n;i++){
			while(!pre[a[p]]&&p<=n) ++pre[a[p]],p++;
			--pre[a[i]],len[i] = p-i;
		}
		//枚举起点，看后面是否满足条件，因为开头可以不是完整的1~n的全排
		bool plas = false;
		for(int sa=1;sa<=min(k,len[1]+1);sa++){
			bool flag = true;
			for(int j=sa;sa<=n&&j+len[j]<=n;j+=k){//这里j+len[j]>n的话，
			//表示末尾那段，与开头那段一样，可以不是完整的1~n序列
				if(len[j]!=k){
					flag = false;
					break;
				}
			}
			if(flag){
				plas = true;
				break;
			}
		}
		cout<<(plas?"YES":"NO")<<endl;
	}
	
    return 0;
}