题意
分析
只保留后n个1,其他变为0就可以了。(不然下面会有其他情况)
观察可以发现,将1视为-1,0视为1 (下文同),当一个序列最小的前缀和小于-1时就无法完成。
那么问题就变成了怎么移动使得前缀和变大。考虑最小的前缀和x,我们移动y个1到队首使得x变为-1,这最大移动步数就是x的移动步数y(每移动一个都可以视为中间全部往后移动1,因为贡献是max所以忽略)。
在有解的情况下,每一个前缀和他后面肯定有足够多个1使得它变为-1.
所以答案就是最小的前缀和加上一些系数。
Demo
#include <iostream>
#include <cstdio>
#include <cstring>
#define max(a,b) ((a)<(b)?(b):(a))
using namespace std;
typedef long long ll;
const ll len = 1e6+10;
ll n,m,sum,msum;
ll a[len],b[len];
char s[len];
ll c[2],tc[2];
int main() {
freopen("meal.in","r",stdin);
freopen("meal.out","w",stdout);
while (n=m=0,scanf("%lld %lld",&n,&m),n+m!=0) {
sum=c[0]=c[1]=0;
msum=1e18+10;
for (ll i=1; i<=m; i++) {
tc[0]=tc[1]=0;
scanf("%s",s+1);
ll v=strlen(s+1),times;
scanf("%lld",×);
for (ll j=1; j<=v; j++) {
tc[s[j]-'0']+=1;
sum+=(s[j]=='1')?-1:1;
if (sum<msum) msum=sum;
}
if (times==1) {
c[0]+=tc[0]*times,c[1]+=tc[1]*times;
continue;
}
if (times!=1) sum+=(times-2)*(tc[0]-tc[1]);
for (ll j=1; j<=v; j++) {
sum+=(s[j]=='1')?-1:1;
if (sum<msum) msum=sum;
}
c[0]+=tc[0]*times,c[1]+=tc[1]*times;
}
if (c[0]>c[1]) {
printf("-1\n");
continue;
}
printf("%lld\n",max(0,-msum-1-max(0,2*(c[1]-n))));
}
}