传送门

文章目录

• 目录：
• • 题意：
  • 思路：

目录：

题意：

给你一个长度为$n$的数组$a$以及$k$，让你选择一个值域$[x,y]$，满足能将该数组分成连续的$k$段并且每段中值域在$[x,y]$内的个数严格大于不在其范围内的数的个数，要求你给出$[x,y]$并且让$y-x$最小，让后给出分段的方案。

$1\le k\le n\le 2e5,1\le a_i\le n$

思路：

一开始想错了，二分了$x$和$y$还感觉很对。。。

可以发现$[x,y]$这是一个连续的区间，我们可以利用这个进行尺取，现在问题就变成了如何检验给定$[x,y]$是否合法。

我们将值域在$[x,y]$内的数看成$1$，不在值域内的数看成$-1$，设新数组$pre$就是将$a$换成$1$和$-1$后的前缀和数组，那么一个子区间合法的条件就是$[l,r]$满足$pre[r]-pre[l-1]>0$，顺着这个思路，我们不难发现分段方案就是在$pre$数组中找一个从0开始的上升序列，长度为$k+1$，那么最终$pre[n]$一定需要满足$pre[n]>=k$，此时就比较好搞了，我们先尺取求出来$[x,y]$，判断条件就是$pre[n]>=k$，$pre[n]$是所有数的和，只需要存一下当前数有几个即可，最后输出方案。

复杂度$O(n)$

#include<bits/stdc++.h>
#define X first
#define Y second
#define L (u<<1)
#define R (u<<1|1)
#define Mid (tr[u].l+tr[u].r>>1)
#define pb push_back
using namespace std;

const int N=1000010,INF=0x3f3f3f3f,mod=1e9+7;
typedef long long LL;

int n,k;
int a[N],cnt[N];

void solve() {
    scanf("%d%d",&n,&k);
    for(int i=1;i<=n;i++) scanf("%d",&a[i]),cnt[a[i]]++;
    int x,y,sum=-n;
    x=0; y=INF;
    for(int l=1,r=0;r<=n;) {
        while(r+1<=n&&sum<k) sum+=cnt[++r]*2;
        if(sum<k) break;
        if(r-l+1<y-x+1) x=l,y=r;
        sum-=cnt[l++]*2;
    }
    printf("%d %d\n",x,y);
    sum=0;
    int cntt=1;
    int l=1;
    for(int i=1;i<=n;i++) {
        if(a[i]>=x&&a[i]<=y) sum++;
        else sum--;
        if(sum==cntt) {
            cntt++;
            if(cntt==k+1) {
                printf("%d %d\n",l,n);
                break;
            }
            else printf("%d %d\n",l,i),l=i+1;
        }
    }
    for(int i=1;i<=n;i++) cnt[a[i]]=0;
}

int main() {
	int _; scanf("%d",&_);
	while(_--) {
		solve();
	}

}