【区间DP && 按位贪心】CodeForces - 981D Bookshelves

Step1 Problem:

给你 n 本书以及书的权值 a[i]，让你放到 k 个书架上（放到书架上的书必须是连续的），每个书架的值为书的权值和，输出最大的书架的值异或和。
数据范围：
1<=k, n <= 50, 0 < a[i] < 2^50.

Step2 Ideas:

求最大的书架的值异或和，按位从高到低枚举答案，因为高位满足答案 肯定比 高位不满足所有低位满足的 结果都大。例：2^3 > 2^0 + 2^1+2^2
状态 dp[i][k]：前 i 本书放到 k 个书架的异或和是否满足答案

Step3 Code:

#include<bits/stdc++.h>
using namespace std;
#define ll long long
const int N = 60;
int n, K, dp[N][N];
ll a[N];
bool solve(ll ans)
{
    memset(dp, 0, sizeof(dp));
    dp[0][0] = 1;
    for(int k = 1; k <= K; k++)
    {
        for(int i = 0; i <= n; i++)
        {
            for(int j = i+1; j <= n; j++)
            {
                ll t = a[j]-a[i];//书 i 到 j 的权值和
                if(dp[i][k-1] && ((t&ans) == ans))//这些书新开一个书架能满足条件
                {
                    dp[j][k] = 1;
                }
            }
        }
    }
    return dp[n][K];
}
int main()
{
    while(~scanf("%d %d", &n, &K))
    {
        a[0] = 0;
        for(int i = 1; i <= n; i++)
        {
            scanf("%lld", a+i);
            a[i] += a[i-1];
        }
        ll ans = 0;
        for(int i = 60; i >= 0; i--)//从高位枚举到低位
        {
            if(solve(ans|(1LL<<i)))//如果加上该位能满足条件，我们当然会要
            {
                ans |= (1LL<<i);
            }
        }
        printf("%lld\n", ans);
    }
    return 0;
}