bzoj4069【APIO2015】巴厘岛的雕塑

4069: [Apio2015]巴厘岛的雕塑

Time Limit: 10 Sec Memory Limit: 64 MB

Submit: 192 Solved: 89

[Submit][Status][Discuss]

Description

印尼巴厘岛的公路上有很多的雕塑,我们来关注它的一条主干道。

在这条主干道上一共同拥有 N 座雕塑。为方便起见。我们把这些雕塑从 1 到 N 连续地进行标号。当中第 i 座雕塑的年龄是 Yi 年。

为了使这条路的环境更加优美，政府想把这些雕塑分成若干组。并通过在组与组之间种上一些树。来吸引很多其它的游客来巴厘岛。

以下是将雕塑分组的规则：

这些雕塑必须被分为恰好 X 组，当中 A< = X< = B，每组必须含有至少一个雕塑，每一个雕塑也必须属于且仅仅属于一个组。

同一组中的全部雕塑必须位于这条路的连续一段上。

当雕塑被分好组后。对于每一个组。我们首先计算出该组全部雕塑的年龄和。

计算全部年龄和按位取或的结果。我们这个值把称为这一分组的终于优美度。

请问政府能得到的最小的终于优美度是多少?

备注：将两个非负数 P 和 Q 按位取或是这样进行计算的：

首先把 P 和 Q 转换成二进制。

设 nP 是 P 的二进制位数，nQ 是 Q 的二进制位数，M 为 nP 和 nQ 中的最大值。P 的二进制表示为 pM−1pM−2…p1p0，Q 的二进制表示为 qM−1qM−2…q1q0。当中 pi 和 qi 各自是 P 和 Q 二进制表示下的第 i 位。第 M−1 位是数的最高位。第 0 位是数的最低位。

P 与 Q 按位取或后的结果是： (pM−1 OR qM−1)(pM−2 OR qM−2)…(p1 OR q1)(p0 OR q0)。

当中：

0 OR 0=0

0 OR 1=1

1 OR 0=1

1 OR 1=1

Input

输入的第一行包括三个用空格分开的整数 N,A,B。

第二行包括 N 个用空格分开的整数 Y1,Y2,…,YN。

Output

输出一行一个数，表示最小的终于优美度。

Sample Input

6 1 3

8 1 2 1 5 4

Sample Output

11

explanation

将这些雕塑分为 2 组，(8,1,2) 和 (1,5,4)，它们的和是 (11) 和 (10)，终于优美度是 (11 OR 10)=11。（不难验证。这也是终于优美度的最小值。

）

HINT

子任务 1 （9 分）

1< = N< = 20

1< = A< = B< = N

0< = Yi< = 1000000000

子任务 2 （16 分）

1< = N< = 50

1< = A< = B< = min{20,N}

0< = Yi< = 10

子任务 3 （21 分）

1< = N< = 100

A=1

1< = B< = N

0< = Yi< = 20

子任务 4 （25 分）

1< = N< = 100

1< = A< = B< = N

0< = Yi< = 1000000000

子任务 5 （29 分）

1< = N< = 2000

A=1

1< = B< = N

0< = Yi< = 1000000000

贪心+DP

要使终于的答案最小，能够直观产生一种贪心的想法，从高到低枚举答案的每一位。假设能取0则取0。否则取1。

然后主要问题转化为怎样推断终于答案的某一位是否能取0。当然要保证前面全部位不变的前提下。

我们考虑用DP解决问题。

如果当前枚举到第pos位。令f[i][j]表示前i个数分成j组，满足前pos-1位，当前这一位是否能填0。

则f[i][j]=true当且仅当存在k满足f[k][j-1]=true且(sum[i]-sum[k])|ans==ans且(sum[i]-sum[k])&(1<<pos-1)==0。然后推断f[n][i]中是否有等于true的项。a≤i≤b。

可是这个复杂度是O(n^3logM)，对于最后一组数据会TLE。

考虑到最后一组数据的特殊性：a等于1，也就是组数没有下界。

所以我们能够去掉DP的第二维，即用g[i]表示前i个数满足条件的最少组数。然后推断g[n]和b的大小就能够了。

注意1<<pos-1要写成1ll<<pos-1。

#include<iostream>

#include<cstdlib>

#include<cmath>

#include<cstdio>

#include<cstring>

#include<algorithm>

#define F(i,j,n) for(int i=j;i<=n;i++)

#define D(i,j,n) for(int i=j;i>=n;i--)

#define ll long long

#define maxn 2005

#define inf 1000000000

using namespace std;

int n,a,b,len,g[maxn];

ll ans,sum[maxn];

bool f[maxn][maxn];

inline int read()

{

	int x=0,f=1;char ch=getchar();

	while (ch<'0'||ch>'9'){if (ch=='-') f=-1;ch=getchar();}

	while (ch>='0'&&ch<='9'){x=x*10+ch-'0';ch=getchar();}

	return x*f;

}

inline void solve1()

{

	D(pos,len,1)

	{

		memset(f,false,sizeof(f));

		f[0][0]=true;

		F(i,1,n) F(j,1,i) F(k,j-1,i-1) if (f[k][j-1])

		{

			ll tmp=sum[i]-sum[k];

			if (((tmp>>pos)|ans)==ans&&(tmp&(1ll<<(pos-1)))==0){f[i][j]=true;break;}

		}

		bool flag=false;

		F(i,a,b) if (f[n][i]){flag=true;break;}

		ans<<=1;

		if (!flag) ans|=1;

	}

}

inline void solve2()

{

	D(pos,len,1)

	{

		F(i,1,n) g[i]=inf;

		F(i,1,n) F(j,0,i-1)

		{

			ll tmp=sum[i]-sum[j];

			if (((tmp>>pos)|ans)==ans&&(tmp&(1ll<<(pos-1)))==0) g[i]=min(g[i],g[j]+1);

		}

		ans<<=1;

		if (g[n]>b) ans|=1;

	}

}

int main()

{

	n=read();a=read();b=read();

	F(i,1,n) sum[i]=sum[i-1]+read();

	for(ll tmp=sum[n];tmp;tmp>>=1) len++;

	if (a!=1) solve1();

	else solve2();

	printf("%lld\n",ans);

	return 0;

}