Bookshelves

思路

• 首先看到与运算立马想到和位运算有关
• 利用前缀和思想存连续的一段数的和
• 利用贪心的思想，最高到低枚举每一位，判断把这一位变1后是否满足（ps：枚举的那位尽可能大一点）
• 设dp[i][j]前i个物体被分为j组是否存在

代码

#include <bits/stdc++.h>
using namespace std;
#define pb push_back
#define mp(aa,bb) make_pair(aa,bb)
#define _for(i,b) for(int i=(0);i<(b);i++)
#define rep(i,a,b) for(int i=(a);i<=(b);i++)
#define per(i,b,a) for(int i=(b);i>=(a);i--)
#define mst(abc,bca) memset(abc,bca,sizeof abc)
#define X first
#define Y second
#define lowbit(a) (a&(-a))
typedef long long ll;
typedef pair<int,int> pii;
typedef unsigned long long ull;
typedef long double ld;
const int N=55;
const int INF=0x3f3f3f3f;
const int mod=1e9+7;
const double eps=1e-6;
const double PI=acos(-1.0);

int n,k;
ll s[N],ans;
bool dp[N][N];//dp[i][j]前i个物体被分为j组是否存在 

bool check(ll x){
    mst(dp,0);dp[0][0]=1;
    rep(i,1,n){
        rep(j,1,k){
            rep(c,0,i-1){
                if(dp[c][j-1]&&((s[i]-s[c])&x)==x){
                    dp[i][j]=1;
                    break;
                }
            }
        }
    }
    return dp[n][k];
}


void solve(){
    cin>>n>>k;
    rep(i,1,n){
        ll a;cin>>a;
        s[i]=s[i-1]+a;
    }
    per(i,55,0){
        ll x=ans|(1ll<<i);
        if(check(x)) ans=x;
    }
    cout<<ans<<"\n";
}


int main(){
    ios::sync_with_stdio(0);
    cin.tie(0);
#ifdef DEBUG
    freopen("F:/laji/1.in", "r", stdin);
//    freopen("F:/laji/2.out", "w", stdout);
#endif
//    int t;cin>>t;while(t--)
    solve();
    return 0;
}