【bzoj 1863】[Zjoi2006]trouble 皇帝的烦恼（二分答案+dp）

1863: [Zjoi2006]trouble 皇帝的烦恼

Time Limit: 1 Sec   Memory Limit: 64 MB
Submit: 562   Solved: 298
[ Submit][ Status][ Discuss]

Description

经过多年的杀戮，秦皇终于统一了中国。为了抵御外来的侵略，他准备在国土边境安置n名将军。不幸的是这n名将军羽翼渐丰，开始展露他们的狼子野心了。他们拒绝述职、拒绝接受皇帝的圣旨。秦皇已经准备好了秘密处决这些无礼的边防大将。不过为防兵变，他决定先授予这些将军一些勋章，为自己赢得战略时间。将军们听说他们即将被授予勋章都很开心，他们纷纷上书表示感谢。第i个将军要求得到ai枚不同颜色的勋章。但是这些将军都很傲气，如果两个相邻的将军拥有颜色相同的勋章他们就会认为皇帝不尊重他们，会立即造反（编号为i的将军和编号为i+1的将军相邻；因为他们驻扎的边境可以类似看成一个圆形，所以编号1和编号n的将军也相邻）。皇帝不得不满足每个将军的要求，但对他们的飞扬跋扈感到很气愤。于是皇帝决定铸造尽量少种类的勋章来满足这些狂妄者的要求。请问他至少要铸造多少种颜色的勋章？

Input

第一行有一个整数n(1<=n<=20000)。接下来n行每行一个整数ai，表示第i个将军要求得到多少种勋章。(1<=ai<=100000) 输出一个整数，即最少需要多少种勋章。

Output

4 2 2 1 1

Sample Input

4

Sample Output

HINT

Source

二分

[ Submit][ Status][ Discuss]

【题解】【二分答案+dp】

【首先二分答案，查找最小的勋章数，然后用dp来判断当前值是否可行】

【刚开始想的是，用总数减去前一项，并判断剩下的是否能支持当前的人拥有足够的勋章。】

【但这样会出现的问题就是如果是和1冲突，没办法排除。最后参考题解：用f[i]表示第i个人在不与前一个人冲突的前提下与1冲突的最大值；g[i]表示第i个人在不与前一个人冲突的前提下与1冲突的最小值。最后判断当前情况下是否最大情况与1冲突】

【方程：g[i]=min(a[1]-f[i-1],a[i])   f[i]=max(0,a[i]-(m-a[1]-a[i-1]+g[i-1]))】

#include
#include
#include
using namespace std;
int n,a[20010],f[20010],g[20010],maxn,sum,ans;
inline bool dp(int m)
{
	memset(g,0,sizeof(g));
	memset(f,0,sizeof(f)); 
    g[1]=f[1]=a[1];
    for(int i=2;i<=n;++i)
     {
     	g[i]=min(a[1]-f[i-1],a[i]);//不与a[i-1]冲突，与a[1]冲突的最小值 
     	f[i]=max(0,a[i]-(m-a[i-1]-a[1]+g[i-1]));//不与a[i-1]冲突，与a[1]冲突的最大值 
	 }
	return !f[n];
}
inline void qsort(int l,int r)
{
	int mid;
	while(l>1;
	 	if(dp(mid)) r=mid,ans=min(ans,mid);
	 	 else l=mid+1;
	 }
}
int main()
{
	int i,j,num;
	scanf("%d",&n);
	for(i=1;i<=n;++i) scanf("%d",&a[i]),sum+=a[i];
	a[n+1]=a[1];
	for(i=1;i<=n;++i) 
	 if(maxn