JZOJ-Spacing

Description&Data Constraint

排版是很有讲究的。假设稿纸的宽度是W个字符，长度不限，当你对一篇文章排版时，必须满足以下条件：

1.必须保持单词的次序。下图显示了对4个单词“This is a pen”在一张宽11字符的稿纸上排版的结果：

注：即求最长连续空格长度的最小值。

$2\le n\le 50000$

Solution

最大值最小，显然二分。那么如何$check(x)$

设$f_i$表示当前行以第$i$个字符串结尾是否合法(0/1)，初始化$f_0=1$

那么我们在$1i-1$中找到最大的$j$使得能从$j$转移到$i$，注意到$j$具有单调性

能够转移即满足$su{m}_i-su{m}_j+i-j-1\le w$（$su{m}_i=\sum x_i$），且$f_j=true$

最后判断一下哪些字符串在最后一行即可

Code

#include<cstdio>
#include<cstring>
#define N 50005
using namespace std;
int w,n,l,r,mid,ans,a[N],sum[N];
bool f[N];
bool check(int x)
{
	int pos=-1,j=0;
	memset(f,false,sizeof(f));
	f[0]=true;
	for (int i=1;i<n;++i)
	{
		while (j<i&&sum[i]-sum[j]+x*(i-j-1)>=w)
		{
			if (f[j]) pos=j;
			++j;
		}
		if (sum[i]-sum[pos]+i-pos-1<=w&&pos!=-1) f[i]=true;
		else f[i]=false;
	}
	for (int i=n-1;i>=0;--i)
		if (f[i]&&sum[n]-sum[i]+n-i-1<=w) return true;
	return false;
}
int main()
{
	scanf("%d%d",&w,&n);
	for (int i=1;i<=n;++i)
		scanf("%d",&a[i]),sum[i]=sum[i-1]+a[i];
	l=1;r=w;
	while (l<=r)
	{
		mid=(l+r)>>1;
		if (check(mid)) ans=mid,r=mid-1;
		else l=mid+1;
	}
	printf("%d\n",ans);
	return 0;
}