CodeForces 981D Bookshelves

最新推荐文章于 2024-07-10 16:47:58 发布

SKT T2 G

最新推荐文章于 2024-07-10 16:47:58 发布

阅读量98

点赞数

分类专栏：线性DP 文章标签：算法动态规划

本文链接：https://blog.csdn.net/qq_31432883/article/details/109730367

版权

线性DP 专栏收录该内容

20 篇文章 0 订阅

订阅专栏

题意

n个数划分成k组，求每组的sum值 相'&' 后的最大值。

题解

尝试：
    状态表示：
        dp[i][j]: 前 i 个 分为 j 份的价值
    属性：
        Max
    集合划分：
    1. 自成一段
     dp[i][j] = max(dp[i][j], dp[i-1][j-1] & a[i])
    2. 共成一段
     dp[i][j] = max(dp[i][j], dp[k][j-1] & (sum[i] - sum[k]))
    ==>
        dp[i][j] = max({dp[k][j-1] & (sum[i] - sum[k])})
        [1<=k<i, k > j]

    起始状态：
        dp[i][1] = sum[1, i];
错误原因：
    并不是 将每一部分的最优值相'&'之后的答案就是最优值

正解：
    要使Ans尽可能大，贪心的考虑答案ans的组成：
        即是 Ans 的高二进制位尽可能为 1
    进而想到：从高位(pos = 51 --> 0)开始贪心，
        若当前Ans可以满足条件，则 Ans |= (1 << pos)
如何判定当前位为 1 可以满足条件：
    dp[i][j]：表示 前 i 个数，分为 j 部分，是否满足限制条件
    集合划分(考虑出边)：
    (i, j-1) --> (k, j)  有边
当且仅当 dp[i][j-1] == True && ((sum[k] - sum[i]) & Ans == Ans)

Code

#include<bits/stdc++.h>
typedef long long ll;
using namespace std;
#define Buff ios::sync_with_stdio(false)
#define mem(a) memset(a, 0, sizeof a)
#define pb push_back
const int INF = 1e9 + 7;
const int N = 1e2 + 7;
const int M = 1e6 + 7;
const ll mod = 1e9 + 7;
ll sum[N], a[N];
bool dp[N][N];

int n, m;
bool judge(ll Ans)
{
    mem(dp); dp[0][0] = true;

    for(int j = 1; j <= m; j++)
        for(int i = 0; i < n; i++)
            for(int k = i + 1; k <= n; k++)
            {
                ll x = ((sum[k] - sum[i]) & Ans) - Ans;
                if(!x && dp[i][j-1]) dp[k][j] =true;
            }
    return dp[n][m];
}

signed main()
{
    Buff;
    while(cin >> n >> m)
    {
        for(int i = 1; i <= n; i++)
        {
            cin >> a[i];
            sum[i] = sum[i-1] + a[i];
        }

        ll Ans = 0;
        for(int i = 60; i + 1; i--)
            if(judge(Ans | (1ll << i)))
                Ans |= (1ll << i);
        
        cout << Ans << "\n";
    }
    return 0;
}